Sciweavers

3343 search results - page 415 / 669
» Network Objects
Sort
View
TLDI
2010
ACM
198views Formal Methods» more  TLDI 2010»
15 years 3 months ago
Verifying event-driven programs using ramified frame properties
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
Neel R. Krishnaswami, Lars Birkedal, Jonathan Aldr...
HUMO
2007
Springer
15 years 9 months ago
Recognizing Activities with Multiple Cues
In this paper, we introduce a first-order probabilistic model that combines multiple cues to classify human activities from video data accurately and robustly. Our system works in...
Rahul Biswas, Sebastian Thrun, Kikuo Fujimura
INFOCOM
2010
IEEE
15 years 1 months ago
Routing for Energy Minimization in the Speed Scaling Model
Abstract—We study network optimization that considers energy minimization as an objective. Studies have shown that mechanisms such as speed scaling can significantly reduce the ...
Matthew Andrews, Antonio Fernández, Lisa Zh...
ICRA
2005
IEEE
186views Robotics» more  ICRA 2005»
15 years 8 months ago
CPG-Based Manipulation: Adaptive Switchings of Grasping Fingers by Joint Angle Feedback
Abstract— Human can efficiently grasp and dextrously manipulate various objects using their fingers cooperatively. When they attain proficiency in the rotating manipulation of...
Yuichi Kurita, Kazuyuki Nagata, Jun Ueda, Yoshio M...
WISE
2005
Springer
15 years 8 months ago
Identifying Value Mappings for Data Integration: An Unsupervised Approach
The Web is a distributed network of information sources where the individual sources are autonomously created and maintained. Consequently, syntactic and semantic heterogeneity of ...
Jaewoo Kang, Dongwon Lee, Prasenjit Mitra