24421 search results - page 288 / 4885 » Communicating Complex Systems |
120
Voted
NIPS
2008
15 years 4 months ago
2008
We present a novel mathematical formalism for the idea of a "local model" of an uncontrolled dynamical system, a model that makes only certain predictions in only certai...
117
Voted
LATA
2010
Springer
16 years 26 days ago
2010
Springer
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
141
Voted
ICANN
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The growth in amount of data available today has encouraged the development of effective data analysis methods to support human decision-making. Neuro-fuzzy computation ...
135
Voted
JAPLL
2006
15 years 3 months ago
2006
This paper presents Automath encodings (which also are valid in LF/P) of various kinds of foundations of mathematics. Then it compares these encodings according to their size, to f...
115
Voted
SYNASC
2005
IEEE
15 years 9 months ago
2005
IEEE
We improve, by using register machines, some existing universality results for specific models of P systems. P systems with membrane creation are known to generate all recursivel...