2254 search results - page 81 / 451 » Computing the minimal covering set |
ICCAD
2005
IEEE
15 years 9 months 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...
120
Voted
DGCI
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Segmentation is an important step to obtain quantitative information from tomographic data sets. To this end, global thresholding is often used in practice. However, it i...
121
click to vote
ISLPED
2004
ACM
15 years 6 months ago
2004
ACM
Traditionally, dynamic voltage scaling (DVS) techniques have focused on minimizing the processorenergy consumption as opposed to the entire system energy consumption. The slowdown...
ISLPED
2000
ACM
15 years 5 months ago
2000
ACM
Quality of service (QoS) is one of the key features for new Internet-based multimedia and other applications. Meanwhile, energy remains as a big concern for systems that perform s...
148
click to vote
MICCAI
2006
Springer
15 years 6 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 ...