Sciweavers

8056 search results - page 262 / 1612
» Object Behavior Analysis
Sort
View
FM
2009
Springer
92views Formal Methods» more  FM 2009»
16 years 1 months ago
Field-Sensitive Value Analysis by Field-Insensitive Analysis
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...
Elvira Albert, Puri Arenas, Samir Genaim, Germ&aac...
AAAI
1994
15 years 8 months ago
Activity Analysis: The Qualitative Analysis of Stationary Points for Optimal Reasoning
We present a theory of a modeler's problem decomposition skills in the context of optimal reasonzng -- the use of qualitative modeling to strategically guide numerical explor...
Brian C. Williams, Jonathan Cagan
NIPS
2004
15 years 8 months ago
Nonlinear Blind Source Separation by Integrating Independent Component Analysis and Slow Feature Analysis
In contrast to the equivalence of linear blind source separation and linear independent component analysis it is not possible to recover the original source signal from some unkno...
Tobias Blaschke, Laurenz Wiskott
APN
1997
Springer
15 years 10 months ago
Life-Cycle Inheritance: A Petri-Net-Based Approach
Abstract. Inheritance is one of the key issues of object-orientation. The inheritance mechanism allows for the definition of a subclass which inherits the features of a specific ...
Wil M. P. van der Aalst, Twan Basten
CGF
2004
140views more  CGF 2004»
15 years 6 months ago
Measurement-Based Interactive Simulation of Viscoelastic Solids
Animation of viscoelastic solids in entertainment and medical applications as well as scientific simulation can be improved through observations of real world objects. This paper ...
Jeffrey Schoner, Jochen Lang, Hans-Peter Seidel