1392 search results - page 175 / 279 » A Calculus for Dynamic Linking |
CPAIOR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We present an algorithmic framework for integrating solution methods that is based on search, inference, and relaxation and their interactions. We show that the following...
ECOOP
2005
Springer
14 years 3 months ago
2005
Springer
Most modern programming systems such as Java allow us to link independently developed components together dynamically. This makes it possible to develop and deploy software on a pe...
EPIA
2005
Springer
14 years 3 months ago
2005
Springer
In this paper, we investigate the link between logics of games and “mentalistic” logics of rational agency, in which agents are characterized in terms of attitudes such as beli...
IH
2005
Springer
14 years 3 months ago
2005
Springer
Software protection is an area of active research in which a variety of techniques have been developed to address the issue. Examples of such techniques are software watermarking, ...
MICAI
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In this paper we investigate the effectiveness of applying fuzzy controllers to create strong computer player programs in the domain of backgammon. Fuzzeval, our proposed...