2116 search results - page 56 / 424 » On Probabilistic Alternating Simulations |
ICICS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrad...
DELTA
2010
IEEE
14 years 3 months ago
2010
IEEE
—In this paper we present a new model for characterization of probabilistic gates. While still not mainstream, probabilistic CMOS has the potential to dramatically reduce energy ...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
This paper describes a probabilistic framework to estimate the shape and position of multiple fish in a school. We model the fish shape as an ellipsoid with a curvature coefficient...
DFT
2007
IEEE
14 years 4 months ago
2007
IEEE
Chemically Assembled Electronic Nanotechnology is a promising alternative to CMOS fabrication. In particular, the nanoFabric has proven to be a viable solution for implementing di...
SIGMOD
2008
ACM
14 years 10 months ago
2008
ACM
A major problem in detecting events in streams of data is that the data can be imprecise (e.g. RFID data). However, current state-ofthe-art event detection systems such as Cayuga ...