Sciweavers

794 search results - page 28 / 159
» Hardware Natural Language Interface
Sort
View
FSEN
2009
Springer
13 years 11 months ago
Executable Interface Specifications for Testing Asynchronous Creol Components
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. ...
ACL
1990
13 years 8 months ago
A Hardware Algorithm for High Speed Morpheme Extraction and its Implementation
This paper describes a new hardware algorithm for morpheme extraction and its implementation on a specific machine (MEX-I), as the first step toward achieving natural language par...
Toshikazu Fukushima, Yutaka Ohyama, Hitoshi Miyai
ATVA
2009
Springer
146views Hardware» more  ATVA 2009»
13 years 11 months ago
Specification Languages for Stutter-Invariant Regular Properties
We present specification languages that naturally capture exactly the regular and -regular properties that are stutter invariant. Our specification languages are variants of the cl...
Christian Dax, Felix Klaedtke, Stefan Leue
MDAFA
2004
Springer
111views Hardware» more  MDAFA 2004»
14 years 1 months ago
Model Transformation Language MOLA
The paper describes a new graphical model transformation language MOLA. The basic idea of MOLA is to merge traditional structured programming as a control structure with pattern-ba...
Audris Kalnins, Janis Barzdins, Edgars Celms
IUI
2004
ACM
14 years 1 months ago
A multiple-application conversational agent
In this paper, we describe the rationale behind and architecture of a conversational agent capable of speech enabling multiple applications Categories and Subject Descriptors H5.2...
Steven Ross, Elizabeth Brownholtz, Robert Armes