742 search results - page 54 / 149 » Constructing Hierarchical Rule Systems |
127
click to vote
DAGM
2008
Springer
15 years 6 months ago
2008
Springer
This paper introduces an novel framework for speech understanding using extended context-free grammars (ECFGs) by combining statistical methods and rule based knowledge. By only us...
157
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Automated protein function prediction methods are needed to keep pace with high-throughput sequencing. With the existence of many programs and databases for inferring ...
137
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Propositional canonical Gentzen-type systems, introduced in [1], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly ...
159
click to vote
ISORC
1999
IEEE
15 years 8 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
157
click to vote
GRAPHICSINTERFACE
1997
15 years 5 months ago
1997
We present a system for incorporating multiple level of detail (LOD) models of 3D objects within a single hierarchical data structure. This system was designed for a scientific vi...