2702 search results - page 403 / 541 » Practically Applicable Formal Methods |
ICDM
2005
IEEE
14 years 3 months ago
2005
IEEE
The problem of record linkage focuses on determining whether two object descriptions refer to the same underlying entity. Addressing this problem effectively has many practical ap...
ICIP
2005
IEEE
14 years 3 months ago
2005
IEEE
— This paper proposes a face recognition system that uses (i) passive stereo vision to capture three-dimensional (3D) facial information and (ii) 3D matching using a simple ICP (...
VISUALIZATION
2005
IEEE
14 years 3 months ago
2005
IEEE
The field of Visualization is getting mature. Many problems have been solved, and new directions are sought for. In order to make good choices, an understanding of the purpose an...
SIGITE
2005
ACM
14 years 3 months ago
2005
ACM
This paper describes a novel approach to teaching computer networking through packet traces of actual network traffic. The paper describes a set of exercises that use packet trace...
ICANN
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In practice, almost all control systems in use today implement some form of linear control. However, there are many tasks for which conventional control engineering metho...