1901 search results - page 86 / 381 » Predicting Program Properties from |
OOPSLA
2005
Springer
15 years 4 months ago
2005
Springer
Currently, the most adopted criterion to invoke garbage collection is heap space exhaustion. In other words, garbage collection is invoked when the heap space (either the entire s...
AUTOMATICA
2005
14 years 11 months ago
2005
This paper proposes a quadratic programming (QP) approach to robust model predictive control (MPC) for constrained linear systems having both model uncertainties and bounded distu...
MICCAI
2005
Springer
16 years 42 min ago
2005
Springer
Abstract. We propose a novel framework to predict pacing sites in the left ventricle (LV) of a heart and its result can be used to assist pacemaker implantation and programming in ...
104
click to vote
LPNMR
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. Revision programming was introduced as a formalism to describe and enforce updates of belief sets and databases. Revision programming was extended by Fitting who assigned...
121
click to vote
AGP
2010
IEEE
15 years 3 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...