4719 search results - page 109 / 944 » Spreadsheet functional programming |
84
Voted
SIAMMAX
2010
14 years 7 months ago
2010
The main goal of this paper is to develop a numerical procedure for construction of covariance matrices such that for a given covariance structural model and a discrepancy function...
127
Voted
ENTCS
2002
15 years 16 days ago
2002
In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...
98
Voted
ISCAS
2005
IEEE
15 years 6 months ago
2005
IEEE
— Piecewise linear Lyapunov functions are used to design control gain matrices so that closed systems are robust stable and attractive regions are expanded as large as possible i...
98
Voted
ICCD
1992
IEEE
15 years 4 months ago
1992
IEEE
This paper presents a data- ow computer, constituted of a large array of data- ow processors and programmed using a functional language, and its application to realtime image proc...
97
Voted
VMCAI
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...