Sciweavers

2986 search results - page 240 / 598
» Generic market models
Sort
View
ICPR
2006
IEEE
16 years 8 months ago
Efficient Search and Verification for Function Based Classification from Real Range Images
In this work we propose a probabilistic model for generic object classification from raw range images. Our approach supports a validation process in which classes are verified usi...
Ehud Rivlin, Ilan Shimshoni, Octavian Soldea
SIGSOFT
2005
ACM
16 years 8 months ago
The story of moose: an agile reengineering environment
Moose is a language-independent environment for reverseand re-engineering complex software systems. Moose provides a set of services including a common meta-model, metrics evaluat...
Oscar Nierstrasz, Stéphane Ducasse, Tudor G...
CVPR
2010
IEEE
16 years 3 months ago
Personalization of Image Enhancement
We address the problem of incorporating user preference in automatic image enhancement. Unlike generic tools for automatically enhancing images, we seek to develop methods that ca...
Sing Bing Kang, Ashish Kapoor, Dani Lischinski
TPHOL
2009
IEEE
16 years 2 months ago
Types, Maps and Separation Logic
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...
Rafal Kolanski, Gerwin Klein
ICCV
2007
IEEE
16 years 2 months ago
Parsing Images of Architectural Scenes
We address image parsing in the setting of architectural scenes. Our goal is to parse an image into regions of various types such as sky, foliage, buildings, and street. Furthermo...
Alexander C. Berg, Floraine Grabler, Jitendra Mali...