386 search results - page 33 / 78 » Model Classifications and Automated Verification |
156
Voted
JACM
2002
15 years 3 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
118
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...
142
Voted
CIVR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We describe progress in the automatic detection and identification of humans in video, given a minimal number of labelled faces as training data. This is an extremely cha...
158
click to vote
IGARSS
2009
15 years 1 months ago
2009
Automated classification of land cover types based on hyperspectral imagery often involves a large geographical area, but class labels are available for only small portions of the...
112
click to vote
DAC
2005
ACM
16 years 4 months ago
2005
ACM
Poor performance of HW/SW cosimulation is mainly caused by synchronization requirement between component simulators. Virtual synchronization technique was proposed to remove the n...