12193 search results - page 279 / 2439 » It's not all about |
184
click to vote
ICPR
2010
IEEE
15 years 11 months ago
2010
IEEE
In this paper we provide a framework of detection and localization of multiple similar shapes or object instances from an image based on shape matching. There are three challenges...
146
click to vote
HPDC
1996
IEEE
15 years 10 months ago
1996
IEEE
One purpose of the MBone is to study the performance of multicast and real-time protocols in global conferencing applications. Part of this evaluation is dependent on understandin...
127
click to vote
EUROCRYPT
1993
Springer
15 years 10 months ago
1993
Springer
A scheme for ensuring access rights untransferability in a client-serverecenario with a central authority and where servers hold no access information about clients is presented in...
174
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
134
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
This paper discusses the obstacles that stand in the way of doing a good job of machine-code analysis. Compared with analysis of source code, the challenge is to drop all assumptio...