Artificial intelligence
Results 1201 - 1220 of 1230
Artificial intelligence
Paperback. Contains the proceedings of the third working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2010, held in Edinburgh, UK, in August 2010. This book features the papers that represent work on verification techniques, specification languages, formal calculi, verification tools, solutions to challenge problems, and more. Editor(s): Leavens, Gary T.; O'Hearn, Peter W.; Rajamani, Sriram K. (Microsoft Research). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 217 pages, 68 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZT; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 13. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 217
- Condition
- New
- SKU
- V9783642150562
- ISBN
- 9783642150562
Paperback
Condition: New
€ 66.76
€ 66.76
Paperback. Editor(s): Joshi, Rajeev; Muller, Peter; Podelski, Andreas. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 326 pages, 41 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 326
- Condition
- New
- SKU
- V9783642277047
- ISBN
- 9783642277047
Paperback
Condition: New
€ 67.29
€ 67.29
Hardback. Intended for practitioners and academicians in the fields of multimedia search engines. This book gives insights to researchers and non-specialists who want to understand the principles applied by the multimedia search engines that are deployed on the Internet, in studios' multimedia asset management systems, and in video-on-demand systems. Editor(s): Rosenfeld, Azriel; Doermann, David; DeMenthon, Daniel. Series: The International Series in Video Computing. Num Pages: 340 pages, biography. BIC Classification: UN; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 675.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 340
- Condition
- New
- SKU
- V9781402075490
- ISBN
- 9781402075490
Hardback
Condition: New
€ 193.74
€ 193.74
Paperback. Editor(s): Cremers, Daniel; Magnor, Marcus A.; Oswald, Martin R.; Zelnik-Manor, Lihi. Series: Lecture Notes in Computer Science. Num Pages: 213 pages, 20 black & white illustrations, 95 colour illustrations, biography. BIC Classification: UMB; UML; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 213
- Condition
- New
- SKU
- V9783642248696
- ISBN
- 9783642248696
Paperback
Condition: New
€ 83.12
€ 83.12
paperback. Num Pages: 665 pages, black & white illustrations, bibliography. BIC Classification: UMZ; UYQE. Category: (G) General (US: Trade). Dimension: 244 x 170 x 35. Weight in Grams: 1075.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Vieweg+Teubner Verlag Germany
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 665
- Condition
- New
- SKU
- V9783528052645
- ISBN
- 9783528052645
Paperback
Condition: New
€ 74.59
€ 74.59
Hardback. Provides an overview of research into design of argumentation software, focusing on defeasible argumentation as it occurs in the law. Series Editor(s): Schmidt, Aernout; Bonenkamp, Berry J.; Tongeren, Philip E. van. Series: Information Technology and Law Series. Num Pages: 272 pages, biography. BIC Classification: HPL; LAS; UYQ. Category: (P) Professional & Vocational. Dimension: 245 x 160 x 19. Weight in Grams: 45.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- T.M.C. Asser Press Netherlands
- Number of pages
- 272
- Condition
- New
- SKU
- V9789067041904
- ISBN
- 9789067041904
Hardback
Condition: New
€ 80.55
€ 80.55
Paperback. .
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 283
- Format
- Paperback
- Publication date
- 2012
- Edition
- Softcover reprint of the original 1st ed. 2000
- Condition
- New
- SKU
- V9783642631894
- ISBN
- 9783642631894
Paperback
Condition: New
€ 130.74€ 46.59
€ 130.74
€ 46.59
Hardback. Virtual and Augmented Reality have existed for a long time but were stuck to the research world or to some large manufacturing companies. With the appearance of low-cost devices, it is expected a number of new applications, including for the general audience. BIC Classification: UF; UYQ. Category: (P) Professional & Vocational. Weight in Grams: 666.
- Format
- Hardback
- Publication date
- 2018
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9781786301055
- ISBN
- 9781786301055
Hardback
Condition: New
€ 183.11
€ 183.11
Hardcover. Virtual, Augmented Reality and Serious Games for Healthcare 1 Editor(s): Ma, Minhua; Jain, Prof. Lakhmi C.; Anderson, Paul. Series: Intelligent Systems Reference Library. Num Pages: 586 pages, 167 black & white illustrations, 40 colour illustrations, biography. BIC Classification: MQW; UYQ. Category: (P) Professional & Vocational. Dimension: 166 x 247 x 36. Weight in Grams: 1004.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2014
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9783642548154
- ISBN
- 9783642548154
Hardback
Condition: New
€ 245.76
€ 245.76
Hardback. Presents a systematic approach to the design and analysis of vision chips using analog VLSL. This book presents algorithmic level implementation issues. It reviews the VLSI technologies and general analog VLSI design methodologies, in the context of suitability for vision chips. It is intended for researchers in this area. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 300 pages, biography. BIC Classification: UYQP; UYQV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 1390.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 300
- Condition
- New
- SKU
- V9780792386643
- ISBN
- 9780792386643
Hardback
Condition: New
€ 246.66
€ 246.66
Paperback. Understanding human activity from video is a key problem in the field of computer vision. With broad coverage and an accessible style, this unique reference is a coherent and comprehensive view of all aspects of the video analysis of humans and their actions. Editor(s): Moeslund, Thomas B.; Hilton, Adrian; Kruger, Volker; Sigal, Leonid. Num Pages: 634 pages, biography. BIC Classification: UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 991.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 634
- Condition
- New
- SKU
- V9781447159148
- ISBN
- 9781447159148
Paperback
Condition: New
€ 188.84
€ 188.84
Hardcover. This book introduces a general conceptual framework for the analysis of movement data from various sources. It illustrates all algorithms and methods with the help of sample applications from various domains. Num Pages: 405 pages, 22 black & white illustrations, 178 colour illustrations, biography. BIC Classification: JPP; RGW; UNF; UYQP. Category: (P) Professional & Vocational. Dimension: 237 x 165 x 27. Weight in Grams: 748.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 415
- Format
- Hardback
- Publication date
- 2013
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9783642375828
- ISBN
- 9783642375828
Hardback
Condition: New
€ 125.83
€ 125.83
Hardback. Provides a comprehensive survey of visual interfaces, image and video data management, and data visualization. This book contains selected papers presented at the Third Conference on Visual Database Systems, organized by the International Federation for Information Processing and held in Lausanne, Switzerland, in March 1995. Series: IFIP Advances in Information and Communication Technology. Num Pages: 445 pages, 88 black & white illustrations, 17 colour illustrations, biography. BIC Classification: UG; UYQM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 25. Weight in Grams: 931.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 445
- Condition
- New
- SKU
- V9780412721700
- ISBN
- 9780412721700
Hardback
Condition: New
€ 243.76
€ 243.76
Paperback. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 939 pages, biography. BIC Classification: UMB; UML; UYQP; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 1413.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 939
- Condition
- New
- SKU
- V9783642050350
- ISBN
- 9783642050350
Paperback
Condition: New
€ 191.52
€ 191.52
Paperback. Editor(s): Marriott, Kim; Meyer, Bernd. Num Pages: 381 pages, 2 black & white tables, biography. BIC Classification: JFD; UMX; UYQ. Category: (P) Professional & Vocational. Dimension: 156 x 235 x 29. Weight in Grams: 564.
- Publisher
- Springer-Verlag New York Inc.
- Format
- Paperback
- Publication date
- 2012
- Edition
- Softcover reprint of the original 1st ed. 1998
- Condition
- New
- SKU
- V9781461272403
- ISBN
- 9781461272403
Paperback
Condition: New
€ 125.19
€ 125.19
VLSI-compatible Implementations for Artificial Neural Networks
Fakhraie, Sied Mehdi; Smith, K. C. A.
Hardback. Introduces the basic premise of the authors' approach to biologically-inspired and VLSI-compatible definition, simulation, and implementation of artificial neural networks. This book develops a set of guidelines for general hardware implementation of ANNs. It may also be used as a text for advanced courses on the subject. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 223 pages, biography. BIC Classification: TJF; UYQN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 498.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 223
- Condition
- New
- SKU
- V9780792398257
- ISBN
- 9780792398257
Hardback
Condition: New
€ 127.52
€ 127.52
Hardcover. Written by a computer vision specialist, this title offers an account of volumetric image analysis techniques. It offers a practical approach to the field including the following topics: preprocessing of volumetric images; obtaining quantitative measurements in volumetric images; and, detection and modelling of objects in volumetric images. Num Pages: 256 pages, bibliography, index. BIC Classification: MBG; MMP; TTB; UYQP; UYQV. Category: (UU) Undergraduate. Dimension: 239 x 163 x 20. Weight in Grams: 528.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 256
- Condition
- New
- SKU
- V9780471967859
- ISBN
- 9780471967859
Hardback
Condition: New
€ 271.17
€ 271.17
Paperback / so. Series: Beitrage Zur Graphischen Datenverarbeitung. Num Pages: black & white illustrations, colour illustrations, bibliography. BIC Classification: UG; UYQV; UYT. Category: (G) General (US: Trade). Dimension: 234 x 156 x 14. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540615972
- ISBN
- 9783540615972
Paperback
Condition: New
€ 69.15
€ 69.15
Paperback. Constitutes the refereed proceedings of the 10th International Symposium on Web and Wireless Geographical Information Systems, W2GIS 2011, that was held in Kyoto, Japan. Editor(s): Tanaka, Katsushi; Frohlich, Peter; Kim, Kyoung-Sook. Series: Lecture Notes in Computer Science. Num Pages: 251 pages, 43 black & white illustrations, 56 colour illustrations, biography. BIC Classification: RGW; UNH; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 358.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 251
- Condition
- New
- SKU
- V9783642191725
- ISBN
- 9783642191725
Paperback
Condition: New
€ 66.58
€ 66.58
Paperback. Constitutes the proceedings of the 10th International Conference on Web Engineering, held in Vienna, Austria, in July 2010. Editor(s): Benatallah, Boualem; Casati, Fabio; Kappel, Gerti; Rossi, Gustavo. Series: Lecture Notes in Computer Science. Num Pages: 528 pages, 231 black & white illustrations, biography. BIC Classification: UKN; UKR; UMWS; UND; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 816.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 528
- Condition
- New
- SKU
- V9783642139109
- ISBN
- 9783642139109
Paperback
Condition: New
€ 130.67
€ 130.67