2604 search results - page 209 / 521 » Process Change Support Features |
144
click to vote
ASM
2010
ASM
16 years 1 months ago
2010
ASM
Identifying a minimal unsatisfiable core in an Alloy model proved to be a very useful feature in many scenarios. We extend this concept to hot core, an approximation to unsat core...
164
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
In this work we propose a methodology for document reconstruction based on dynamic programming and a modified version of the Prim’s algorithm. Firstly, we use polygonal approxi...
143
click to vote
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
Mole pattern changes are important cues in detecting melanoma at an early stage. As a first step to automatically register mole pattern changes from skin images, this paper prese...
175
click to vote
PPOPP
1991
ACM
15 years 10 months ago
1991
ACM
Idle workstations in a network represent a significant computing potential. In particular, their processing power can be used by parallel-distributed programs that treat the netwo...
172
click to vote
ESWA
2008
15 years 6 months ago
2008
A persistent problem in the use of automated workflow management systems for inter-organizational workflows has been the need for manual redefinition of coordination points in the...