6020 search results - page 114 / 1204 » A New Approach to Model Counting |
116
click to vote
ICPPW
2005
IEEE
15 years 9 months ago
2005
IEEE
Large–scale parallel applications performing global synchronization may spend a significant amount of execution time waiting for the completion of a barrier operation. Conseque...
138
click to vote
3DPH
2009
15 years 5 months ago
2009
We present a nearly automatic graph-based segmentation method for patient specific modeling of the aortic arch and carotid arteries from CTA scans for interventional radiology simu...
171
Voted
CSDA
2011
14 years 11 months ago
2011
This paper proposes a new method of interval estimation for the long run response (or elasticity) parameter from a general linear dynamic model. We employ the biascorrected bootst...
132
click to vote
ICIP
2006
IEEE
16 years 5 months ago
2006
IEEE
Distributed Source Coding (DSC), formulated thirty years ago, is lately witnessing a great research effort. This effort is encouraged by emerging new applications that could great...
157
click to vote
ICPR
2002
IEEE
15 years 8 months ago
2002
IEEE
Estimating mode (walking/running/standing) and phases of human locomotion is important for video understanding. We present a new ”tracking as recognition” approach. A hierarch...