1021 search results - page 132 / 205 » Concepts in Proof Planning |
SOUPS
2009
ACM
14 years 3 months ago
2009
ACM
Randomness is a necessary ingredient in various computational tasks and especially in Cryptography, yet many existing mechanisms for obtaining randomness suffer from numerous pro...
UIST
2009
ACM
14 years 3 months ago
2009
ACM
We present Abracadabra, a magnetically driven input technique that offers users wireless, unpowered, high fidelity finger input for mobile devices with very small screens. By exte...
WEA
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. A new technique for combinational logic optimization is described. The technique is a two-step process. In the first step, the nonlinearity of a circuit – as measured ...
APSEC
2008
IEEE
14 years 3 months ago
2008
IEEE
Test case prioritization techniques have been empirically proved to be effective in improving the rate of fault detection in regression testing. However, most of previous techniqu...
GLOBECOM
2008
IEEE
14 years 3 months ago
2008
IEEE
— To increase the availability of Free Space Network (FSO) networks, the optical link is provided with a redundant backup network, such as RF, to form a hybrid network. The immed...