4463 search results - page 731 / 893 » computing 2000 |
121
Voted
MVA
2000
15 years 2 months 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...
111
click to vote
MVA
2000
15 years 2 months 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...
119
click to vote
CONCUR
2000
Springer
15 years 6 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...
129
Voted
LCN
2000
IEEE
15 years 7 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...
110
click to vote
RTA
2007
Springer
15 years 8 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...