1686 search results - page 107 / 338 » Higher Order Deforestation |
127
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
We describe a framework with which first order theorem provers can be used for checking formal proofs. The main aim of the framework is to take as much advantage as possible from t...
159
click to vote
FINANCECOM
2007
Springer
15 years 10 months ago
2007
Springer
For the execution of large equity orders, institutional investors often use the Volume Weighted Average Price (VWAP) as a benchmark to measure execution quality. To achieve this, ...
120
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Two distinct models of feedback, suited for FDD (Frequency Division Duplex) and TDD (Frequency Division Duplex) systems respectively, have been widely studied in the literature. In...
125
click to vote
NDJFL
1998
15 years 3 months ago
1998
We investigate transfer of interpolation in such combinations of modal logic which lead to interaction of the modalities. Combining logics by taking products often blocks transfer...
149
Voted
TOG
2002
15 years 3 months ago
2002
Finite element solvers are a basic component of simulation applications; they are common in computer graphics, engineering, and medical simulations. Although adaptive solvers can ...