2737 search results - page 446 / 548 » interaction 2009 |
155
click to vote
TPHOL
2009
IEEE
16 years 6 days ago
2009
IEEE
Psi-calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only data but also communication channels, assertions and conditions, givi...
184
click to vote
ACCV
2009
Springer
16 years 5 days ago
2009
Springer
Graph cuts based interactive segmentation has become very popular over the last decade. In standard graph cuts, the extraction of foreground object in a complex background often le...
128
click to vote
ACCV
2009
Springer
16 years 5 days ago
2009
Springer
Abstract. Analyzing the crowd dynamics from video sequences is an open challenge in computer vision. Under a high crowd density assumption, we characterize the dynamics of the crow...
167
click to vote
ACNS
2009
Springer
16 years 5 days ago
2009
Springer
Abstract. In the paper “Stronger Security of Authenticated Key Exchange” [1,2], a new security model for authenticated key exchange protocols (eCK) is proposed. The new model i...
188
click to vote
ADHOCNOW
2009
Springer
16 years 5 days ago
2009
Springer
Multi-Radio Multi-Channel (MRMC) systems are key to power control problems in WMNs. Previous studies have emphasized throughput maximization in such systems as the main design chal...