423 search results - page 46 / 85 » Specifying Strategies for Exercises |
FLAIRS
1998
14 years 11 months ago
1998
Wepresent an application designated to the calculation of probabilities in the card gamebridge. Theapplication can be used by bridge players to improvetheir decisions in the game....
COLING
1994
14 years 11 months ago
1994
This paper presents a novel technique called "universal guides" which explores inherent properties of logic grammars (changing variable binding status) in order to chara...
AAAI
1990
14 years 11 months ago
1990
There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...
ICALP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Given an ML function f : (int->int)->int how can we rigorously specify that f is pure, i.e., produces no side-effects other than those arising from calling its func...
AUTOMATICA
2008
2008
A connection between formation infeasibility and velocity alignment in kinematic multi-agent systems
14 years 10 months ago
In this paper, a feedback control strategy that achieves convergence of a multi-agent system to a desired formation configuration is proposed for both the cases of agents with sin...