Sciweavers

4609 search results - page 721 / 922
» Automatic Generation of Sigma-Protocols
Sort
View
IVA
2009
Springer
16 years 1 months ago
Augmenting Gesture Animation with Motion Capture Data to Provide Full-Body Engagement
Abstract. Effective speakers engage their whole body when they gesture. It is difficult, however, to create such full body motion in animated agents while still supporting a large...
Pengcheng Luo, Michael Kipp, Michael Neff
PKDD
2009
Springer
162views Data Mining» more  PKDD 2009»
16 years 1 months ago
A Convex Method for Locating Regions of Interest with Multi-instance Learning
Abstract. In content-based image retrieval (CBIR) and image screening, it is often desirable to locate the regions of interest (ROI) in the images automatically. This can be accomp...
Yu-Feng Li, James T. Kwok, Ivor W. Tsang, Zhi-Hua ...
SAT
2009
Springer
126views Hardware» more  SAT 2009»
16 years 1 months ago
Extending SAT Solvers to Cryptographic Problems
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
Mate Soos, Karsten Nohl, Claude Castelluccia
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
16 years 1 months ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
SEMWEB
2009
Springer
16 years 1 months ago
Live Social Semantics
Abstract. Social interactions are one of the key factors to the success of conferences and similar community gatherings. This paper describes a novel application that integrates da...
Harith Alani, Martin Szomszor, Ciro Cattuto, Woute...