10159 search results - page 1927 / 2032 » System Design Validation Using Formal Models |
CEAS
2008
Springer
13 years 10 months ago
2008
Springer
Gray mail, messages that could reasonably be considered either spam or good by different email users, is a commonly observed issue in production spam filtering systems. In this pa...
IE
2007
13 years 9 months ago
2007
The concept of dramatic level is crucial for a model of dramatic flow. We present a framework to maintain optimal dramatic flow in an interactive 3D environment where both linea...
LREC
2010
13 years 9 months ago
2010
This paper describes the first TTS evaluation campaign designed for Spanish. Seven research institutions took part in the evaluation campaign and developed a voice from a common s...
SIMUTOOLS
2008
13 years 9 months ago
2008
The OMNeT++ discrete event simulation environment has been publicly available since 1997. It has been created with the simulation of communication networks, multiprocessors and ot...
PDPTA
2003
13 years 9 months ago
2003
Common binary arithmetic operations such as addition/subtraction and multiplication suffer from O(n) carry propagation delay where n is the number of digits. Carry lookahead helps...