Sciweavers

2184 search results - page 153 / 437
» Assistive Embedded Technologies
Sort
View
ICDE
2002
IEEE
123views Database» more  ICDE 2002»
15 years 11 months ago
NAPA: Nearest Available Parking Lot Application
With the advances in wireless communications and technologies of mobile devices, location-based applications or services will become an essential part of future applications. We h...
Hae Don Chon, Divyakant Agrawal, Amr El Abbadi
CHI
2002
ACM
15 years 10 months ago
Constructing moving pictures eyes-free: an animation tool for the blind
Visually impaired people constantly interpret moving phenomena in the real world; they do not lack the skills to understand the meaning of what is portrayed in an animation. Howev...
Hesham M. Kamel, James A. Landay
SIGMOD
2004
ACM
115views Database» more  SIGMOD 2004»
15 years 10 months ago
Ontologies and Semantics for Seamless Connectivity
The goal of having networks of seamlessly connected people, software agents and IT systems remains elusive. Early integration efforts focused on connectivity at the physical and s...
Michael Uschold, Michael Grüninger
EUROSSC
2007
Springer
15 years 4 months ago
ESCAPE - An Adaptive Framework for Managing and Providing Context Information in Emergency Situations
Supporting adaptive processes in tackling emergency situations, such as disasters, is a key issue for any emergency management system. In such situations, various teams are deploye...
Hong Linh Truong, Lukasz Juszczyk, Atif Manzoor, S...
88
Voted
MKM
2007
Springer
15 years 4 months ago
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic
We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning ...
Predrag Janicic, Alan Bundy