1466 search results - page 100 / 294 » Complexity of Reasoning over Temporal Data Models |
286
click to vote
GIS
2003
ACM
16 years 5 months ago
2003
ACM
This paper introduces an approach for closer integration of selforganizing maps into the visualization of spatio-temporal phenomena in GIS. It is proposed to provide a more explic...
143
click to vote
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
—We explore distributed mechanisms for maintaining the physical layer connectivity of a mobile wireless network while still permitting significant area coverage. Moreover, we re...
156
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Biochemical networks play an essential role in systems biology. Rapidly growing network data and e research activities call for convenient visualization tools to aid i...
172
Voted
AB
2007
Springer
15 years 10 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
172
click to vote
KES
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A mobile robot that interacts with its environment needs a machineunderstandable representation of objects and their usages. We present an ontology of objects, with gener...