1776 search results - page 167 / 356 » Uncertain Linear Constraints |
176
click to vote
APLAS
2011
ACM
14 years 6 months ago
2011
ACM
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
155
click to vote
CP
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes a hybrid approach to solving large-scale constraint satisfaction and optimization problems. It describes a hybrid algorithm for integer linear programming whic...
140
click to vote
ECML
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper, dimensionality reduction via matrix factorization with nonnegativity constraints is studied. Because of these constraints, it stands apart from other linea...
140
click to vote
ISSAC
2005
Springer
15 years 11 months ago
2005
Springer
Two ideas are combined to construct a hybrid symbolicnumeric differential-elimination method for identifying and including missing constraints arising in differential systems. F...
132
click to vote
JPDC
2006
15 years 6 months ago
2006
The nearest-neighbor method can successfully be applied to correct possible errors induced into bit strings transmitted over noisy communication channels or to classify samples in...