Sciweavers

550 search results - page 62 / 110
» Gaze-augmented manual interaction
Sort
View
ICSE
2004
IEEE-ACM
15 years 10 months ago
Heuristic-Based Model Refinement for FLAVERS
FLAVERS is a finite-state verification approach that allows an analyst to incrementally add constraints to improve the precision of the model of the system being analyzed. Except ...
Jianbin Tan, George S. Avrunin, Lori A. Clarke
ICRA
2007
IEEE
126views Robotics» more  ICRA 2007»
15 years 4 months ago
Learning slip behavior using automatic mechanical supervision
— We address the problem of learning terrain traversability properties from visual input, using automatic mechanical supervision collected from sensors onboard an autonomous vehi...
Anelia Angelova, Larry Matthies, Daniel M. Helmick...
ROMAN
2007
IEEE
107views Robotics» more  ROMAN 2007»
15 years 4 months ago
Using Haptic Communications with the Leg to Maintain Exercise Intensity
— The haptic sense provides continuous information during physical human-machine interaction. Humans can respond very quickly and effectively to such feedback, such as a driver m...
Aaron R. Ferber, Michael A. Peshkin, J. Edward Col...
UIST
2006
ACM
15 years 3 months ago
Videotater: an approach for pen-based digital video segmentation and tagging
The continuous growth of media databases necessitates development of novel visualization and interaction techniques to support management of these collections. We present Videotat...
Nicholas Diakopoulos, Irfan A. Essa
ACSC
2003
IEEE
15 years 3 months ago
User Hints for Map Labelling
The Map Labelling Problem appears in several applications, mainly in Cartography. Although much research on this problem has been done, it is interesting to note that map-labellin...
Hugo A. D. do Nascimento, Peter Eades