497 search results - page 90 / 100 » On combinations of local theory extensions |
113
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
Coordination within decentralized agent groups frequently requires reaching global consensus, but typical hierarchical approaches to reaching such decisions can be complex, slow, ...
158
Voted
PAMI
2007
15 years 1 months ago
2007
—This paper presents a novel method for 3D surface reconstruction that uses polarization and shading information from two views. The method relies on the polarization data acquir...
123
Voted
MOBIHOC
2010
ACM
14 years 11 months ago
2010
ACM
Barrier coverage is a critical issue in wireless sensor networks for various battlefield and homeland security applications. The goal is to effectively detect intruders that attem...
129
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...
219
click to vote
TDSC
2011
14 years 8 months ago
2011
—In this paper, we study leader election in the presence of selfish nodes for intrusion detection in mobile ad hoc networks (MANETs). To balance the resource consumption among a...