Sciweavers

3679 search results - page 285 / 736
» Hybrid Semantic Analysis
Sort
View
UML
2005
Springer
16 years 7 days ago
Transforming Models with ATL
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation ...
Frédéric Jouault, Ivan Kurtev
WEBDB
2005
Springer
102views Database» more  WEBDB 2005»
16 years 7 days ago
An Evaluation and Comparison of Current Peer-to-Peer Full-Text Keyword Search Techniques
Current peer-to-peer (p2p) full-text keyword search techniques fall into the following categories: document-based partitioning, keyword-based partitioning, hybrid indexing, and se...
Ming Zhong, Justin Moore, Kai Shen, Amy L. Murphy
TPHOL
1998
IEEE
15 years 11 months ago
Program Abstraction in a Higher-Order Logic Framework
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
Marco Benini, Sara Kalvala, Dirk Nowotka
ATAL
2008
Springer
15 years 8 months ago
Cognitive agents with non-monotonic reasoning
ended abstract provides an overview of my research towards a dissertation thesis in the context of programming cognitive agents with non-monotonic reasoning capabilities. Categori...
Peter Novák
LREC
2008
153views Education» more  LREC 2008»
15 years 8 months ago
Extracting and Querying Relations in Scientific Papers on Language Technology
We describe methods for extracting interesting factual relations from scientific texts in computational linguistics and language technology taken from the ACL Anthology. We use a ...
Ulrich Schäfer, Hans Uszkoreit, Christian Fed...