3255 search results - page 158 / 651 » Combination of Abstractions in the ASTR |
MMM
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. In this paper we address the task of image categorization using a new similarity measure on the space of Sparse Multiscale Patches (SMP). SMPs are based on a multiscale t...
TLDI
2009
ACM
14 years 7 months ago
2009
ACM
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
LATA
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. An important portion of the current research in Description Logics is devoted to the expansion of the reasoning services and the developement of algorithms that can adequ...
PDP
2009
IEEE
14 years 5 months ago
2009
IEEE
SBASCO provides a new programming model for parallel and distributed numerical applications which exploits the combination of software components and skeletons. This paper present...
WWW
2009
ACM
14 years 5 months ago
2009
ACM
The use of RDF data published on the Web for applications is still a cumbersome and resource-intensive task due to the limited software support and the lack of standard programmin...