1336 search results - page 159 / 268 » An approach to stopping problems of a dynamic fuzzy system |
122
click to vote
MABS
2005
Springer
15 years 7 months ago
2005
Springer
Currently there is a diversity of tools for agent-based simulation, which can be applied to the understanding of social phenomena. Describing this kind of phenomena with a visual l...
167
click to vote
POPL
2000
ACM
15 years 6 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
146
click to vote
CDC
2010
IEEE
14 years 8 months ago
2010
IEEE
This paper presents a data-centric modeling and predictive control approach for nonlinear hybrid systems. System identification of hybrid systems represents a challenging problem b...
126
click to vote
CIBB
2009
15 years 2 months ago
2009
Modelling activities in molecular biology face the difficulty of prediction to link molecular knowledge with cell phenotypes. Even when the interaction graph between molecules is k...
159
click to vote
ISCA
2011
IEEE
14 years 5 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...