126 search results - page 11 / 26 » Spatio-Temporal Access Methods: Part 2 (2003 - 2010) |
CP
2003
Springer
14 years 22 days ago
2003
Springer
In this paper, we present an algorithm to propagate an n-ary constraint (with n greater than 2) specifying the relative positions of points in a three-dimensional rigid group. The ...
FM
2003
Springer
14 years 21 days ago
2003
Springer
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
INTERACT
2003
13 years 8 months ago
2003
Abstract: Field studies and user requirements analysis are highly valued practices in the human-computer interaction community. However, in companies, field study methods are not w...
WMASH
2003
ACM
14 years 22 days ago
2003
ACM
A wireless LAN (WLAN)-based Internet service, called NESPOT, of Korea Telecom (KT), the biggest telecommunication and Internet service company in Korea, has been operational since...
APSEC
2003
IEEE
14 years 24 days ago
2003
IEEE
We propose a new requirements elicitation method in such a domain of ERP, CRM, and SCM by using specifications of several existing package software. We have analyzed the requirem...