Sciweavers

3706 search results - page 255 / 742
» KtSeqC: System Description
Sort
View
W4A
2010
ACM
15 years 4 months ago
Towards collaborative annotation for video accessibility
The ACAV project aims to explore how the accessibility of web videos can be improved by providing rich descriptions of video content in order to personalize the rendering of the c...
Pierre-Antoine Champin, Benoît Encelle, Nich...
211
Voted
NFM
2011
209views Formal Methods» more  NFM 2011»
15 years 1 months ago
Formalizing Probabilistic Safety Claims
A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Li...
Heber Herencia-Zapana, George Hagen, Anthony Narka...
TITS
2010
128views Education» more  TITS 2010»
15 years 1 months ago
TerraMax Vision at the Urban Challenge 2007
This paper presents the TerraMax vision systems used during the 2007 DARPA Urban Challenge. First, a description of the different vision systems is provided, focusing on their hard...
Alberto Broggi, Andrea Cappalunga, Claudio Caraffi...
DLOG
2007
15 years 9 months ago
DLMedia: an Ontology Mediated Multimedia Information Retrieval System
We outline DLMedia, an ontology mediated multimedia information retrieval system, which combines logic-based retrieval with multimedia featurebased similarity retrieval. An ontolog...
Umberto Straccia, Giulio Visco
IJMTM
2006
85views more  IJMTM 2006»
15 years 6 months ago
Simulation in agent-based control systems: MAST case study
: The paper discusses the role of simulation in agent-based control systems. We present the universal runtime interface enabling efficient interactions between the agent control, m...
Pavel Vrba