1368 search results - page 112 / 274 » Personality-Based Practical Reasoning |
133
click to vote
DLOG
2004
15 years 4 months ago
2004
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
217
Voted
GIS
2007
ACM
16 years 4 months ago
2007
ACM
This work addresses the problem of obtaining the degree of similarity between trajectories of moving objects. Typically, a Moving Objects Database (MOD) contains sequences of (loc...
114
click to vote
CADE
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. In functional programming languages the use of infinite structures is common practice. For total correctness of programs dealing with infinite structures one must guarant...
256
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
110
Voted
CADE
2007
Springer
16 years 3 months ago
2007
Springer
We add labels to first-order clauses to simultaneously apply superpositions to several proof obligations inside one clause set. From a theoretical perspective, the approach unifies...