3515 search results - page 638 / 703 » On the semantics of Strategy Logic |
178
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
This paper explores the surprisingly rich design space for the simply typed lambda calculus with casts and a dynamic type. Such a calculus is the target intermediate language of th...
181
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...
173
Voted
CIVR
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we present a novel video search interface based on the concept of aspect browsing. The proposed strategy is to assist the user in exploratory video search by active...
169
click to vote
ECTEL
2009
Springer
16 years 1 months ago
2009
Springer
Reusable adaptation specifications for adaptive behaviour has come to the forefront of adaptive research recently, with EU projects such as GRAPPLE1, and PhD research efforts on de...
164
Voted
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Many video surveillance applications require detecting human reappearances in a scene monitored by a camera or over a network of cameras. This is the human reappearance detection ...