Sciweavers

1222 search results - page 124 / 245
» Some Results on Directable Automata
Sort
View
MICCAI
2005
Springer
15 years 11 months ago
Using the Fast Marching Method to Extract Curves with Given Global Properties
Abstract. Curves are often used as anatomical features to match surfaces that represent biological objects, such as the human brain. Automated and semi-automated methods for extrac...
Xiaodong Tao, Christos Davatzikos, Jerry L. Prince
TACAS
2009
Springer
136views Algorithms» more  TACAS 2009»
15 years 4 months ago
Path Feasibility Analysis for String-Manipulating Programs
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
Nikolaj Bjørner, Nikolai Tillmann, Andrei V...
ICPR
2008
IEEE
15 years 4 months ago
Back to the future: Robust foreground extraction with reversed-time background modeling
“Ghosts” arise in traditional background subtraction when an object starts to move, causing the exposed background to be labelled as a ghost foreground. With background model ...
Akhilesh Kumar Sinha, Prithwijit Guha, Amitabha Mu...
DASFAA
2006
IEEE
183views Database» more  DASFAA 2006»
15 years 4 months ago
Probabilistic Similarity Join on Uncertain Data
An important database primitive for commonly used feature databases is the similarity join. It combines two datasets based on some similarity predicate into one set such that the n...
Hans-Peter Kriegel, Peter Kunath, Martin Pfeifle, ...
MM
2006
ACM
99views Multimedia» more  MM 2006»
15 years 4 months ago
Reading the fine print: the effect of text legibility on perceived video quality in mobile tv
Mobile TV services are available in an increasing number of countries. For cost reasons, most of these services offer material directly recoded for mobile consumption (i.e. withou...
Hendrik Knoche, John D. McCarthy, Martina Angela S...