Sciweavers

1546 search results - page 245 / 310
» Context-Aware Computing with Sound
Sort
View
GI
2009
Springer
15 years 2 months ago
A Static Analysis Technique to Detect Unsatisfiable Conditions in Ontology-based Workflows
: Static analysis techniques for consistency checking of workflows allow to avoid runtime errors. This is in particular crucial for long running workflows where errors, detected la...
Gabriele Weiler, Arnd Poetzsch-Heffter, Stephan Ki...
GI
2009
Springer
15 years 2 months ago
Tracking Algorithms for Bistatic Sonar Systems
: An active sonar system consists of a sound source activating a surveillance area and a receiver listening for echoes reflected from targets. In a bistatic setup, the source and t...
Martina Daun, Frank Ehlers
HCI
2009
15 years 2 months ago
A Study on the Design of Voice Navigation of Car Navigation System
This study tries to find the designing blind spots of the voice prompt function in the current car navigation systems and make improvement suggestions. The experimental plan was im...
Chih-Fu Wu, Wan-Fu Huang, Tung-Chen Wu
ICTAC
2009
Springer
15 years 2 months ago
Automatic Conflict Detection on Contracts
Abstract. Many software applications are based on collaborating, yet competing, agents or virtual organisations exchanging services. Contracts, expressing obligations, permissions ...
Stephen Fenech, Gordon J. Pace, Gerardo Schneider
CVPR
2010
IEEE
15 years 1 months ago
Image restoration and disparity estimation from an uncalibrated multi-layered image
Watching a reflection in a glass window, one can often observe a multi-layered image consisting of a frontsurface reflection from the glass and a rear-surface reflection through t...
Takahiro Yano, Masao Shimizu, Masatoshi Okutomi