Sciweavers

20441 search results - page 188 / 4089
» Locally Computable Structures
Sort
View
ICALP
2007
Springer
15 years 6 months ago
Model Theory Makes Formulas Large
Gaifman’s locality theorem states that every first-order sentence is equivalent to a local sentence. We show that there is no elementary bound on the length of the local sentenc...
Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole...
CVPR
2009
IEEE
16 years 7 months ago
Anomaly Detection in Extremely Crowded Scenes using Spatio-Temporal Motion Pattern Models
Extremely crowded scenes present unique challenges to video analysis that cannot be addressed with conventional approaches. We present a novel statistical framework for modeling...
Louis Kratz (Drexel University), Ko Nishino (Drexe...
ICCV
2007
IEEE
16 years 1 months ago
Deformable Image Mosaicing for Optical Biopsy
Traditional image mosaicing usually relies on rigid image transformations. In many medical applications, however, tissue deformation during image acquisition or 3D parallax effect...
Kevin E. Loewke, David B. Camarillo, Kenneth Salis...
ICPR
2002
IEEE
16 years 29 days ago
Relational Graph Labelling Using Learning Techniques and Markov Random Fields
This paper introduces an approach for handling complex labelling problems driven by local constraints. The purpose is illustrated by two applications: detection of the road networ...
Denis Rivière, Jean-Francois Mangin, Jean-M...
ICCV
2007
IEEE
15 years 6 months ago
Laplacian PCA and Its Applications
Dimensionality reduction plays a fundamental role in data processing, for which principal component analysis (PCA) is widely used. In this paper, we develop the Laplacian PCA (LPC...
Deli Zhao, Zhouchen Lin, Xiaoou Tang