Sciweavers

1051 search results - page 166 / 211
» Single Run Optimization Using the Reverse-Simulation Method
Sort
View
139
Voted
TVLSI
2002
97views more  TVLSI 2002»
15 years 2 months ago
Techniques for energy-efficient communication pipeline design
The performance of many modern computer and communication systems is dictated by the latency of communication pipelines. At the same time, power/energy consumption is often another...
Gang Qu, Miodrag Potkonjak
222
Voted
ICDE
2005
IEEE
139views Database» more  ICDE 2005»
16 years 4 months ago
Compressing Bitmap Indices by Data Reorganization
Many scientific applications generate massive volumes of data through observations or computer simulations, bringing up the need for effective indexing methods for efficient stora...
Ali Pinar, Tao Tao, Hakan Ferhatosmanoglu
CADE
2007
Springer
15 years 8 months ago
Semantic Selection of Premisses for Automated Theorem Proving
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
Petr Pudlak
132
Voted
ALMOB
2006
155views more  ALMOB 2006»
15 years 2 months ago
A phylogenetic generalized hidden Markov model for predicting alternatively spliced exons
Background: An important challenge in eukaryotic gene prediction is accurate identification of alternatively spliced exons. Functional transcripts can go undetected in gene expres...
Jonathan E. Allen, Steven L. Salzberg
171
Voted
CVPR
2009
IEEE
1081views Computer Vision» more  CVPR 2009»
16 years 9 months ago
Learning Real-Time MRF Inference for Image Denoising
Many computer vision problems can be formulated in a Bayesian framework with Markov Random Field (MRF) or Conditional Random Field (CRF) priors. Usually, the model assumes that ...
Adrian Barbu (Florida State University)