5084 search results - page 285 / 1017 » Proving Possibility Properties |
175
click to vote
TRANSCI
2010
15 years 1 months ago
2010
Consider the following game. Given a network with a continuum of users at some origins, suppose that users wish to reach specic destinations, but that they are not indierent to the...
191
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
We consider the use of top-points for object retrieval. These points are based on scale-space and catastrophe theory, and are invariant under gray value scaling and offset as well ...
164
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
One main focus of research in stereo image coding has been disparity estimation, a technique used to reduce the coding rate by taking advantage of the redundancy in a stereo image ...
174
click to vote
ALDT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The stable marriage problem has many practical applications in twosided markets like those that assign doctors to hospitals, students to schools, or buyers to vendors. Mo...
155
click to vote
FORMATS
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we focus on the synthesis of secure timed systems which are given by timed automata. The security property that the system must satisfy is a non-interference propert...