2539 search results - page 136 / 508 » Debugging Method Names |
112
click to vote
TPHOL
2005
IEEE
15 years 8 months ago
2005
IEEE
We discuss methods for dealing effectively with let-bindings in proofs. Our contribution is a small set of unconditional rewrite rules, found by the bracket abstraction translatio...
137
click to vote
VAST
2004
ACM
15 years 8 months ago
2004
ACM
The work investigates the problem of how information contained in different overlapping images of a scene can be combined to produce larger images of h...
133
click to vote
PARA
2004
Springer
15 years 7 months ago
2004
Springer
Large and sparse rational eigenproblems where the rational term is of low rank k arise in vibrations of fluid–solid structures and of plates with elastically attached loads. Exp...
127
click to vote
PEPM
1997
ACM
15 years 6 months ago
1997
ACM
Recently, Olivier Danvy introduced a new, simple method for implementing powerful partial evaluators, namely typedirected partial evaluation 9 . He introduced a partial evaluator ...
114
click to vote
WSC
2008
15 years 4 months ago
2008
Continuous-variable simulation optimization problems are those optimization problems where the objective function is computed through stochastic simulation and the decision variab...