Sciweavers

2553 search results - page 83 / 511
» Modeling Trees with Hypertextures
Sort
View
INTERACT
1997
14 years 11 months ago
ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models
Fabio Paternò, Cristiano Mancini, Silvia Me...
NAACL
1994
14 years 11 months ago
Decision Tree Parsing using a Hidden Derivation Model
Frederick Jelinek, John D. Lafferty, David M. Mage...
APLAS
2010
ACM
14 years 10 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
28
Voted
CORR
2010
Springer
67views Education» more  CORR 2010»
14 years 10 months ago
Learning Latent Tree Graphical Models
Myung Jin Choi, Vincent Y. F. Tan, Animashree Anan...