518 search results - page 63 / 104 » Automating Proofs in Category Theory |
170
click to vote
GIS
2007
ACM
16 years 27 days ago
2007
ACM
We discuss the task of reconstructing the topological map of an environment based on the sequences of locations visited by a mobile agent ? this occurs in systems neuroscience, wh...
201
click to vote
GIS
2007
ACM
16 years 27 days ago
2007
ACM
This study investigates whether a fuzzy clustering method is of any practical value in delineating urban housing submarkets relative to clustering methods based on classic (or cri...
193
click to vote
GIS
2006
ACM
16 years 26 days 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...
DAC
2009
ACM
16 years 25 days ago
2009
ACM
This paper suggests that the thermal state of a processor can be approximated using data flow analysis. The results of this analysis can be used to evaluate the efficacy of therma...
DAC
2009
ACM
16 years 25 days ago
2009
ACM
Retiming and recycling are two transformations used to optimize the performance of latency-insensitive (a.k.a. synchronous elastic) systems. This paper presents an approach that c...