648 search results - page 97 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
IWMM
2010
Springer
15 years 20 days ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...
CVPR
2008
IEEE
16 years 27 days ago
2008
IEEE
We present a framework for computing optimal transformations, aligning one point set to another, in the presence of outliers. Example applications include shape matching and regis...
BMCBI
2005
14 years 10 months ago
2005
Background: We present a complete re-implementation of the segment-based approach to multiple protein alignment that contains a number of improvements compared to the previous ver...
96
Voted
MEMOCODE
2007
IEEE
15 years 5 months ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
82
Voted
JCO
2011
14 years 5 months ago
2011
Discrete gate sizing is a critical optimization in VLSI circuit design. Given a set of available gate sizes, discrete gate sizing problem asks to assign a size to each gate such th...