3082 search results - page 313 / 617 » Deviation Analysis: A New Use of Model Checking |
169
click to vote
UAI
2008
15 years 8 months ago
2008
The paper introduces a generalization for known probabilistic models such as log-linear and graphical models, called here multiplicative models. These models, that express probabi...
176
click to vote
JAIR
2000
15 years 6 months ago
2000
Recently model checking representation and search techniques were shown to be efciently applicable to planning, in particular to non-deterministic planning. Such planning approach...
169
click to vote
GLVLSI
2006
IEEE
16 years 20 days ago
2006
IEEE
Reliability has become a significant challenge for system design in new process technologies. Higher integration levels dramatically increase power densities, which leads to high...
144
click to vote
BILDMED
2009
15 years 7 months ago
2009
Abstract. Neurovascular compression syndromes are caused by a pathological contact between cranial nerves and vascular structures at the surface of the brainstem. Aiming at improve...
172
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Yu et al. (BMC Bioinformatics 2007,8: 145+) have recently compared the performance of several methods for the detection of genomic amplification and deletion breakpoin...