1921 search results - page 87 / 385 » Making AC-3 an Optimal Algorithm |
MICCAI
2006
Springer
14 years 10 months ago
2006
Springer
We propose a novel trace-based method to extract vessel axes from gray-scale angiograms without preliminary segmentations. Our method traces the axes on an optimization framework w...
ASPLOS
2009
ACM
14 years 9 months ago
2009
ACM
As computational power increases, tele-immersive applications are an emerging trend. These applications make extensive demands on computational resources through their heavy use o...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes an improved approach to Boolean network optimization using internal don’t-cares. The improvements concern the type of don’t-cares computed, their scope, a...
ECEASST
2006
13 years 9 months ago
2006
Motivated by the promotion of rewriting techniques and their use in major industrial applications, we have designed Tom: a pattern matching layer on top of conventional programming...
IJCAI
2007
13 years 10 months ago
2007
Formal analysis of decentralized decision making has become a thriving research area in recent years, producing a number of multi-agent extensions of Markov decision processes. Wh...