12459 search results - page 349 / 2492 » cans 2006 |
145
click to vote
FUIN
2006
15 years 6 months ago
2006
Bimachines are important conceptual tools used for the characterization of rational word functions (realized by single-valued transducers). Despite the attention received in the pa...
166
click to vote
IAJIT
2006
15 years 6 months ago
2006
: Deoxyribonucleic Acid or DNA-based computing is an emerging field that bridging the gap between chemistry, molecular biology, computer science, and mathematics. This research are...
165
click to vote
IEICET
2006
15 years 6 months ago
2006
This paper proposes a calibration method for catadioptric camera systems consisting of a surface of revolution mirror and a perspective camera, such as HyperOmni Vision. The propo...
168
click to vote
IGPL
2006
15 years 6 months ago
2006
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...
189
click to vote
IJAR
2006
15 years 6 months ago
2006
Mixtures of truncated exponentials (MTE) potentials are an alternative to discretization for solving hybrid Bayesian networks. Any probability density function can be approximated...