4451 search results - page 254 / 891 » On Random Ordering Constraints |
206
click to vote
AAAI
1997
15 years 8 months ago
1997
To effectively generate a fast and consistent apartment construction project network, Hyundai and KAIST have developed a case and constraint based project planning expert system f...
163
click to vote
NDJFL
2000
15 years 6 months ago
2000
now of a number of ways of developing Real Analysis on a basis of abstraction principles and second-order logic. One, outlined by Shapiro in his contribution to this volume, mimic...
220
Voted
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
157
click to vote
DEXA
2009
Springer
16 years 1 months ago
2009
Springer
We solve the problem of record linkage between databases where record fields are mixed and permuted in different ways. The solution method uses a conditional random fields model...
174
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper is concerned with the robust stabilization of a class of stochastic large-scale systems. The uncertainties satisfy integral quadratic constraints. The random...