Sciweavers

2526 search results - page 53 / 506
» A New Algorithm for Answer Set Computation
Sort
View
IJCV
2006
192views more  IJCV 2006»
13 years 9 months ago
Piecewise-Smooth Dense Optical Flow via Level Sets
We propose a new algorithm for dense optical flow computation. Dense optical flow schemes are challenged by the presence of motion discontinuities. In state of the art optical flo...
Tomer Amiaz, Nahum Kiryati
GLOBE
2009
Springer
14 years 1 months ago
Designing, Specifying and Querying Metadata for Virtual Data Integration Systems
Abstract. We show how to specify and use the metadata for a virtual and relational data integration system under the local-as-view (LAV) approach. We use XML and RuleML for represe...
Leopoldo E. Bertossi, Gayathri Jayaraman
STOC
2004
ACM
117views Algorithms» more  STOC 2004»
14 years 9 months ago
New notions of security: achieving universal composability without trusted setup
We propose a modification to the framework of Universally Composable (UC) security [3]. Our new notion, involves comparing the protocol executions with an ideal execution involvin...
Manoj Prabhakaran, Amit Sahai
SIGMOD
2007
ACM
181views Database» more  SIGMOD 2007»
14 years 9 months ago
Progressive and selective merge: computing top-k with ad-hoc ranking functions
The family of threshold algorithm (i.e., TA) has been widely studied for efficiently computing top-k queries. TA uses a sort-merge framework that assumes data lists are pre-sorted...
Dong Xin, Jiawei Han, Kevin Chen-Chuan Chang
VLDB
1997
ACM
94views Database» more  VLDB 1997»
14 years 1 months ago
Describing and Using Query Capabilities of Heterogeneous Sources
Information integration systems have to cope with the different and limited query interfaces of the underlying information sources. First, the integration systems need description...
Vasilis Vassalos, Yannis Papakonstantinou