466 search results - page 17 / 94 » A Theory of Rate-Based Execution |
126
click to vote
CORR
2004
Springer
14 years 9 months ago
2004
Springer
- This paper describes an approach to the design of a population of cooperative robots based on concepts borrowed from Systems Theory and Artificial Intelligence The research has b...
116
click to vote
NFM
2011
14 years 4 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
CONCUR
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
106
click to vote
ROBOCUP
2004
Springer
15 years 3 months ago
2004
Springer
The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they ...
125
click to vote
ICLP
2011
Springer
14 years 1 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...