5084 search results - page 214 / 1017 » Proving Possibility Properties |
185
click to vote
JAC
2008
15 years 7 months ago
2008
In this paper, we study amalgamations of cellular automata (CA), i.e. ways of combining two CA by disjoint union. We show that for several families of CA obtained by simple amalgam...
123
click to vote
CCCG
2004
15 years 7 months ago
2004
We investigate a question initiated in the work of Sibley and Wagon, who proved that 3 colors suffice to color any collection of 2D parallelograms glued edge-to-edge. Their proof ...
191
click to vote
IJCAI
2001
15 years 7 months ago
2001
Certain planning systems that deal with quantitative time constraints have used an underlying Simple Temporal Problem solver to ensure temporal consistency of plans. However, many...
135
click to vote
NIPS
2003
15 years 7 months ago
2003
Margin maximizing properties play an important role in the analysis of classi£cation models, such as boosting and support vector machines. Margin maximization is theoretically in...
150
click to vote
IWFM
1998
15 years 7 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...