Sciweavers

4959 search results - page 119 / 992
» Imperative Functional Programming
Sort
View
POPL
2012
ACM
13 years 6 months ago
A type theory for probability density functions
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
Sooraj Bhat, Ashish Agarwal, Richard W. Vuduc, Ale...
SIAMJO
2010
100views more  SIAMJO 2010»
14 years 6 months ago
Optimality Conditions via Exact Penalty Functions
Abstract: In this paper, we study KKT optimality conditions for constrained nonlinear programming problems and strong and Mordukhovich stationarities for mathematical
K. W. Meng, X. Q. Yang
FM
1994
Springer
135views Formal Methods» more  FM 1994»
15 years 3 months ago
Adding Real Time to Formal Program Development
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.
Colin J. Fidge
ICGA
1997
126views Optimization» more  ICGA 1997»
15 years 15 days ago
Evolution of Graph-Like Programs with Parallel Distributed Genetic Programming
Parallel Distributed Genetic Programming (PDGP) is a new form of Genetic Programming (GP) suitable for the development of programs with a high degree of parallelism. Programs are ...
Riccardo Poli
NN
2008
Springer
14 years 11 months ago
Two k-winners-take-all networks with discontinuous activation functions
This paper presents two k-winners-take-all (k-WTA) networks with discontinuous activation functions. The k-WTA operation is first converted equivalently into linear and quadratic ...
Qingshan Liu, Jun Wang