Actimania web directory of carefully selected sites

Arts

Business

Computers

Games

Health

Home

Teens

News

Recreation

Reference

Regional

Science

Shopping

Looking for a directory of carefully selected sites in Computers, Computer Science, People, C ? Actimania, based on the largest, most comprehensive human-edited directory of the web, covers a large variety of annotated sites related to Computers, Computer Science, People, C. This category lists wide range of carefully selected sites in Computers, Computer Science, People, C.

Hotels Galaxy - Hotels all around the world. Discount hotels, hotel rates and lodging reservation. Hotels reservations, flights, cars, travel, vacations, cruises.
OOHotels - Discount and cheap hotels worldwide. Hotel rates and lodging reservations at cheap prices.
OOVacances - Vacations in France - Vacations and Holidays in France. Vacation Rentals of Private Villas, cottages, cabins, apartments and condos.

[ A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z ]

» Cardelli, Luca - 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://www.informatics.sussex.ac.uk/research/groups/nlp/carroll/

» Carroll, John - 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 approaches to surface generation.

» Cattani, Gian Luca - Applications of category theory to computer science, semantics of concurrent process languages.

» Cau, Antonio - De Montfort University - Formal methods, verification, reactive systems, semantics, compositionality, interval temporal logic, executable specification, re-engineering.

» Ceri, Stefano - Politecnico di Milano - Extending database technology to incorporate data distribution, deductive and active rules; object-orientation design methods for data-intensive web sites.

» Chakrabarti, Soumen - Indian Institute of Technology, Bombay - Information Retrieval, Text Databases, Data Mining.

» Chakraborty, Supratik - Indian Institute of Technology, Bombay - Formal techniques for analysis, Verification, Validation of digital systems, Asynchronous timing analysis.

» Chandran, Sharat - Indian Institute of Technology, Bombay - Graphics, Computer Vision, Computational Geometry, Parallel Algorithms.

http://www.cs.brown.edu/people/ec/home.html

» Charniak, Eugene - Brown University - Influential researcher in Natural Language Processing and Artificial Intelligence. His home page features some of his publications, in postscript.

» Chen, Hubie - Universitat Pompeu Fabra, Barcelona - Theoretical computer science, logic, reasoning.

http://users.dimi.uniud.it/~luca.chittaro/

» Chittaro, Luca - 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).

» Ciaccia, Paolo - 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.

» Cohen, Bernie - City University, London - Formal methods and modelling.

http://www.cosy.sbg.ac.at/~bnocker/bnocker.html

» Collini-Nocker, Bernhard - University of Salzburg - Network traffic measurements, LAN interconnection via satellite, and interactive multimedia satellite information services.

» Cooper, Shane - Collection of programming-related links.

» Cormen, Thomas H. - Associate Professor at Dartmouth, and co-author of arguably the leading textbook on algorithms.

» Costa, Ernesto - University of Coimbra, Portugal - Artificial intelligence, evolutionary computation.

http://www.cs.mcgill.ca/~crepeau/index_en.html

» Crépeau, Claude - McGill University - Cryptographic protocols, quantum cryptography, quantum teleportation, quantum computing, and coding theory.

This page of directory is focused on one aspect of Computers, Computer Science, People, C.

Help build the largest human-edited directory on the web. Soumettre un site - Open Directory Project - Devenir Editeur

Actimania web directory list the sites by theme. The links in Actimania directory are collected, edited and organized by humans.