Sciweavers

2052 search results - page 57 / 411
» Direct Combination
Sort
View
UAI
2004
15 years 4 months ago
Identifying Conditional Causal Effects
This paper concerns the assessment of the effects of actions from a combination of nonexperimental data and causal assumptions encoded in the form of a directed acyclic graph in w...
Jin Tian
128
Voted
TAP
2010
Springer
102views Hardware» more  TAP 2010»
15 years 8 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
CATS
2008
15 years 4 months ago
Generating Balanced Parentheses and Binary Trees by Prefix Shifts
We show that the set Bn of balanced parenthesis strings with n left and n right parentheses can be generated by prefix shifts. If b1, b2, . . . , b2n is a member of Bn, then the k...
Frank Ruskey, Aaron Williams
HASKELL
2005
ACM
15 years 8 months ago
There and back again: arrows for invertible programming
Invertible programming occurs in the area of data conversion where it is required that the conversion in one direction is the inverse of the other. For that purpose, we introduce ...
Artem Alimarine, Sjaak Smetsers, Arjen van Weelden...
ICIP
2007
IEEE
15 years 7 months ago
Space-Frequency Quantization using Directionlets
In our previous work [1], we proposed a construction of critically sampled perfect reconstruction transforms with directional vanishing moments (DVMs) imposed in the corresponding...
Vladan Velisavljevic, Baltasar Beferull-Lozano, Ma...