Sciweavers

3322 search results - page 249 / 665
» Automatic Human Model Generation
Sort
View
HAPTICS
2010
IEEE
15 years 4 months ago
A Turing-Like Handshake Test for Motor Intelligence
In the Turing test, a computer model is deemed to “think intelligently” if it can generate answers that are not distinguishable from those of a human. This test is limited to t...
Amir Karniel, Ilana Nisky, Guy Avraham, Bat-Chen P...
HCI
2009
14 years 9 months ago
Impact of Gaze Analysis on the Design of a Caption Production Software
Producing caption for the deaf and hearing impaired is a labor intensive task. We implemented a software tool, named SmartCaption, for assisting the caption production process usin...
Claude Chapdelaine, Samuel Foucher, Langis Gagnon
IUI
2005
ACM
15 years 4 months ago
A location representation for generating descriptive walking directions
An expressive representation for location is an important component in many applications. However, while many location-aware applications can reason about space at the level of co...
Gary Look, Buddhika Kottahachchi, Robert Laddaga, ...
CLEF
2011
Springer
13 years 11 months ago
Simulation of Within-Session Query Variations Using a Text Segmentation Approach
Abstract. We propose a generative model for automatic query reformulations from an initial query using the underlying subtopic structure of top ranked retrieved documents. We addre...
Debasis Ganguly, Johannes Leveling, Gareth J. F. J...
TACAS
2009
Springer
127views Algorithms» more  TACAS 2009»
15 years 6 months ago
From Tests to Proofs
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko