2362 search results - page 323 / 473 » Programming in Standard ML |
141
Voted
CPAIOR
2010
Springer
15 years 7 months ago
2010
Springer
Cutting plane methods are widely used for solving convex optimization problems and are of fundamental importance, e.g., to provide tight bounds for Mixed-Integer Programs (MIPs). T...
134
Voted
ASM
2008
ASM
15 years 6 months ago
2008
ASM
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
113
click to vote
CG
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we review the conventional versions of nullmove pruning, and present our enhancements which allow for a deeper search with greater accuracy. While the conve...
112
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. XML database query languages such as XQuery employ regular expression types with structural subtyping. Subtyping systems typically have two presentations, which should be...
172
click to vote
JCKBSE
2008
15 years 5 months ago
2008
Modern software development companies that have a quality assurance program use measurements and standards to improve product quality as perceived by the users of these products. H...