Sciweavers

3408 search results - page 318 / 682
» Logic, language, information and computation
Sort
View
EDOC
2003
IEEE
16 years 2 days ago
A Model-Driven Transformation Method
Model-driven architectures (MDA) separate the business or application logic from the underlying platform technology and represent this logic with precise semantic models. These mo...
Jana Koehler, Rainer Hauser, Shubir Kapoor, Freder...
AUSAI
2006
Springer
15 years 10 months ago
LPForget: A System of Forgetting in Answer Set Programming
Abstract. A novel declarative approach of forgetting in answer set programming (ASP) has been proposed recently. In this paper we report a system prototype of forgetting in ASP, ca...
Fu-Leung Cheng, Thomas Eiter, Nathan Robinson, Abd...
IPPS
2007
IEEE
16 years 1 months ago
Modeling Modern Micro-architectures using CASL
We overview CASL, the CoGenT Architecture Specification Language, a mixed behavioral-structure architecture description language designed to facilitate fast prototyping and tool ...
Edward K. Walters II, J. Eliot B. Moss, Trek S. Pa...
IUI
2009
ACM
16 years 1 months ago
A scientific workflow construction command line
Workflows have emerged as a common tool for scientists to express their computational analyses. While there are a multitude of visual data flow editors for workflow construction, ...
Paul T. Groth, Yolanda Gil
184
Voted
CICLING
2001
Springer
15 years 11 months ago
Applying Productive Derivational Morphology to Term Indexing of Spanish Texts
This paper deals with the application of natural language processing techniques to the field of information retrieval. To be precise, we propose the application of morphological f...
Jesús Vilares, David Cabrero, Miguel A. Alo...