Sciweavers

154 search results - page 27 / 31
» Abstract Interpretation with Applications to Timing Validati...
Sort
View
CIVR
2006
Springer
117views Image Analysis» more  CIVR 2006»
14 years 9 days 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
RSS
2007
158views Robotics» more  RSS 2007»
13 years 10 months ago
Vision-Aided Inertial Navigation for Precise Planetary Landing: Analysis and Experiments
Abstract—In this paper, we present the analysis and experimental validation of a vision-aided inertial navigation algorithm for planetary landing applications. The system employs...
Anastasios I. Mourikis, Nikolas Trawny, Stergios I...
DATE
2010
IEEE
154views Hardware» more  DATE 2010»
13 years 9 months ago
Computing robustness of FlexRay schedules to uncertainties in design parameters
Abstract--In the current environment of rapidly changing invehicle requirements and ever-increasing functional content for automotive EE systems, there are several sources of uncer...
Arkadeb Ghosal, Haibo Zeng, Marco Di Natale, Yakov...
AAMAS
2002
Springer
13 years 8 months ago
Multiagent Learning for Open Systems: A Study in Opponent Classification
Abstract. Open systems are becoming increasingly important in a variety of distributed, networked computer applications. Their characteristics, such as agent diversity, heterogenei...
Michael Rovatsos, Gerhard Weiß, Marco Wolf
TON
2010
161views more  TON 2010»
13 years 3 months ago
Investigating Self-Similarity and Heavy-Tailed Distributions on a Large-Scale Experimental Facility
Abstract--After the seminal work by Taqqu et al. relating selfsimilarity to heavy-tailed distributions, a number of research articles verified that aggregated Internet traffic time...
Patrick Loiseau, Paulo Gonçalves, Guillaume...