1981 search results - page 287 / 397 » Model-Checking Hierarchical Structures |
159
Voted
CL
2000
Springer
15 years 2 months ago
2000
Springer
Associative Language Descriptions are a recent grammar model, theoretically less powerful than Context Free grammars, but adequate for describing the syntax of programming languag...
107
Voted
CORR
2000
Springer
15 years 2 months ago
2000
Springer
This paper illustrates how the diagram programming language DIAPLAN can be used to program visual systems. DIAPLAN is a visual rulebased language that is founded on the computation...
125
Voted
ET
2000
15 years 2 months ago
2000
The paper presents a novel hierarchical approach to test pattern generation for sequential circuits based on an input model of mixed-level decision diagrams. A method that handles,...
106
click to vote
TVCG
2010
15 years 26 days ago
2010
—We are interested in 3-dimensional images given as arrays of voxels with intensity values. Extending these values to a continuous function, we study the robustness of homology c...
108
Voted
NAACL
2010
15 years 12 days ago
2010
We describe a class of translation model in which a set of input variants encoded as a context-free forest is translated using a finitestate translation model. The forest structur...