Sciweavers

3115 search results - page 619 / 623
» Interactive Speech Understanding
Sort
View
ICRA
2010
IEEE
116views Robotics» more  ICRA 2010»
14 years 10 months ago
Soft-tissue injury in robotics
— Up to now, mostly blunt human-robot impacts were investigated in the robotics literature. In this context, the influence of robot mass and velocity during rigid impacts with a...
Sami Haddadin, Alin Albu-Schäffer, Gerd Hirzi...
INFOCOM
2010
IEEE
14 years 10 months ago
Coupled 802.11 Flows in Urban Channels: Model and Experimental Evaluation
Abstract—Contending flows in multi-hop 802.11 wireless networks compete with two fundamental asymmetries: (i) channel asymmetry, in which one flow has a stronger signal, potent...
Joseph Camp, Ehsan Aryafar, Edward W. Knightly
JCST
2010
119views more  JCST 2010»
14 years 10 months ago
Location, Localization, and Localizability
Abstract Location-aware technology spawns numerous unforeseen pervasive applications in a wide range of living, production, commence, and public services. This article provides an ...
Yunhao Liu, Zheng Yang, Xiaoping Wang, Lirong Jian
MICS
2010
81views more  MICS 2010»
14 years 10 months ago
Tactics for Hierarchical Proof
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
David Aspinall, Ewen Denney, Christoph Lüth
PE
2010
Springer
114views Optimization» more  PE 2010»
14 years 10 months ago
Analysis of scheduling policies under correlated job sizes
Correlations in traffic patterns are an important facet of the workloads faced by real systems, and one that has far-reaching consequences on the performance and optimization of t...
Varun Gupta, Michelle Burroughs, Mor Harchol-Balte...