Sciweavers

3136 search results - page 129 / 628
» Genetic programming theory
Sort
View
FPLE
1995
15 years 7 months ago
Explaining Algebraic Theory with Functional Programs
Abstract. A hierarchy of six important structures from abstract algebra (groups, rings, fields etc.) is introduced as Gofer class definitions and laws about them. Many instance d...
Jeroen Fokker
MP
2006
107views more  MP 2006»
15 years 4 months ago
Convergence theory for nonconvex stochastic programming with an application to mixed logit
Monte Carlo methods have been used extensively in the area of stochastic programming. As with other methods that involve a level of uncertainty, theoretical properties are required...
Fabian Bastin, Cinzia Cirillo, Philippe L. Toint
FM
2003
Springer
88views Formal Methods» more  FM 2003»
15 years 9 months ago
A Semantic Foundation for TCOZ in Unifying Theories of Programming
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
Shengchao Qin, Jin Song Dong, Wei-Ngan Chin
108
Voted
EPIA
1995
Springer
15 years 7 months ago
A Model Theory for Paraconsistent Logic Programming
We provide a nine-valued logic to characterize the models of logic programs under a paraconsistent well-founded semantics with explicit negation WFSX p. We define a truth-function...
Carlos Viegas Damásio, Luís Moniz Pe...
FMOODS
2008
15 years 5 months ago
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus
We analyse the relationship between object-oriented modelling and session-based, service-oriented modelling, starting from a typical UML Sequence Diagram and providing a program tr...
Luís Cruz-Filipe, Ivan Lanese, Francisco Ma...