2638 search results - page 409 / 528 » Frameworks for Reasoning about Agent Based Systems |
262
click to vote
PLPV
2011
ACM
14 years 9 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
197
click to vote
ICPR
2008
IEEE
16 years 25 days ago
2008
IEEE
In this work, we present a novel segmentation method for deformable objects in monocular videos. Firstly we introduce the dynamic shape to represent the prior knowledge about obje...
184
click to vote
ISVC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We propose a novel Multiple Instance Learning (MIL) framework to perform target localization from image sequences. The proposed approach consists of a softmax logistic re...
154
click to vote
EUROPAR
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes a monitoring environment that enables the analysis of memory access behavior of applications in a selective way with a potentially very high degree of detail. ...
181
click to vote
IJCAI
2007
15 years 7 months ago
2007
We evaluate a new hybrid language processing approach designed for interactive applications that maintain an interaction with users over multiple turns. Specifically, we describe ...