Sciweavers

3255 search results - page 66 / 651
» Combination of Abstractions in the ASTR
Sort
View
TREC
2007
13 years 10 months ago
Combining Resources to Find Answers to Biomedical Questions
One of the NLM experimental approaches to the 2007 Genomics track question answering task followed the track evaluation design: we attempted identifying exact answers in the form ...
Dina Demner-Fushman, Susanne M. Humphrey, Nicholas...
ICC
2007
IEEE
101views Communications» more  ICC 2007»
14 years 3 months ago
On the Diversity-Multiplexing Tradeoff for Multi-Antenna Multi-Relay Channels
Abstract— In this paper we analyze the performance of multiple relay channels when multiple antennas are deployed only at relays. Specifically, we investigate the simple repetit...
Yijia Fan, John S. Thompson, Abdulkareem Adinoyi, ...
ICCS
2007
Springer
14 years 3 months ago
Composing Different Models of Computation in Kepler and Ptolemy II
A model of computation (MoC) is a formal abstraction of execution in a computer. There is a need for composing MoCs in e-science. Kepler, which is based on Ptolemy II, is a scienti...
Antoon Goderis, Christopher Brooks, Ilkay Altintas...
TAP
2010
Springer
102views Hardware» more  TAP 2010»
14 years 1 months ago
Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding
Abstract. We consider the problem of test generation for Boolean combinational circuits. We use a novel approach based on the idea of treating tests as a proof encoding rather than...
Eugene Goldberg, Panagiotis Manolios
CRYPTO
2000
Springer
108views Cryptology» more  CRYPTO 2000»
14 years 1 months ago
Maximum Correlation Analysis of Nonlinear S-boxes in Stream Ciphers
Abstract. This paper investigates the design of S-boxes used for combining linear feedback shift register (LFSR) sequences in combination generators. Such combination generators ha...
Muxiang Zhang, Agnes Hui Chan