Sciweavers

1855 search results - page 58 / 371
» Probabilistic Frame-Based Systems
Sort
View
119
Voted
IUI
2009
ACM
15 years 11 months ago
A probabilistic mental model for estimating disruption
Adaptive software systems are intended to modify their appearance, performance or functionality to the needs and preferences of different users. A key bottleneck in building effec...
Bowen Hui, Grant Partridge, Craig Boutilier
114
Voted
CSB
2003
IEEE
15 years 8 months ago
A Probabilistic Model for Identifying Protein Names and their Name Boundaries
This paper proposes a method for identifying protein names in biomedical texts with an emphasis on detecting protein name boundaries. We use a probabilistic model which exploits s...
Kazuhiro Seki, Javed Mostafa
118
Voted
QEST
2009
IEEE
15 years 9 months ago
Language-Level Symmetry Reduction for Probabilistic Model Checking
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
Alastair F. Donaldson, Alice Miller, David Parker
131
Voted
QEST
2007
IEEE
15 years 9 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
84
Voted
SSS
2007
Springer
15 years 9 months ago
Probabilistic Fault-Containment
Research on fine tuning stabilization properties has received attention for nearly a decade. This paper presents a probabilistic algorithm for fault-containment, that confines th...
Anurag Dasgupta, Sukumar Ghosh, Xin Xiao