Sciweavers

492 search results - page 30 / 99
» Simplifying Probabilistic Programs Using Computer Algebra
Sort
View
ISMB
2000
15 years 6 days ago
A Probabilistic Learning Approach to Whole-Genome Operon Prediction
We present a computational approach to predicting operons in the genomes of prokaryotic organisms. Our approach uses machine learning methods to induce predictive models for this ...
Mark Craven, David Page, Jude W. Shavlik, Joseph B...
AAAI
1994
15 years 6 days ago
Applying VC-Dimension Analysis To 3D Object Recognition from Perspective Projections
We analyze the amount of information needed to carry out model-based recognition tasks, in the context of a probabilistic data collection model, and independently of the recogniti...
Michael Lindenbaum, Shai Ben-David
IPPS
2005
IEEE
15 years 4 months ago
Toward an Evaluation Infrastructure for Power and Energy Optimizations
Execution-driven simulators are often used for power/energy and performance evaluation. Simulators can provide semantic details but they provide insufficient speed and accuracy f...
Chunling Hu, Daniel A. Jiménez, Ulrich Krem...
84
Voted
ICS
1997
Tsinghua U.
15 years 3 months ago
Sparse Code Generation for Imperfectly Nested Loops with Dependences
Standard restructuring compiler tools are based on polyhedral algebra and cannot be used to analyze or restructure sparse matrix codes. We have recently shown that tools based on ...
Vladimir Kotlyar, Keshav Pingali
SAS
1994
Springer
159views Formal Methods» more  SAS 1994»
15 years 3 months ago
Iterative Fixed Point Computation for Type-Based Strictness Analysis
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
Fritz Henglein