Sciweavers

20126 search results - page 3411 / 4026
» Timed Transition Systems
Sort
View
IROS
2009
IEEE
168views Robotics» more  IROS 2009»
16 years 2 months ago
A stream-based hierarchical anchoring framework
— Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic leve...
Fredrik Heintz, Jonas Kvarnström, Patrick Doh...
ISORC
2009
IEEE
16 years 2 months ago
Property Preservation and Composition with Guarantees: From ASSERT to CHESS
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
Tullio Vardanega
IV
2009
IEEE
107views Visualization» more  IV 2009»
16 years 2 months ago
Multiscale Visual Analysis of Lexical Networks
A lexical network is a very useful resource for natural language processing systems. However, building high quality lexical networks is a complex task. “Jeux de mots” is a web...
Guillaume Artignan, Mountaz Hascoët, Mathieu ...
IV
2009
IEEE
141views Visualization» more  IV 2009»
16 years 2 months ago
Connecting Genes with Diseases
We present a visual data mining application using the combination of clinical data, pathways and biomolecular data. Using pathways to navigate and filter the clinical and molecula...
Heimo Müller, Robert Reihs, Stefan Sauer 0002...
ACNS
2009
Springer
162views Cryptology» more  ACNS 2009»
16 years 2 months ago
Performance Measurements of Tor Hidden Services in Low-Bandwidth Access Networks
Abstract. Being able to access and provide Internet services anonymously is an important mechanism to ensure freedom of speech in vast parts of the world. Offering location-hidden...
Jörg Lenhard, Karsten Loesing, Guido Wirtz
« Prev « First page 3411 / 4026 Last » Next »