Sciweavers

2903 search results - page 339 / 581
» On the univalence of an integral operator
Sort
View
FPL
2006
Springer
158views Hardware» more  FPL 2006»
15 years 10 months ago
Placing Functionality in Fault-Tolerant Hardware/Software Reconfigurable Networks
A novel framework shows the potential of FPGA-based systems for increasing fault-tolerance and flexibility by placing functionality onto free hardware (HW) or software (SW) resour...
Thilo Streichert
ESORICS
2000
Springer
15 years 10 months ago
Verification of a Formal Security Model for Multiapplicative Smart Cards
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, ...
ICMI
2000
Springer
172views Biometrics» more  ICMI 2000»
15 years 10 months ago
Combining Skin Color Model and Neural Network for Rotation Invariant Face Detection
Face detection is a key problem in human-computer interaction. In this paper, we present an algorithm for rotation invariant face detection in color images of cluttered scenes. It ...
Hongming Zhang, Debin Zhao, Wen Gao, Xilin Chen
ITS
2000
Springer
112views Multimedia» more  ITS 2000»
15 years 10 months ago
Model of an Adaptive Support Interface for Distance Learning
We developed a distributed support model in an interface for distant learning. The support is integrated into the ExploraGraph navigator which makes it possible to navigate through...
Aude Dufresne
FPL
1995
Springer
106views Hardware» more  FPL 1995»
15 years 10 months ago
Some Notes on Power Management on FPGA-Based Systems
Although the energy required to perform a logic operation has continuously dropped at least by ten orders of magnitude since early vacuumtube electronics [1], the increasing clock ...
Eduardo I. Boemo, Guillermo González de Riv...