|
|
 | |
Million Connections, Web Directory  Computers Computer Science Page 12 |
PR: 6
| (USA) SRI AI Center NLP Program Information on their projects in multimedia/multimodal interfaces, spoken language systems, written language systems. Links to the projects, publications, staff. http://www.ai.sri.com/natural-language/natural-language.html [ Detail ] |
PR: 5
| CAV - The International Conference on Computer Aided Verification A series of conferences on computer aided verification dedicated to the formal analysis of hardware and software. http://www.cav-conference.org [ Detail ] |
PR: 5
| FOOL Foundations of Object-Oriented Languages. Links to the annual workshops. http://www.cis.upenn.edu/~bcpierce/FOOL/ [ Detail ] |
PR: 5
| SAIG Workshop on Semantics, Applications, and Implementation of Program Generation. Links to regular workshops and other events. http://cs-www.cs.yale.edu/homes/taha/saig/ [ Detail ] |
PR: 5
| STACS Websites Links to the series Symposium on Theoretical Aspects of Computer Science. http://stacs.uni-trier.de/ [ Detail ] |
PR: 5
| Symposium on the Theory of Computing (STOC) Links to the 27th to 35th STOC sites. http://www.informatik.uni-trier.de/~ley/db/conf/stoc/ [ Detail ] |
PR: 5
| UbiComp Venue for presenting research and development achievements in the design, implementation, deployment and evaluation of computing technology that migrates beyond our desktops. http://ubicomp.org/ [ Detail ] |
PR: 5
| CALT Encyclopedia -- Information Technologies A large directory covering computer science in general and several specific subcategories, primarily focused on software. http://www.insead.fr/CALT/Encyclopedia/ComputerSciences/ [ Detail ] |
PR: 5
| A Gallimaufry of Web Pages Resources for Discrete Mathematics and Theoretical Computer Science, maintained at DIMACS. http://dimacs.rutgers.edu/OtherLinks/ [ Detail ] |
PR: 5
| Theoretical Computer Science on the Web Pointers to papers and pages of general interest to the theory community, theory related software available on the net, upcoming conferences and other information of interest to theoretical computer scientists. http://ai.stanford.edu/~suresh/theory/ [ Detail ] |
PR: 5
| Top20ComputerScience.com Covers many CS and some non CS topics. Lists just a few major links for each topic. http://www.top20computerscience.com/ [ Detail ] |
PR: 5
| Finnish Society for Computer Science Founded in 1982 to advance computer science research, promote new applications based on research, and to increase the collaboration between computer scientists and practitioners. Contains organization information. [English/Finnish/Swedish] http://www.nic.funet.fi/org/tkts/index-eng.html [ Detail ] |
PR: 5
| Informatics Society of Iran Committed to the advancement of computer knowledge and standards in Iran. Introduction, membership information and past reports. http://gpg.com/MERC/org/isi/isi.html [ Detail ] |
PR: 5
| Airoldi, Edoardo Carnegie Mellon. Euclidean, differential or algebraic geometrical intuitions underlying statistical models and algorithms. Discrete mathematics and sequential models. Applications to textual data, biological sequences, communication networks and privacy. http://www.cs.cmu.edu/~eairoldi/ [ Detail ] |
PR: 5
| Allen, James F. University of Rochester. Natural language understanding, discourse, knowledge representation, common-sense reasoning and planning. http://www.cs.rochester.edu/users/faculty/james/ [ Detail ] |
PR: 5
| Angele, Jürgen Ontoprise. Knowledge engineering, domain and task modeling, ontologies, KARL, MIKE, web portals. http://www.ontoprise.de/members/angele/publications.htm [ Detail ] |
PR: 5
| Beal, Matthew J. University at Buffalo, SUNY. Nonparamtric Bayes, bioinformatics, HMMs, probablisitic sensor fusion. http://www.cse.buffalo.edu/faculty/mbeal [ Detail ] |
PR: 5
| Brachman, Ron Director of the Information Processing Technology Office (IPTO) at DARPA. Knowledge representation, machine learning, information retrieval, natural language processing. http://www.brachman.org/ [ Detail ] |
PR: 5
| Branting, L. Karl LiveWire Logic, Inc. Empirical methods of natural language processing, case-based reasoning, AI and law, ecological and environmental applications of AI. http://www.karlbranting.net [ Detail ] |
PR: 5
| Bunt, Andrea University of British Columbia. User modeling, adaptive interfaces, intelligent tutoring systems. http://www.cs.ubc.ca/~bunt/ [ Detail ] |
Copyright Million Connections 2007, All right's Reserved. |