6438 search results - page 189 / 1288 » A Parameterised Search System |
157
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
Polynomial interpretations are a standard technique used in almost all tools for proving termination of term rewrite systems (TRSs) automatically. Traditionally, one applies interp...
168
click to vote
JCP
2006
15 years 4 months ago
2006
As motion capture systems are increasingly used for motion tracking and capture, and more and more surveillance cameras are installed for security protection, more and more motion ...
179
click to vote
VLDB
2002
ACM
15 years 4 months ago
2002
ACM
In spite of the many decades of progress in database research, surprisingly scientists in the life sciences community still struggle with inefficient and awkward tools for queryin...
123
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper focuses on the development of a cost-aware Bayesian sequential decision-making strategy for the search and classification of multiple unknown objects over a given domain...
138
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Due to the rapid growth in the size of the web, web search engines are facing enormous performance challenges. The larger engines in particular have to be able to process tens of ...