8828 search results - page 1567 / 1766 » Formal methods in practice |
169
click to vote
HCI
2009
15 years 2 months ago
2009
Real-time, static and dynamic hand gesture learning and recognition makes it possible to have computers recognize hand gestures naturally. This creates endless possibilities in the...
169
click to vote
ICB
2009
Springer
15 years 2 months ago
2009
Springer
Biometric authentication over public networks leads to a variety of privacy issues that needs to be addressed before it can become popular. The primary concerns are that the biomet...
124
click to vote
ICITS
2009
15 years 2 months ago
2009
In this article, we discuss a naive method of randomness reduction for cryptographic schemes, which replaces the required perfect randomness with output distribution of a computat...
109
click to vote
ICONIP
2009
15 years 2 months ago
2009
Formation Micro Imager (FMI) can directly reflect changes of wall stratum and rock structures. It is also an important method to divide stratum and identify lithology. However, peo...
106
click to vote
ICRA
2009
IEEE
15 years 2 months ago
2009
IEEE
To improve on current methods of minimally invasive surgery, research is being carried out on systems that will permit procedures to be conducted on the micro-scale using remotely ...