1981 search results - page 77 / 397 » Model-Checking Hierarchical Structures |
TACAS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
IPCV
2008
13 years 11 months ago
2008
Abstract - A robust method for symbol recognition is presented that utilizes a compact signature based on a modified Hough Transform (HT) and knowledge-based hierarchical neural ne...
MVA
1998
13 years 11 months ago
1998
In order to recognize plant species from their shapes, shapes of contours of leaves can be used. However, contours of leaves are complicated and have variations. In order to deal ...
ALIFE
2008
13 years 10 months ago
2008
Current analyses of genomes from numerous species show that the diversity of organism's functional and behavioral characters is not proportional to the number of genes that e...
MONET
1998
13 years 9 months ago
1998
MMWN is a modular system of link- and network-layer algorithms that enables a multihop mobile wireless network to support distributed, real-time multimedia applications. In this pa...