1346 search results - page 39 / 270 » Algorithmic Search for Flexibility Using Resultants of Polyn... |
CP
2005
Springer
14 years 1 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...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
We present VideoPot, a desktop video search system designed for digital video files stored on personal computers. The core metric of this system is based on video-indexing techno...
EDBT
2004
ACM
14 years 7 months ago
2004
ACM
Structured and semi-structured object representations are getting more and more important for modern database applications. Examples for such data are hierarchical structures inclu...
SIGIR
2009
ACM
14 years 2 months ago
2009
ACM
Type-ahead search is a new information-access paradigm, in which systems can find answers to keyword queries “onthe-fly” as a user types in a query. It improves traditional ...
SIGIR
2009
ACM
14 years 2 months ago
2009
ACM
Cross Language Information Retrieval (CLIR) between languages of the same origin is an interesting topic of research. The similarity of the writing systems used for these language...