1963 search results - page 309 / 393 » Function Materialization in Object Bases |
96
Voted
ICFP
2002
ACM
16 years 17 days ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...
122
Voted
GECCO
2009
Springer
15 years 7 months ago
2009
Springer
The optimization method is one of key issues in discriminative learning of pattern classifiers. This paper proposes a hybrid approach of the Covariance Matrix Adaptation Evolution...
117
Voted
ACMSE
2009
ACM
15 years 7 months ago
2009
ACM
In this paper we introduce G-expressions, a new syntax based on the S-expression syntax utilized by most Lisp family languages. We have implemented a new homoiconic language, Ging...
104
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
—The paper analyzes the performance of the bandwidth allocation process over satellite communication systems in presence of specific Quality of Service (QoS) requirements. The re...
176
click to vote
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper deals with the use of parallel processing for multi-objective optimization in applications in which the objective functions, the restrictions, and hence also the soluti...