Sciweavers

3172 search results - page 139 / 635
» New developments of the Z-EDM algorithm
Sort
View
JAIR
2007
127views more  JAIR 2007»
15 years 4 months ago
Learning Symbolic Models of Stochastic Domains
In this article, we work towards the goal of developing agents that can learn to act in complex worlds. We develop a a new probabilistic planning rule representation to compactly ...
Hanna M. Pasula, Luke S. Zettlemoyer, Leslie Pack ...
129
Voted
SC
1990
ACM
15 years 8 months ago
Loop distribution with arbitrary control flow
Loop distribution is an integral part of transforming a sequential program into a parallel one. It is used extensively in parallelization,vectorization, and memory management. For...
Ken Kennedy, Kathryn S. McKinley
ASPDAC
1995
ACM
108views Hardware» more  ASPDAC 1995»
15 years 7 months ago
Synthesis-for-testability using transformations
- We address the problem of transforming a behavioral specification so that synthesis of a testable implementation from the new specification requires significantly less area and ...
Miodrag Potkonjak, Sujit Dey, Rabindra K. Roy
TCSV
2008
166views more  TCSV 2008»
15 years 4 months ago
Quality Constrained Compression Using DWT-Based Image Quality Metric
A quality constrained compression algorithm based on Discrete Wavelet Transform (DWT) is proposed. The spatial-frequency decomposition property of DWT provides possibility for not...
Zhigang Gao, Yuan F. Zheng
JCB
2007
78views more  JCB 2007»
15 years 4 months ago
Sorting by Reciprocal Translocations via Reversals Theory
The understanding of genome rearrangements is an important endeavor in comparative genomics. A major computational problem in this field is finding a shortest sequence of genome...
Michal Ozery-Flato, Ron Shamir