386 search results - page 33 / 78 » Model Classifications and Automated Verification |
JACM
2002
13 years 7 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: ...
BMCBI
2006
13 years 8 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...
CIVR
2004
Springer
13 years 11 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...
IGARSS
2009
13 years 5 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...
DAC
2005
ACM
14 years 8 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...