5216 search results - page 1030 / 1044 » Planning as Model Checking |
METRICS
2003
IEEE
15 years 3 months ago
2003
IEEE
Estimating the effort required for software process activities continues to present difficulties for software engineers, particularly given the uncertainty and subjectivity associ...
147
click to vote
HT
2003
ACM
15 years 3 months ago
2003
ACM
This paper addresses the problem of organizing material in mixed digital and physical environments. It presents empirical examples of how people use collectional artefacts and org...
EDBT
2010
ACM
15 years 3 months ago
2010
ACM
The wide availability of commodity multi-core systems presents an opportunity to address the latency issues that have plaqued XML query processing. However, simply executing multi...
IPPS
2002
IEEE
15 years 3 months ago
2002
IEEE
Abstract— In this paper, we present a novel and comprehensive resource management solution for the autonomous hot-spot convergence system (AHSCS) that uses sensor web. This solut...
SIGMOD
2010
ACM
15 years 3 months ago
2010
ACM
We study recommendations in applications where there are temporal patterns in the way items are consumed or watched. For example, a student who has taken the Advanced Algorithms c...