18209 search results - page 39 / 3642 » Some Remarks on the Paper |
JAPLL
2006
13 years 8 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...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
This paper focuses on the computation time of evolutionary algorithms. First, some exact expressions of the mean first hitting times of general evolutionary algorithms in finite...
LANMR
2004
13 years 10 months ago
2004
This paper explores the role of some basic notions in the study of non-monotonic reasoning, such as validity, logical consequence, context, rules and assumptions.1 It offers some ...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
Information systems (IS) research employs a wide range of theory, drawn from numerous disciplines. Over the course of the past three decades, the proliferation of theory has creat...
IJCNN
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— Dynamic neural networks with different timescales include the aspects of fast and slow phenomenons. Some applications require that the equilibrium points of these netwo...