Sciweavers

632 search results - page 84 / 127
» constraints 2000
Sort
View
COLING
2000
13 years 9 months ago
MT and Topic-Based Techniques to Enhance Speech Recognition Systems for Professional Translators
Our principle objective was to reduce the error rate of speech recognition systems used by professional translators. Our work concentrated on Spanish-to-English translation. In a ...
Yevgeny Ludovik, Ron Zacharski
FMOODS
2000
13 years 9 months ago
On a Temporal Logic for Object-Based Systems
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
Dino Distefano, Joost-Pieter Katoen, Arend Rensink
GAMEON
2000
13 years 9 months ago
Real Time Goal Orientated Behaviour for Computer Game Agents
To increase the depth and appeal of computer games, the intelligence of the characters they contain needs to be increased. These characters should be played by intelligent agents ...
Nick Hawes
RIAO
2000
13 years 9 months ago
Assisting requirements engineering with semantic document analysis
Requirements engineering is the first stage in the software life-cycle and is concerned with discovering and managing a software system's services, constraints and goals. Req...
Paul Rayson, Roger Garside, Peter Sawyer
AICOM
2000
105views more  AICOM 2000»
13 years 7 months ago
Emergence of Vowel Systems Through Self-Organisation
This paper describes a model of the emergence and the universal structural tendencies of vowel systems. Both are considered as the result of self-organisation in a population of l...
Bart de Boer