Sciweavers

5544 search results - page 267 / 1109
» Three Inadequate Models
Sort
View
APGV
2010
ACM
247views Visualization» more  APGV 2010»
15 years 8 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
AAAI
2007
15 years 7 months ago
Learning Graphical Model Structure Using L1-Regularization Paths
Sparsity-promoting L1-regularization has recently been succesfully used to learn the structure of undirected graphical models. In this paper, we apply this technique to learn the ...
Mark W. Schmidt, Alexandru Niculescu-Mizil, Kevin ...
EMSOFT
2006
Springer
15 years 6 months ago
Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
Venkita Subramonian, Christopher D. Gill, Cé...
165
Voted
FMCAD
2008
Springer
15 years 6 months ago
Word-Level Sequential Memory Abstraction for Model Checking
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
Per Bjesse
GRAPHICSINTERFACE
2007
15 years 6 months ago
A GPU based interactive modeling approach to designing fine level features
In this paper we propose a GPU based interactive geometric modeling approach to designing fine level features on subdivision surfaces. Displacement mapping is a technique for addi...
Xin Huang, Sheng Li, Guoping Wang