13977 search results - page 315 / 2796 » Evolution in complex systems |
186
click to vote
ICALP
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We study – within the framework of propositional proof complexity – the problem of certifying unsatisfiability of CNF formulas under the promise that any satisfiabl...
184
click to vote
ROBOCUP
2000
Springer
15 years 10 months ago
2000
Springer
In the RoboCup Rescue Simulation Project, several kinds of simulator such as Building-Collapse and Road-Blockage Simulator, Fire Spread Simulator and Tra c Flow Simulator are expec...
207
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract-- A kind of complex dynamical networks with timevarying coupling delays is proposed. By some transformation, the synchronization problem of the complex networks is transfe...
148
Voted
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
205
click to vote
DIGITEL
2008
IEEE
16 years 1 months ago
2008
IEEE
We present progress with roBlocks, a reconfigurable modular robotic system for education. Children snap together small, magnetic, heterogeneous modules to create larger, more comp...