1222 search results - page 53 / 245 » A Bayesian Approach to Model Checking Biological Systems |
130
Voted
DIMACS
1996
15 years 5 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
135
Voted
AI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We use a hierarchical Bayesian approach to model user preferences in different contexts or settings. Unlike many previous recommenders, our approach is content-based. We...
156
Voted
BIRTHDAY
2003
Springer
15 years 7 months ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
146
Voted
NIPS
2008
15 years 5 months ago
2008
Many nonlinear dynamical phenomena can be effectively modeled by a system that switches among a set of conditionally linear dynamical modes. We consider two such models: the switc...
150
Voted
ISSTA
1998
ACM
15 years 8 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...