Sciweavers

1733 search results - page 113 / 347
» There is more to context than location
Sort
View
CSFW
2009
IEEE
16 years 1 months ago
Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
Patrick Schaller, Benedikt Schmidt, David A. Basin...
WOWMOM
2009
ACM
147views Multimedia» more  WOWMOM 2009»
16 years 26 days ago
Routing with transmission buffer zones in MANETs
Dealing with link breaks in MANETs is a challenge for the routing protocol. This paper proposes a mechanism to reduce the negative impact of link breaks on the routing. The transm...
Erlend Larsen, Lars Landmark, Vinh Pham, Øi...
ICASSP
2008
IEEE
16 years 24 days ago
Second-order near-field localization with automatic paring operation
Most exiting array signal processing techniques for bearing estimation are strongly relied on the far-field assumption. When the sources are located close to the array, these tec...
Rémy Boyer, José Picheral
ICMCS
2008
IEEE
122views Multimedia» more  ICMCS 2008»
16 years 24 days ago
Spatial-temporal attention analysis for home video
In this paper, by considering the multiple spatial-temporal characteristic of visual perception system, we propose a novel home video attention analysis method. Firstly, each fram...
Xuekan Qiu, Shuqiang Jiang, Huiying Liu, Qingming ...
ICRA
2008
IEEE
141views Robotics» more  ICRA 2008»
16 years 24 days ago
Tracking interacting targets with laser scanner via on-line supervised learning
— Successful multi-target tracking requires locating the targets and labeling their identities. For the laser based tracking system, the latter becomes significantly more challen...
Xuan Song, Jinshi Cui, Xulei Wang, Huijing Zhao, H...