2702 search results - page 121 / 541 » constraints 2008 |
163
click to vote
ICTAI
2008
IEEE
16 years 25 days ago
2008
IEEE
Boolean satisfiability (SAT) finds a wide range of practical applications, including Artificial Intelligence and, more recently, Bioinformatics. Although encoding some combinat...
140
click to vote
INFOCOM
2008
IEEE
16 years 25 days ago
2008
IEEE
—A fundamental problem in wireless networks is to estimate its throughput capacity - given a set of wireless nodes, and a set of connections, what is the maximum rate at which da...
175
click to vote
KBSE
2008
IEEE
16 years 24 days ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
148
click to vote
NPAR
2010
ACM
15 years 11 months ago
2010
ACM
The formulation of Diffusion Curves [Orzan et al. 2008] allows for the flexible creation of vector graphics images from a set of curves and colors: a diffusion process fills out...
146
click to vote
FLAIRS
2008
15 years 8 months ago
2008
1 In this paper, we propose a peptide folding prediction method which discovers contrast patterns to differentiate and predict peptide folding classes. A contrast pattern is defin...