Sciweavers

16430 search results - page 173 / 3286
» On Computable Tree Functions
Sort
View
85
Voted
ACL
2011
14 years 7 months ago
Generalized Interpolation in Decision Tree LM
Denis Filimonov, Mary P. Harper
ACL
2011
14 years 7 months ago
Insertion Operator for Bayesian Tree Substitution Grammars
Hiroyuki Shindo, Akinori Fujino, Masaaki Nagata
AIML
2006
15 years 5 months ago
Dynamic topological logics over spaces with continuous functions
Dynamic topological logics are combinations of topological and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space and a con...
Boris Konev, Roman Kontchakov, Frank Wolter, Micha...