3224 search results - page 518 / 645 » Abstract Error Projection |
141
click to vote
SARA
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. If a CSP instance has no solution, it contains a smaller unsolvable subproblem that makes unsolvable the whole problem. When solving such instance, instead of just return...
153
click to vote
SEMWEB
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. This paper describes a large case study that explores the applicability of ontology reasoning to problems in the medical domain. We investigate whether it is possible to ...
159
click to vote
SSS
2007
Springer
16 years 14 days ago
2007
Springer
We introduce a new abstract system, called the truth system. In the truth system, a process deduces a true value, with high probability, from an incoming stream of both true and fa...
195
click to vote
TABLEAUX
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
173
click to vote
BROADNETS
2006
IEEE
16 years 13 days ago
2006
IEEE
Abstract— In this paper, we address the problem of video multicasting in ad hoc wireless networks. The salient characteristics of video traffic make conventional multicasting pr...