Author: Hans Burkhardt
Publisher: Springer Science & Business Media
ISBN: 9783540646136
Category : Computers
Languages : en
Pages : 902
Get Book Here
Book Description
This two-volume set constitutes the refereed proceedings of the 5th European Conference on Computer Vision, ECCV'98, held in Freiburg, Germany, in June 1998. The 42 revised full papers and 70 revised posters presented were carefully selected from a total of 223 papers submitted. The papers are organized in sections on multiple-view geometry, stereo vision and calibration, geometry and invariances, structure from motion, colour and indexing, grouping and segmentation, tracking, condensation, matching and registration, image sequences and video, shape and shading, motion and flow, medical imaging, appearance and recognition, robotics and active vision, and motion segmentation.
Author: David Vernon
Publisher: Springer Science & Business Media
ISBN: 3540676856
Category : Computers
Languages : en
Pages : 953
Get Book Here
Book Description
Ten years ago, the inaugural European Conference on Computer Vision was held in Antibes, France. Since then, ECCV has been held biennially under the auspices of the European Vision Society at venues around Europe. This year, the privilege of organizing ECCV 2000 falls to Ireland and it is a signal honour for us to host what has become one of the most important events in the calendar of the computer vision community. ECCV is a single-track conference comprising the highest quality, previously unpublished, contributed papers on new and original research in computer vision. This year, 266 papers were submitted and, following a rigorous double-blind review process, with each paper being reviewed by three referees, 116 papers were selected by the Programme Committee for presentation at the conference. The venue for ECCV 2000 is the University of Dublin, Trinity College. - unded in 1592, it is Ireland’s oldest university and has a proud tradition of scholarship in the Arts, Humanities, and Sciences, alike. The Trinity campus, set in the heart of Dublin, is an oasis of tranquility and its beautiful squares, elegant buildings, and tree-lined playing- elds provide the perfect setting for any conference.
Author: Anders P. Ravn
Publisher: Springer Science & Business Media
ISBN: 9783540650034
Category : Computers
Languages : en
Pages : 356
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998. The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.
Author: David Page
Publisher: Springer Science & Business Media
ISBN: 9783540647386
Category : Computers
Languages : en
Pages : 316
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 8th International Conference on Inductive Logic Programming, ILP-98, held in Madison, Wisconsin, USA, in July 1998. The 27 revised full papers presented together with the abstracts of three invited talks were carefully reviewed and selected for inclusion in the book. All relevant aspects of inductive logic programming are covered ranging from theory to implementations and applications.
Author: Hideki Imai
Publisher: Springer Science & Business Media
ISBN: 9783540646938
Category : Computers
Languages : en
Pages : 284
Get Book Here
Book Description
The intricate 3D structure of the CNS lends itself to multimedia presentation, and is depicted here by way of dynamic 3D models that can be freely rotated, and in over 200 illustrations taken from the successful book 'The Human Central Nervous System' by R. Nieuwenhuys et al, allowing the user to explore all aspects of this complex and fascinating subject. All this fully hyperlinked with over 2000 specialist terms. Optimal exam revision is guaranteed with the self-study option. For further information please contact: http://www.brainmedia.de/html/frames/pr/pr 5/pr 5 02.html
Author: Vasant Honavar
Publisher: Springer Science & Business Media
ISBN: 9783540647768
Category : Computers
Languages : en
Pages : 292
Get Book Here
Book Description
This book constitutes the refereed proceedings of the Fourth International Colloquium on Grammatical Inference, ICGI-98, held in Ames, Iowa, in July 1998. The 23 revised full papers were carefully reviewed and selected for inclusion in the book from a total of 35 submissions. The book addresses a wide range of grammatical inference theory such as automata induction, grammar induction, automatic language acquisition, etc. as well as a variety of applications in areas like syntactic pattern recognition, adaptive intelligent agents, diagnosis, computational biology, data mining, and knowledge discovery.
Author: Suzanne M. Embury
Publisher: Springer Science & Business Media
ISBN: 9783540646594
Category : Computers
Languages : en
Pages : 206
Get Book Here
Book Description
This book consists of the refereed proceedings of the 15th British National Conference on Databases, BNCOD 15, held in London, in July 1997. The 12 revised full papers presented were selected from more than 30 submissions. Also included are 10 poster presentations and the invited lecture on The Role of Intelligent Software Agents in Advanced Information Systems by Larry Kerschberg. The papers are organized in topical sections on transaction processing, optimization, object-orientation and the Internet, and database integration.
Author: Alan J. Hu
Publisher: Springer Science & Business Media
ISBN: 9783540646082
Category : Computers
Languages : en
Pages : 568
Get Book Here
Book Description
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.
Author: Thomas Plagemann
Publisher: Springer Science & Business Media
ISBN: 9783540649557
Category : Computers
Languages : en
Pages : 348
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 5th International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services, IDMS'98, held in Oslo, Norway, in September 1998. The 23 revised full papers presented were carefully selected from a total of 68 submissions. Also included are seven position statements. The book is divided into topical sections on distributed multimedia applications; platforms for collaborative systems; MPEG; coding for WWW, wireless, and mobile environments; QoS and user aspects; flow control, congestion control, and multimedia streams; multimedia servers, documents, and authoring; and storage servers.
Author: Reinhard Klette
Publisher: Springer Science & Business Media
ISBN: 9401595380
Category : Computers
Languages : en
Pages : 317
Get Book Here
Book Description
This edited volume addresses a subject which has been discussed inten sively in the computer vision community for several years. Performance characterization and evaluation of computer vision algorithms are of key importance, particularly with respect to the configuration of reliable and ro bust computer vision systems as well as the dissemination of reconfigurable systems in novel application domains. Although a plethora of literature on this subject is available for certain' areas of computer vision, the re search community still faces a lack of a well-grounded, generally accepted, and--eventually-standardized methods. The range of fundamental problems encoIl!passes the value of synthetic images in experimental computer vision, the selection of a representative set of real images related to specific domains and tasks, the definition of ground truth given different tasks and applications, the design of experimental test beds, the analysis of algorithms with respect to general characteristics such as complexity, resource consumption, convergence, stability, or range of admissible input data, the definition and analysis of performance measures for classes of algorithms, the role of statistics-based performance measures, the generation of data sheets with performance measures of algorithms sup porting the system engineer in his configuration problem, and the validity of model assumptions for specific applications of computer vision.
