1533 search results - page 196 / 307 » Semantic Matching: Algorithms and Implementation |
ICCAD
2005
IEEE
14 years 6 months ago
2005
IEEE
— This paper addresses the problem of equivalence verification of RTL descriptions. The focus is on datapathoriented designs that implement polynomial computations over fixed-s...
ACSC
2006
IEEE
14 years 3 months ago
2006
IEEE
Publish/subscribe systems filter published documents and inform their subscribers about documents matching their interests. Recent systems have focussed on documents or messages ...
ICMCS
2005
IEEE
14 years 3 months ago
2005
IEEE
Principal Component Analysis (PCA) has been widely used to extract features for pattern recognition problems such as object recognition. Oliva and Torralba used “spatial envelop...
SSIAI
2002
IEEE
14 years 2 months ago
2002
IEEE
Given the image of a real-world scene and a polygonal 3-D model of a depicted object, its apparent size, image coordinates, and 3-D orientation are autonomously detected. Based on...
ICRA
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper describes the new localisation algorithms under implementation for the mail distributing mobile robot, MOPS, of the Institute of Robotics, Swiss Federal Institute of Te...