6020 search results - page 40 / 1204 » A New Approach to Model Counting |
118
click to vote
ICIP
2005
IEEE
16 years 3 months ago
2005
IEEE
In this paper we present a probabilistic framework for tracking objects based on local dynamic segmentation. We view the segn to be a Markov labeling process and abstract it as a ...
112
click to vote
RECOMB
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. Given the substantial computational requirements of stochastic simulation, approximation is essential for efficient analysis of any realistic biochemical system. This pap...
122
Voted
ASPDAC
2008
ACM
15 years 4 months ago
2008
ACM
Scaling is currently the most popular technique used to improve performance metrics of CMOS circuits. This cannot go on forever because the properties that are responsible for the ...
128
click to vote
DAC
2011
ACM
14 years 1 months ago
2011
ACM
This paper studies TSV-to-TSV coupling in 3D ICs. A full-chip SI analysis flow is proposed based on the proposed coupling model. Analysis results show that TSVs cause significan...
115
click to vote
ICRA
2010
IEEE
15 years 14 days ago
2010
IEEE
— Contact dynamics are commonly formulated as a linear complementarity problem. While this approach is superior to earlier spring-damper models, it can be inaccurate due to pyram...