982 search results - page 131 / 197 » Reduction Relations for Agent Models |
97
Voted
SEFM
2007
IEEE
15 years 7 months ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
82
Voted
ICRA
2002
IEEE
15 years 5 months ago
2002
IEEE
The use of motor primitives for the generation of complex movements is a relatively new and interesting idea for dimensionality reduction in robot control. We propose a framework ...
73
Voted
ICASSP
2010
IEEE
15 years 1 months ago
2010
IEEE
Voice search technology has been successfully applied to help drivers reply SMS messages in automobiles, in which a predefined SMS message template set is searched with ASR hypoth...
91
Voted
GRID
2010
Springer
14 years 10 months ago
2010
Springer
Abstract Satciety is a distributed parallel satisfiability (SAT) solver which focuses on tackling the domainspecific problems inherent to one of the most challenging environments f...
126
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
Polish is a synthetic language with a high morpheme-perword ratio. It makes use of a high degree of inflection leading to high out-of-vocabulary (OOV) rates, and high Language Mo...