2519 search results - page 219 / 504 » Reasoning with Textual Cases |
165
click to vote
GIS
2002
ACM
15 years 6 months ago
2002
ACM
This papers deals with multiway spatial joins when (i) there is limited time for query processing and the goal is to retrieve the best possible solutions within this limit (ii) the...
168
click to vote
GECCO
2004
Springer
16 years 50 min ago
2004
Springer
Test case design is the most important test activity with respect to test quality. For this reason, a large number of testing methods have been developed to assist the tester with ...
170
click to vote
TCOM
2011
15 years 1 months ago
2011
—Using high-rate theory approximations we introduce flexible practical quantizers based on possibly non-Gaussian models in both the constrained resolution (CR) and the constrain...
172
click to vote
FLAIRS
2007
15 years 9 months ago
2007
We are working on a project aimed at building next generation analyst support tools that focus analysts’ attention on the most critical and novel information found within the da...
179
click to vote
CADE
2009
Springer
16 years 7 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 ...