4245 search results - page 111 / 849 » Input Modeling |
163
click to vote
MIRAGE
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. We present a fast and robust iterative method for interpreting face images under non-uniform lighting conditions by using a fitting algorithm which utilizes an illuminat...
157
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
Models meant for logic verification and simulation are often used for ATPG. For custom digital circuits, these models contain many tristate devices, which leads to lower fault co...
148
click to vote
ICANN
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We present a model for the ontogenesis of information routing architectures in the brain based on chemical markers guiding axon growth. The model produces all-to-all conn...
114
click to vote
ISCAS
2006
IEEE
16 years 12 days ago
2006
IEEE
—Behavioral modeling with virtual built-in self-test verification of high-speed wired link designs is described in this paper. Our procedure is based on principles of top-down mi...
241
click to vote
FOSAD
2009
Springer
16 years 28 days ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...