581 search results - page 53 / 117 » Building and applying geographical information system Grids |
SSS
2007
Springer
14 years 2 months ago
2007
Springer
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...
PADL
2005
Springer
14 years 2 months ago
2005
Springer
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to us...
MOBISYS
2011
ACM
12 years 11 months ago
2011
ACM
Clock synchronization is critical for Wireless Sensor Networks (WSNs) due to the need of inter-node coordination and collaborative information processing. Although many message pa...
ICDIM
2007
IEEE
14 years 3 months ago
2007
IEEE
: This paper aims to propose a route navigation method for disabled access GIS. We focused the disabled’s psychologies as well as their physical conditions. This paper represents...
ICCV
2009
IEEE
15 years 1 months ago
2009
IEEE
The state-of-the art in visual object retrieval from large
databases allows to search millions of images on the object
level. Recently, complementary works have proposed systems
...