SearchBeat Home
Artsautosbooksbusinesscollegecomputershealthhomejobsmusicnews
 
  
recreationreferenceregionalscienceshoppingsocietysportstravelworld
comparison shop | family | fashion | gov't | games | genealogy | history | kids/teens | movies | repairs | traffic | weather | featured sites | site map |

    Top > Computers > Computer Science > People > H

Featured Topics


Poor web site text puts people off says new survey

Illustrated Library.Com Offers Personal Reading Rooms to View and Buy Books Online

Study: Reveals Internet Communication Breakdown

LastMinutesearch.com - Gives you an accurate national search

Webhelp.com Launches Redesigned Person-To-Person Search Assistance Portal



Apple Computers

Audio & Video Web Links

Computer Books

Computer Resources

Computer Shopping

Computer Support

Cyber Culture

Free Stuff on the Web

HTML Tutorial

Internet Jobs

Internet Search

Plugins

Shareware

Shockwave and Flash Gallery

Shockwave Flash Ratings

Useful Web Sites

Web Cams

Web Design and Graphics

Web Site Announcements







Discount Shopping
Autos
Books
Clothes
Computers
Electronics
Home and Garden
Jobs and Careers
Movies & Music
Software
Travel
More...
From Over 300 Stores!

    
Sponsored Link

 

TigerDirect Clearance Center Tiger System Blowout!!!



TigerDirect.com has many of the industry's most popular brands of personal computers including Dell, Compaq and Gateway with one of the best selection of computer parts and accessories. Pick from some great computers, monitors, software, networking products, digital cameras, memory, motherboards and much more. Whether you are looking for a full-size PC or a new PDA, TigerDirect.com has got what you are looking for at fantastic prices!





    Haas, Laura - Database query processing.

    Heller, Rachelle S. - George Washington University - Multimedia taxonomy.

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

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

    Hayes, Pat - University of West Florida - Knowledge representation and automatic reasoning, especially the representation of space and time and diagrammatic representations, and the philosophical foundations of AI and computer science.

    Honsell, Furio - 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.

    Henskens, Frans - 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.

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

    Hannaford, Michael R. - University of Newcastle - Object-oriented software engineering, object-oriented programming, computer architecture.

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

    Heiser, Gernot - University of New South Wales - Operating systems and distributed systems, numerical modelling of silicon solar cells.

    Hoffmann, 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.

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

    Hesselink, Wim H. - 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.

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

    Hodor, Lucien - Lan Administrator.


Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor








Advertise
| Feedback
| Contact us | Our Story | Privacy Policy | Terms and Conditions
Copyright © 1997-2008 SearchBeat, All Rights Reserved