1453 search results - page 109 / 291 » Partial Constraint Satisfaction |
130
click to vote
COMPASS
1994
15 years 8 months ago
1994
ASL+ is a formalism for speci cation and programming in-the-large, based on an arbitrary institution. It has rules for proving the satisfaction and re nement of speci cations, whic...
142
click to vote
ENTCS
2011
14 years 7 months ago
2011
In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has be...
119
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— This paper presents a method to determine whether an assembly of planar parts will stay assembled as it is pushed over a support surface. For a given pushing motion, an assembl...
116
Voted
APPROX
2005
Springer
15 years 9 months ago
2005
Springer
We study the approximability of 1-in-kSAT, the variant of Max kSAT where a clause is deemed satisfied when precisely one of its literals is satisfied. We also investigate differ...
108
click to vote
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
Computational experiments are reported involving the concept of foreknowledge, an agent’s direct, unmediated and accurate, but possibly incomplete, awareness of its future includ...