2974 search results - page 206 / 595 » Model-Driven Constraint Programming |
162
click to vote
OOPSLA
1991
Springer
15 years 10 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...
178
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
Many kernel learning methods have to assume parametric forms for the target kernel functions, which significantly limits the capability of kernels in fitting diverse patterns. Som...
170
click to vote
CSB
2005
IEEE
16 years 3 days ago
2005
IEEE
Functionally related genes co-evolve, probably due to the strong selection pressure in evolution. Thus we expect that they are present in multiple genomes. Physical proximity amon...
168
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Super solutions are a mechanism to provide robustness to constraint programs [10]. They are solutions in which, if a small number of variables lose their values, we are guaranteed ...
170
click to vote
CGO
2004
IEEE
15 years 10 months ago
2004
IEEE
Static Single Assignment form is an intermediate representation that uses instructions to merge values at each confluent point of the control flow graph. instructions are not ma...