Sciweavers

4332 search results - page 541 / 867
» A Probabilistic Identification Result
Sort
View
CONCUR
2009
Springer
16 years 1 months ago
Weighted Bisimulation in Linear Algebraic Form
Abstract. We study bisimulation and minimization for weighted automata, relying on a geometrical representation of the model, linear weighted automata (lwa). In a lwa, the state-sp...
Michele Boreale
DFG
2009
Springer
16 years 1 months ago
A Survey on Approximation Algorithms for Scheduling with Machine Unavailability
In this chapter we present recent contributions in the field of sequential job scheduling on network machines which work in parallel; these are subject to temporary unavailability...
Florian Diedrich, Klaus Jansen, Ulrich M. Schwarz,...
ICMI
2009
Springer
138views Biometrics» more  ICMI 2009»
16 years 1 months ago
Dialog in the open world: platform and applications
We review key challenges of developing spoken dialog systems that can engage in interactions with one or multiple participants in relatively unconstrained environments. We outline...
Dan Bohus, Eric Horvitz
SCIA
2009
Springer
199views Image Analysis» more  SCIA 2009»
16 years 1 months ago
Appearance Based Extraction of Planar Structure in Monocular SLAM
This paper concerns the building of enhanced scene maps during real-time monocular SLAM. Specifically, we present a novel algorithm for detecting and estimating planar structure i...
José Martínez-Carranza, Andrew Calwa...
UM
2009
Springer
16 years 1 months ago
Modeling User Affect from Causes and Effects
We present a model of user affect to recognize multiple user emotions during interaction with an educational computer game. Our model deals with the high level of uncertainty invol...
Cristina Conati, Heather Maclaren