Sciweavers

1164 search results - page 79 / 233
» Constructive nonlinear dynamics in process systems engineeri...
Sort
View
UML
2005
Springer
16 years 3 days ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
CASCON
2000
119views Education» more  CASCON 2000»
15 years 8 months ago
Efficient mapping of software system traces to architectural views
Information about a software system's execution can help a developer with many tasks, including software testing, performance tuning, and program understanding. In almost all...
Robert J. Walker, Gail C. Murphy, Jeffrey Steinbok...
KCAP
2009
ACM
16 years 1 months ago
Biomedical knowledge engineering tools based on experimental design: a case study based on neuroanatomical tract-tracing experim
Curating information from the literature for storage in databases is a crucial task in biological research, and many groups assign a particular person or team to that process. We ...
Gully A. P. C. Burns, Thomas A. Russ
ENTCS
2008
156views more  ENTCS 2008»
15 years 6 months ago
Schedulability Criteria and Analysis for Dynamic and Flexible Resource Management
The Flexible Resource Manager (FRM) is a dynamic resource management approach that allows a better utilization of the available resources. However, it necessitates an atomic recon...
Hermann Simon Lichte, Simon Oberthür
AROBOTS
2011
15 years 1 months ago
Learning GP-BayesFilters via Gaussian process latent variable models
Abstract— GP-BayesFilters are a general framework for integrating Gaussian process prediction and observation models into Bayesian filtering techniques, including particle filt...
Jonathan Ko, Dieter Fox