Sciweavers

3719 search results - page 374 / 744
» Pellet System Description
Sort
View
SOFTWARE
2010
15 years 6 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 5 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 2 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 2 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...
SIGIR
2012
ACM
13 years 10 months ago
Cognos: crowdsourcing search for topic experts in microblogs
Finding topic experts on microblogging sites with millions of users, such as Twitter, is a hard and challenging problem. In this paper, we propose and investigate a new methodolog...
Saptarshi Ghosh, Naveen Kumar Sharma, Fabrí...