15372 search results - page 2826 / 3075 » The Semantics of Semantic Annotation |
TOG
2010
14 years 11 months ago
2010
We introduce a method for generating facial blendshape rigs from a set of example poses of a CG character. Our system transfers controller semantics and expression dynamics from a...
133
click to vote
TSE
2010
14 years 11 months ago
2010
— Describing and managing activities, resources and constraints of software development processes is a challenging goal for many organizations. A first generation of Software Pro...
112
click to vote
UTP
2010
14 years 11 months ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
153
click to vote
VL
2010
IEEE
14 years 11 months ago
2010
IEEE
Many dynamic programming language features, such as implicit declaration, reflection, and code generation, make it difficult to verify the existence of identifiers through standar...
183
click to vote
VL
2010
IEEE
14 years 11 months ago
2010
IEEE
SOFIA (Artemis project: http://www.sofiaproject.eu/) focuses on answering the challenge of creating smart environments and its goal is to make information that resides in the phys...