1446 search results - page 197 / 290 » Local zero knowledge |
126
Voted
ECCV
2004
Springer
16 years 4 months ago
2004
Springer
In this paper we present an approach for separating two transparent layers in images and video sequences. Given two initial unknown physical mixtures, I1 and I2, of real scene laye...
118
Voted
CAV
2009
Springer
16 years 3 months ago
2009
Springer
Counter Abstraction for Concurrent Software G?erard Basler1 , Michele Mazzucchi1 , Thomas Wahl1,2 , Daniel Kroening1,2 1 Computer Systems Institute, ETH Zurich, Switzerland 2 Compu...
141
click to vote
TLDI
2010
ACM
15 years 11 months ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
134
Voted
DSD
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—In two recent contributions [1], [2], we have provided a comparative analysis of various optimization algorithms, which can be used for atomic location estimation, and s...
139
Voted
ICDE
2007
IEEE
15 years 9 months ago
2007
IEEE
Partitioned query processing is an effective method to process continuous queries with large stateful operators in a distributed systems. This method typically partitions input da...