Sciweavers

4520 search results - page 711 / 904
» Algebraic Techniques for Timed Systems
Sort
View
FOIS
2006
15 years 8 months ago
Qualities in Possible Worlds
The paper analyzes how and under which assumptions it is possible to compare (in a relationist setting and relatively to qualities) entities living in different worlds. We begin wi...
Stefano Borgo, Claudio Masolo
BMCBI
2010
183views more  BMCBI 2010»
15 years 6 months ago
SING: Subgraph search In Non-homogeneous Graphs
Background: Finding the subgraphs of a graph database that are isomorphic to a given query graph has practical applications in several fields, from cheminformatics to image unders...
Raffaele Di Natale, Alfredo Ferro, Rosalba Giugno,...
CVPR
2004
IEEE
16 years 8 months ago
Bayesian Video Matting Using Learnt Image Priors
Video matting, or layer extraction, is a classic inverse problem in computer vision that involves the extraction of foreground objects, and the alpha mattes that describe their op...
Nicholas Apostoloff, Andrew W. Fitzgibbon
CVPR
2007
IEEE
16 years 8 months ago
DigiTable: an interactive multiuser table for collocated and remote collaboration enabling remote gesture visualization
We present DIGITABLE, an experimental platform we hope lessen the gap between co-present and distant interaction. DIGITABLE is combining a multiuser tactile interactive tabletop, ...
Francois Coldefy, Stéphane Louis Dit Picard
ICDE
2007
IEEE
113views Database» more  ICDE 2007»
16 years 8 months ago
Reducing Order Enforcement Cost in Complex Query Plans
Algorithms that exploit sort orders are widely used to implement joins, grouping, duplicate elimination and other set operations. Query optimizers traditionally deal with sort ord...
Ravindra Guravannavar, S. Sudarshan