Sciweavers

4270 search results - page 653 / 854
» A Permutation Approach to Validation
Sort
View
DATE
2004
IEEE
97views Hardware» more  DATE 2004»
15 years 10 months ago
A Formal Verification Methodology for Checking Data Integrity
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
Yasushi Umezawa, Takeshi Shimizu
CIVR
2006
Springer
117views Image Analysis» more  CIVR 2006»
15 years 10 months ago
Video Clip Matching Using MPEG-7 Descriptors and Edit Distance
Abstract. Video databases require that clips are represented in a compact and discriminative way, in order to perform efficient matching and retrieval of documents of interest. We ...
Marco Bertini, Alberto Del Bimbo, Walter Nunziati
CIVR
2006
Springer
139views Image Analysis» more  CIVR 2006»
15 years 10 months ago
NPIC: Hierarchical Synthetic Image Classification Using Image Search and Generic Features
We introduce NPIC, an image classification system that focuses on synthetic (e.g., non-photographic) images. We use class-specific keywords in an image search engine to create a no...
Fei Wang, Min-Yen Kan
CLEAR
2006
Springer
199views Biometrics» more  CLEAR 2006»
15 years 10 months ago
Head Pose Tracking and Focus of Attention Recognition Algorithms in Meeting Rooms
Abstract. The paper presents an evaluation of both head pose and visual focus of attention (VFOA) estimation algorithms in a meeting room environment. Head orientation is estimated...
Sileye O. Ba, Jean-Marc Odobez
CLEF
2006
Springer
15 years 10 months ago
Experimenting a "General Purpose" Textual Entailment Learner in AVE
In this paper we present the use of a "general purpose" textual entaiment recognizer in the Answer Validation Exercise (AVE) task. Our system has been developed to learn...
Fabio Massimo Zanzotto, Alessandro Moschitti