6978 search results - page 1247 / 1396 » On Proofs in System P |
HPCS
2005
IEEE
14 years 2 months ago
2005
IEEE
The widespread use of Grid technology and distributed compute power, with all its inherent benefits, will only be established if the use of that technology can be guaranteed effic...
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
Behavioral indicators of deception and behavioral state are extremely difficult for humans to analyze. This research effort attempts to leverage automated systems to augment human...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
- Polychaete annelid worms provide a biological paradigm of versatile locomotion and effective motion control, adaptable to a large variety of unstructured environmental conditions...
ISCAS
2005
IEEE
14 years 2 months ago
2005
IEEE
—This paper describes a new low-power, area and pin efficient alternative to differential encoding for high performance chip-to-chip and backplane signaling. The technique, calle...
ITCC
2005
IEEE
14 years 2 months ago
2005
IEEE
Elliptic Curve Cryptosystems (ECC) have become popular in recent years due to their smaller key sizes than traditional public key schemes such as RSA. However the gap between the ...