4451 search results - page 25 / 891 » On Random Ordering Constraints |
138
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— It is presented a discontinuous controller that ensure uniform finite-time zero stabilization of the output for uncertain SISO systems of relative degree two, while keeping th...
121
click to vote
CPAIOR
2006
Springer
15 years 8 months ago
2006
Springer
The lexicographically-ordered CSP ("lexicographic CSP" for short) combines a simple representation of preferences with the feasibility constraints of ordinary CSPs. Prefe...
129
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
Several kinds of call-ordering problems have been identified, all of which present subtle difficulties in ensuring the correctness of a sequential program. They include object pro...
105
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. We describe simple algebraic and combinatorial characterisations of finite relational core structures admitting finitely many obstructions. As a consequence, we show th...
148
click to vote
CANDC
2008
ACM
15 years 4 months ago
2008
ACM
Background: The Z-curve is a three dimensional representation of DNA sequences proposed over a decade ago and has been extensively applied to sequence segmentation, horizontal gen...