780 search results - page 61 / 156 » Reasoning about sets using redescription mining |
FMSD
2006
15 years 24 days ago
2006
Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlie...
136
click to vote
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
In this paper we introduce visual phrases, complex visual composites like “a person riding a horse”. Visual phrases often display significantly reduced visual complexity comp...
107
Voted
ICDM
2007
IEEE
15 years 7 months ago
2007
IEEE
The convergence of embedded sensor systems and stream query processing suggests an important role for database techniques, in managing data that only partially – and often inacc...
102
click to vote
CAV
1993
Springer
15 years 4 months ago
1993
Springer
Abstract. This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I O automata to extract a set of proof obligations for s...
LPNMR
2005
Springer
15 years 6 months ago
2005
Springer
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...