129 search results - page 12 / 26 » Benchmarking Reasoners for Multi-Ontology Applications |
IWMM
2009
Springer
14 years 2 months ago
2009
Springer
In this paper, we investigate the effects of using three different nursery sizing policies on overall and garbage collection performances. As part of our investigation, we modify ...
ICIAP
2009
ACM
14 years 8 months ago
2009
ACM
In a typical video surveillance framework, a single camera or a set of cameras monitor a scene in which human activities are carried out. In this paper, we propose a complementary ...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—With continuous technology scaling, soft errors are becoming an increasingly important design concern even for earth-bound applications. While compiler approaches have the poten...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— Local image features are used for a wide range of applications in computer vision and range imaging. While there is a great variety of detector-descriptor combinations for imag...
ICFP
2005
ACM
14 years 7 months ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...