1953 search results - page 337 / 391 » Dependability Modeling and Analysis in Dynamic Systems |
NIPS
2001
14 years 11 months ago
2001
Asymmetric lateral connections are one possible mechanism that can account for the direction selectivity of cortical neurons. We present a mathematical analysis for a class of the...
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
Multi-agent learning is a crucial method to control or find solutions for systems, in which more than one entity needs to be adaptive. In today's interconnected world, such s...
BMCBI
2006
14 years 9 months ago
2006
Background: The main aim of this study was to develop and implement an algorithm for the rapid, accurate and automated identification of paths leading from buried protein clefts, ...
FORMATS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuo...