Sciweavers

1050 search results - page 88 / 210
» Generating Executable Scenarios from Natural Language
Sort
View
FASE
2008
Springer
15 years 5 months ago
Translating Model Simulators to Analysis Models
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
Juan de Lara, Hans Vangheluwe
139
Voted
CSFW
1997
IEEE
15 years 8 months ago
Eliminating Covert Flows with Minimum Typings
A type system is given that eliminates two kinds of covert flows in an imperative programming language. The first kind arises from nontermination and the other from partial oper...
Dennis M. Volpano, Geoffrey Smith
MODELS
2007
Springer
15 years 10 months ago
Deriving Operation Contracts from UML Class Diagrams
Class diagrams must be complemented with a set of system operations that describes how users can modify and evolve the system state. To be useful, such a set must be complete (i.e....
Jordi Cabot, Cristina Gómez
EACL
1989
ACL Anthology
15 years 5 months ago
A Descriptive Framework for Translating Speaker's Meaning
A framework for translating speaker's meaning or intention is proposed based on two notions, Illocutionary Force Types (IFTs) for analysis and Decision Parameters (DPs) for g...
Masako Kume, Gayle K. Sato, Kei Yoshimoto
ISMIR
2004
Springer
90views Music» more  ISMIR 2004»
15 years 9 months ago
Automatic extraction of music descriptors from acoustic signals
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the f...
François Pachet, Aymeric Zils