1604 search results - page 79 / 321 » Development Separation in Lambda-Calculus |
153
click to vote
KES
2004
Springer
15 years 11 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...
161
click to vote
PAM
2004
Springer
15 years 11 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...
147
click to vote
XPU
2004
Springer
15 years 11 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...
157
click to vote
AVSS
2003
IEEE
15 years 11 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...
126
click to vote
DATE
2003
IEEE
15 years 11 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...