25 search results - page 1 / 5 » dis 2010 |
DIS
2010
Springer
13 years 2 months ago
2010
Springer
ICASSP
2010
IEEE
13 years 4 months ago
2010
IEEE
Statistical machine translation (SMT) systems for spoken languages suffer from conversational speech phenomena, in particular, the presence of speech dis uencies. We examine the i...
ATAL
2010
Springer
13 years 5 months ago
2010
Springer
In this paper, we extend the traditional formalization of a Distributed Constraint Satisfaction Problems (DisCSP) to a Quantified DisCSP. A Quantified DisCSP includes several unive...
ENTCS
2007
13 years 4 months ago
2007
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
ICRA
2010
IEEE
13 years 3 months ago
2010
IEEE
— The main aspect in multi-robot exploration is the efficient coordination of a group of robots. Inspired by previous results on the coverage problem, we propose a novel, fronti...