Sciweavers

3457 search results - page 340 / 692
» A Symbol Is Not a Symbol
Sort
View
ISSAC
2007
Springer
94views Mathematics» more  ISSAC 2007»
16 years 26 days ago
Faster algorithms for the characteristic polynomial
A new randomized algorithm is presented for computing the characteristic polynomial of an n × n matrix over a field. Over a sufficiently large field the asymptotic expected com...
Clément Pernet, Arne Storjohann
KES
2007
Springer
16 years 26 days ago
Assisting Dialogical Agents Modeled from Novice User's Perceptions
This paper is based on the idea of integrating the actual cognitive features of novice users at the core of the design process of the software applications in order to significantl...
David Leray, Jean-Paul Sansonnet
CGI
2006
IEEE
16 years 24 days ago
Dynamic Medial Axes of Planar Shapes
In this paper a computational model called dynamic medial axis (DMA) is proposed to describe the internal evolution of planar shapes. To define the DMA, a symbolic representation ...
Kai Tang, Yong-Jin Liu
DATE
2006
IEEE
141views Hardware» more  DATE 2006»
16 years 24 days ago
Evaluating coverage of error detection logic for soft errors using formal methods
—In this paper we describe a methodology to measure exactly the quality of fault-tolerant designs by combining faultinjection in high level design (HLD) descriptions with a forma...
Udo Krautz, Matthias Pflanz, Christian Jacobi 0002...
GLOBECOM
2006
IEEE
16 years 23 days ago
Reduced Complexity Vector Precoding for the Multiuser Downlink
— We investigate nonlinear precoding techniques for the downlink of multi-user systems from a transmitter equipped with multiple antennas to non-cooperative single antenna mobile...
René Habendorf, Ines Riedel, Gerhard Fettwe...