Sciweavers

2569 search results - page 319 / 514
» Approximate Objects and Approximate Theories
Sort
View
DGCI
1999
Springer
15 years 11 months ago
Directional 3D Thinning Using 8 Subiterations
Thinning of a binary object is an iterative layer by layer erosion to extract an approximation to its skeleton. In order to provide topology preservation, different thinning techn...
Kálmán Palágyi, Attila Kuba
VISUAL
1999
Springer
15 years 11 months ago
Blobworld: A System for Region-Based Image Indexing and Retrieval
Blobworld is a system for image retrieval based on nding coherent image regions which roughly correspond to objects. Each image is automatically segmented into regions  blobs"...
Chad Carson, Megan Thomas, Serge Belongie, Joseph ...
ECCV
2010
Springer
15 years 10 months ago
Geometry Construction from Caustic Images
In this work we investigate an inverse geometry problem. Given a light source, a diffuse plane and a caustic image, how must a geometric object look like (transmissive or reflect...
DSN
2006
IEEE
15 years 10 months ago
Empirical and Analytical Evaluation of Systems with Multiple Unreliable Servers
We construct, analyze and solve models of systems where a number of servers offer services to an incoming stream of demands. Each server goes through alternating periods of being ...
Jennie Palmer, Isi Mitrani
FORMATS
2006
Springer
15 years 10 months ago
Timed Alternating-Time Temporal Logic
We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL b...
Thomas A. Henzinger, Vinayak S. Prabhu