In this paper, we present a necessary and sufficient condition for the existence of solutions in a Sobolev space Wk p (Rs )(1 p ) to a vector refinement equation with a general dil...
It is known that every constraint-satisfaction problem (CSP) reduces, and is in fact polynomially equivalent, to a digraph coloring problem. By carefully analyzing the constructio...
This paper presents a parametric design system for 3D tire mold production. Tire grooves commonly used in the current industry are classified according to their modeling procedure...
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
David J. Musliner, Michael J. S. Pelican, Robert P...
This paper studies efficient learning with respect to mind changes. Our starting point is the idea that a learner that is efficient with respect to mind changes minimizes mind cha...