Sciweavers

2268 search results - page 208 / 454
» The Essence of Form Abstraction
Sort
View
ECOOP
2008
Springer
15 years 2 months ago
Regional Logic for Local Reasoning about Global Invariants
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
Anindya Banerjee, David A. Naumann, Stan Rosenberg
DBSEC
2010
128views Database» more  DBSEC 2010»
15 years 2 months ago
On the Identification of Property Based Generalizations in Microdata Anonymization
Abstract. Majority of the search algorithms in microdata anonymization restrict themselves to a single privacy property and a single criteria to optimize. The solutions obtained ar...
Rinku Dewri, Indrajit Ray, Indrakshi Ray, Darrell ...
ECCV
2010
Springer
15 years 2 months ago
Image Classification Using Super-Vector Coding of Local Image Descriptors
Abstract. This paper introduces a new framework for image classification using local visual descriptors. The pipeline first performs a nonlinear feature transformation on descripto...
Xi Zhou, Kai Yu, Tong Zhang, Thomas S. Huang
GLOBECOM
2007
IEEE
15 years 1 months ago
Path Planning for Network Performance
— Path planning and network design are often treated by architects of mobile communication networks as separate problems. In fact, most mobile ad hoc network (MANET) designs do n...
Alex Fridman, Steven Weber, Charles Graff, Moshe K...
HAPTICS
2008
IEEE
15 years 1 months ago
Analyzing Perceptual Representations of Complex, Parametrically-Defined Shapes Using MDS
Abstract. In this study we show that humans are able to form a perceptual space from a complex, three-dimensional shape space that is highly congruent to the physical object space ...
Nina Gaißert, Christian Wallraven, Heinrich ...