12836 search results - page 2391 / 2568 » Generalization Methods in Bioinformatics |
184
Voted
OOPSLA
2007
Springer
15 years 10 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
click to vote
OOPSLA
2007
Springer
15 years 10 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...
142
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 ...
147
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...
130
click to vote
TAMC
2007
Springer
15 years 9 months ago
2007
Springer
We study non-overlapping axis-parallel packings of 3D boxes with profits into a dedicated bigger box where rotation is either forbidden or permitted; we wish to maximize the total...