4463 search results - page 731 / 893 » computing 2000 |
106
Voted
MVA
2000
15 years 19 days ago
2000
With the proliferation of different types of IC packages, there is a need for machine-vision-based inspection systems to be able to efficiently identify the orientation of IC packa...
95
Voted
MVA
2000
15 years 19 days ago
2000
This paper presents a novel golden template self-generating technique for detecting possible defects in periodic two-dimensional wafer images. A golden template of the patterned w...
106
click to vote
CONCUR
2000
Springer
15 years 4 months ago
2000
Springer
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
107
click to vote
LCN
2000
IEEE
15 years 5 months ago
2000
IEEE
Virtual private networks (VPNs) allow two or more parties to communicate securely over a public network. Using cryptographic algorithms and protocols, VPNs provide security servic...
RTA
2007
Springer
15 years 7 months ago
2007
Springer
The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition. 1 Motivation and history In the past decades seve...