ACM SIGACT
Special Interest Group on Algorithms and Computation Theory, the ACM special interest group for Theoretical Computer Science. Site has membership information, meetings, reports and a newsletter for members.
|
Stony Brook Algorithm Repository
This is a collection of implementations for 75 fundamental algorithms problems, including data structures, numerical and combinatorial algorithms,graph algorithms, and computational geometry. Implementations are available in C++, Java, Fortran, and other languages.
|
Abstract State Machines
A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
|
Tree Automata Techniques and Applications
An evolving web text in PostScript and PDF, with related software.
|
Analysis Of Algorithms
An initiative of attendees of the 1997 Dagstuhl seminar, these pages provide research papers, a bulletin board, and links to researchers and other resources in the field. The focus is on average case and probabilistic analysis.
|
BotSpot
Including intelligent agents, data mining, knowledge discovery, artificial intelligence. Biweekly newsletter available.
|
Kurzweil Accelerating Intelligence Network
KurzweilAI.net explores trends in emerging technologies in the 21st century. Also, it attempts to showcase leading technologies in AI and related fields.
|
Bibliographies on Artificial Intelligence
Part of the Collection of Computer Science Bibliographies, is searchable and browseable.
|
SIGART Electronic Information Services
SIGART is the ACM Special Interest Group on Artificial Intelligence.
|
Ai on the Web
Lots and lots of pointers to AI resources: intelligent agents, search and game playing, logic and knowledge representation, planning, reasoning with uncertainty, machine learning, natural language processing, perception and robotics, philosophy and the future, AI programming.
|
CSAB/CSAC
The Computing Sciences Accreditation Board and Computer Science Accreditation Commission officially accredit academic programs in Computer Science in the United States. Not every respected university program is accredited, but those that are tend to be proud of it.
|
ArXiv: cs.CG Computational Geometry
Section of the Computing Research Repository (CoRR), moderated by Joseph O'Rourke.
|
Center for Geometric Computing, Brown University
A long-term project to transfer technology from Computational Geometry to applied fields. Members, publications, meetings, prototypes, resources.
|
Center for Geometric and Biological Computing, Duke University
Interdisciplinary research in geometric computing. Members, research areas, publications, software, resources.
|
MIT Laboratory for Computer Science
Research in a variety of areas in computer science. Description of research, publications, and news.
|
