4924 search results - page 671 / 985 » A Software System for Spatial Data Analysis and Modeling |
207
click to vote
IUI
2010
ACM
16 years 4 months ago
2010
ACM
In this paper, we present SmartCal, a calendar assistant that suggests appointment attributes, such as time, day, duration, etc., given any combination of initial user input attri...
217
click to vote
UIST
2004
ACM
16 years 22 days ago
2004
ACM
This paper presents an approach for tracking paper documents on the desk over time and automatically linking them to the corresponding electronic documents using an overhead video...
224
click to vote
MPC
2010
Springer
16 years 3 days ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
205
click to vote
FTRTFT
1998
Springer
15 years 11 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
207
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
— The advance of object tracking technologies leads to huge volumes of spatio-temporal data collected in the form of trajectory data stream. In this study, we investigate the pro...