Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the International Workshop on Energy Minimization Methods in Computer Vision and Pattern Recognition, EMMCVPR'97, held in Venice, Italy, in May 1997. The book presents 29 revised full papers selected from a total of 62 submissions. Also included are four full invited papers and a keynote paper by leading researchers. The volume is organized in sections on contours and deformable models, Markov random fields, deterministic methods, object recognition, evolutionary search, structural models, and applications. The volume is the first comprehensive documentation of the application of energy minimization techniques in the areas of compiler vision and pattern recognition.

Computer vision --- Pattern recognition systems --- Neural networks (Computer science) --- Evolutionary computation --- Simulated annealing (Mathematics) --- Congresses. --- Applied Physics --- Engineering & Applied Sciences --- Congresses --- Algorithm, Annealing --- Algorithm, Probabilistic exchange --- Annealing, Monte Carlo --- Annealing, Simulated --- Annealing algorithm --- Cooling, Statistical --- Exchange algorithm, Probabilistic --- Hill climbing, Probabilistic --- Monte Carlo annealing --- Probabilistic exchange algorithm --- Probabilistic hill climbing --- Relaxation, Stochastic --- Statistical cooling --- Stochastic relaxation --- Computer science. --- Computers. --- Algorithms. --- Artificial intelligence. --- Computer graphics. --- Image processing. --- Pattern recognition. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Pattern Recognition. --- Image Processing and Computer Vision. --- Computer Graphics. --- Algorithm Analysis and Problem Complexity. --- Computation by Abstract Devices. --- Optical pattern recognition. --- Computer vision. --- Computer software. --- Artificial Intelligence. --- Software, Computer --- Computer systems --- Machine vision --- Vision, Computer --- Artificial intelligence --- Image processing --- Optical data processing --- Pattern perception --- Perceptrons --- Visual discrimination --- Automatic drafting --- Graphic data processing --- Graphics, Computer --- Computer art --- Graphic arts --- Electronic data processing --- Engineering graphics --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Digital techniques --- Optical data processing. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Cybernetics --- Calculators --- Cyberspace --- Algorism --- Algebra --- Arithmetic --- Optical computing --- Visual data processing --- Integrated optics --- Photonics --- Computers --- Design perception --- Pattern recognition --- Form perception --- Perception --- Figure-ground perception --- Foundations --- Optical equipment --- Computer vision - Congresses. --- Pattern recognition systems - Congresses. --- Neural networks (Computer science) - Congresses. --- Evolutionary computation - Congresses. --- Simulated annealing (Mathematics) - Congresses. --- Pattern perception.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer. Automation --- Pure sciences. Natural sciences (general) --- Supercomputers --- -681.3*C51 --- 681.3*G1 --- 681.3*G4 --- Electronic digital computers --- High performance computing --- Congresses --- Large and medium (mainframe) computers: super (very large) computers (Computer system implementation) --- Numerical analysis --- Mathematical software: algorithm analysis; certification and testing; efficiency; portability; reliability and robustness; verification --- 681.3*G4 Mathematical software: algorithm analysis; certification and testing; efficiency; portability; reliability and robustness; verification --- 681.3*G1 Numerical analysis --- 681.3*C51 Large and medium (mainframe) computers: super (very large) computers (Computer system implementation) --- 681.3*C51

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Algebra --- -Microcomputers --- -#KVIV:BB --- 519.6 --- 681.3 *G10 --- 681.3*G4 --- Home computers --- Micro computers --- Micros (Microcomputers) --- PCs (Microcomputers) --- Personal computers --- Small computers --- Minicomputers --- Mathematics --- Mathematical analysis --- Data processing --- Programming --- Computational mathematics. Numerical analysis. Computer programming --- Computerwetenschap--?*G10 --- Mathematical software: algorithm analysis; certification and testing; efficiency; portability; reliability and robustness; verification --- Microcomputers --- Data processing. --- Programming. --- 681.3*G4 Mathematical software: algorithm analysis; certification and testing; efficiency; portability; reliability and robustness; verification --- 519.6 Computational mathematics. Numerical analysis. Computer programming --- #KVIV:BB --- Algebra - Data processing. --- Microcomputers - Programming. --- Algebre lineaire --- Methodes numeriques

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Artificial intelligence. Robotics. Simulation. Graphics --- Information systems --- 519.7 --- 681.3 *G10 --- Mathematical cybernetics --- Computerwetenschap--?*G10 --- 519.7 Mathematical cybernetics --- Computer engineering. --- Telecommunication. --- Computer software. --- Electrical Engineering. --- Communications Engineering, Networks. --- Algorithm Analysis and Problem Complexity. --- Software, Computer --- Computer systems --- Electric communication --- Mass communication --- Telecom --- Telecommunication industry --- Telecommunications --- Communication --- Information theory --- Telecommuting --- Computers --- Design and construction

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the proceedings of the fourth International Joint Conference on the Theory and Practice of Software Development, TAPSOFT '93. Since the first in 1985, the aim of these conferences has been to bring together theoretical computer scientists and researchers in software engineering with a view to discussing how formal methods can usefully be applied in software development. TAPSOFT '93 consists ofthree parts: an advanced seminar, the Colloquium on Trees in Algebra and Programming (CAAP), and the Colloquium on Formal Approaches of Software Engineering (FASE). The advanced seminar includes four invited surveys and four invited conferences. The selected papers for CAAP are organized in seven sessions: specifications and proofs, concurrency, automata and counting, constraints solving, rewriting, logic and trees, analysis of algorithms, and a common session with FASE on type inference. The selected papers for FASE are presented in eight sessions: case studies in formal design and development, compositionality modules and development, formal development, foundations and analysis of formal specifications, verification of concurrent systems, model checking, parallel calculus, and a common session with CAAP on type inference.

Computer software --- Logiciels --- Development --- Congresses --- Développement --- Congrès --- Développement --- Congrès --- Computer software - Development - Congresses. --- Software engineering. --- Computer science. --- Computer software. --- Software Engineering/Programming and Operating Systems. --- Programming Techniques. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Software, Computer --- Computer systems --- Informatics --- Science --- Computer software engineering --- Engineering --- Congresses.