2777 search results - page 241 / 556 » Example centric programming |
133
click to vote
AUTOMATICA
2006
15 years 3 months ago
2006
In this paper we show that the problem of optimal mine planning can be cast in the framework of receding horizon control. Traditional formulations of this problem have cast it in ...
114
click to vote
IANDC
2008
15 years 3 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
170
click to vote
ENTCS
2006
15 years 3 months ago
2006
We present a runtime verification framework for Java programs. Properties can be specified in Linear-time Temporal Logic (LTL) over AspectJ pointcuts. These properties are checked...
120
click to vote
EOR
2006
15 years 3 months ago
2006
The fuzzy set is one of the powerful tools used to describe an uncertain environment. As well as quantifying any potential return and risk, portfolio liquidity is taken into accou...
JSC
2008
15 years 3 months ago
2008
We outline PARI programs which assist with various algorithms related to descent via isogeny on elliptic curves. We describe, in this context, variations of standard inequalities w...