1056 search results - page 60 / 212 » A Probabilistic Applied Pi-Calculus |
RTSS
2008
IEEE
14 years 3 months ago
2008
IEEE
Reliability-aware power management (RAPM) schemes have been recently studied to save energy while preserving system reliability. The existing RAPM schemes, however, provision for ...
JCDL
2006
ACM
14 years 3 months ago
2006
ACM
In this paper we introduce POLAR, a probabilistic objectoriented logical framework for annotation-based information retrieval. In POLAR, the knowledge about digital objects, annot...
MIR
2005
ACM
14 years 2 months ago
2005
ACM
We propose a new method for automated large scale gathering of Web images relevant to specified concepts. Our main goal is to build a knowledge base associated with as many conce...
WIDM
2004
ACM
14 years 2 months ago
2004
ACM
A Focused crawler must use information gleaned from previously crawled page sequences to estimate the relevance of a newly seen URL. Therefore, good performance depends on powerfu...
TACAS
2004
Springer
14 years 2 months ago
2004
Springer
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...