440 search results - page 37 / 88 » Predicate Abstraction with Indexed Predicates |
132
Voted
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
The verification problem for action logic programs with non-terminating behaviour is in general undecidable. In this paper, we consider a restricted setting in which the problem be...
153
Voted
AAIP
2009
15 years 2 months ago
2009
Abstract. This paper describes a very flexible way to synthesize functions matching a given predicate. This can be used to find general recursive functions or -terms obeying an inp...
142
click to vote
WEBDB
2001
Springer
15 years 9 months ago
2001
Springer
Indexing schemes for semistructured data have been developed in recent years to optimize path query processing by summarizing path information. However, most of these schemes can ...
148
click to vote
WIDM
2004
ACM
15 years 10 months ago
2004
ACM
In this paper, we propose a novel compact tree (Ctree) for XML indexing, which provides not only concise path summaries at the group level but also detailed child-parent links at ...
158
Voted
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
Current approaches to RDF graph indexing suffer from weak data locality, i.e., information regarding a piece of data appears in multiple locations, spanning multiple data structur...