11436 search results - page 336 / 2288 » Modeling Real Reasoning |
144
click to vote
CCGRID
2009
IEEE
15 years 11 months ago
2009
IEEE
—The ever increasing scale and complexity of large computational systems ask for sophisticated management tools, paving the way toward Autonomic Computing. A first step toward A...
150
click to vote
ACAL
2009
Springer
15 years 11 months ago
2009
Springer
Embryogenic evolution emulates in silico cell-like entities to get more powerful methods for complex evolutionary tasks. As simulations have to from the biological model, implicit ...
161
click to vote
ISVC
2009
Springer
15 years 11 months ago
2009
Springer
We present a real-time approach for circular and polygonal road signs detection1 in still images, regardless of their pose and orientation. Object detection is done using a pairwis...
174
click to vote
JTRES
2009
ACM
15 years 11 months ago
2009
ACM
Real-time Java is quickly emerging as a platform for building safety-critical embedded systems. The real-time variants of Java, including [8, 15], are attractive alternatives to A...
133
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...