1573 search results - page 25 / 315 » Signs and Formal Concepts |
ICDE
2005
IEEE
14 years 1 months ago
2005
IEEE
We propose a novel approach for recognizing hand gestures by analyzing the data streams generated by the sensors attached to the human hands. We utilize the concept of ‘range of...
IAJIT
2010
13 years 6 months ago
2010
: The growth of technological innovations, internet developments, and their (web) applications has raised a definite issue on retaining the web interface quite understandable. More...
MMMACNS
2001
Springer
14 years 4 days ago
2001
Springer
The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidatio...
IANDC
2008
13 years 7 months ago
2008
A multi-party contract signing protocol allows a set of participants to exchange messages with each other with a view to arriving in a state in which each of them has a pre-agreed...
CIE
2006
Springer
13 years 11 months ago
2006
Springer
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...