Algorithms

Numerical Algorithms Group Numerical Algorithms Group- Based in Oxford, England with branches in France, Germany, Japan and North America. The Coq proof assistant The Coq proof assistant- Allows the user to handle calculus assertions, to check mechanically proofs of these assertions, helps to find formal proofs, extracts a certified program… CtCoq CtCoq- a working environment for the Coq theorem prover (XWindow) Torch Library Torch Library- A library in C++ for developing Open Source speech and machine learning applications. The code is under the Gnu Public License. VOICEBOX: Speech Processing Toolbox for MATLAB VOICEBOX: Speech Processing Toolbox for MATLAB- A voice processing toolbox for Matlab, very useful for prototyping algorithms and has routines to do most of the basic useful tasks… comp.speech WWW site comp.speech WWW site- Provides a range of information on speech technology, including speech synthesis, speech recognition, speech coding, and related material. Pages look a littl… University of Massachusetts - Amherst CBR Group University of Massachusetts - Amherst CBR Group- Information about research, publications, abstracts, and personnel. ML & CBR Folks ML & CBR Folks- A list of home pages for people in machine learning and case-based reasoning. Case-based Reasoning website of the IIIA Case-based Reasoning website of the IIIA- Research and development work related to Case-based Reasoning (CBR) performed on the Institut d'Investigació en Intelligència Artificial … Case-Based Reasoning: Experiences, Lessons, and Future Directions Case-Based Reasoning: Experiences, Lessons, and Future Directions- Home page for the AAAI Press book, edited by David Leake. Includes the table of contents and a link to an on-lin… Intro to CBR Intro to CBR- Short intro includes information about technical issues, applications, suitability conditions, tools, and related websites and mailing lists. CMU AI Repository: CBR Area CMU AI Repository: CBR Area- Direct link to CBR software and materials in the CMU AI repository. Improving Accuracy by Combining Rule-based and Case-based Reasoning Improving Accuracy by Combining Rule-based and Case-based Reasoning- Abstract for full paper, PDF full text available. "An architecture is presented for combining rule-based and c… CADET - Case-based Design Tool CADET - Case-based Design Tool- "System that aids conceptual design of electro-mechanical devices and is based on the paradigm of Case-based Reasoning." Project information, membe… Adobe Dreamweaver. Adobe Dreamweaver.- Extremely powerful site building tool. Support for DHTML and CSS, with ready-to-use JavaScript actions. Site-management tools. 30 day evaluation copy available… BBEdit BBEdit- Famed Macintosh text editor - includes many features which have been specifically developed in response to the needs of HTML authors. Algorithm Design Paradigms Algorithm Design Paradigms- A course by Paul Dunne at the University of Liverpool. Slides and notes in HTML and PS. Data Structures Data Structures- Lecture notes by Steven Skiena. Stony Brook Algorithm Repository Stony Brook Algorithm Repository- This is a collection of implementations for 75 fundamental algorithms problems, including data structures, numerical and combinatorial algorithms… Softpanorama Algorithms and Data Structures Softpanorama Algorithms and Data Structures- A compilation of links and background information. Tree Automata Techniques and Applications Tree Automata Techniques and Applications- An evolving web text in PostScript and PDF, with related software. Problems in Analysis of Algorithms Problems in Analysis of Algorithms- A list of open problems with updates and solutions. Analysis Of Algorithms 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 resource… Algorithms in the Real World Algorithms in the Real World- Notes for a course at Carnegie Mellon University. Resources for the Analysis of Algorithms Resources for the Analysis of Algorithms- Links to papers, conferences and other sites, maintained by Helmut Prodinger. Algorithms Archive Algorithms Archive- A collection including searching, sorting, tracking, mathematics and cellular automata. In English and Italian. Computer Programming Algorithms Directory Computer Programming Algorithms Directory- Resources that describe computer programming algorithms. Combinatorial Algorithms Combinatorial Algorithms- Lecture notes of a course at San Diego State University. Design and Analysis of Computer Algorithms Design and Analysis of Computer Algorithms- Lecture notes; applets and code in C, C++, and Java; links regarding books, journals, computability, quantum computing, societies and o… Priority Queues Priority Queues- Electronic bibliography on priority queues (heaps). Links to downloadable reports, researchers' home pages, and software.