1604 search results - page 79 / 321 » Development Separation in Lambda-Calculus |
KES
2004
Springer
14 years 3 months ago
2004
Springer
This paper introduces a novel parallelised vision based intelligent controller for a Humanoid Robot system. This intelligent controller is simulated dynamically and its performance...
PAM
2004
Springer
14 years 3 months ago
2004
Springer
Using an authoritative data set from a fully instrumented router at the edge of a core network, packet delays through an access link are studied in detail. Three different root ca...
XPU
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Different kinds of unit testing activities are used in practice. Organised unit testing (regression testing or test-first activities) are very popular in commercial pract...
AVSS
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper surveys the developments of the last 10 years in the area of camera self-calibration. In order to solve this problem, researches have used the camera intrinsic constrai...
DATE
2003
IEEE
14 years 3 months ago
2003
IEEE
Refinement is a key methodology for SoC design. The proposed IPSIM design environment, based on a C++ modeling library developed on top of SystemC 3.0, supports an object-oriented...