Sciweavers

4201 search results - page 309 / 841
» Interaction graphs: Additives
Sort
View
IROS
2006
IEEE
111views Robotics» more  IROS 2006»
16 years 23 days ago
Towards the Adaptation of a Robotic Wheelchair for Cognitive Disabled Children
— In this paper, we describe the adaptation of an autonomous robotic wheelchair for cognitive disabled children. The constraints imposed by these users require developing speciï¬...
Luis Montesano, Javier Minguez, J. M. Alcubierre, ...
ADS
2004
Springer
16 years 4 days ago
Endowing Spoken Language Dialogue Systems with Emotional Intelligence
While most dialogue systems restrict themselves to the adjustment of the propositional contents, our work concentrates on the generation of stylistic variations in order to improve...
Elisabeth André, Matthias Rehm, Wolfgang Mi...
ICML
2006
IEEE
16 years 7 months ago
Quadratic programming relaxations for metric labeling and Markov random field MAP estimation
Quadratic program relaxations are proposed as an alternative to linear program relaxations and tree reweighted belief propagation for the metric labeling or MAP estimation problem...
Pradeep D. Ravikumar, John D. Lafferty
SOFSEM
2010
Springer
16 years 3 months ago
Mixing Coverability and Reachability to Analyze VASS with One Zero-Test
We study Vector Addition Systems with States (VASS) extended in such a way that one of the manipulated integer variables can be tested to zero. For this class of system, it has bee...
Alain Finkel, Arnaud Sangnier
ACSC
2005
IEEE
16 years 11 days ago
Integration of generic program analysis tools into a software development environment
Support for program understanding in development and maintenance tasks can be facilitated by program analysis techniques. Both control-flow and data-flow analysis can support pr...
Erica Glynn, Ian J. Hayes, Anthony MacDonald