Sciweavers

1987 search results - page 319 / 398
» Directional filtering transform
Sort
View
133
Voted
MM
2004
ACM
107views Multimedia» more  MM 2004»
15 years 8 months ago
Time, voice, and joyce
We present a design for recapitulating walks through Dublin's City Centre by characters in James Joyce's Ulysses. Our computationally supported walkers will avail themse...
Andrea Taylor, Brendan Donovan, Zoltan Foley-Fishe...
148
Voted
ECCV
2004
Springer
15 years 8 months ago
A 2D Fourier Approach to Deformable Model Segmentation of 3D Medical Images
Anatomical shapes present a unique problem in terms of accurate representation and medical image segmentation. Three-dimensional (3D) statistical shape models have been extensivel...
Eric Berg, Mohamed Mahfouz, Christian Debrunner, W...
106
Voted
FMCAD
2004
Springer
15 years 8 months ago
Non-miter-based Combinational Equivalence Checking by Comparing BDDs with Different Variable Orders
This paper describes a new method that is useful in combinational equivalence checking with very challenging industrial designs. The method does not build a miter; instead it build...
In-Ho Moon, Carl Pixley
114
Voted
TACAS
2004
Springer
108views Algorithms» more  TACAS 2004»
15 years 8 months ago
The Succinct Solver Suite
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
Flemming Nielson, Hanne Riis Nielson, Hongyan Sun,...
172
Voted
WIA
2004
Springer
15 years 8 months ago
A BDD-Like Implementation of an Automata Package
In this paper we propose a new data structure, called shared automata, for representing deterministic finite automata (DFA). Shared automata admit a strong canonical form for DFA ...
Jean-Michel Couvreur