2250 search results - page 418 / 450 » Authorizing applications in singularity |
ICCD
1995
IEEE
15 years 1 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
ICCV
1995
IEEE
15 years 1 months ago
1995
IEEE
Computational vision algorithms are often developed in a Bayesian framework. Two estimators are commonly used: maximum a posteriori (MAP), and minimum mean squared error (MMSE). W...
ICDAR
1995
IEEE
15 years 1 months ago
1995
IEEE
We propose a technique that makes use of a proximity metric for delineating partially or fully bounded regions of a scanned bitmap that depicts a building floor plan. A proximity...
BIRTHDAY
1991
Springer
15 years 1 months ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...
GLOBECOM
2009
IEEE
15 years 29 days ago
2009
IEEE
In this paper, we are concerned with cross-talk interference from the transmit to the receive antenna of a wireless channel-reuse-relay-station (CRRS) that forwards signals over t...