Sciweavers

77016 search results - page 437 / 15404
» Modeling Modeling
Sort
View
ICCD
2005
IEEE
124views Hardware» more  ICCD 2005»
16 years 13 days ago
Model Checking C Programs Using F-SOFT
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Mala...
IDA
1999
Springer
15 years 11 months ago
Reasoning about Input-Output Modeling of Dynamical Systems
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...
Matthew Easley, Elizabeth Bradley
GECCO
2008
Springer
158views Optimization» more  GECCO 2008»
15 years 8 months ago
Structure and parameter estimation for cell systems biology models
In this work we present a new methodology for structure and parameter estimation in cell systems biology modelling. Our modelling framework is based on P systems, an unconl comput...
Francisco José Romero-Campero, Hongqing Cao...
ENGL
2007
108views more  ENGL 2007»
15 years 6 months ago
An Adaptive Controller for Multimodal Systems Based on Fuzzy Reference Model Generator
— This paper presents a novel adaptive controller for multimodal systems based on Fuzzy Reference Model Generator (FRMG). The proposed scheme consists of a fuzzy logic switching ...
Sukumar Kamalasadan
ATAL
2009
Springer
16 years 1 months ago
Towards multi-level modeling of self-assembling intelligent micro-systems
We investigate and model the dynamics of two-dimensional stochastic self-assembly of intelligent micro-systems with minimal requirements in terms of sensing, actuation, and contro...
Grégory Mermoud, Juergen Brugger, Alcherio ...
« Prev « First page 437 / 15404 Last » Next »