834 search results - page 33 / 167 » Computing Minimal Models, Stable Models, and Answer Sets |
ENTCS
2008
14 years 12 months ago
2008
We define transactional graph transformation systems (t-gtss), a mild extension of the ordinary framework for the double-pushout approach to graph transformation, which allows to ...
105
click to vote
AAAI
2008
15 years 2 months ago
2008
This paper proposes an optimal approach to infinite-state action planning exploiting automata theory. State sets and actions are characterized by Presburger formulas and represent...
104
click to vote
WEBDB
2000
Springer
15 years 3 months ago
2000
Springer
Rewriting queries using views is a powerful technique that has applications in data integration, data warehousing and query optimization. Query rewriting in relational databases i...
105
click to vote
CVPR
2005
IEEE
16 years 1 months ago
2005
IEEE
In many automatic face recognition applications, a set of a person's face images is available rather than a single image. In this paper, we describe a novel method for face r...
ICDCS
2010
IEEE
15 years 1 months ago
2010
IEEE
Continuously monitoring the link performance is important to network diagnosis. Recently, active probes sent between end systems are widely used to monitor the link performance. I...