3591 search results - page 165 / 719 » Typing linear constraints |
121
click to vote
IJCAI
1997
15 years 6 months ago
1997
We consider algorithms of the Waltz type for computing local consistency (also called arcconsistency) for constraints over numeric domains. Many commonlyused propagationrules do n...
145
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: In DNA microarray experiments, discovering groups of genes that share similar transcriptional characteristics is instrumental in functional annotation, tissue classifi...
171
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
Abstract. LAPACK90 is a set of LAPACK90 subroutines which interfaces FORTRAN90 with LAPACK. All LAPACK driver subroutines including expert drivers and some LAPACK computationals ha...
116
click to vote
ISIPTA
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper reviews recent results obtained in the medical diagnosis field by adding to a coherent inference process qualitative constraints. Such further considerations turn out ...
159
click to vote
JAIR
2011
15 years 13 days ago
2011
Bound propagation is an important Artificial Intelligence technique used in Constraint Programming tools to deal with numerical constraints. It is typically embedded within a sea...