1742 search results - page 13 / 349 » An Applicative Module Calculus |
ICRA
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper presents the application of an action module planning method to an experimental climbing robot named LIBRA. The method searches for a sequence of physically realizable ...
WISES
2003
13 years 11 months ago
2003
— More and more fieldbus applications require a communication with real-time properties, while still being economically feasible. The fieldbuses LIN and TTP/A take this require...
GLOBECOM
2008
IEEE
14 years 4 months ago
2008
IEEE
—The second-order cyclostationarity of cyclically prefixed single carrier linear digital (CP-SCLD) modulated signals is investigated with emphasis on its applicability to signal ...
CDC
2008
IEEE
14 years 1 days ago
2008
IEEE
This paper introduces a real rational module framework in the context of Prediction Error Identification using Box-Jenkins model structures. This module framework, which can easily...
POPL
1995
ACM
14 years 1 months ago
1995
ACM
We present a variant of the Standard ML module system rameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compattract types, inst...