14649 search results - page 2496 / 2930 » Principles of problem solving |
224
click to vote
3DIM
2001
IEEE
15 years 11 months ago
2001
IEEE
Building 3D models of real-world objects by assembling views taken by a range sensor promises to be a more efficient method than manually producing CAD drawings. In this technique...
185
click to vote
ACSAC
2001
IEEE
15 years 11 months ago
2001
IEEE
Too often, "security of Web transactions" reduces to "encryption of the channel"--and neglects to address what happens at the server on the other end. This ove...
182
click to vote
ACSD
2001
IEEE
15 years 11 months ago
2001
IEEE
We here consider transition systems of Elementary Net Systems with Inhibitor Arcs. There are basically two di erent types of non-interleaving semantics of such Petri nets, the a-po...
177
click to vote
ANSS
2001
IEEE
15 years 11 months ago
2001
IEEE
In this work, we study the different buffering techniques used in the literature to solve the contention problem in A TM switching architectures. The objective of our study is to ...
189
click to vote
CAV
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...