Sciweavers

2610 search results - page 181 / 522
» Computational Probabilistic Non-interference
Sort
View
123
Voted
CAV
2010
Springer
190views Hardware» more  CAV 2010»
15 years 6 months ago
Measuring and Synthesizing Systems in Probabilistic Environments
Often one has a preference order among the different systems that satisfy a given specification. Under a probabilistic assumption about the possible inputs, such a preference order...
Krishnendu Chatterjee, Thomas A. Henzinger, Barbar...
141
Voted
AAAI
2007
15 years 5 months ago
Probabilistic Community Discovery Using Hierarchical Latent Gaussian Mixture Model
Complex networks exist in a wide array of diverse domains, ranging from biology, sociology, and computer science. These real-world networks, while disparate in nature, often compr...
Haizheng Zhang, C. Lee Giles, Henry C. Foley, John...
122
Voted
AAAI
2008
15 years 5 months ago
Hidden Dynamic Probabilistic Models for Labeling Sequence Data
We propose a new discriminative framework, namely Hidden Dynamic Conditional Random Fields (HDCRFs), for building probabilistic models which can capture both internal and external...
Xiaofeng Yu, Wai Lam
114
Voted
ECAI
2008
Springer
15 years 4 months ago
A probabilistic trust model for semantic peer-to-peer systems
Semantic peer to peer (P2P) systems are fully decentralized overlay networks of people or machines (called peers) sharing and searching varied resources (documents, videos, photos...
Gia Hien Nguyen, Philippe Chatalic, Marie-Christin...
156
Voted
DICTA
2003
15 years 4 months ago
Probabilistic Multiple Cue Integration for Particle Filter Based Tracking
Robust visual tracking has become an important topic in the field of computer vision. The integration of cues such as color, edge strength and motion has proved to be a promising ...
Chunhua Shen, Anton van den Hengel, Anthony R. Dic...