Sciweavers

5718 search results - page 35 / 1144
» Modeling Rule Precision
Sort
View
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
15 years 8 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
CORR
2008
Springer
179views Education» more  CORR 2008»
15 years 2 months ago
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
Carlo A. Furia, Matteo Pradella, Matteo Rossi
ICYCS
2008
IEEE
15 years 8 months ago
DSmT Qualitative Reasoning based on 2-Tuple Linguistic Representation Model
Most of modern systems for information retrieval, fusion and management have to deal more and more with information expressed quatitatively (by linguistic labels) since human repo...
Xinde Li, Xianzhong Dai, Jean Dezert, Florentin Sm...
AIPS
1996
15 years 3 months ago
Modeling Probabilistic Actions for Practical Decision-Theoretic Planning
Mostexisting decision-theoretic planners represent uncertainty about the state of the world with a precisely specified probability distribution over world states. This representat...
AnHai Doan
DIS
1998
Springer
15 years 6 months ago
Learning with Globally Predictive Tests
We introduce a new bias for rule learning systems. The bias only allows a rule learner to create a rule that predicts class membership if each test of the rule in isolation is pred...
Michael J. Pazzani