Sciweavers

2553 search results - page 83 / 511
» Modeling Trees with Hypertextures
Sort
View
149
Voted
INTERACT
1997
15 years 4 months ago
ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models
Fabio Paternò, Cristiano Mancini, Silvia Me...
95
Voted
NAACL
1994
15 years 4 months ago
Decision Tree Parsing using a Hidden Derivation Model
Frederick Jelinek, John D. Lafferty, David M. Mage...
135
Voted
APLAS
2010
ACM
15 years 3 months ago
Verification of Tree-Processing Programs via Higher-Order Model Checking
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi
45
Voted
CORR
2010
Springer
67views Education» more  CORR 2010»
15 years 3 months ago
Learning Latent Tree Graphical Models
Myung Jin Choi, Vincent Y. F. Tan, Animashree Anan...