The problem of automatically selecting simulation models for autonomous agents depending on their current intentions and beliefs is considered in this paper. The intended use of t...
Design patterns describe solutions to recurring design problems in the development of software designs. To encourage the use of design patterns, we are investigating tool support ...
Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eun...
Abstract. The ostensive model assumes that a user’s information need is dynamic and developing, thus, a recently accessed object can be seen as more indicative to the current inf...
In this paper, we present a vision system for object recognition in aerial images, which enables broader mission profiles for Micro Air Vehicles (MAVs). The most important factors ...
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...