Sciweavers

1150 search results - page 142 / 230
» Tackling Large State Spaces in Performance Modelling
Sort
View
ISMB
2000
15 years 5 months ago
Prediction of the Number of Residue Contacts in Proteins
Knowing the number of residue contacts in a protein is crucial for deriving constraints useful in modeling protein folding, protein structure, and/or scoring remote homology searc...
Piero Fariselli, Rita Casadio
DAC
2004
ACM
16 years 5 months ago
A SAT-based algorithm for reparameterization in symbolic simulation
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening
UAI
2008
15 years 5 months ago
Feature Selection via Block-Regularized Regression
Identifying co-varying causal elements in very high dimensional feature space with internal structures, e.g., a space with as many as millions of linearly ordered features, as one...
Seyoung Kim, Eric P. Xing
PAMI
2011
14 years 11 months ago
Facial Deblur Inference Using Subspace Analysis for Recognition of Blurred Faces
— This paper proposes a novel method for recognizing faces degraded by blur using deblurring of facial images. The main issue is how to infer a Point Spread Function (PSF) repres...
Masashi Nishiyama, Abdenour Hadid, Hidenori Takesh...
PODS
2004
ACM
137views Database» more  PODS 2004»
16 years 4 months ago
On the Memory Requirements of XPath Evaluation over XML Streams
The important challenge of evaluating XPath queries over XML streams has sparked much interest in the past few years. A number of algorithms have been proposed, supporting wider f...
Ziv Bar-Yossef, Marcus Fontoura, Vanja Josifovski