4586 search results - page 819 / 918 » Computing stable models in parallel |
139
click to vote
EAGC
2003
Springer
15 years 7 months ago
2003
Springer
The complexity of Grid environments is growing as more projects and applications appear in this quick-evolving domain. Widespread applications are distributed over thousands of com...
133
click to vote
KDD
2008
ACM
16 years 2 months ago
2008
ACM
Rapid growth in the amount of data available on social networking sites has made information retrieval increasingly challenging for users. In this paper, we propose a collaborativ...
126
click to vote
3DIM
2007
IEEE
16 years 1 months ago
2007
IEEE
Object pose (location and orientation) estimation is a
common task in many computer vision applications. Although
many methods exist, most algorithms need manual
initialization ...
110
click to vote
ISORC
2008
IEEE
15 years 8 months ago
2008
IEEE
—An increasing number of real-time systems are embedded in mission critical systems such as target tracking systems, in which workloads may dynamically vary, for example, dependi...
132
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...