4166 search results - page 187 / 834 » Automating the constraining process |
120
click to vote
CAISE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Ubiquitous Mobile Systems (UMSs) allow for automated capturing of events. Both mobility and ubiquity are supported by electronic means such as mobile phones and PDAs and ...
113
click to vote
EWCBR
1998
Springer
15 years 7 months ago
1998
Springer
In this paper, an interactive system for the development of Image Processing applications is described. This system is intended to provide some assistance to Image Processing exper...
117
click to vote
GIS
2010
ACM
15 years 1 months ago
2010
ACM
Spatial Alarms are reminders for mobile users upon their arrival of certain spatial location of interest. Spatial alarm processing requires meeting two demanding objectives: high ...
118
click to vote
LICS
2002
IEEE
15 years 8 months ago
2002
IEEE
We observe that equivalence is not a robust concept in the presence of numerical information - such as probabilities - in the model. We develop a metric analogue of weak bisimulat...
119
click to vote
GIS
2008
ACM
15 years 4 months ago
2008
ACM
Location-based services are increasingly popular and it is a key challenge to efficiently support query processing. We present a novel design to process large numbers of location...