10072 search results - page 1356 / 2015 » Composition of Model Programs |
222
click to vote
ENTCS
2007
15 years 7 months ago
2007
Software evolution research is limited by the amount of information available to researchers: Current version control tools do not store all the information generated by developer...
191
click to vote
SIAMJO
2002
15 years 7 months ago
2002
We outline a new approach for radiosurgery treatment planning, based on solving a series of optimization problems. We consider a specific treatment planning problem for a speciali...
227
click to vote
TSMC
2008
15 years 5 months ago
2008
A new approach for engine calibration and control is proposed. In this paper, we present our research results on the implementation of adaptive critic designs for self-learning con...
185
click to vote
PPDP
2010
Springer
15 years 5 months ago
2010
Springer
Permissive-Nominal Logic (PNL) is an extension of firstorder logic where term-formers can bind names in their arguments. This allows for direct axiomatisations with binders, such...
154
click to vote
PVLDB
2010
15 years 5 months ago
2010
We demonstrate an efficient LINQ to SQL provider and its significant impact on the runtime performance of LINQ programs that process large data volumes. This alternative provider...