Sciweavers

794 search results - page 28 / 159
» Hardware Natural Language Interface
Sort
View
117
Voted
FSEN
2009
Springer
15 years 6 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
15 years 3 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
112
Voted
ATVA
2009
Springer
146views Hardware» more  ATVA 2009»
15 years 6 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»
15 years 8 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
95
Voted
IUI
2004
ACM
15 years 8 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