Sciweavers

21342 search results - page 201 / 4269
» Structured language modeling
Sort
View
125
Voted
WSC
2000
15 years 4 months ago
Input modeling using a computer algebra system
Input modeling that involves fitting standard univariate parametric probability distributions is typically performed using an input modeling package. These packages typically fit ...
Diane L. Evans, Lawrence Leemis
CSR
2007
Springer
15 years 9 months ago
Marrying Words and Trees
Traditionally, data that has both linear and hierarchical structure, such as annotated linguistic data, is modeled using ordered trees and queried using tree automata. In this pap...
Rajeev Alur
119
Voted
IFIP
2001
Springer
15 years 8 months ago
Systemic Functional Hypertexts (SFHT):
Abstract: On the background of rising Intranet applications the automatic generation of adaptable, context-sensitive hypertexts becomes more and more important [El-Beltagy et al., ...
Alexander Mehler, Rodney J. Clarke
LREC
2010
225views Education» more  LREC 2010»
15 years 5 months ago
The Architecture of FunGramKB
Natural language understanding systems require a knowledge base provided with conceptual representations reflecting the structure of human beings' cognitive system. Although ...
Carlos Periñán-Pascual, Francisco Ar...
159
Voted
ICFP
2012
ACM
13 years 5 months ago
Proof-producing synthesis of ML from higher-order logic
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
Magnus O. Myreen, Scott Owens