Sciweavers

5344 search results - page 724 / 1069
» Privacy-Preserving Set Operations
Sort
View
SAS
2007
Springer
124views Formal Methods» more  SAS 2007»
16 years 24 days ago
Arithmetic Strengthening for Shape Analysis
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
Stephen Magill, Josh Berdine, Edmund M. Clarke, By...
SCALESPACE
2007
Springer
16 years 24 days ago
Towards Segmentation Based on a Shape Prior Manifold
Incorporating shape priors in image segmentation has become a key problem in computer vision. Most existing work is limited to a linearized shape space with small deformation modes...
Patrick Etyngier, Renaud Keriven, Jean-Philippe Po...
SCIA
2007
Springer
111views Image Analysis» more  SCIA 2007»
16 years 24 days ago
Scale-Space Texture Classification Using Combined Classifiers
Abstract. Since texture is scale dependent, multi-scale techniques are quite useful for texture classification. Scale-space theory introduces multi-scale differential operators. In...
Mehrdad J. Gangeh, Bart M. ter Haar Romeny, C. Esw...
UM
2007
Springer
16 years 24 days ago
Feature-Weighted User Model for Recommender Systems
Recommender systems are gaining widespread acceptance in e-commerce applications to confront the “information overload” problem. Collaborative Filtering (CF) is a successful re...
Panagiotis Symeonidis, Alexandros Nanopoulos, Yann...
VLDB
2007
ACM
129views Database» more  VLDB 2007»
16 years 24 days ago
Processing Forecasting Queries
Forecasting future events based on historic data is useful in many domains like system management, adaptive query processing, environmental monitoring, and financial planning. We...
Songyun Duan, Shivnath Babu