3776 search results - page 653 / 756 » Partition-Based Logical Reasoning |
173
click to vote
LICS
2007
IEEE
16 years 15 days ago
2007
IEEE
d abstract) Marcin Jurdzi´nski and Ranko Lazi´c∗ Department of Computer Science, University of Warwick, UK An alternation-free modal µ-calculus over data trees is introduced ...
188
click to vote
TIME
2007
IEEE
16 years 14 days ago
2007
IEEE
This paper presents the automatic extension of TERSEO to other languages, a knowledge-based system for the recognition and normalization of temporal expressions, originally develo...
160
click to vote
ESWS
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. Software maintainers routinely have to deal with a multitude of artifacts, like source code or documents, which often end up disconnected, due to their different represen...
145
click to vote
ICLP
2007
Springer
16 years 11 days ago
2007
Springer
As logic programming applications grow in size, Prolog systems need to efficiently access larger and larger data sets and the need for any- and multiargument indexing becomes more...
167
click to vote
LOPSTR
2007
Springer
16 years 10 days ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...