6010 search results - page 633 / 1202 » Computational Approaches to Drug Design |
173
click to vote
ACMSE
2006
ACM
16 years 1 months ago
2006
ACM
Although the satisfiability problem (SAT) is NP-complete, state-of-the-art solvers for SAT can solve instances that are considered to be very hard. Emerging applications demand t...
164
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
The heterogeneity of architectural constraint languages makes difficult the transformation of architectural constraints throughout the development process. Indeed they have signi...
221
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
We consider the problem of recognizing human actions from still images. We propose a novel approach that treats the pose of the person in the image as latent variables that will h...
186
click to vote
ARITH
2005
IEEE
16 years 1 months ago
2005
IEEE
Saturating counters are a newly defined class of generalized parallel counters that provide the exact number of inputs which are equal to 1 only if this number is below a given t...
172
click to vote
DSN
2005
IEEE
16 years 1 months ago
2005
IEEE
We propose a novel method to measure the dependability of journaling file systems. In our approach, we build models of how journaling file systems must behave under different jo...