1999 search results - page 66 / 400 » Finding Reductions Automatically |
CIVR
2007
Springer
15 years 4 months ago
2007
Springer
This paper addresses the problem of classifying actions performed by a human subject in a video sequence. A representation eigenspace approach based on the visual appearance is us...
ICIAR
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents a closed edge detection method based on a level lines selection approach. The proposed method is based on an unsupervised probabilistic scheme using an a contra...
STACS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
ICMCS
2006
IEEE
15 years 3 months ago
2006
IEEE
Modern multimedia applications possess a very dynamic use of the memory hierarchy depending on the actual input, therefore requiring run-time profiling techniques to enable optim...
DAC
1995
ACM
15 years 1 months ago
1995
ACM
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...