Sciweavers

6153 search results - page 238 / 1231
» Modeling Cyclic Change
Sort
View
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
15 years 10 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
ARGMAS
2004
Springer
15 years 12 months ago
Revising Beliefs Through Arguments: Bridging the Gap Between Argumentation and Belief Revision in MAS
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...
Fabio Paglieri, Cristiano Castelfranchi
CVPR
2007
IEEE
16 years 8 months ago
Physics-Based Person Tracking Using Simplified Lower-Body Dynamics
We introduce a physics-based model for 3D person tracking. Based on a biomechanical characterization of lower-body dynamics, the model captures important physical properties of bi...
Marcus A. Brubaker, David J. Fleet, Aaron Hertzman...
SIGGRAPH
1999
ACM
15 years 11 months ago
View-dependent Geometry
When constructing 3D geometry for use in cel animation, the reference drawings of the object or character often contain various view-specific distortions, which cannot be captured...
Paul Rademacher
INFORMATICALT
2002
72views more  INFORMATICALT 2002»
15 years 6 months ago
Simulation of Conflict in an Agent World: Access to Resources and Possibility of Termination of the Population
The goal of the paper is to create a model for investigating the character of relationships between the freedom and restrictions in the terrorism context, in order to find out how ...
Jaak Tepandi