1147 search results - page 70 / 230 » Statistical Timing Analysis Using Bounds |
CORR
2011
Springer
13 years 20 days ago
2011
Springer
We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. de nite clause programs containing probabilistic facts with a ...
CVPR
2003
IEEE
14 years 11 months ago
2003
IEEE
Visual Hull (VH) construction from silhouette images is a popular method of shape estimation. The method, also known as Shape-From-Silhouette (SFS), is used in many applications s...
ASC
2011
13 years 3 months ago
2011
In the area of data mining, the discovery of valuable changes and connections (e.g., causality) from multiple data sets has been recognized as an important issue. This issue essen...
BMCBI
2007
13 years 9 months ago
2007
Background: Causal networks based on the vector autoregressive (VAR) process are a promising statistical tool for modeling regulatory interactions in a cell. However, learning the...
APLAS
2007
ACM
14 years 27 days ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...