13376 search results - page 2377 / 2676 » Problem Solving with |
132
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
Many computational tools have recently begun to benefit from the use of the symmetry inherent in the tasks they solve, and use general-purpose graph symmetry tools to uncover this...
145
click to vote
DAC
1999
ACM
16 years 5 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
144
Voted
DAC
2004
ACM
16 years 5 months ago
2004
ACM
Capacitance extraction is an important problem that has been extensively studied. This paper presents a significant improvement for the fast multipole accelerated boundary element...
126
click to vote
MICCAI
2007
Springer
16 years 5 months ago
2007
Springer
Accurately describing interactions between medical devices and anatomical structures, or between anatomical structures themselves, is an essential step towards the adoption of comp...
161
click to vote
MICCAI
2003
Springer
16 years 5 months ago
2003
Springer
While level sets have demonstrated a great potential for 3D medical image segmentation, their usefulness has been limited by two problems. First, 3D level sets are relatively slow ...