1565 search results - page 160 / 313 » An unlikely result |
CP
2005
Springer
14 years 4 months ago
2005
Springer
QBF is the problem of deciding the satisfiability of quantified boolean formulae in which variables can be either universally or existentially quantified. QBF generalizes SAT (S...
DEXA
2005
Springer
14 years 4 months ago
2005
Springer
Unlike processing snapshot queries in a traditional DBMS, the processing of continuous queries in a data stream management system (DSMS) needs to satisfy quality requirements such ...
EMMCVPR
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We present an algorithm for automatically constructing a decompositional shape model from examples. Unlike current approaches to structural model acquisition, in which on...
GREC
2005
Springer
14 years 4 months ago
2005
Springer
In this paper, a novel, adaptive noise reduction method for engineering drawings is proposed based on assessment of both primitives and noise. Unlike the current approaches, our m...
ISCIS
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. In this paper, we examine the use of keywords in text categorization with SVM. In contrast to the usual belief, we reveal that using keywords instead of all words yields ...