1423 search results - page 188 / 285 » Languages of Nested Trees |
122
click to vote
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
Ong has shown that the modal mu-calculus model checking problem (equivalently, the alternating parity tree automaton (APT) acceptance problem) of possibly-infinite ranked trees gen...
119
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
Defence trees and CP-net (ceteris paribus network) are two useful approaches that can be used to help a system administrator to analyze a security scenario and to give him a model ...
118
click to vote
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
118
click to vote
IDEAS
2006
IEEE
15 years 10 months ago
2006
IEEE
Updating XML documents submitted to schema constraints requires incremental validation, i.e. checking the parts of the document concerned by the updates. We propose to correct sub...
122
click to vote
TIME
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents an XML-based approach to implementing the parametric model of temporal databases. In the parametric model, attribute values are functions of time and the entir...