2266 search results - page 269 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
123
Voted
ICALP
2004
Springer
15 years 8 months ago
2004
Springer
We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they are provably better ...
126
Voted
EUROGP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A protein is a linear chain of amino acids that folds into a unique functional structure, called its native state. In this state, proteins show repeated substructures lik...
140
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Support Vector Machines (SVMs) are well-established Machine Learning (ML) algorithms. They rely on the fact that i) linear learning can be formalized as a well-posed opti...
109
Voted
ASPDAC
1999
ACM
15 years 7 months ago
1999
ACM
We present an algorithm for solving a general min-cut, twoway partitioning problem subject to timing constraints. The problem is formulated as a constrained programming problem an...
100
Voted
AAAI
2006
15 years 4 months ago
2006
Clustering under constraints is a recent innovation in the artificial intelligence community that has yielded significant practical benefit. However, recent work has shown that fo...