5232 search results - page 166 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
114
Voted
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
— This paper demonstrates how two different sets of powerful domain specific language features can be specified and deployed as composable language extensions. These extensions...
123
click to vote
APGV
2010
ACM
15 years 5 months ago
2010
ACM
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...
118
Voted
TACAS
2001
Springer
15 years 6 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
109
click to vote
ITS
1998
Springer
15 years 6 months ago
1998
Springer
This paper describes a method for learner modelling for use within simulation-based learning environments. The goal of the learner modelling system is to provide the learner with a...
198
click to vote
FDL
2004
IEEE
15 years 5 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...