2861 search results - page 190 / 573 » Constraint Programming |
127
Voted
CSB
2005
IEEE
15 years 8 months 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...
121
Voted
CGO
2004
IEEE
15 years 6 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...
113
click to vote
TSP
2008
15 years 2 months ago
2008
This paper deals with the design of coded waveforms which optimize radar performances in the presence of colored Gaussian disturbance. We focus on the class of linearly coded puls...
122
Voted
AUTOMATICA
1999
15 years 2 months ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...
103
click to vote
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
We propose a conservative extension of HM(X), a generic constraint-based type inference framework, with bounded existential (a.k.a. abstract) and universal (a.k.a. polymorphic) da...