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

AllMusicSearch Music Directory
Web Directory
AllMusicSearch.com Music Guide

C (18)

Sites:

http://lucacardelli.name
» Cardelli, Luca Open in a new browser window
   Microsoft Research - Type theory and operational semantics, mostly for applications to language design, semantics, and implementation. Semantic and type-theoretic foundations of object-oriented languages. Global and mobile computation issues.
   http://lucacardelli.name
http://www.informatics.sussex.ac.uk/research/groups/nlp/carroll/
» Carroll, John Open in a new browser window
   University of Sussex at Brighton - Natural language processing, stochastic lexicalized grammars, shallow parsing and knowledge extraction, parsing disambiguation and efficiency, parser evaluation, large-scale grammar and lexicon development, linguistic ap
   http://www.informatics.sussex.ac.uk/research/groups/nlp/carroll/
http://www.daimi.au.dk/~luca/
» Cattani, Gian Luca Open in a new browser window
   Applications of category theory to computer science, semantics of concurrent process languages.
   http://www.daimi.au.dk/~luca/
http://www.cse.dmu.ac.uk/~cau/
» Cau, Antonio Open in a new browser window
   De Montfort University - Formal methods, verification, reactive systems, semantics, compositionality, interval temporal logic, executable specification, re-engineering.
   http://www.cse.dmu.ac.uk/~cau/
http://home.dei.polimi.it/ceri/
» Ceri, Stefano Open in a new browser window
   Politecnico di Milano - Extending database technology to incorporate data distribution, deductive and active rules; object-orientation design methods for data-intensive web sites.
   http://home.dei.polimi.it/ceri/
http://www.cse.iitb.ac.in/~soumen/
» Chakrabarti, Soumen Open in a new browser window
   Indian Institute of Technology, Bombay - Information Retrieval, Text Databases, Data Mining.
   http://www.cse.iitb.ac.in/~soumen/
http://www.cse.iitb.ac.in/~supratik/
» Chakraborty, Supratik Open in a new browser window
   Indian Institute of Technology, Bombay - Formal techniques for analysis, Verification, Validation of digital systems, Asynchronous timing analysis.
   http://www.cse.iitb.ac.in/~supratik/
http://www.cse.iitb.ac.in/~sharat/
» Chandran, Sharat Open in a new browser window
   Indian Institute of Technology, Bombay - Graphics, Computer Vision, Computational Geometry, Parallel Algorithms.
   http://www.cse.iitb.ac.in/~sharat/
http://www.cs.brown.edu/people/ec/home.html
» Charniak, Eugene Open in a new browser window
   Brown University - Influential researcher in Natural Language Processing and Artificial Intelligence. His home page features some of his publications, in postscript.
   http://www.cs.brown.edu/people/ec/home.html
http://www.tecn.upf.es/~hchen/
» Chen, Hubie Open in a new browser window
   Universitat Pompeu Fabra, Barcelona - Theoretical computer science, logic, reasoning.
   http://www.tecn.upf.es/~hchen/
http://users.dimi.uniud.it/~luca.chittaro/
» Chittaro, Luca Open in a new browser window
   University of Udine - Knowledge-based systems (diagnosis, temporal reasoning, modeling of physical systems, qualitative reasoning) and human-computer interaction (desktop virtual reality, information visualization, 3d, multimedia and multimodal interfaces
   http://users.dimi.uniud.it/~luca.chittaro/
http://www-db.deis.unibo.it/~pciaccia/
» Ciaccia, Paolo Open in a new browser window
   University of Bologna - Content-based retrieval, data models, query languages, similarity queries, fuzzy retrieval, the M-tree, signature files, grid files, schema-based navigation, structures on the web.
   http://www-db.deis.unibo.it/~pciaccia/
http://www.soi.city.ac.uk/~bernie/
» Cohen, Bernie Open in a new browser window
   City University, London - Formal methods and modelling.
   http://www.soi.city.ac.uk/~bernie/
http://www.cosy.sbg.ac.at/~bnocker/bnocker.html
» Collini-Nocker, Bernhard Open in a new browser window
   University of Salzburg - Network traffic measurements, LAN interconnection via satellite, and interactive multimedia satellite information services.
   http://www.cosy.sbg.ac.at/~bnocker/bnocker.html
http://shanecooper.net
» Cooper, Shane Open in a new browser window
   Collection of programming-related links.
   http://shanecooper.net
http://www.cs.dartmouth.edu/~thc/
» Cormen, Thomas H. Open in a new browser window
   Associate Professor at Dartmouth, and co-author of arguably the leading textbook on algorithms.
   http://www.cs.dartmouth.edu/~thc/
http://eden.dei.uc.pt/~ernesto/
» Costa, Ernesto Open in a new browser window
   University of Coimbra, Portugal - Artificial intelligence, evolutionary computation.
   http://eden.dei.uc.pt/~ernesto/
http://www.cs.mcgill.ca/~crepeau/index_en.html
» Crépeau, Claude Open in a new browser window
   McGill University - Cryptographic protocols, quantum cryptography, quantum teleportation, quantum computing, and coding theory.
   http://www.cs.mcgill.ca/~crepeau/index_en.html

This category needs an editor

Last Updated: 2007-01-02 19:58:36



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

The content of this directory is based on the Open Directory and has been modified by AllMusicSearch.com editors

Free previews by Thumbshots.org