Sciweavers

144 search results - page 17 / 29
» Introduction to the Special Issue on Natural Language Genera...
Sort
View
CAISE
2006
Springer
14 years 6 days ago
An Infrastructure for Building Semantic Web Portals
One important task of semantic web portals is to offer both end users and applications a seamless access to knowledge contained in heterogeneous data sources in specific user commu...
Yuangui Lei, Vanessa Lopez, Enrico Motta
ESOP
1999
Springer
14 years 23 days ago
An Idealized MetaML: Simpler, and More Expressive
MetaML is a multi-stage functional programming language featuring three constructs that can be viewed as statically-typed refinements of the back-quote, comma, and eval of Scheme....
Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaiss...
LREC
2008
137views Education» more  LREC 2008»
13 years 10 months ago
A Framework for Multilingual Ontology Mapping
In the field of ontology mapping, multilingual ontology mapping is an issue that is not well explored. This paper proposes a framework for mapping of multilingual Description Logi...
Cássia Trojahn dos Santos, Paulo Quaresma, ...
UML
2004
Springer
14 years 1 months ago
Query Models
The need for querying software artifacts is a new emerging design issue in modern software development. Novel techniques such as Model-Driven Architecture or Aspect-Oriented Softwa...
Dominik Stein, Stefan Hanenberg, Rainer Unland
HASKELL
2005
ACM
14 years 2 months ago
Verifying haskell programs using constructive type theory
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
Andreas Abel, Marcin Benke, Ana Bove, John Hughes,...