Sciweavers

3108 search results - page 77 / 622
» The Elements of Computer Credibility
Sort
View
FCCM
1998
IEEE
113views VLSI» more  FCCM 1998»
15 years 8 months ago
PAM-Blox: High Performance FPGA Design for Adaptive Computing
PAM-Blox are object-oriented circuit generators on top of the PCI Pamette design environment, PamDC. High- performance FPGA design for adaptive computing is simplified by using a ...
Oskar Mencer, Martin Morf, Michael J. Flynn
133
Voted
TKDE
2010
151views more  TKDE 2010»
15 years 2 months ago
Duplicate-Insensitive Order Statistics Computation over Data Streams
—Duplicates in data streams may often be observed by the projection on a subspace and/or multiple recordings of objects. Without the uniqueness assumption on observed data elemen...
Ying Zhang, Xuemin Lin, Yidong Yuan, Masaru Kitsur...
91
Voted
IJMMS
2000
70views more  IJMMS 2000»
15 years 4 months ago
Computer generation of process explanations in nuclear astrophysics
In this paper we describe Astra, a computational aid for generating process explanations in nuclear astrophysics. The system operates in two stages, the rst using knowledge of qua...
Sakir Kocabas, Pat Langley
VLDB
2007
ACM
129views Database» more  VLDB 2007»
16 years 4 months ago
Efficient Skyline Computation over Low-Cardinality Domains
Current skyline evaluation techniques follow a common paradigm that eliminates data elements from skyline consideration by finding other elements in the dataset that dominate them...
Michael D. Morse, Jignesh M. Patel, H. V. Jagadish
CIE
2005
Springer
15 years 9 months ago
Computing a Model of Set Theory
We define the notion of ordinal computability by generalizing standard Turing computability on tapes of length ω to computations on tapes of arbitrary ordinal length. The general...
Peter Koepke