Sciweavers

158 search results - page 19 / 32
» Automated Lattice Drawing
Sort
View
ISMAR
2005
IEEE
14 years 1 months ago
Augmenting Deformable Objects in Real-Time
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 ...
Julien Pilet, Vincent Lepetit, Pascal Fua
ECSQARU
2005
Springer
14 years 1 months ago
A Possibilistic Inconsistency Handling in Answer Set Programming
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...
Pascal Nicolas, Laurent Garcia, Igor Stépha...
ISCIS
2004
Springer
14 years 1 months ago
Correctness Requirements for Multiagent Commitment Protocols
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
Pinar Yolum
EHCI
2004
13 years 9 months ago
Formalising an Understanding of User-System Misfits
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...
Ann Blandford, Thomas R. G. Green, Iain Connell
WSC
2001
13 years 9 months ago
Simulation data exchange (SDX) implementation and use
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...
David P. Sly, Shreekanth Moorthy