2564 search results - page 363 / 513 » Witness sets of projections |
MMM
2007
Springer
14 years 4 months ago
2007
Springer
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...
SEFM
2007
IEEE
14 years 4 months ago
2007
IEEE
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...
SEUS
2007
IEEE
14 years 4 months ago
2007
IEEE
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...
TIME
2007
IEEE
14 years 4 months ago
2007
IEEE
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...
VTC
2007
IEEE
14 years 4 months ago
2007
IEEE
—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 ...