208 search results - page 21 / 42 » Realization using the model existence theorem |
101
click to vote
ICCV
2011
IEEE
13 years 10 months ago
2011
IEEE
Despite the fact that temporal coherence is undeniably one of the key aspects when processing video data, this concept has hardly been exploited in recent optical flow methods. I...
FOCS
2010
IEEE
14 years 8 months ago
2010
IEEE
We construct the first general secure computation protocols that require no trusted infrastructure other than authenticated communication, and that satisfy a meaningful notion of s...
WSC
2004
14 years 12 months ago
2004
This paper presents a study that uses simulation to improve shop floor performance by means of two layout types and certain operational parameters. In this study, an overview of t...
CSFW
2004
IEEE
15 years 2 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
COMPSAC
2009
IEEE
15 years 3 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...