Abstract. In this paper, we present a major improvement in the search procedures in constraint programming. First, we integrate various search procedures from AI and OR. Second, we...
Abstract. We review key constraints in the context of XML as introduced by Buneman et al. We show that one of the proposed inference rules is not sound in general, and the axiomati...
New Zernike velocity moments have been developed to describe an object, not only by its shape , but also by its motion throughout an image sequence. These are an extended form of ...
We explore the tradeoff between player autonomy and designer intent by simulating a system of autonomous museum tour guides. Visitors may have different art preferences or may wis...
David L. Roberts, Andrew S. Cantino, Charles Lee I...
Modeling is core software engineering practice. Conceptual models are constructed to establish an abstract understanding of the domain among stakeholders. These are then refined i...