6020 search results - page 954 / 1204 » A New Approach to Model Counting |
264
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
Over recent years there has been increased level of discussion on utility pricing for software. The focus of these discussions is to create new operating cost models where the unit...
152
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
Boundary detection in MR image with brain tumor is an important image processiug technique applied in Radiology for 3D reconstruction. The nonhomogeneities density tissue of the br...
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
In this paper, we propose a new method for automatically tracking the motion of local region in left ventricular myocardium by means of ultrasonic pulsed Doppler signal. This meth...
177
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
A fundamental problem in timing-driven physical synthesis is the reduction of critical paths in a design. In this work, we propose a powerful new technique that moves (and can als...
261
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Measuring graph similarity is a key issue in many applications. We propose a new constraint-based modeling language for defining graph similarity measures by means of constraints. ...