1598 search results - page 94 / 320 » A Unified Computation Model for Functional and Logic Program... |
147
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We introduce two min-max problems: the first problem is to minimize the supremum of finitely many rational functions over a compact basic semi-algebraic set whereas the s...
136
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
bstractions for Secure Server-Side Scripting Dachuan Yu Ajay Chander Hiroshi Inamura Igor Serikov DoCoMo Communications Laboratories USA 3240 Hillview Avenue Palo Alto, CA 94304 {y...
124
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. In functional programming languages the use of infinite structures is common practice. For total correctness of programs dealing with infinite structures one must guarant...
150
click to vote
PLPV
2009
ACM
16 years 1 months ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...
137
click to vote
WSC
2001
15 years 6 months ago
2001
Various stochastic programmingproblemscan be formulated as problems of optimization of an expected value function. Quite often the corresponding expectation function cannot be com...