1070 search results - page 32 / 214 » Type Classes with Functional Dependencies |
ICTAC
2005
Springer
14 years 1 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ļ...
ECOOP
2000
Springer
13 years 12 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...
PLDI
2000
ACM
14 years 3 hour 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...
ALT
2004
Springer
14 years 4 months 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...
FSE
2011
Springer
12 years 11 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...