Sciweavers

4231 search results - page 65 / 847
» Using Language More Responsibly
Sort
View
EUROMICRO
1999
IEEE
15 years 10 months ago
Validation of Object Oriented Models using Animation
Experience has shown that prototypingis a valuabletechnique in the validation of designs. However, the prototype(s) can be too far semantically removed from the design. Animation ...
Ian Oliver, Stuart Kent
COOPIS
2004
IEEE
15 years 10 months ago
Checking Asynchronously Communicating Components Using Symbolic Transition Systems
Abstract. Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reu...
Olivier Maréchal, Pascal Poizat, Jean-Claud...
FMCAD
2000
Springer
15 years 10 months ago
The Semantics of Verilog Using Transition System Combinators
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
Gordon J. Pace
COLING
1996
15 years 7 months ago
Multi-lingual Translation of Spontaneously Spoken Language in a Limited Domain
JANUS is a multi-lingual speech-tospeech translation system designed to facilitate communication between two parties engaged in a spontaneous conversation in a limited domain. In ...
Alon Lavie, Donna Gates, Marsal Gavaldà, La...
ESANN
2008
15 years 7 months ago
Improving a statistical language model by modulating the effects of context words
We show how to improve a state-of-the-art neural network language model that converts the previous "context" words into feature vectors and combines these feature vectors...
Zhang Yuecheng, Andriy Mnih, Geoffrey E. Hinton