11716 search results - page 2066 / 2344 » Computable symbolic dynamics |
101
click to vote
EKAW
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The call for a "focus on content" in ontology research by Nicola Guarino and Mark Musen in their launching statement of the journal Applied Ontology has quite s...
134
click to vote
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
107
Voted
ESOP
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The pure pattern calculus generalises the pure lambda-calculus by basing computation on pattern-matching instead of beta-reduction. The simplicity and power of the calcul...
98
Voted
EVOW
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In this paper we discuss Evolution Strategies within the context of interactive optimization. Different modes of interaction will be classified and compared. A focus will...
111
click to vote
FLOPS
2006
Springer
15 years 4 months ago
2006
Springer
Functional reactive programming integrates dynamic dataflow with functional programming to offer an elegant and powerful model for expressing computations over time-varying values....