Sciweavers

30570 search results - page 5710 / 6114
» An Image Data Model
Sort
View
LICS
2007
IEEE
16 years 1 months ago
First-Order and Temporal Logics for Nested Words
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
Rajeev Alur, Marcelo Arenas, Pablo Barceló,...
MOBIQUITOUS
2007
IEEE
16 years 1 months ago
Content Source Selection in Bluetooth Networks
—Large scale market penetration of electronic devices equipped with Bluetooth technology now gives the ability to share content (such as music or video clips) between members of ...
Liam McNamara, Cecilia Mascolo, Licia Capra
PERCOM
2007
ACM
16 years 1 months ago
Sensor Web Design Studies for Realtime Dynamic Congestion Pricing
Traffic Congestion is a multi-billion dollar national problem and worsening every year with population growth and increase in freight traffic. We present a model for realistic s...
Milton Halem, Anand Patwardhan, Sandor Dornbush, M...
ROMAN
2007
IEEE
156views Robotics» more  ROMAN 2007»
16 years 1 months ago
Development and User Testing of the Gestural Joystick for Gloves-On Hazardous Environments
— For controlling robots in an urban search and rescue (USAR) application, we present a wearable joystick with improved sensing capability as well as Giant MagnetoResistance(GMR)...
Jaewook Bae, Amy C. Larson, Richard M. Voyles, Roy...
ROMAN
2007
IEEE
179views Robotics» more  ROMAN 2007»
16 years 1 months ago
A Bayesian Network Framework for Vision Based Semantic Scene Understanding
— For a robot to understand a scene, we have to infer and extract meaningful information from vision sensor data. Since scene understanding consists in recognizing several visual...
Seung-Bin Im, Keum-Sung Hwang, Sung-Bae Clio
« Prev « First page 5710 / 6114 Last » Next »