Sciweavers

525 search results - page 34 / 105
» Static Interpretation of Modules
Sort
View
INTELLCOMM
2004
Springer
15 years 3 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&...
56
Voted
ACL
1998
14 years 11 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 2 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 9 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 3 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...