8825 search results - page 71 / 1765 » All for one or one for all |
111
click to vote
ICFEM
2009
Springer
15 years 7 months ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...
100
click to vote
ECML
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We study the problem of learning from positive and unlabeled examples. Although several techniques exist for dealing with this problem, they all assume that positive exam...
106
click to vote
ICISC
2008
15 years 2 months ago
2008
Relay attacks are one of the most challenging threats RFID will have to face in the close future. They consist in making the verifier believe that the prover is in its close vicini...
JGT
2007
15 years 1 months ago
2007
We are interested in the relation between the pathwidth of a biconnected outerplanar graph and the pathwidth of its (geometric) dual. Bodlaender and Fomin [3], after having proved...
105
click to vote
ARC
2008
Springer
15 years 3 months ago
2008
Springer
Reconfigurable architectures enable the hardware function to be implemented by the user and, due to its characteristics, have been used in many areas, including Bioinformatics. One...