2451 search results - page 441 / 491 » The Octagon Abstract Domain |
119
Voted
CI
2011
14 years 7 months ago
2011
This paper is focused on how a general-purpose hierarchical planning representation, based on the HTN paradigm, can be used to support the representation of oncology treatment pro...
105
Voted
CORR
2010
Springer
14 years 7 months ago
2010
Springer
am analysis and has been widely studied. In this paper we consider this problem at the abstraction level of program schemas in which computations occur in the Herbrand domain of te...
105
Voted
TNN
2011
14 years 7 months ago
2011
Abstract—Most signal processing problems involve the challenging task of multidimensional probability density function (PDF) estimation. In this paper, we propose a solution to t...
128
Voted
WWW
2011
ACM
14 years 7 months ago
2011
ACM
In this paper, we study the problem of transfer learning from text to images in the context of network data in which link based bridges are available to transfer the knowledge bet...
143
click to vote
TCSV
2010
14 years 7 months ago
2010
Abstract--This paper proposes a no-reference quality assessment metric for digital video subject to H.264/AVC encoding. The proposed metric comprises two main steps: coding error e...