1097 search results - page 213 / 220 » Revision Programming = Logic Programming Integrity Constra... |
133
click to vote
GECCO
2010
Springer
15 years 3 months ago
2010
Springer
Evolutionary algorithms (EAs) are increasingly being applied to solve real-parameter optimization problems due to their flexibility in handling complexities such as non-convexity,...
130
Voted
TVLSI
2008
15 years 2 months ago
2008
Abstract--Technology scaling in the nanometer era has increased the transistor's susceptibility to process variations. The effects of such variations are having a huge impact ...
201
click to vote
SODA
2012
ACM
13 years 4 months ago
2012
ACM
We give a constant factor approximation algorithm for the following generalization of the k-median problem. We are given a set of clients and facilities in a metric space. Each fa...
141
click to vote
SIGCSE
2005
ACM
15 years 8 months ago
2005
ACM
Networking course projects are usually described by an informal specification and a collection of test cases. Students often misunderstand the specification or oversimplify it t...
146
click to vote
CAV
2008
Springer
15 years 4 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...