9521 search results - page 143 / 1905 » Compiling with continuations, continued |
124
click to vote
DEXA
2003
Springer
15 years 8 months ago
2003
Springer
Moving-objects databases need a spatio-temporal indexing scheme for moving objects to efficiently process queries over continuously changing locations of the objects. A simple exte...
125
click to vote
HYBRID
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. In this paper we investigate a new technique to determine whether an open continuous system behaves correctly for all admissible input signals. This technique is based on...
119
click to vote
IDEAS
2002
IEEE
15 years 8 months ago
2002
IEEE
Based on the recent progress of digital cartography, global positioning systems (GPSs), and hand-held devices, there are growing needs of technology that provides neighborhood inf...
120
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
140
Voted
INFOSCALE
2009
ACM
15 years 7 months ago
2009
ACM
With the current proliferation of wireless networks and mobile device technologies, the management of moving object databases to facilitate queries over these domains has been exte...