8197 search results - page 180 / 1640 » Adaptive functional programming |
186
click to vote
ENTCS
2002
15 years 6 months 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...
158
Voted
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
This article presents an algorithm for the automatic detection of circular shapes from complicated and noisy images. The algorithm is based on a recently developed swarm-intellige...
157
Voted
ISCAS
2005
IEEE
15 years 11 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...
150
click to vote
ICCD
1992
IEEE
15 years 10 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...
160
Voted
VMCAI
2005
Springer
15 years 11 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...