1513 search results - page 73 / 303 » Fibonacci Correction Networks |
153
click to vote
FUIN
2007
15 years 4 months ago
2007
In this paper we show a novel method for modelling behaviours of security protocols using networks of communicating automata in order to verify them with SAT-based bounded model ch...
151
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— For a coexisting and collaborative society that incorporates humans and robots, the detection, tracking, and recognition of human motion are indispensable techniques for a robo...
112
click to vote
TCOM
2011
14 years 11 months ago
2011
—We propose a network-coding based scheme to protect multiple bidirectional unicast connections against adversarial errors and failures in a network. The end nodes of the bidirec...
139
click to vote
MOBIHOC
2009
ACM
16 years 5 months ago
2009
ACM
Location-free boundary recognition is crucial and critical for many fundamental network functionalities in wireless ad hoc and sensor networks. Previous designs, often coarse-grai...
137
Voted
RECOMB
2007
Springer
16 years 4 months ago
2007
Springer
With the increasing availability of experimental data on gene-gene and protein-protein interactions, modeling of gene regulatory networks has gained a special attention lately. To ...