382 search results - page 8 / 77 » Reasoning about the Elementary Functions of Complex Analysis |
STOC
2010
ACM
13 years 11 months ago
2010
ACM
We propose a new framework for discussing computational complexity of problems involving uncountably many objects, such as real numbers, sets and functions, that can be represente...
AVI
2006
2006
Methods for the evaluation of an interactive InfoVis tool supporting exploratory reasoning processes
13 years 8 months ago
Developing Information Visualization (InfoVis) techniques for complex knowledge domains makes it necessary to apply alternative methods of evaluation. In the evaluation of Gravi++...
TCAD
1998
13 years 6 months ago
1998
— Integrated circuits have evolved to a stage where interconnections significantly limit their performance and functional complexity. We introduce a set of tools to perform high...
TWC
2008
13 years 6 months ago
2008
Abstract--Significant throughput improvements can be obtained in multiple-input multiple-output (MIMO) fading channels by merging beamforming at the transmitter and maximal ratio c...
CSL
2005
Springer
14 years 7 days ago
2005
Springer
We show that Csanky’s fast parallel algorithm for computing the characteristic polynomial of a matrix can be formalized in the logical theory LAP, and can be proved correct in LA...