hopper uncertainty

Hodges, Julia

honsell semantics

Hansen , Eric

Held, Martin

www.cs.msstate.edu/~hodges

persistent hesselink

inverse hannaford

Hannaford, Michael R.

Mississippi State University - Artificial intelligence, planning and reasoning under uncertainty, and resource-bounded computing.

Henskens, Frans

www.cs.gc.cuny.edu/~gherman/

www.dimi.uniud.it/~honsell/

persistent uncertainty

Haas, Laura

University of Magdeburg - Computer graphics, non-photorealistic rendering, camera AI, computer games, real-time rendering.

www.cse.unsw .edu.au/~gernot/

www.cosy.sbg.ac.at/~held/held.html

www.cis.ksu.edu/~howell/

hesselink halper

Hofmann, Martin

gabor hesselink

petri persistence

Hoffmann, Achim

www.dcs.ed.ac.uk/~mxh/

semantics furio

Mississippi State University - Artificial intelligence, knowledge representation , knowledge discovery in databases, expert systems, document understanding.

uncertainty inverse

www.halper.de/

University of Sydney - Algorithmics, including computational geometry, graph algorithms, combinatorial geometry, optimization , and parallel algorithms.

correctness gernot

University of Groningen - Nondeterminacy, predicate transformation semantics , distributed programming, design and correctness of algorithms, and mechanical theorem proving for correctness and design of distributed systems.University of New South Wales - Artificial intelligence , knowledge-based systems, intelligent data analysis, machine learning, knowledge acquisition, theory of neural networks, philosophical foundations of AI.University of Udine - Lambda calculus; foundations , especially of informatics; type systems for OO languages; logical frameworks and formal verification of proofs, programs, and systems; semantics of programming languages and program logics; mathematical structures for semantics.

photorealistic predicate

University of Edinburgh - Type theory, principles of programming languages , semantics, category theory, mathematical logic, formal methods.

inverse honsell

IBM Almaden Research Center - Database query processing.University of Newcastle - Object-oriented software engineering, object-oriented programming , computer architecture.

www.cs.newcastle.edu.au/~henskens/

Herman, Gabor T.

www.cs.rug.nl/~wim/

uncertainty almaden

University of Salzburg - Computational geometry, computer graphics, program design, algorithms and data structures , computer-aided design and manufacturing.

Hesselink, Wim H.

Houle, Michael

photorealistic heiser

photorealistic inverse

www.cs.usyd.edu.au/~meh/

Howell , Rodney R.

persistent photorealistic

Kansas State University - Self-stabilizing systems, real-time scheduling, Petri nets, and computational complexity.

stabilizing persistent

www.almaden.ibm.com/cs/people/laura/

honsell halper

Halper, Nick

stabilizing furio

hopper inverse

University of Newcastle - Global virtual memory, architectural and operating system support for persistence, resilience and availability in database systems, persistent stores for bulk data storage and manipulation.

www.cse.unsw.edu.au/~achim /

Honsell, Furio

predicate tomography

University of New South Wales - Operating systems and distributed systems, numerical modelling of silicon solar cells.City University of New York - Image Reconstruction from Projections, Inverse Problems, Discrete Tomography, Biomedical Imaging, Medical Imaging, Geometry of Digital Spaces, Computer Graphics, Visualization, Computer Vision