1172 search results - page 59 / 235 » Using Small Screen Space More Efficiently |
130
click to vote
DAC
2007
ACM
16 years 4 months ago
2007
ACM
In this paper we propose a novel parameterized macromodeling technique for analog circuits. Unlike traditional macromodels that are only extracted for a small variation space, our...
160
click to vote
PASTE
1998
ACM
15 years 7 months ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...
200
Voted
VLDB
2007
ACM
16 years 3 months ago
2007
ACM
Record matching is the task of identifying records that match the same real world entity. This is a problem of great significance for a variety of business intelligence applicatio...
140
Voted
JCP
2007
15 years 3 months ago
2007
—One of the challenging problems in geometric modeling and computer graphics is the construction of realistic human facial geometry. Such geometry are essential for a wide range ...
149
click to vote
3DIM
2001
IEEE
15 years 7 months ago
2001
IEEE
The ICP (Iterative Closest Point) algorithm is widely used for geometric alignment of three-dimensional models when an initial estimate of the relative pose is known. Many variant...