![]() |
|
Artificial Intelligence
Information analysis
Neural Networks
Animats
Published on August 15, 2011 Over the last couple of weeks Long Audio Alignment Project has had a lot of new developments. It was understood that the accuracy of audio alignment would improve even further if some approximate time information for certain words were known from before the actual alignment.
CMU Sphinx - Speech Recognition Toolkit
LaTeX for Logicians
There are a number of packages available for setting out sequent proofs/natural deduction proofs in Gentzen/Prawitz style. Setting natural deduction tree proofs
The leading textbook in Artificial Intelligence.
Artificial Intelligence: A Modern Approach
Natural language processing



