7393 search results - page 507 / 1479 » Synthesis-for-testability using transformations |
171
click to vote
ETS
2010
IEEE
15 years 7 months ago
2010
IEEE
It was shown in the past that ATPG based on the Boolean Satisfiability problem is a beneficial complement to traditional ATPG techniques. Its advantages can be observed especially ...
180
click to vote
AIS
2007
Springer
15 years 6 months ago
2007
Springer
This paper instigates a discourse on the unplanned effects of intelligent agents in the context of their use on the Internet. By utilizing a social informatics framework as a lens...
179
Voted
CII
2008
15 years 6 months ago
2008
Today's enterprises face critical needs in integrating disparate information spread over several data sources inside and even outside the organization. Most organizations alre...
143
click to vote
CVIU
2006
15 years 6 months ago
2006
This paper evaluates the performance of several popular corner detectors using two newly defined criteria. The majority of authors of published corner detectors have not used theo...
198
Voted
MVA
2008
15 years 6 months ago
2008
Abstract We consider the use of medial surfaces to represent symmetries of 3-D objects. This allows for a qualitative abstraction based on a directed acyclic graph of components an...