4924 search results - page 942 / 985 » A Software System for Spatial Data Analysis and Modeling |
134
Voted
CAV
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
133
click to vote
SIGIR
2009
ACM
15 years 7 months ago
2009
ACM
Recommender Systems, based on collaborative filtering (CF), aim to accurately predict user tastes, by minimising the mean error achieved on hidden test sets of user ratings, afte...
139
Voted
IROS
2006
IEEE
15 years 6 months ago
2006
IEEE
— We propose to classify the behaviors of a mobile robot thanks to topological methods as an alternative to metric ones. To do so, we adapt an analysis scheme from Physics of non...
131
click to vote
JAR
2000
15 years 10 days ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
ICDCS
2005
IEEE
15 years 6 months ago
2005
IEEE
IT today is driven by the trend of increasing scale and complexity. Utility and Grid computing models, PlanetLab, and traditional data centers, are reaching the scale of thousands...