Sciweavers

1187 search results - page 79 / 238
» Computation in Extended Argumentation Frameworks
Sort
View
FMCO
2003
Springer
145views Formal Methods» more  FMCO 2003»
15 years 6 months ago
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
Albert Benveniste, Benoît Caillaud, Luca P. ...
SIGGRAPH
1996
ACM
15 years 5 months ago
Visual Models of Plants Interacting with Their Environment
Interaction with the environment is a key factor affecting the development of plants and plant ecosystems. In this paper we introduce a modeling framework that makes it possible t...
Radomír Mech, Przemyslaw Prusinkiewicz
CDC
2008
IEEE
125views Control Systems» more  CDC 2008»
15 years 3 months ago
Application of real rational modules in system identification
This paper introduces a real rational module framework in the context of Prediction Error Identification using Box-Jenkins model structures. This module framework, which can easily...
Tzvetan Ivanov, Pierre-Antoine Absil, Brian D. O. ...
IWCM
2004
Springer
15 years 6 months ago
Complex Motion in Environmental Physics and Live Sciences
Abstract Image sequence processing techniques are an essential tool for the experimental investigation of dynamical processes such as exchange, growth, and transport processes. The...
Bernd Jähne
CIKM
2010
Springer
15 years 3 days ago
FacetCube: a framework of incorporating prior knowledge into non-negative tensor factorization
Non-negative tensor factorization (NTF) is a relatively new technique that has been successfully used to extract significant characteristics from polyadic data, such as data in s...
Yun Chi, Shenghuo Zhu