1466 search results - page 184 / 294 » Complexity of Reasoning over Temporal Data Models |
140
click to vote
ICAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Large amount of monitoring data can be collected from distributed systems as the observables to analyze system behaviors. However, without reasonable models to characterize systems...
136
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purpo...
121
Voted
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Practical use of MDL is full of pitfalls in which the practitioners tend to fall head over heels. We analyse the power and the perils in the use of MDL. Generally, the classical a...
137
click to vote
ENTCS
2002
15 years 4 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
143
click to vote
IJCAI
2007
15 years 5 months ago
2007
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...