1070 search results - page 32 / 214 » Type Classes with Functional Dependencies |
99
Voted
ICTAC
2005
Springer
15 years 9 months ago
2005
Springer
We present a new derivation of eļ¬cient algorithms for a class of optimization problems called maximum marking problems. We extend the class of weight functions used in the speciļ...
126
Voted
ECOOP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
155
Voted
PLDI
2000
ACM
15 years 8 months ago
2000
ACM
Dynamic class loading during program execution in the JavaTM Programming Language is an impediment for generating code that is as e cient as code generated using static wholeprogr...
129
Voted
ALT
2004
Springer
16 years 15 days ago
2004
Springer
Diļ¬erent formal learning models address diļ¬erent aspects of learning. Below we compare learning via queriesāinterpreting learning as a one-shot process in which the learner i...
226
Voted
FSE
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Bellare and Kohno introduced a formal framework for the study of related-key attacks against blockciphers. They established sufļ¬cient conditions (output-unpredictabilit...