4693 search results - page 637 / 939 » Verifying Hybrid Systems |
205
click to vote
ICBA
2004
Springer
16 years 4 days ago
2004
Springer
As a reliable approach to human identification, iris recognition has received increasing attention in recent years. In the literature of iris recognition, local feature of image de...
159
click to vote
ICCS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Microcalcification detection is an important part of early breast cancer detection. In this paper, we propose a microcalcification detection method in mammography CAD (co...
173
click to vote
VOSS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Randomization is of paramount importance in practical applications and randomized algorithms are used widely, for example in co-ordinating distributed computer networks, ...
171
click to vote
ECBS
2003
IEEE
16 years 1 days ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
149
Voted
ICDAR
2003
IEEE
16 years 1 days ago
2003
IEEE
In this paper, we present an automatic method for character prototyping and font type characterization in machine-printed document images at a character level. To do so, we use a ...