13977 search results - page 241 / 2796 » Evolution in complex systems |
148
click to vote
AAAI
2008
15 years 8 months ago
2008
Automated generators for synthetic models and data can play a crucial role in designing new algorithms/modelframeworks, given the sparsity of benchmark models for empirical analys...
155
click to vote
NIPS
2008
15 years 7 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...
147
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 ...
166
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 ...
161
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...