4155 search results - page 429 / 831 » Topic-Specific Optimization and Structuring |
192
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
Mobile robots often rely upon systems that render sensor data and perceptual features into costs that can be used in a planner. The behavior that a designer wishes the planner to ...
182
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
In this paper, we present a robust, hierarchical Partition of Unity Finite Element Method (PUFEM) to compute the transformation between two images, which is represented by a non-r...
298
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
188
click to vote
SIGMOD
2004
ACM
16 years 7 months ago
2004
ACM
Exploratory ad-hoc queries could return too many answers ? a phenomenon commonly referred to as "information overload". In this paper, we propose to automatically catego...
174
click to vote
DCC
2004
IEEE
16 years 6 months ago
2004
IEEE
The recently proposed turbo-binning scheme is shown to be both efficient and optimal for uniform source Slepian-Wolf coding problem [1]. This paper studies the case when sources a...