Add your Web Site - People - H Add Search to your Site

Search for:
Results per page: Output format: Match: Pages from:
 
 
 
 Show pages from United States   Show all pages
 DIRECTORY/Computers/Computer Science/People/H (15)
i0Haas, Laura - http://www.almaden.ibm.com/cs/people/laura/ - IBM Almaden Research Center - Database query processing.
 
i0Halper, Nick - http://www.halper.de/ - University of Magdeburg - Computer graphics, non-photorealistic rendering, camera AI, computer games, real-time rendering.
 
i0Hannaford, Michael R. - http://www.cs.newcastle.edu.au/~mrh/ - University of Newcastle - Object-oriented software engineering, object-oriented programming, computer architecture.
 
i0Hansen, Eric - http://www.cs.msstate.edu/~hansen - Mississippi State University - Artificial intelligence, planning and reasoning under uncertainty, and resource-bounded computing.
 
i0Heiser, Gernot - http://www.cse.unsw.edu.au/~gernot/ - University of New South Wales - Operating systems and distributed systems, numerical modelling of silicon solar cells.
 
i0Held, Martin - http://www.cosy.sbg.ac.at/~held/held.html - University of Salzburg - Computational geometry, computer graphics, program design, algorithms and data structures, computer-aided design and manufacturing.
 
i0Henskens, Frans - http://www.cs.newcastle.edu.au/~henskens/ - 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.
 
i0Herman, Gabor T. - http://www.dig.cs.gc.cuny.edu/~gabor/ - 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
 
i0Hesselink, Wim H. - http://www.cs.rug.nl/~wim/ - 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.
 
i0Hodges, Julia - http://www.cs.msstate.edu/~hodges - Mississippi State University - Artificial intelligence, knowledge representation, knowledge discovery in databases, expert systems, document understanding.
 
i0Hoffmann, Achim - http://www.cse.unsw.edu.au/~achim/ - 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.
 
i0Hofmann, Martin - http://www.tcs.informatik.uni-muenchen.de/~mhofmann/ - University of Edinburgh - Type theory, principles of programming languages, semantics, category theory, mathematical logic, formal methods.
 
i0Honsell, Furio - http://users.dimi.uniud.it/~furio.honsell/ - 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.
 
i0Houle, Michael - http://www.cs.usyd.edu.au/~meh/ - University of Sydney - Algorithmics, including computational geometry, graph algorithms, combinatorial geometry, optimization, and parallel algorithms.
 
i0Howell, Rodney R. - http://people.cis.ksu.edu/~rhowell/ - Kansas State University - Self-stabilizing systems, real-time scheduling, Petri nets, and computational complexity.
 
 E-Mail: webmaster@infobase-intl.com Copyright © 2007 Aaex Corp. all rights reserved.
   
Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
This site is presented in modified Open Directory form