Sciweavers

3760 search results - page 142 / 752
» Logic-Based Probabilistic Modeling
Sort
View
ICICS
2004
Springer
15 years 11 months ago
Automatic Covert Channel Analysis of a Multilevel Secure Component
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...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone...
DMSN
2008
ACM
15 years 8 months ago
Probabilistic processing of interval-valued sensor data
When dealing with sensors with different time resolutions, it is desirable to model a sensor reading as pertaining to a time interval rather than a unit of time. We introduce two ...
Sander Evers, Maarten M. Fokkinga, Peter M. G. Ape...
IJCV
2000
161views more  IJCV 2000»
15 years 6 months ago
Probabilistic Detection and Tracking of Motion Boundaries
We propose a Bayesian framework for representing and recognizing local image motion in terms of two basic models: translational motion and motion boundaries. Motion boundaries are ...
Michael J. Black, David J. Fleet
ACL
2009
15 years 4 months ago
Paraphrase Identification as Probabilistic Quasi-Synchronous Recognition
We present a novel approach to deciding whether two sentences hold a paraphrase relationship. We employ a generative model that generates a paraphrase of a given sentence, and we ...
Dipanjan Das, Noah A. Smith
JCB
2006
185views more  JCB 2006»
15 years 6 months ago
A Probabilistic Methodology for Integrating Knowledge and Experiments on Biological Networks
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
Irit Gat-Viks, Amos Tanay, Daniela Raijman, Ron Sh...