2502 search results - page 477 / 501 » Using probabilistic model checking in systems biology |
126
click to vote
EUROSYS
2008
ACM
15 years 8 months ago
2008
ACM
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...
123
click to vote
POPL
2011
ACM
14 years 2 months ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...
111
click to vote
ICTAI
2007
IEEE
15 years 6 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
124
click to vote
EC
2006
14 years 11 months ago
2006
Learning Classifier Systems (LCSs), such as the accuracy-based XCS, evolve distributed problem solutions represented by a population of rules. During evolution, features are speci...
110
click to vote
KDD
2009
ACM
16 years 9 days ago
2009
ACM
Behavioral targeting (BT) leverages historical user behavior to select the ads most relevant to users to display. The state-of-the-art of BT derives a linear Poisson regression mo...