Sciweavers

3719 search results - page 214 / 744
» RACER System Description
Sort
View
MM
2004
ACM
164views Multimedia» more  MM 2004»
15 years 12 months ago
Mobile media metadata: metadata creation system for mobile images
In the 2003, more camera phones were sold worldwide than digital cameras. With this new platform, we can leverage regularities in the spatio-temporal context and social community ...
Marc Davis
DATE
2002
IEEE
94views Hardware» more  DATE 2002»
15 years 11 months ago
A Powerful System Design Methodology Combining OCAPI and Handel-C for Concept Engineering
In this paper, we present an efficient methodology to validate high performance algorithms and prototype them using reconfigurable hardware. We follow a strict topdown Hardware/So...
Klaus Buchenrieder, Andreas Pyttel, Alexander Sedl...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 10 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
WECWIS
1999
IEEE
162views ECommerce» more  WECWIS 1999»
15 years 10 months ago
A Conceptual Annotation Approach to Indexing in a Web-Based Information System
All the specialists have agreed that the possibility of adding to multimedia WWW objects some sort of `conceptual' annotations describing their information content would grea...
Elisa Bertino, Barbara Catania, Gian Piero Zarri
CCS
2006
ACM
15 years 10 months ago
Using model-based security analysis in component-oriented system development
We propose an integrated process for component-based system development and security risk analysis. The integrated process is evaluated in a case study involving an instant messag...
Gyrd Brændeland, Ketil Stølen