We present a real-time system that can draw virtual patterns or images on deforming real objects by estimating both the deformations and the shading parameters. We show that this ...
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
Many of the difficulties users experience when working with interactive systems arise from misfits between the user's conceptualisation of the domain and device with which the...
Facility layouts of existing or proposed production systems often form the basis of a dynamic simulation study to prove the design concept and to determine if the required through...