Sciweavers

59 search results - page 9 / 12
» Natural Semantics and Some of Its Meta-Theory in Elf
Sort
View
CICLING
2003
Springer
15 years 2 months ago
From Czech Morphology through Partial Parsing to Disambiguation
This paper deals with a complex system of processing raw Czech texts. Several modules were implemented which perform different levels of processing. These modules can easily be in...
Eva Mráková, Radek Sedlácek
80
Voted
ATVA
2006
Springer
112views Hardware» more  ATVA 2006»
15 years 1 months ago
Synthesis for Probabilistic Environments
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...
Sven Schewe
LREC
2010
189views Education» more  LREC 2010»
14 years 11 months ago
Extracting Surface Realisation Templates from Corpora
In Natural Language Generation (NLG), template-based surface realisation is an effective solution to the problem of producing surface strings from a given semantic representation,...
Thiago D. Tadeu, Eder M. de Novais, Ivandré...
68
Voted
IFM
1999
Springer
15 years 1 months ago
Retrenchment and Punctured Simulation
: Some of the shortcomings of using refinement alone as the means of passing from high level simple models to actual detailed implementations are reviewed. Retrenchment is presente...
Richard Banach, Michael Poppleton
CORR
2002
Springer
141views Education» more  CORR 2002»
14 years 9 months ago
Question answering: from partitions to Prolog
Abstract. We implement Groenendijk and Stokhof's partition semantics of questions in a simple question answering algorithm. The algorithm is sound, complete, and based on tabl...
Balder ten Cate, Chung-chieh Shan