1358 search results - page 84 / 272 » Mapping Accessibility Over Time |
ICPR
2004
IEEE
14 years 11 months ago
2004
IEEE
ACT Maps are vital tools for most government agencies and consumers. However, their manual generation and updating is tedious and time consuming. As a step toward automatic map gen...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
We introduce collapsed flushing, a new flushing-based refinement map for automatically verifying safety and liveness properties of term-level pipelined machine models. We also pre...
STOC
1998
ACM
14 years 2 months ago
1998
ACM
We consider the problem of efficient information retrieval in asymmetric communication environments where multiple clients with limited resources retrieve information from a power...
CVPR
2007
IEEE
15 years 8 days ago
2007
IEEE
This paper proposes a framework in which Lagrangian Particle Dynamics is used for the segmentation of high density crowd flows and detection of flow instabilities. For this purpos...
ICDT
2010
ACM
14 years 2 months ago
2010
ACM
Relational data exchange deals with translating a relational database instance over some source schema into a relational database instance over some target schema, according to a ...