12741 search results - page 96 / 2549 » Editorial and call for papers |
173
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
This paper examines sparse grid quadrature on weighted tensor products (wtp) of reproducing kernel Hilbert spaces on products of the unit sphere S2 . We describe a wtp quadrature ...
175
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
A h-uniform hypergraph H = (V, E) is called ( , k)-orientable if there exists an assignment of each hyperedge e ∈ E to exactly of its vertices v ∈ e such that no vertex is ass...
168
click to vote
ESOP
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. A behavioral contract in a higher-order language may invoke methods of unknown objects. Although this expressive power allows programmers to formulate sophisticated contr...
199
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
209
click to vote
SOCO
2012
Springer
14 years 1 months ago
2012
Springer
Abstract Population-based meta-heuristics are algorithms that can obtain very good results for complex continuous optimization problems in a reduced amount of time. These search al...