2152 search results - page 259 / 431 » On Automating the Calculus of Relations |
212
click to vote
ICDT
2012
ACM
13 years 8 months ago
2012
ACM
Previous studies of incomplete XML documents have identified three main sources of incompleteness – in structural information, data values, and labeling – and addressed data ...
182
click to vote
LPNMR
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. In answer-set programming (ASP), many notions of program equivalence have been introduced and formally analysed. A particular line of research in this direction aims at s...
164
click to vote
LICS
2005
IEEE
16 years 5 hour ago
2005
IEEE
There are two main paradigms for querying semi structured data: regular path queries and XPath. The aim of this paper is to provide a synthesis between these two. This synthesis i...
171
click to vote
FASE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
189
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Existing sequence comparison software applications lack automation, abstraction, performance, and flexibility. Users need a new way of studying and applying sequence comparisons i...