4099 search results - page 770 / 820 » A Framework for Interactive Proof |
101
click to vote
CAD
2004
Springer
14 years 9 months ago
2004
Springer
Solid modeling based on partial differential equations (PDEs) can potentially unify both geometric constraints and functional requirements within a single design framework to mode...
TASLP
2002
14 years 9 months ago
2002
Creating conversational interfaces for children is challenging in several respects. These include acoustic modeling for automatic speech recognition (ASR), language and dialog mode...
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
— Humanoid robots are expected to share human environments in the future and it is important to ensure safety of their operation. A serious threat to safety is the fall of a huma...
CLEF
2009
Springer
14 years 7 months ago
2009
Springer
: This paper presents the results of a user study conducted in the framework of the Interactive Image Retrieval task at CLEF 2009. The main goal of our research is to understand th...
CHI
2011
ACM
14 years 1 months ago
2011
ACM
Blind and deaf-blind people often rely on public transit for everyday mobility, but using transit can be challenging for them. We conducted semi-structured interviews with 13 blin...