838 search results - page 92 / 168 » From Natural Language to Formal Proof Goal |
158
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML development, this means that system test requirements ...
175
click to vote
ICGI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper investigates the learnability of Pregroup Grammars, a context-free grammar formalism recently defined in the field of computational linguistics. In a first ...
142
click to vote
AAAI
2007
15 years 8 months ago
2007
To be effective, an agent that collaborates with humans needs to be able to learn new tasks from humans they work with. This paper describes a system that learns executable task m...
144
click to vote
EACL
1993
ACL Anthology
15 years 7 months ago
1993
ACL Anthology
The interpretation of coercion constructions (to begin a book) has been recently considered as resulting from the operation of type changing. For instance, a phrase of type o (obj...
194
click to vote
ESORICS
2002
Springer
16 years 5 months ago
2002
Springer
Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource...