Sciweavers

3706 search results - page 365 / 742
» System Description: H-PILoT
Sort
View
SOFTWARE
2010
15 years 5 months ago
Architecture as Language
Architecture is typically either a very non-tangible, conceptual aspect of a software system that can primarily be found in Word documents, or it is entirely driven by technology ...
Markus Völter
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...
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...
ISORC
1998
IEEE
15 years 11 months ago
Specification of Real-Time Interaction Constraints
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
Brian Nielsen, Shangping Ren, Gul Agha