838 search results - page 58 / 168 » From Natural Language to Formal Proof Goal |
159
click to vote
SAS
1993
Springer
15 years 10 months ago
1993
Springer
A new construction of a finite set of strictness properties for any lazy algebraic datatype is presented. The construction is based on the categorical view of the solutions to the...
157
click to vote
AI
1998
Springer
15 years 5 months ago
1998
Springer
In this paper, we propose a definition of goal achievability: given a basic action theory describing an initial state of the world and some primitive actions available to a robot...
251
click to vote
CSLP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This article describes an attempt to implement a constraintbased dependency grammar for Czech, a language with rich morphology and free word order, in the formalism Exten...
179
click to vote
EDOC
2004
IEEE
15 years 9 months ago
2004
IEEE
The ODP computational viewpoint describes the functionality of a system and its environment, in terms of a configuration of objects which interact at interfaces. Computational obj...
256
click to vote
ECOOP
2009
Springer
16 years 6 months ago
2009
Springer
Contemporary refactoring tools for JAVA aiding in the restructuring of programs have problems with respecting access modifiers such as public and private: while some tools provide ...