Sciweavers

2564 search results - page 363 / 513
» Witness sets of projections
Sort
View
MMM
2007
Springer
143views Multimedia» more  MMM 2007»
15 years 12 months ago
Semi-supervised Cast Indexing for Feature-Length Films
Abstract. Cast indexing is a very important application for contentbased video browsing and retrieval, since the characters in feature-length films and TV series are always the ma...
Wei Fan, Tao Wang, Jean-Yves Bouguet, Wei Hu, Yimi...
SEFM
2007
IEEE
15 years 12 months ago
Automatically Proving Concurrent Programs Correct
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
Byron Cook
SEUS
2007
IEEE
15 years 12 months ago
A Framework for Hardware-in-the-Loop Testing of an Integrated Architecture
In this paper we present a distributed Hardware-in-the-Loop (HiL) simulation approach that supports the verification and validation activities in an integrated architecture as rec...
Martin Schlager, Roman Obermaisser, Wilfried Elmen...
TIME
2007
IEEE
15 years 12 months ago
Multilingual Extension of Temporal Expression Recognition Using Parallel Corpora
This paper presents the automatic extension of TERSEO to other languages, a knowledge-based system for the recognition and normalization of temporal expressions, originally develo...
Marcel Puchol-Blasco, Estela Saquete, Patricio Mar...
VTC
2007
IEEE
190views Communications» more  VTC 2007»
15 years 12 months ago
An Adaptive Location Estimator Based on Kalman Filtering for Wireless Sensor Networks
—In this paper, we present a positioning and tracking scheme based on adaptive weighted interpolation and Kalman filtering for wireless sensor networks. The proposed positioning ...
Chin-Liang Wang, Yih-Shyh Chiou, Yu-Sheng Dai