Sciweavers

2145 search results - page 342 / 429
» Architectural Specifications in CASL
Sort
View
FOAL
2008
ACM
13 years 11 months ago
Certificate translation for specification-preserving advices
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
Gilles Barthe, César Kunz
ISLPED
2007
ACM
96views Hardware» more  ISLPED 2007»
13 years 11 months ago
Low-power process-variation tolerant arithmetic units using input-based elastic clocking
In this paper we propose a design methodology for low-power, high-performance, process-variation tolerant architecture for arithmetic units. The novelty of our approach lies in th...
Debabrata Mohapatra, Georgios Karakonstantis, Kaus...
LREC
2010
125views Education» more  LREC 2010»
13 years 11 months ago
Ontology-based Interoperation of Linguistic Tools for an Improved Lemma Annotation in Spanish
In this paper, we present an ontology-based methodology and architecture for the comparison, assessment, combination (and, to some extent, also contrastive evaluation) of the resu...
Antonio Pareja-Lora, Guadalupe Aguado de Cea
LREC
2010
216views Education» more  LREC 2010»
13 years 11 months ago
Efficient Spoken Dialogue Domain Representation and Interpretation
We provide a detailed look on the functioning of the OwlSpeak Spoken Dialogue Manager, which is part of the EU-funded project ATRACO. OwlSpeak interprets Spoken Dialogue Ontologie...
Tobias Heinroth, Dan Denich, Alexander Schmitt, Wo...
LREC
2010
133views Education» more  LREC 2010»
13 years 11 months ago
Term and Collocation Extraction by Means of Complex Linguistic Web Services
We present a web service-based environment for the use of linguistic resources and tools to address issues of terminology and language varieties. We discuss the architecture, corp...
Ulrich Heid, Fabienne Fritzinger, Erhard W. Hinric...