3888 search results - page 634 / 778 » Change-Driven Model Transformations |
143
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...
158
click to vote
PPSN
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Taking inspiration from approximate ranking, this paper investigates the use of rank-based Support Vector Machine as surrogate model within CMA-ES, enforcing the invarian...
169
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This work focuses on optimal routing for two camera-equipped UAVs cooperatively tracking a single target moving on the ground. The UAVs are small fixed-wing aircraft cruising at a ...
162
click to vote
JCIT
2010
15 years 25 days ago
2010
The complicated interactions among tasks lead to iterations in product design and development. To maintain the market share, enterprises should effectively manage their product de...
148
click to vote
JMLR
2010
15 years 25 days ago
2010
As we devise more complicated prior distributions, will inference algorithms keep up? We highlight a negative result in computable probability theory by Ackerman, Freer, and Roy (...