Sciweavers

1090 search results - page 116 / 218
» Resource-Bounded Partial Evaluation
Sort
View
JCT
2008
103views more  JCT 2008»
14 years 10 months ago
A bijective proof of Jackson's formula for the number of factorizations of a cycle
Factorizations of the cyclic permutation (1 2 . . . N) into two permutations with respectively n and m cycles, or, equivalently, unicellular bicolored maps with N edges and n whit...
Gilles Schaeffer, Ekaterina A. Vassilieva
JAR
2006
106views more  JAR 2006»
14 years 10 months ago
Some Computational Aspects of distance-sat
In many AI fields, the problem of finding out a solution which is as close as possible to a given configuration has to be faced. This paper addresses this problem in a propositiona...
Olivier Bailleux, Pierre Marquis
PAMI
2008
188views more  PAMI 2008»
14 years 10 months ago
Segmentation and Tracking of Multiple Humans in Crowded Environments
Segmentation and tracking of multiple humans in crowded situations is made difficult by interobject occlusion. We propose a model-based approach to interpret the image observations...
Tao Zhao, Ramakant Nevatia, Bo Wu
TMI
2008
124views more  TMI 2008»
14 years 10 months ago
A Review of Geometric Transformations for Nonrigid Body Registration
Abstract-- This paper provides a comprehensive and quantitative review of spatial transformations models for nonrigid image registration. It explains the theoretical foundation of ...
Mark Holden
MVA
2000
232views Computer Vision» more  MVA 2000»
14 years 9 months ago
Automatic extraction of roads from aerial images based on scale space and snakes
We propose a new approach for automatic road extraction from aerial imagery with a model and a strategy mainly based on the multi-scale detection of roads in combination with geome...
Ivan Laptev, Helmut Mayer, Tony Lindeberg, Wolfgan...