620 search results - page 20 / 124 » Likelihood Computations Using Value Abstraction |
DAC
2001
ACM
14 years 10 months ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
AICCSA
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract-- In ubiquitous computing environments, many devices and agents interoperate with each other and use services provided by others. But the problem is that there may be requ...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract: Numerical solutions to fractional differential equations can be extremely computationally intensive due to the effect of non-local derivatives in which all previous time ...
MICCAI
2007
Springer
14 years 10 months ago
2007
Springer
Abstract. The creation of 2D ultrasound mosaics is becoming a common clinical practice with a high clinical value. The next step coming along with the increasing availability of 2D...
RECOMB
2009
Springer
14 years 10 months ago
2009
Springer
Phylogenetic Bootstrapping (BS) is a standard technique for inferring confidence values on phylogenetic trees that is based on reconstructing many trees from minor variations of th...