1696 search results - page 176 / 340 » Permuted function matching |
115
click to vote
LICS
2012
IEEE
13 years 1 months ago
2012
IEEE
—We show how to reliably compute fast-growing functions with timed-arc Petri nets and data nets. This construction provides ordinal-recursive lower bounds on the complexity of th...
86
Voted
ICIP
2003
IEEE
16 years 20 days ago
2003
IEEE
This paper proposes a model-based methodology for recognizing and tracking objects in digital image sequences. Objects are represented by attributed relational graphs (or ARGs), w...
114
click to vote
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
In this paper, we present a method that recognizes single or multiple common actions between a pair of video sequences. We establish an energy function that evaluates geometric and...
FLOPS
2010
Springer
15 years 5 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
ICASSP
2009
IEEE
15 years 5 months ago
2009
IEEE
This paper deals with the reconstruction of smooth, flexible, isometrically embedded flat surfaces in 3D, such as a sheet of paper or a flag waving in the wind, from a set of 2...