12774 search results - page 399 / 2555 » A Framework for Proof Systems |
215
click to vote
JCP
2008
15 years 7 months ago
2008
- Our paper focuses on the generation of optimal test sequences and test cases using Intelligent Agents for highly reliable systems. Test sequences support test case generation for...
214
click to vote
ENTCS
2007
15 years 7 months ago
2007
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
209
click to vote
AI
2005
Springer
15 years 7 months ago
2005
Springer
The current research presents a system that learns to understand object names, spatial relation terms and event descriptions from observing narrated action sequences. The system e...
205
click to vote
NLE
2010
15 years 6 months ago
2010
This paper focuses on an important step in the creation of a system of meaning representation and the development of semantically-annotated parallel corpora, for use in applicatio...