Sciweavers

7827 search results - page 1237 / 1566
» time 2007
Sort
View
ISSAC
2007
Springer
146views Mathematics» more  ISSAC 2007»
16 years 24 days ago
Fast and exact geometric analysis of real algebraic plane curves
An algorithm is presented for the geometric analysis of an algebraic curve f(x, y) = 0 in the real affine plane. It computes a cylindrical algebraic decomposition (CAD) of the pla...
Arno Eigenwillig, Michael Kerber, Nicola Wolpert
ISSAC
2007
Springer
105views Mathematics» more  ISSAC 2007»
16 years 24 days ago
Certification of the QR factor R and of lattice basis reducedness
Given a lattice basis of n vectors in Zn, we propose an algorithm using 12n3 + O(n2) floating point operations for checking whether the basis is LLL-reduced. If the basis is redu...
Gilles Villard
ISW
2007
Springer
16 years 24 days ago
The Security of Elastic Block Ciphers Against Key-Recovery Attacks
We analyze the security of elastic block ciphers against key-recovery attacks. An elastic version of a fixed-length block cipher is a variable-length block cipher that supports an...
Debra L. Cook, Moti Yung, Angelos D. Keromytis
IVA
2007
Springer
16 years 24 days ago
The CereVoice Characterful Speech Synthesiser SDK
CereProc R Ltd. have recently released a beta version of a commercial unit selection synthesiser featuring XML control of speech style. The system is freely available for academic ...
Matthew P. Aylett, Christopher J. Pidcock
IVA
2007
Springer
16 years 24 days ago
Searching for Prototypical Facial Feedback Signals
Embodied conversational agents should be able to provide feedback on what a human interlocutor is saying. We are compiling a list of facial feedback expressions that signal attenti...
Dirk Heylen, Elisabetta Bevacqua, Marion Tellier, ...
« Prev « First page 1237 / 1566 Last » Next »