3318 search results - page 127 / 664 » The Weak Instance Model |
SQJ
2010
13 years 6 months ago
2010
One of the main goals of design patterns is to design for change. Many design patterns leave some room for future changes and evolutions. The application of design patterns leads ...
LICS
2009
IEEE
14 years 2 months ago
2009
IEEE
—One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related verification problems ov...
ICCV
1995
IEEE
13 years 11 months ago
1995
IEEE
Recently, Dementhon 0 Davis [2] proposed a method for determining the pose of a 3-0 object with respect to a camera from 3-D to 2-0 point correspondences. The method consists of i...
AOIS
2003
13 years 9 months ago
2003
In this paper, we improve and extend the MaSE methodology to bridge the gaps in this methodology. First, we propose an improvement process and, based on this process, we report th...
CISC
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Certificateless cryptography introduced by Al-Riyami and Paterson eliminates the key escrow problem inherent in identity based cryptosystems. Even though building practic...