4745 search results - page 433 / 949 » Discretization: An Enabling Technique |
161
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
This paper presents an efficient hierarchical 3D capacitance extraction algorithm -- ICCAP. Most previous capacitance extraction algorithms introduce intermediate variables to fac...
189
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
151
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
Recent web search techniques augment traditional text matching with a global notion of "importance" based on the linkage structure of the web, such as in Google's P...
170
click to vote
VLSID
2009
IEEE
16 years 7 months ago
2009
IEEE
Code compression is important in embedded systems design since it reduces the code size (memory requirement) and thereby improves overall area, power and performance. Existing res...
155
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
We present DynaSpot, a new technique for acquiring targets based on the area cursor. DynaSpot couples the cursor's activation area with its speed, behaving like a point curso...