2632 search results - page 248 / 527 » Alternating Timed Automata |
136
click to vote
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...
131
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Decision making is the ability to decide on the best alternative among a set of candidates based on their value. In many real-world domains the value depends on events that occur ...
136
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Various statistical scores have been proposed for evaluating the significance of genes that may exhibit differential expression between two or more controlled conditio...
130
click to vote
ICML
2003
IEEE
16 years 4 months ago
2003
IEEE
In the standard feature selection problem, we are given a fixed set of candidate features for use in a learning problem, and must select a subset that will be used to train a mode...
105
click to vote
PODS
2004
ACM
16 years 4 months ago
2004
ACM
The technique of k-anonymization has been proposed in the literature as an alternative way to release public information, while ensuring both data privacy and data integrity. We p...