729 search results - page 114 / 146 » Solving subgraph isomorphism problems with constraint progra... |
138
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
141
click to vote
ISLPED
1996
ACM
15 years 8 months ago
1996
ACM
We present a dynamic programming technique for solving the multiple supply voltage scheduling problem in both nonpipelined and functionally pipelined data-paths. The scheduling pro...
107
click to vote
EOR
2006
15 years 3 months ago
2006
This paper deals with a multi-stage two-person zero-sum game called the multi-stage search allocation game (MSSAG), in which a searcher and an evader participate. The searcher dist...
161
click to vote
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
A novel method is proposed for matching articulated objects in cluttered videos. The method needs only a single exemplar image of the target object. Instead of using a small set o...
107
click to vote
ISPD
1999
ACM
15 years 8 months ago
1999
ACM
- In this paper, we present an algorithm for gate sizing with controlled displacement to improve the overall circuit timing. We use a path-based delay model to capture the timing c...