8699 search results - page 1423 / 1740 » Elements of the Theory of Computation |
167
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
This paper presents a technique for preprocessing combinational logic before technology mapping. The technique is based on the representation of combinational logic using And-Inve...
168
click to vote
IPMI
2005
Springer
16 years 7 months ago
2005
Springer
This paper presents a unified image processing and analysis framework for cortical thickness in characterizing a clinical population. The emphasis is placed on the development of d...
175
click to vote
IPMI
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. We present a new method for computing an optimal deformation between two arbitrary surfaces embedded in Euclidean 3-dimensional space. Our main contribution is in buildin...
159
click to vote
ICML
2004
IEEE
16 years 7 months ago
2004
IEEE
Hill-climbing search is the most commonly used search algorithm in ILP systems because it permits the generation of theories in short running times. However, a well known drawback...
156
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...