2702 search results - page 338 / 541 » Practically Applicable Formal Methods |
143
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
Most methods for multiple camera tracking rely on accurate calibration to associate data from multiple cameras. However, it often is not easy to have an accurate calibration in so...
147
Voted
TVCG
2012
13 years 5 months ago
2012
—The projection of a photographic dataset on a 3D model is a robust and widely applicable way to acquire appearance information of an object. The first step of this procedure is...
117
Voted
DOCENG
2006
ACM
15 years 8 months ago
2006
ACM
With the advent of XML we have seen a renewed interest in methods for computing the difference between trees. Methods that include heuristic elements play an important role in pr...
ASPDAC
2007
ACM
15 years 6 months ago
2007
ACM
While the covering algorithm has been perfected recently by the iterative approaches, such as DAOmap and IMap, its application has been limited to technology mapping. The main fact...
121
click to vote
CGF
2008
15 years 2 months ago
2008
In this paper we present a practical, simple and robust method to acquire the spatially-varying illumination of a real-world scene. The basic idea of the proposed method is to acq...