2610 search results - page 111 / 522 » Computational Probabilistic Non-interference |
VLSM
2005
Springer
14 years 3 months ago
2005
Springer
Current state-of-the-art methods in variational image segmentation using level set methods are able to robustly segment complex textured images in an unsupervised manner. In recent...
ECCV
2004
Springer
14 years 3 months ago
2004
Springer
We describe a novel method for human detection in single images which can detect full bodies as well as close-up views in the presence of clutter and occlusion. Humans are modeled ...
FOSSACS
2003
Springer
14 years 3 months ago
2003
Springer
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...
DSN
2002
IEEE
14 years 3 months ago
2002
IEEE
Gossip-based broadcast algorithms have been considered as a viable alternative to traditional deterministic reliable broadcast algorithms in large scale environments. However, the...
IPPS
2000
IEEE
14 years 2 months ago
2000
IEEE
The work described here introduces a practical and accurate tool for predicting power consumption for FPGA circuits. The utility of the tool is that it enables FPGA circuit designe...