Sciweavers

3457 search results - page 340 / 692
» A Symbol Is Not a Symbol
Sort
View
178
Voted
ISSAC
2007
Springer
94views Mathematics» more  ISSAC 2007»
16 years 1 months 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
200
Voted
KES
2007
Springer
16 years 1 months 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
183
Voted
CGI
2006
IEEE
16 years 1 months 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
162
Voted
DATE
2006
IEEE
141views Hardware» more  DATE 2006»
16 years 1 months 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...
163
Voted
GLOBECOM
2006
IEEE
16 years 1 months 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...