Sciweavers

1578 search results - page 181 / 316
» Self-healing systems - survey and synthesis
Sort
View
ICPR
2008
IEEE
14 years 9 months ago
Using an artificial imagination for texture retrieval
Our goal is to determine if artificially imagined or synthesized images can be beneficial to interactive visual search. We present a novel approach for using artificially imagined...
Bart Thomee, Mark J. Huiskes, Erwin M. Bakker, Mic...
ASPDAC
2009
ACM
111views Hardware» more  ASPDAC 2009»
14 years 2 months ago
A UML-based approach for heterogeneous IP integration
- With increasing availability of predefined IP (Intellectual Properties) blocks and inexpensive microprocessors, embedded system designers are faced with more design choices than ...
Zhenxin Sun, Weng-Fai Wong
HICSS
2007
IEEE
141views Biometrics» more  HICSS 2007»
14 years 2 months ago
Challenges in Health Informatics
Early grand challenge papers in health informatics identified numerous challenges, many of which either remain as open questions or have been resolved within fairly narrow domains...
Michael A. Shepherd
FMICS
2007
Springer
14 years 2 months ago
Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
Leonard Lensink, Sjaak Smetsers, Marko C. J. D. va...
ICMCS
2005
IEEE
116views Multimedia» more  ICMCS 2005»
14 years 1 months ago
Multimodal Emotion Recognition and Expressivity Analysis
The paper presents the framework of a special session that aims at investigating the best possible techniques for multimodal emotion recognition and expressivity analysis in human...
Stefanos D. Kollias, Kostas Karpouzis