4117 search results - page 295 / 824 » On the Satisfiability of Complex Constraints |
169
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. We present a continuous optimization framework for interactive tracking of 2D generic objects in a single video stream. The user begins with specifying the locations of a...
262
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
In this paper we introduce new notions of k-type anonymizations. Those notions achieve similar privacy goals as those aimed by Sweenie and Samarati when proposing the concept of k-...
290
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
We introduce a novel query type defined over streaming moving object data, namely, the Continuous Motion Pattern (CMP) Queries. A motion pattern is defined as a sequence of distin...
165
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
When reasoning about inductively defined predicates, such as typing judgements or reduction relations, proofs are often done by inversion, that is by a case analysis on the last r...
170
click to vote
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we focus on tackling the insecurity problem of security protocols in the presence of an unbounded number of data such as nonces or session keys. First, we pinpoint f...