4573 search results - page 666 / 915 » Automated Reasoning |
228
Voted
GIS
2004
ACM
16 years 5 months ago
2004
ACM
Motivated by the increasing need to handle complex multidimensional data in location-based data warehouses, this paper proposes a powerful data model that is able to capture the c...
255
click to vote
GIS
2005
ACM
16 years 5 months ago
2005
ACM
Georeferenced information is growing every day, and geographical information systems are becoming crucial in many decision processes. As a consequence, extracting knowledge from G...
215
Voted
GIS
2006
ACM
16 years 5 months ago
2006
ACM
We give two efficient on-line algorithms to simplify weighted graphs by eliminating degree-two vertices. Our algorithms are on-line -- they react to updates on the data, keeping t...
234
click to vote
GIS
2006
ACM
16 years 5 months ago
2006
ACM
Moving point object data can be analyzed through the discovery of patterns. We consider the computational efficiency of computing two of the most basic spatio-temporal patterns in...
231
Voted
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. We propose a qualitative approach to elaborating the biosynthetic capacities of metabolic networks. In fact, large-scale metabolic networks as well as measured datasets s...