2542 search results - page 109 / 509 » One step ahead |
BMCBI
2007
13 years 9 months ago
2007
Considering that 80 genomes have been sequenced, providing us with the static information of the genome, it is still a long way to reveal the relationship between complex genotype...
TCS
2008
13 years 9 months ago
2008
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
ENTCS
2000
13 years 9 months ago
2000
In this paper we consider two descriptions in Maude of the leader election protocol from the IEEE 1394 serial multimedia bus. Particularly, the time aspects of the protocol are st...
IGPL
1998
13 years 9 months ago
1998
One of the ways to model contraction functions for belief sets is epistemic entrenchment. The first step was provided by G¨ardenfors in [5], who defined epistemic entrenchment ...
ICB
2009
Springer
13 years 7 months ago
2009
Springer
We present in this communication a new biometric system based on the use of hand veins acquired by an infrared imager. After the preprocessing stage and binarization, the vein imag...