Sciweavers

3172 search results - page 139 / 635
» New developments of the Z-EDM algorithm
Sort
View
JAIR
2007
127views more  JAIR 2007»
15 years 6 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 ...
SC
1990
ACM
15 years 10 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 10 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 6 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 6 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