3690 search results - page 136 / 738 » Computation with classical sequents |
COMSIS
2010
14 years 7 months ago
2010
Abstract--The paper presents innovative parser construction method and parser generator prototype which generates a computer language parser from a set of annotated classes in cont...
CVPR
1999
IEEE
16 years 16 hour ago
1999
IEEE
This paper describes a probabilistic multiple-hypothesis framework for tracking highly articulated objects. In this framework, the probability density of the tracker state is repr...
CVPR
2007
IEEE
16 years 15 hour ago
2007
IEEE
We describe a new hierarchical representation for twodimensional objects that captures shape information at multiple levels of resolution. This representation is based on a hierar...
ICCV
2003
IEEE
15 years 12 months ago
2003
IEEE
We propose a two-class classification model for grouping. Human segmented natural images are used as positive examples. Negative examples of grouping are constructed by randomly m...
ECCV
2008
Springer
15 years 12 months ago
2008
Springer
Video streams are ubiquitous in applications such as surveillance, games, and live broadcast. Processing and analyzing these data is challenging because algorithms have to be effic...