3108 search results - page 125 / 622 » The Elements of Computer Credibility |
200
click to vote
Lecture Notes
These lecture notes cover several topics such as Topological Space, Metric Space, Convex Sets, Correspondences, Maximum Theorem, KKM Theorem, Existence of Maximal Element, Selectio...
94
Voted
AIM
2006
15 years 6 months ago
2006
: This paper proposes a method based on composite indexes to reflect the level of computer
132
click to vote
JEC
2006
15 years 4 months ago
2006
Modern digital systems consist of a complex mix of computational resources, e.g. microprocessors, memory elements and reconfigurable logic. System partitioning
JSC
2006
15 years 4 months ago
2006
We describe explicit methods of exhibiting elements of the Brauer groups of diagonal quartic surfaces. Using these methods, we compute the algebraic Brauer
149
Voted
PODC
2006
ACM
15 years 10 months ago
2006
ACM
We study the problem of maintaining sketches of recent elements of a data stream. Motivated by applications involving network data, we consider streams that are asynchronous, in w...