Sciweavers

4719 search results - page 74 / 944
» Spreadsheet functional programming
Sort
View
102
Voted
ICFP
2004
ACM
16 years 17 days ago
Implementing functional logic languages using multiple threads and stores
Recent functional logic languages such as Curry and Toy combine lazy functional programming with logic programming features including logic variables, non-determinism, unification...
Andrew P. Tolmach, Sergio Antoy, Marius Nita
SIAMJO
2010
100views more  SIAMJO 2010»
14 years 7 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 4 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
111
Voted
ICGA
1997
126views Optimization» more  ICGA 1997»
15 years 2 months 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
89
Voted
NN
2008
Springer
15 years 17 days 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