7168 search results - page 805 / 1434 » A Factorization Approach to Grouping |
221
click to vote
EURODAC
1990
IEEE
15 years 11 months ago
1990
IEEE
In this paper an efficient cone oriented circuit partitioning method is presented, which significantly speeds up automatic test pattern generation for combinational circuits. The ...
204
click to vote
ASPDAC
2009
ACM
15 years 11 months ago
2009
ACM
The number of vias generated during the global routing stage is a critical factor for the yield of final circuits. However, most global routers only approach the problem by chargin...
190
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
This paper presents insights about design practices that can lead to effective and fun games for learning, gleaned from interviews with experienced game developers. We based our a...
205
click to vote
ITP
2010
15 years 11 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
178
click to vote
SIGIR
2010
ACM
15 years 11 months ago
2010
ACM
Several studies have found that the Cranfield approach to evaluation can report significant performance differences between retrieval systems for which little to no performance...