2944 search results - page 144 / 589 » On Well Quasi-orders on Languages |
120
Voted
FORTE
2010
15 years 2 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...
111
Voted
AIA
2006
15 years 2 months ago
2006
This paper proposes a speech comprehension computational model based on neurocognitiveresearches. The computational representation uses techniques as wavelets transform and connec...
105
Voted
GVD
2004
15 years 2 months ago
2004
MIWeb realizes a mediator-based integration of heterogeneous metadata sources over the Web. Mediators are well known from database integration. They improve the quality of search ...
82
Voted
IADIS
2003
15 years 2 months ago
2003
There is currently a lack of rich description attached to materials science content available on the Web as well as usercentered tools to attach such description. Dublin Core (DC)...
106
Voted
EACL
1993
ACL Anthology
15 years 2 months ago
1993
ACL Anthology
The formal architecture of Lexical Functional Grammar offers a particular formal device, the structural correspondence, for modularizing the mapping between the surface forms of a...