3820 search results - page 365 / 764 » Bounded Model Debugging |
128
click to vote
CPAIOR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. AND/OR search spaces are a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is its sensitivity to the struc...
146
Voted
ICDM
2005
IEEE
15 years 10 months ago
2005
IEEE
In data mining, enumerate the frequent or the closed patterns is often the first difficult task leading to the association rules discovery. The number of these patterns represen...
139
click to vote
EDCC
2005
Springer
15 years 10 months ago
2005
Springer
Unreliable failure detectors are a well known means to enrich asynchronous distributed systems with time-free semantics that allow to solve consensus in the presence of crash failu...
147
click to vote
DEXA
2003
Springer
15 years 10 months ago
2003
Springer
Streaming XML documents has many emerging applications. However, in this paper, we show that the restrictions imposed by data streaming are too restrictive for processing twig quer...
140
click to vote
ISSAC
2001
Springer
15 years 9 months ago
2001
Springer
The following questions are often encountered in system and control theory. Given an algebraic model of a physical process, which variables can be, in theory, deduced from the inp...