9626 search results - page 449 / 1926 » Invariant Based Programming |
198
click to vote
FSS
2008
15 years 6 months ago
2008
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has s...
201
click to vote
MP
2006
15 years 6 months ago
2006
In classical two-stage stochastic programming the expected value of the total costs is minimized. Recently, mean-risk models - studied in mathematical finance for several decades -...
184
click to vote
ENTCS
2002
15 years 6 months ago
2002
This paper extends the well-known technique of slicing to synchronous reactive programs. Synchronous languages exemplified by Esterel, Lustre, Signal and Argos, novel model of exe...
225
click to vote
PRL
2007
15 years 6 months ago
2007
This paper introduces a novel method of visual learning based on Genetic Programming, which evolves a population of individuals (image analysis programs) that process attributed v...
198
click to vote
IDEAS
2009
IEEE
15 years 4 months ago
2009
IEEE
We consider the class of database programs and address the problem of minimizing the cost of their exchanges with the database server. This cost partly consists of query execution...