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 9 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 9 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