15636 search results - page 192 / 3128 » Modelling by supersaturated designs |
141
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents an algorithm for fingerprint image restoration using a Digital Reaction-Diffusion System (DRDS). The DRDS is a model of a discrete-time discrete-space nonline...
207
click to vote
MEMOCODE
2003
IEEE
15 years 11 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
177
click to vote
ICPP
2000
IEEE
15 years 11 months ago
2000
IEEE
The Virtual Interface Architecture brings the benefits of low latency User-level Networking to a cluster environment. With an increasing number of communication channels created ...
148
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
A locking, unactuated knee is added to the Scout II quadruped robot and trotting gaits are studied. The mechanical design of the knee is presented, trotting algorithms are discuss...
174
click to vote
PR
2007
15 years 6 months ago
2007
This article presents the design of a new functional 2D image segmentation algorithm by cell merging in a subdivision, its proof of total correctness, and the derivation of an opt...