Sciweavers

3456 search results - page 302 / 692
» Algorithms for Interface Synthesis
Sort
View
ACCV
2006
Springer
15 years 10 months ago
Classification of Photometric Factors Based on Photometric Linearization
We propose a new method for classification of photometric factors, such as diffuse reflection, specular reflection, attached shadow, and cast shadow. For analyzing real images, we ...
Yasuhiro Mukaigawa, Yasunori Ishii, Takeshi Shakun...
AIPR
2004
IEEE
15 years 10 months ago
Embedded Reading Device for Blind People: A User-Centred Design
A handheld PDA-based system is being developed to help blind people in their daily tasks. The design combines in a continuous process Users' involvement and Engineers' e...
Jean-Pierre Peters, Céline Thillou, Silvio ...
CF
2004
ACM
15 years 10 months ago
Platform-independent methodology for partial reconfiguration
In this paper we present a novel methodology for partial (re-)configuration that can be used for most bitstream configured hardware (HW). In particular low priced and not for part...
Dirk Koch, Jürgen Teich
ATVA
2006
Springer
160views Hardware» more  ATVA 2006»
15 years 10 months ago
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
Giorgio Delzanno, Javier Esparza, Jirí Srba
193
Voted
FGR
2004
IEEE
127views Biometrics» more  FGR 2004»
15 years 10 months ago
Gait Style and Gait Content: Bilinear Models for Gait Recognition Using Gait Re-sampling
Human Identification using gait is a challenging computer vision task due to the dynamic motion of gait and the existence of various sources of variations such as viewpoint, walki...
Chan-Su Lee, Ahmed M. Elgammal