1392 search results - page 175 / 279 » A Calculus for Dynamic Linking |
144
Voted
CPAIOR
2005
Springer
15 years 8 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...
94
Voted
ECOOP
2005
Springer
15 years 8 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...
114
Voted
EPIA
2005
Springer
15 years 8 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...
98
Voted
IH
2005
Springer
15 years 8 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, ...
117
click to vote
MICAI
2005
Springer
15 years 8 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...