9067 search results - page 1545 / 1814 » Adaptive Model Checking |
189
click to vote
SIGGRAPH
1994
ACM
15 years 11 months ago
1994
ACM
We present a new particle-based approach to sampling and controlling implicit surfaces. A simple constraint locks a set of particles onto a surface while the particles and the sur...
217
click to vote
LION
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Algorithm selection is typically based on models of algorithm performance learned during a separate offline training sequence, which can be prohibitively expensive. In r...
204
click to vote
CIKM
2007
Springer
15 years 11 months ago
2007
Springer
How to improve search accuracy for difficult topics is an underaddressed, yet important research question. In this paper, we consider a scenario when the search results are so poo...
207
click to vote
ECAL
2007
Springer
15 years 11 months ago
2007
Springer
odel of Embodiment on Abstract Systems: from Hierarchy to Heterarchy Kohei Nakajima, Soya Shinkai, Takashi Ikegami A Behavior-Based Model of the Hydra, Phylum Cnidaria Malin Aktius...
173
click to vote
SIGIR
2010
ACM
15 years 11 months ago
2010
ACM
This paper presents a new way of thinking for IR metric optimization. It is argued that the optimal ranking problem should be factorized into two distinct yet interrelated stages:...