Sciweavers

1089 search results - page 123 / 218
» Oracle-Based Partial Evaluation
Sort
View
JCT
2008
103views more  JCT 2008»
14 years 9 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 9 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 9 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 9 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
CVPR
2009
IEEE
14 years 7 months ago
Multi-object tracking through occlusions by local tracklets filtering and global tracklets association with detection responses
This paper presents an online detection-based two-stage multi-object tracking method in dense visual surveillances scenarios with a single camera. In the local stage, a particle f...
Junliang Xing, Haizhou Ai, Shihong Lao