2374 search results - page 72 / 475 » The language of machines |
ALT
2006
Springer
13 years 11 months ago
2006
Springer
A number of natural models for learning in the limit is introduced to deal with the situation when a learner is required to provide a grammar covering the input even if only a par...
ACL2
2006
ACM
14 years 2 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
PPPJ
2006
ACM
14 years 2 months ago
2006
ACM
Today’s complex applications must face the distribution of data and code among different network nodes. Java is a wide-spread language that allows developers to build complex so...
COLING
2010
13 years 3 months ago
2010
We describe an approach to automatically learn reordering rules to be applied as a preprocessing step in phrase-based machine translation. We learn rules for 8 different language ...
ECTEL
2010
Springer
13 years 9 months ago
2010
Springer
We present Beetle II, a tutorial dialogue system designed to accept unrestricted language input and support experimentation with different tutorial planning and dialogue strategies...