1097 search results - page 138 / 220 » Partial evaluation of Maple |
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
In search for a foundational framework for reasoning about observable behavior of programs that may not terminate, we have previously devised a trace-based big-step semantics for W...
MICCAI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Spatial priors, such as probabilistic atlases, play an important role in MRI segmentation. However, the availability of comprehensive, reliable and suitable manual segmen...
ICDCS
2009
IEEE
15 years 7 months ago
2009
IEEE
Spatial alarms are considered as one of the basic capabilities in future mobile computing systems for enabling personalization of location-based services. In this paper, we propos...
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper presents a sparse representation of 2D planar shape through the composition of warping functions, termed formlets, localized in scale and space. Each formlet subjects t...
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
3D object recognition in scenes with occlusion and clutter is a difficult task. In this paper, we introduce a method that exploits the geometric scale-variability to aid in this ...