360 search results - page 6 / 72 » Constraint Checking with Partial Information |
GFKL
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. A central task when integrating data from different sources is to detect identical items. For example, price comparison websites have to identify offers for identical p...
IDEAS
1999
IEEE
13 years 11 months ago
1999
IEEE
Data integration of several sources has gained considerable attentions with the recent popularity of the Web. In the real world, some information may be missing i.e., partial and ...
PPDP
2005
Springer
14 years 1 months ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...
CONCUR
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...
KBSE
2006
IEEE
14 years 1 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...