4839 search results - page 165 / 968 » A survey of computational complexity results in systems and ... |
MFCS
2007
Springer
15 years 8 months ago
2007
Springer
In computability theory, program self-reference is formalized by the not-necessarily-constructive form of Kleene’s Recursion Theorem (krt). In a programming system in which krt h...
114
click to vote
RTSS
2007
IEEE
15 years 8 months ago
2007
IEEE
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...
149
click to vote
ECCV
2002
Springer
16 years 3 months ago
2002
Springer
Visual sensors provide exclusively uncertain and partial knowledge of a scene. In this article, we present a suitable scene knowledge representation that makes integration and fusi...
133
click to vote
ICAC
2008
IEEE
15 years 8 months ago
2008
IEEE
Creating good adaptation policies is critical to building complex autonomic systems since it is such policies that define the system configuration used in any given situation. W...
116
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Thirteen years have passed since Karl Sims published his work on evolving virtual creatures. Since then, several novel approaches to neural network evolution and genetic algorithm...