24421 search results - page 288 / 4885 » Communicating Complex Systems |
167
click to vote
NIPS
2008
15 years 8 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...
158
click to vote
LATA
2010
Springer
16 years 3 months 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 ...
176
click to vote
ICANN
2003
Springer
15 years 11 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 ...
169
click to vote
JAPLL
2006
15 years 6 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...
161
click to vote
SYNASC
2005
IEEE
16 years 3 days 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...