10792 search results - page 2049 / 2159 » An Evaluation of Non-Equijoin Algorithms |
SPIN
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
SSD
2009
Springer
14 years 4 months ago
2009
Springer
With the exponential growth of moving objects data to the Gigabyte range, it has become critical to develop effective techniques for indexing, updating, and querying these massive ...
SSD
2009
Springer
14 years 4 months ago
2009
Springer
Outsourcing data to third party data providers is becoming a common practice for data owners to avoid the cost of managing and maintaining databases. Meanwhile, due to the populari...
ASSETS
2009
ACM
14 years 4 months ago
2009
ACM
In this paper, we propose an automatic approach, complete with a prototype system, for supporting instant access to maps for local navigation by people with visual impairment. The...
HT
2009
ACM
14 years 4 months ago
2009
ACM
The Social Web is successfully established and poised for continued growth. Web 2.0 applications such as blogs, bookmarking, music, photo and video sharing systems are among the m...