Sciweavers

15 search results - page 1 / 3
» fac 2010
Sort
View
FAC
2010
68views more  FAC 2010»
13 years 5 months ago
A lazy approach to symmetry reduction
Thomas Wahl, Vijay D'Silva
ENTCS
2006
110views more  ENTCS 2006»
13 years 6 months ago
The Linear Logical Abstract Machine
ar Logical Abstract Machine Eduardo Bonelli 1 LIFIA, Fac. de Inform
Eduardo Bonelli
APGV
2010
ACM
247views Visualization» more  APGV 2010»
13 years 10 months ago
Perception of linear and nonlinear motion properties using a FACS validated 3D facial model
In this paper we present the first Facial Action Coding System (FACS) valid model to be based on dynamic 3D scans of human faces for use in graphics and psychological research. T...
Darren Cosker, Eva Krumhuber, Adrian Hilton
FAC
2010
148views more  FAC 2010»
13 years 5 months ago
Automating the transformation-based analysis of visual languages
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
Juan de Lara, Hans Vangheluwe