Sciweavers

215 search results - page 28 / 43
» Pattern Matching in Order-Sorted Languages
Sort
View
CORR
2000
Springer
84views Education» more  CORR 2000»
14 years 9 months ago
Using a Diathesis Model for Semantic Parsing
This paper presents a semantic parsing approach for non domain-specific texts. Semantic parsing is one of the major bottlenecks of Natural Language Understanding (NLU) systems and...
Jordi Atserias, Irene Castellón, Montse Civ...
84
Voted
PADO
2001
Springer
15 years 2 months ago
Type Systems for Useless-Variable Elimination
nt Abstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 J¨orgen Gustavsson, Josef Svenningsson Implementing Circularity Using Pa...
Adam Fischbach, John Hannan
77
Voted
ENTCS
2008
86views more  ENTCS 2008»
14 years 9 months ago
Game Semantics for Quantum Stores
This paper presents a game semantics for a simply-typed -calculus equipped with quantum stores. The quantum stores are equipped with quantum operations as commands which give the ...
Yannick Delbecque, Prakash Panangaden
NLDB
2007
Springer
15 years 3 months ago
Automatic Issue Extraction from a Focused Dialogue
Various methodologies for structuring the process of domain modeling have been proposed, but there are few software tools that provide automatic support for the process of construc...
Koen V. Hindriks, Stijn Hoppenbrouwers, Catholijn ...
71
Voted
ENTCS
2008
78views more  ENTCS 2008»
14 years 9 months ago
Silver: an Extensible Attribute Grammar System
Attribute grammar specification languages, like many domain specific languages, offer significant advantages to their users, such as high-level declarative constructs and domain-s...
Eric Van Wyk, Derek Bodin, Jimin Gao, Lijesh Krish...