2722 search results - page 156 / 545 » Automating Language Evolution |
136
click to vote
MM
2004
ACM
15 years 10 months ago
2004
ACM
Involving a school teacher in the development of the intelligent writing tutor StoryStation allowed progress to be made on the problem of story classification, an aspect of story...
167
click to vote
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...
176
click to vote
LICS
2010
IEEE
15 years 3 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
143
click to vote
WWW
2010
ACM
15 years 12 months ago
2010
ACM
Traditionally web applications have required an internet connection in order to work with data. Browsers have lacked any mechanisms to allow web applications to operate offline wi...
171
click to vote
ASE
2005
15 years 4 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...