1247 search results - page 22 / 250 » Reasoning about Function Objects |
FLOPS
2006
Springer
14 years 3 days 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....
KES
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper presents a mathematical model for dynamic decision making with an objective function induced from fuzzy preferences. The fuzzy preference is related to decisio...
EDM
2010
13 years 10 months ago
2010
In this paper we detail a preliminary model for reasoning about annotating learning objects and intelligently showing annotations to users who will benefit from them. Student inter...
CEFP
2007
Springer
14 years 2 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
ADC
2004
Springer
14 years 1 months ago
2004
Springer
Forms are the most common way to interface users and Web-based applications. Traditional forms cannot provide the functionality needed to fulfil the requirements of complex appli...