1604 search results - page 165 / 321 » Development Separation in Lambda-Calculus |
ERLANG
2007
ACM
14 years 2 months ago
2007
ACM
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...
APCHI
2004
IEEE
14 years 2 months ago
2004
IEEE
We survey a number of tools that have been developed for generating sets of colours according to commonly accepted rules for colour harmony. Informal manual techniques for generati...
ICPR
2000
IEEE
14 years 2 months ago
2000
IEEE
In this paper we propose an efficient, non-iterative method for estimating optical flow. We develop a probabilistic framework that is appropriate for describing the inherent uncer...
ICANN
1997
Springer
14 years 2 months ago
1997
Springer
Subsystems for on-line recognition of handwriting are needed in personal digital assistants (PDAs) and other portable handheld devices. We have developed a recognition system whic...
EUSAI
2007
Springer
14 years 16 days ago
2007
Springer
Developing applications for smart spaces is a challenging task. Most programming systems narrowly focus on the embedded computer infrastructure and neglect the spatial aspect of th...