12148 search results - page 2246 / 2430 » Generalized Bundle Methods |
114
click to vote
MLG
2007
Springer
15 years 9 months ago
2007
Springer
As a fundamental problem in pattern recognition, graph matching has found a variety of applications in the field of computer vision. In graph matching, patterns are modeled as gr...
182
Voted
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
119
Voted
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
137
click to vote
SACRYPT
2007
Springer
15 years 9 months ago
2007
Springer
Cache attacks on implementations of cryptographic algorithms have turned out to be very powerful. Progress in processor design, e.g., like hyperthreading, requires to adapt models ...
143
click to vote
SAT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...