Sciweavers

5372 search results - page 892 / 1075
» Robotics and interactive simulation
Sort
View
CAV
2009
Springer
119views Hardware» more  CAV 2009»
16 years 4 months ago
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
Eric Goubault, Franck Védrine, Karim Tekkal...
HAPTICS
2009
IEEE
15 years 10 months ago
Passive set-position modulation approach for haptics with slow, variable, and asynchronous update
We consider the following problem in haptics: information update from the virtual world is slow w.r.t. the local servo-loop rate of the haptic device, and the information transmis...
Dongjun Lee, Ke Huang
HAPTICS
2009
IEEE
15 years 10 months ago
Performance improvement with haptic assistance: A quantitative assessment
We measure the performance improvement that force feedback can provide in a virtual environment, through three experiments with, and without the assistance of haptic guidance. Per...
Chris Gunn, Warren Muller, Amitava Datta
INFOCOM
2009
IEEE
15 years 10 months ago
A Cooperative Spectrum Sensing Consensus Scheme in Cognitive Radios
—Cooperative spectrum sensing is attracting more attention in Cognitive Radio networks. This paper proposes a fully distributed consensus-based cooperative spectrum sensing schem...
Zhiqiang Li, F. Richard Yu, Minyi Huang
AI
2009
Springer
15 years 10 months ago
Novice-Friendly Natural Language Generation Template Authoring Environment
Abstract. Natural Language Generation (NLG) systems can make data accessible in an easily digestible textual form; but using such systems requires sophisticated linguistic and some...
Maria Fernanda Caropreso, Diana Inkpen, Shahzad Kh...