2086 search results - page 124 / 418 » Mathematical Theory Exploration |
WOLLIC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
140
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
An experimental form of Modulation (Reinterpretation) of the Search Space is presented. This modulation is developed as a mathematical method that can be implemented directly into...
126
Voted
MPC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
102
Voted
MPC
2004
Springer
15 years 9 months ago
2004
Springer
Unfolds generate data structures, and folds consume them. A hylomorphism is a fold after an unfold, generating then consuming a virtual data structure. A metamorphism is the opposi...
131
Voted
ISIPTA
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper argues in favor of the thesis that two different concepts of conditional interval probability are needed, in order to serve the huge variety of tasks conditional probab...