862 search results - page 48 / 173 » A Solution for the Problem of Interactive Disambiguation |
166
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...
155
click to vote
ACMDIS
2000
ACM
15 years 10 months ago
2000
ACM
Rapid technological change requires that system designers explore potential design spaces widely before committing to a local design space in which to evolve a problem solution. W...
193
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
Automated extraction of structured data from Web sources often leads to large heterogeneous knowledge bases (KB), with data and schema items numbering in the hundreds of thousands...
167
click to vote
CADE
2009
Springer
16 years 6 months ago
2009
Springer
This paper is concerned with the problem of checking whether a given subset of an unsatisfiable Boolean CNF formula takes part in the basic causes of the inconsistency of . More ...
155
click to vote
ICDCSW
2006
IEEE
16 years 7 days ago
2006
IEEE
Content-based publish/subscribe is a very appealing interaction model that has attracted intense efforts from the research community in the quest to obtain “Internet-wide” sca...