1474 search results - page 254 / 295 » Exploiting Locality in a TMS |
CHI
2009
ACM
14 years 1 months ago
2009
ACM
Mobile vision services are a type of mobile ITS applications that emerge with increased miniaturization of sensor and computing devices, such as in camera equipped mobile phones, ...
CBMS
2001
IEEE
14 years 1 months ago
2001
IEEE
Knowledge discovery and data correlation require a unified approach to basic data management. However, achieving such an approach is nearly impossible with hundreds of disparate d...
USS
2008
14 years 7 days ago
2008
Security proponents heavily emphasize the importance of choosing a strong password (one with high entropy). Unfortunately, by design, most humans are apparently incapable of gener...
CAV
2008
Springer
13 years 12 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
ECAI
2008
Springer
13 years 11 months ago
2008
Springer
Building adaptive constraint solvers is a major challenge in constraint programming. An important line of research towards this goal is concerned with ways to dynamically adapt th...