16190 search results - page 52 / 3238 » Applicative programming with effects |
73
Voted
JITE
2006
15 years 14 days ago
2006
KI
2000
Springer
15 years 9 days ago
2000
Springer
116
Voted
IPCO
2010
14 years 10 months ago
2010
We present a branch-and-bound algorithm for minimizing a convex quadratic objective function over integer variables subject to convex constraints. In a given node of the enumerati...
96
Voted
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
104
Voted
LISP
2002
15 years 5 days ago
2002
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...