4498 search results - page 160 / 900 » How to Invent Functions |
130
click to vote
TPHOL
2000
IEEE
15 years 7 months ago
2000
IEEE
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
140
click to vote
WSC
2007
15 years 6 months ago
2007
Recently developed dual techniques allow us to evaluate a given sub-optimal dynamic portfolio policy by using the policy to construct an upper bound on the optimal value function....
117
click to vote
JFP
2010
15 years 2 months ago
2010
The aim of our work is to be able to do fully formal, machine verified proofs over Generic Haskellstyle polytypic programs. In order to achieve this goal, we embed polytypic prog...
201
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
The number of applications in computer vision that model higher-order interactions has exploded over the last few years. The standard technique for solving such problems is to red...
131
click to vote
EWSPT
2003
Springer
15 years 9 months ago
2003
Springer
The issue of building a Process Support System Environment (PSSE), or a family of PSEE, to make them interoperate or to use them to pilot applications or services requires new solu...