Sciweavers

13791 search results - page 2425 / 2759
» Modeling Web Interactions
Sort
View
JCP
2008
116views more  JCP 2008»
15 years 4 months ago
Formal Verification and Visualization of Security Policies
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
Luay A. Wahsheh, Daniel Conte de Leon, Jim Alves-F...
CVGIP
2007
108views more  CVGIP 2007»
15 years 4 months ago
Physically based rigging for deformable characters
In this paper we introduce a framework for instrumenting (“rigging”) characters that are modeled as dynamic elastic bodies, so that their shapes can be controlled by an animat...
Steve Capell, Matthew Burkhart, Brian Curless, Tom...
144
Voted
JUCS
2008
172views more  JUCS 2008»
15 years 4 months ago
Formal Action Semantics for a UML Action Language
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
Mikai Yang, Greg J. Michaelson, Rob Pooley
JMM2
2006
99views more  JMM2 2006»
15 years 4 months ago
Spontaneous Emotional Facial Expression Detection
Change in a speaker's emotion is a fundamental component in human communication. Automatic recognition of spontaneous emotion would significantly impact human-computer interac...
Zhihong Zeng, Yun Fu, Glenn I. Roisman, Zhen Wen, ...
135
Voted
JSA
2006
86views more  JSA 2006»
15 years 4 months ago
The design and utility of the ML-RSIM system simulator
Execution-driven simulation has become the primary method for evaluating architectural techniques as it facilitates rapid design space exploration without the cost of building pro...
Lambert Schaelicke, Michael Parker
« Prev « First page 2425 / 2759 Last » Next »