3255 search results - page 429 / 651 » Combination of Abstractions in the ASTR |
162
click to vote
AUSAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We describe a probabilistic reference disambiguation mechanism developed for a spoken dialogue system mounted on an autonomous robotic agent. Our mechanism performs proba...
176
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
This paper proposes a new approach for deriving invariants that are systems of congruence equations where the modulo is a power of 2. The technique is an amalgam of SAT-solving, wh...
206
click to vote
DAGM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper proposes a regression-based method for singleimage super-resolution. Kernel ridge regression (KRR) is used to estimate the high-frequency details of the underl...
197
click to vote
DCOSS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Aiming at a realistic mobile connectivity model for vehicular sensor networks in urban environments, we propose the combination of large-scale traffic simulation and comp...
141
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. There are many examples of intelligent and learning systems that are based either on the connectionist or the symbolic approach. Although the latter can be successfully c...