Sciweavers

525 search results - page 34 / 105
» Static Interpretation of Modules
Sort
View
INTELLCOMM
2004
Springer
15 years 5 months ago
Context Adaptive Interaction with an Automatically Created Spoken Interface for Intelligent Environments
In this paper we present the interpretation and generation processes of a spoken dialogue interface for intelligent environments. The interface is automatically created for each sp...
Germán Montoro, Pablo A. Haya, Xavier Alam&...
ACL
1998
15 years 1 months ago
Universal Grammar and Lexis for Quick Ramp-Up of MT
This paper introduces Boas, a semi-automatic knowledge elicitation system that guides a team of two people through the process of developing the static knowledge sources for a mod...
Sergei Nirenburg, Victor Raskin
WCRE
2002
IEEE
15 years 4 months ago
Analysis of Virtual Method Invocation for Binary Translation
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...
Jens Tröger, Cristina Cifuentes
FAC
2007
170views more  FAC 2007»
14 years 11 months ago
Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations?
Abstract. The Verifying Compiler (VC) project proposals suggest that mainstream software developers are its targeted end-users. Like other software engineering efforts, the VC proj...
Patrice Chalin
ICSM
2005
IEEE
15 years 5 months ago
Analyzing Feature Traces to Incorporate the Semantics of Change in Software Evolution Analysis
Many of the approaches that analyze software evolution consider a static perspective of a system. Static analysis approaches focus on the evolution of static software entities suc...
Orla Greevy, Stéphane Ducasse, Tudor G&icir...