Sciweavers

675 search results - page 86 / 135
» Using Fairness to Make Abstractions Work
Sort
View
136
Voted
VISUAL
2000
Springer
15 years 7 months ago
Shape Description for Content-Based Image Retrieval
Abstract. The present work is focused on a global image characterization based on a description of the 2D displacements of the different shapes present in the image, which can be e...
Edoardo Ardizzone, Antonio Chella, Roberto Pirrone
139
Voted
ECCV
2010
Springer
15 years 6 months ago
Flexible Voxels for Motion-Aware Videography
Abstract. The goal of this work is to build video cameras whose spatial and temporal resolutions can be changed post-capture depending on the scene. Building such cameras is diffic...
LOGCOM
2007
97views more  LOGCOM 2007»
15 years 3 months ago
Termination for Hybrid Tableaus
Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨uner [5]. Their paper gives tableau-based decision procedur...
Thomas Bolander, Patrick Blackburn
133
Voted
OOPSLA
2007
Springer
15 years 9 months ago
Modular typestate checking of aliased objects
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
Kevin Bierhoff, Jonathan Aldrich
145
Voted
ASPDAC
2001
ACM
102views Hardware» more  ASPDAC 2001»
15 years 7 months ago
New graph bipartizations for double-exposure, bright field alternating phase-shift mask layout
Abstract-- We describe new graph bipartization algorithms for layout modification and phase assignment of bright-field alternating phaseshifting masks (AltPSM) [25]. The problem of...
Andrew B. Kahng, Shailesh Vaya, Alexander Zelikovs...