1299 search results - page 48 / 260 » Computing Minimal Diagnoses with Critical Set Algorithms |
98
Voted
ICCAD
2005
IEEE
16 years 20 days ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
141
Voted
GCC
2005
Springer
15 years 9 months ago
2005
Springer
Task Scheduling is a critical design issue of distributed computing. The emerging Grid computing infrastructure consists of heterogeneous resources in widely distributed autonomous...
183
Voted
MICCAI
2006
Springer
15 years 10 months ago
2006
Springer
Minimally Invasive Surgery (MIS) has recognized benefits of reduced patient trauma and recovery time. In practice, MIS procedures present a number of challenges due to the loss of ...
104
click to vote
COCO
1998
Springer
15 years 8 months ago
1998
Springer
Ladner [18] showed that there are no minimal recursive sets under polynomial-time reductions. Given any recursive set A, Ladner constructs a set B such that B strictly reduces to ...
140
Voted
ENTCS
2006
15 years 3 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...