Home
Music_Metasearch
Music Top Sites
Music Store
AllMusicListings
Concert Listings
Concert Tickets
AllMusicTalk
Chat Rooms
Message Boards
MusicNews
Pop Music News
Pop Music Reviews
Music Business
MP3 News
Community
Blogs
Free Member Blogs
AllMusicPages
Free Web Pages
AllMusicBookmarks
Your Bookmarks
AllMusicFun
Musical Postcards
Relationship Test
Tarot Readings
Numerology
Music Auctions
Auctions
Classifieds
Music Apparel
AllMusicSearch Apparel
Music Store
MP3 Players
Audio Equipment
MP3 Software
Musical Instruments
Music Books
Music Magazines
Music T-Shirts
Alternative Rock
Blues
Broadway & Vocal
Children's
Christian & Gospel
Classic Rock
Classical
Country
Dance & DJ
Folk
Hard Rock & Metal
International
Jazz
Latin Music
Miscellaneous
New Age
Opera & Vocal
Pop
R&B
Rap & Hip-Hop
Rock
Soundtracks
Music Videos
Music DVDs
M (16)
|
IBM T. J. Watson Research Centre - Conversational Multi modal computing, Mobile speech solutions, Speech recognition, Signal Processing, Pattern Recognition
http://www.stephanemaes.com/smaes/
The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity.
http://www.cs.technion.ac.il/~janos/index.html
Stanford University - Syntax, computational linguistics.
http://www-nlp.stanford.edu/~manning/
University of Bologna, Italy - Type systems for programming languages, logic in computer science, lambda-calculus.
http://www.cs.unibo.it/~martini/
University of Salzburg - Natural computation, image processing, parallel computation, software engineering, and robotics.
http://www.cosy.sbg.ac.at/~helmut/helmut.html
University of Sussex - Shallow parsing, semantic tagging, natural language processing.
http://www.informatics.sussex.ac.uk/research/groups/nlp/mccarthy/mccarthy.html
School of Cognitive and Computing Sciences, University of Sussex - Semantics of programming languages.
http://www.cs.bath.ac.uk/~gam23/
Indian Institute of Technology, Bombay - Information Appliances, Electronic Commerce, Java Security, Parallel Computing
http://www.it.iitb.ac.in/~bernard/
University of Udine - Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus.
http://users.dimi.uniud.it/~marino.miculan/
University of Texas - Parallel and distributed computing, specification and design of synchronous and asynchronous systems.
http://www.cs.utexas.edu/users/misra/
University of Groningen - Image and signal processing, information theory,model selection, Modula-3.
http://www.cs.rug.nl/~rudy/
University of Udine - Logical specifications of real-time systems, temporal and object-oriented databases, deductive databases, temporal representation and reasoning, modal and temporal logic, set theory.
http://users.dimi.uniud.it/~angelo.montanari/
University of Cambridge - Self-timed circuits, multithreaded processor design, real-time systems and the engineering of complex systems.
http://www.cl.cam.ac.uk/~swm11/
Indian Institute of Technology, Kanpur - Artificial Intelligence, Computer Vision, Geometric Modelling, Robotics.
http://www.cse.iitk.ac.in/users/amit/index.html
Chennai Mathematical Institute - logic and models for concurrency
http://www.cmi.ac.in/~madhavan
University of Cambridge - Semantics and compilation of programs, static analysis of programs.
http://www.cl.cam.ac.uk/~am21/
Last Updated: 2007-01-02 19:58:36
|
The content of this directory is based on the Open Directory and has been modified by AllMusicSearch.com editors
