805 search results - page 129 / 161 » C-Meter: A Framework for Performance Analysis of Computing C... |
CAV
2006
Springer
14 years 19 days ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
CCS
2008
ACM
13 years 11 months ago
2008
ACM
In this paper, we propose a general-purpose framework that harnesses the power of lightweight virtualization to track applications interactions in a scalable an efficient manner. ...
KDD
2003
ACM
14 years 9 months ago
2003
ACM
Models for the processes by which ideas and influence propagate through a social network have been studied in a number of domains, including the diffusion of medical and technolog...
APGV
2006
ACM
14 years 2 months ago
2006
ACM
Understanding the robustness and rapidness of human scene categorization has been a focus of investigation in the cognitive sciences over the last decades. At the same time, progr...
ICCV
2001
IEEE
14 years 10 months ago
2001
IEEE
We present two solutions for the scale selection problem in computer vision. The rst one is completely nonparametric and is based on the the adaptive estimation of the normalized ...