Sciweavers

2324 search results - page 187 / 465
» A Fast Keyword-Spotting Technique
Sort
View
ISBI
2006
IEEE
16 years 24 days ago
TOADS: topology-preserving, anatomy-driven segmentation
This paper presents a new framework for multiple object segmentation in medical images that respects the topological properties and anatomical relationships of structures as given...
Pierre-Louis Bazin, Dzung L. Pham
ACMSE
2006
ACM
16 years 22 days ago
Inductive bases and their application to searches for minimal unary NFAs
Classic results in the theory of regular languages show that the problem of converting an NFA (nondeterministic finite automaton) into a minimal equivalent NFA is NP-hard, even f...
Geoffrey Smith
ASPDAC
2006
ACM
109views Hardware» more  ASPDAC 2006»
16 years 22 days ago
Cycle error correction in asynchronous clock modeling for cycle-based simulation
— As the complexity of SoCs is increasing, hardware/software co-verification becomes an important part of system verification. C-level cycle-based simulation could be an efficien...
Junghee Lee, Joonhwan Yi
162
Voted
SIBGRAPI
2005
IEEE
16 years 10 days ago
Analytic Antialiasing for Selective High Fidelity Rendering
Images rendered using global illumination algorithms are considered amongst the most realistic in 3D computer graphics. However, this high fidelity comes at a significant comput...
Peter Longhurst, Kurt Debattista, Richard Gillibra...
ICESS
2004
Springer
16 years 4 days ago
Relating FFTW and Split-Radix
Recent work showed that staging and abstract interpretation can be used to derive correct families of combinatorial circuits, and illustrated this technique with an in-depth analys...
Oleg Kiselyov, Walid Taha