Sciweavers

667 search results - page 85 / 134
» Quantization-Based Methods: Additive Attacks Performance Ana...
Sort
View
CGF
2006
123views more  CGF 2006»
14 years 12 months ago
Dancing-to-Music Character Animation
In computer graphics, considerable research has been conducted on realistic human motion synthesis. However, most research does not consider human emotional aspects, which often s...
Takaaki Shiratori, Atsushi Nakazawa, Katsushi Ikeu...
SIGMOD
2012
ACM
203views Database» more  SIGMOD 2012»
13 years 2 months ago
Optimizing index for taxonomy keyword search
Query substitution is an important problem in information retrieval. Much work focuses on how to find substitutes for any given query. In this paper, we study how to efficiently ...
Bolin Ding, Haixun Wang, Ruoming Jin, Jiawei Han, ...
FORTE
1994
15 years 1 months ago
An improvement in formal verification
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
Gerard J. Holzmann, Doron Peled
CVPR
2000
IEEE
16 years 1 months ago
Boosting Image Retrieval
Online photo sharing systems, such as Flickr and Picasa, provide a valuable source of human-annotated photos. Textual annotations are used not only to describe the visual content ...
Kinh Tieu, Paul A. Viola
CIVR
2008
Springer
165views Image Analysis» more  CIVR 2008»
15 years 1 months ago
Balancing thread based navigation for targeted video search
Various query methods for video search exist. Because of the semantic gap each method has its limitations. We argue that for effective retrieval query methods need to be combined ...
Ork de Rooij, Cees G. M. Snoek, Marcel Worring