2410 search results - page 14 / 482 » Multiset Ordering Constraints |
97
Voted
BIRTHDAY
2007
Springer
15 years 3 months ago
2007
Springer
In contrast to the current general way of developing tools for proving termination automatically, this paper intends to show an alternative program based on using on the one hand t...
HPCA
2008
IEEE
15 years 10 months ago
2008
IEEE
100
click to vote
AUSAI
2003
Springer
15 years 2 months ago
2003
Springer
The distributed constraint satisfaction problem (CSP) is a general formalisation used to represent problems in distributed multiagent systems. To deal with realistic problems, mult...
CDC
2009
IEEE
15 years 2 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...
CPAIOR
2006
Springer
15 years 1 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...