4767 search results - page 149 / 954 » Structures for Abstract Rewriting |
99
Voted
ICIP
2004
IEEE
16 years 4 months ago
2004
IEEE
In this paper we present a coherent approach using the hierarchical HMM with shared structures to extract the structural units that form the building blocks of an education/traini...
117
click to vote
ICNSC
2007
IEEE
15 years 8 months ago
2007
IEEE
—This paper studies the problem of understanding noisy and structurally deformed two-dimensional images by means of abstractly defined neural works. First, in the framework of sy...
152
click to vote
BIOSURVEILLANCE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Conserved regions, or motifs, present among RNA secondary structures serve as a useful indicator for predicting the functionality of the RNA molecules. Automated detectio...
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
119
click to vote
HVC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...