13841 search results - page 65 / 2769 » Algorithms and Constraint Programming |
98
Voted
OOPSLA
1991
Springer
15 years 4 months ago
1991
Springer
We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, a...
213
Voted
CP
2009
Springer
16 years 1 months ago
2009
Springer
We propose two new asynchronous algorithms for solving Distributed Constraint Satisfaction Problems (DisCSPs). The first algorithm, AFC-ng, is a nogood-based version of Asynchronou...
118
click to vote
ICPR
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper introduces a semi-supervised distance metric learning algorithm which uses pair-wise equivalence (similarity and dissimilarity) constraints to improve the original dist...
100
click to vote
BMCBI
2008
15 years 17 days ago
2008
Background: Protein structure analysis and comparison are major challenges in structural bioinformatics. Despite the existence of many tools and algorithms, very few of them have ...
106
Voted
TACAS
2009
Springer
15 years 7 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...