3086 search results - page 535 / 618 » Generalized Discriminant Analysis Using a Kernel Approach |
125
click to vote
STACS
2007
Springer
15 years 8 months ago
2007
Springer
One frequently studied problem in the context of information dissemination in communication networks is the broadcasting problem. In this paper, we study the following randomized b...
124
click to vote
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
119
Voted
GLOBECOM
2006
IEEE
15 years 8 months ago
2006
IEEE
—We propose a secure routing architecture for Mobile Ad hoc NETworks (MANETs) called ThroughpUt-Feedback (TUF) routing, which is resilient against a wide range of routing disrupt...
145
click to vote
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
101
click to vote
MOBICOM
2006
ACM
15 years 8 months ago
2006
ACM
RFID tags are being used in many diverse applications in increasingly large numbers. These capabilities of these tags span from very dumb passive tags to smart active tags, with t...