12015 search results - page 392 / 2403 » Interactive Algorithms 2005 |
120
click to vote
DLOG
2008
15 years 6 months ago
2008
Abstract. We propose an approach for extending a tableau-based satisfiability algorithm by an arithmetic component. The result is a hybrid satisfiability algorithm for the Descript...
131
click to vote
EVOW
2001
Springer
15 years 9 months ago
2001
Springer
In this article we investigate the application of iterated local search (ILS) to the single machine total weighted tardiness problem. Our research is inspired by the recently propo...
127
click to vote
CHI
2006
ACM
16 years 4 months ago
2006
ACM
Although speech is a potentially rich information source, a major barrier to exploiting speech archives is the lack of useful tools for efficiently accessing lengthy speech record...
126
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
Interorganizational cooperation is more and more organized by the paradigm of services. Service-oriented architectures (SOA) provide a general framework for service interaction. SO...
166
click to vote
ICCV
2007
IEEE
16 years 6 months ago
2007
IEEE
Traditional image retrieval methods require a "query image" to initiate a search for members of an image category. However, when the image database is unstructured, and ...