1307 search results - page 108 / 262 » Follow the intellectual property |
113
click to vote
FASE
2009
Springer
15 years 5 months ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...
AIML
2004
15 years 3 months ago
2004
We are going to show that the standard notion of Kripke completeness is the strongest one among many provably distinct algebraically motivated completeness properties, some of whic...
137
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
We provide a tight approximate characterization of the n-dimensional product multicommodity flow (PMF) region for a wireless network of n nodes. Separate characterizations in term...
123
click to vote
ECCV
2008
Springer
16 years 3 months ago
2008
Springer
Many computer vision algorithms require searching a set of images for similar patches, which is a very expensive operation. In this work, we compare and evaluate a number of neares...
126
click to vote
ECCV
2008
Springer
16 years 3 months ago
2008
Springer
In this paper, we present a region-based deformable cylinder model, extending the work on classical region-based active contours and gradient-based ribbon snakes. Defined by a cent...