Sciweavers

887 search results - page 85 / 178
» Representing Systems with Hidden State
Sort
View
ICRA
2009
IEEE
134views Robotics» more  ICRA 2009»
15 years 11 months ago
Singularity avoidance for over-actuated, pseudo-omnidirectional, wheeled mobile robots
— For mobile platforms with steerable standard wheels it is necessary to precisely coordinate rotation and steering angle of their wheels. An established approach to ensure this ...
Christian Pascal Connette, Christopher Parlitz, Ma...
ICRA
2007
IEEE
162views Robotics» more  ICRA 2007»
15 years 10 months ago
Robopal: Modeling Role Transitions in Human-Robot Interaction
— We have developed a new communication robot, Robopal, which is an indoor/outdoor robot for use in humanrobot interaction research in the context of daily life. Robopal’s inte...
Dylan F. Glas, Takahiro Miyashita, Hiroshi Ishigur...
ICASSP
2011
IEEE
14 years 8 months ago
Enriching Mandarin speech recognition by incorporating a hierarchical prosody model
This paper presents a new probabilistic framework of Mandarin speech recognition by incorporating a sophisticated hierarchical prosody model into the conventional HMM-based system...
Jyh-Her Yang, Ming-Chieh Liu, Hao-Hsiang Chang, Ch...
ECOOPW
1998
Springer
15 years 8 months ago
Mapping Business Processes to Software Design Artifacts
This paper explains the structure of a project repository, which enables you to trace business processes and business rules to the architecture and design of the software system. T...
Pavel Hruby
CHARME
2005
Springer
94views Hardware» more  CHARME 2005»
15 years 9 months ago
Verifying Quantitative Properties Using Bound Functions
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
Arindam Chakrabarti, Krishnendu Chatterjee, Thomas...