945 search results - page 153 / 189 » Incremental Branching Programs |
140
click to vote
CCS
2011
ACM
14 years 1 months ago
2011
ACM
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...
157
click to vote
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
We present a new algorithm to jointly track multiple objects in multi-view images. While this has been typically addressed separately in the past, we tackle the problem as a single...
PEPM
2007
ACM
15 years 7 months ago
2007
ACM
Poly-Controlled Partial Evaluation (PCPE) is a powerful approach to partial evaluation, which has recently been proposed. PCPE takes into account sets of control strategies instea...
154
click to vote
CP
2003
Springer
15 years 6 months ago
2003
Springer
Multiple sequence alignment is a central problem in Bioinformatics. A known integer programming approach is to apply branch-and-cut to exponentially large graph-theoretic models. T...
120
click to vote
SIGMOD
2010
ACM
15 years 5 months ago
2010
ACM
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...