8197 search results - page 162 / 1640 » Adaptive functional programming |
141
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
The adapter design pattern [1], commonly used for integration and evolution in component-based systems, is originally described by roles. In classbased systems, the conventional re...
175
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. This pearl examines how to verify functional programs written using the state monad. It uses Coq’s Program framework to provide strong specifications for the standard ...
124
click to vote
ICIP
2001
IEEE
16 years 6 months ago
2001
IEEE
A lapped biorthogonal transform adapted for local directionality of an image is proposed. The proposed transform consists of overlapping basis functions and non-overlapping basis ...
137
click to vote
ISCAS
2006
IEEE
15 years 11 months ago
2006
IEEE
— This paper describes a general approach for the unsupervised learning of behaviors in a behavior-based robot. The key idea is to formalize a behavior produced by a Motor Map dr...
139
Voted
CCGRID
2001
IEEE
15 years 8 months ago
2001
IEEE
In this paper, we describe the results of an experiment to add support for multimethod communication to the NexusJava communications library using metalevel programming techniques...