7167 search results - page 261 / 1434 » A Technique for Invariant Generation |
177
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper presents a scalable method to generate close to minimal size test pattern sets for stuck-at faults in scan based circuits. The method creates sets of potentially compat...
173
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
We investigate the automatic generation of topic pages as an alternative to the current Web search paradigm. We describe a general framework, which combines query log analysis to ...
174
click to vote
SEAA
2008
IEEE
16 years 1 months ago
2008
IEEE
There is a growing interest for techniques and tools facilitating the testing of mobile systems. The movement of nodes is one of the relevant factors of context change in ubiquito...
155
click to vote
PG
2007
IEEE
16 years 1 months ago
2007
IEEE
The craft of papercutting is part of the folk art traditions of cultures all over the world. From the point of view of computer graphics, papercutting can be seen as a method of c...
182
click to vote
ACCV
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents an occupancy based generative model of stereo and multi-view stereo images. In this model, the space is divided into empty and occupied regions. The depth of a ...