2297 search results - page 143 / 460 » An Algorithm for Computing the Integral Closure |
145
Voted
SOFSEM
2012
Springer
13 years 10 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
115
click to vote
ICPR
2008
IEEE
16 years 3 months ago
2008
IEEE
This paper proposes an extension to the active contour algorithm for the detection of linear patterns within remote sensing and vibration data. The proposed technique uses an alte...
123
click to vote
3DPH
2009
15 years 9 days ago
2009
We describe an algorithm for segmenting three-dimensional medical imaging data modeled as a continuous function on a 3-manifold. It is related to watershed algorithms developed in ...
132
click to vote
ICCAD
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents several important enhancements to the recently published multilevel placement package mPL [12]. The improvements include (i) unconstrained quadratic relaxation...
136
click to vote
ICCSA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Many problems in computer science are related to scheduling problems or embedding problems. Therefore it is an interesting topic to find efficient (approximation) algori...