7820 search results - page 48 / 1564 » Formalization of Time and Space |
DIAGRAMS
2008
Springer
15 years 2 months ago
2008
Springer
Visualizations of space, time, and agents (or objects) are ubiquitous in science, business, and everyday life, from weather maps to scheduling meetings. Effective communications, i...
123
click to vote
SIAMSC
2008
15 years 20 days ago
2008
In this paper, we develop an error estimator and an adaptive algorithm for efficient solution of parabolic partial differential equations. The error estimator assesses the discreti...
91
Voted
ECCC
2010
15 years 24 days ago
2010
We give two time- and space-efficient simulations of quantum computations with intermediate measurements, one by classical randomized computations with unbounded error and the oth...
95
Voted
COSIT
2009
Springer
15 years 7 months ago
2009
Springer
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...
114
Voted
ADHOCNOW
2003
Springer
15 years 6 months ago
2003
Springer
We introduce Space-Time Routing (STR), a new approach to routing in mobile ad hoc networks. In STR, the age of routing state is considered jointly with the distance to the destinat...