Sciweavers

ACL
1989
13 years 10 months ago
A Three-Valued Interpretation of Negation in Feature Structure Descriptions
Feature structures are informational elements that have been used in several linguistic theories and in computational systems for natural-language processing. A logicaJ calculus h...
Anuj Dawar, K. Vijay-Shanker
COLING
1996
13 years 10 months ago
Compositional Semantics in Verbmobil
The paper discusses how compositional semantics is implemented in the Verbmobil speech-to-speech translation system using LUD, a description language for underspecified discourse ...
Johan Bos, Björn Gambäck, Christian Lies...
COLING
2000
13 years 10 months ago
A Description Language for Syntactically Annotated Corpora
This paper introduces a description language for syntactically annotated corpora which allows for encoding both the syntactic annotation to a corpus and the queries to a syntactic...
Esther König, Wolfgang Lezius
DAC
1997
ACM
14 years 1 months ago
ISDL: An Instruction Set Description Language for Retargetability
Abstract—We present the Instruction Set Description Language, ISDL, a machine description language used to describe target architectures to a retargetable compiler. The features ...
George Hadjiyiannis, Silvina Hanono, Srinivas Deva...
ICCS
1998
Springer
14 years 1 months ago
Matching in Description Logics: Preliminary Results
Matching of concepts with variables (concept patterns) is a relatively new operation that has been introduced in the context of concept description languages (description logics),...
Franz Baader, Alexander Borgida, Deborah L. McGuin...
ICSM
2003
IEEE
14 years 2 months ago
Software Architecture Recovery based on Pattern Matching
This paper is a summary of the author’s thesis that presents a model and an environment for recovering the high level design of legacy software systems based on user defined ar...
Kamran Sartipi
SFM
2004
Springer
14 years 2 months ago
Embedded Software Analysis with MOTOR
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Kla...
SAMOS
2004
Springer
14 years 2 months ago
CoDeL: Automatically Synthesizing Network Interface Controllers
Abstract. In this work we present CoDeL (Controller Description Language), a framework for rapidly prototyping policy specific controllers for routers in interconnection networks....
Radhakrishnan Sivakumar, Vassilios V. Dimakopoulos...
DOCENG
2004
ACM
14 years 2 months ago
A reduced yet extensible audio-visual description language
Enabling an intelligent access to multimedia data requires a powerful description language. In this paper, we demonstrate why the MPEG-7 standard fails to fulfill this task. We i...
Raphaël Troncy, Jean Carrive