13977 search results - page 351 / 2796 » Evolution in complex systems |
236
click to vote
CSL
2007
Springer
16 years 29 days ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ï...
134
click to vote
SIGIR
2006
ACM
16 years 22 days ago
2006
ACM
Research and development of information access technology for scanned paper documents has been hampered by the lack of public test collections of realistic scope and complexity. A...
132
click to vote
CHI
2010
ACM
15 years 10 months ago
2010
ACM
Sawtooth (2009) is an artwork integrating performance, sound, and animation. This paper describes the design of Sawtooth, with particular reference to the balances it strikes betw...
184
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
In the clock semantics for epistemic logic, two situations are indistinguishable for an agent when it makes the same observation and the time in the situations is the same. The pa...
157
click to vote
JC
2002
15 years 6 months ago
2002
Exclusion algorithms are a well-known tool in the area of interval analysis for finding all solutions of a system of nonlinear equations or for finding the global minimum of a fun...