We investigate the complexity of equivalence problems for {∪, ∩, − , +, ×}-circuits computing sets of natural numbers. These problems were first introduced by Stockmeyer an...
We present a case study of scanning 3D objects for the purposes of education and public information. We begin by describing the original design of a 3D scanning system now in use ...
Mohamed Farouk, Ibrahim El-Rifai, Shady El-Tayar, ...
Recently, various technologies have become available for scanning real-world objects, enabling rapid and accurate shape acquisition. In most cases, such solutions have high cost, ...
The validation of enterprise authorization specification for conformance to enterprise security policies requires an out-of-band framework in many situations since the enforcing a...
The emergence of online games has fundamentally changed security requirements for computer games, which previously were largely concerned with copy protection. In this paper, we e...