21430 search results - page 3773 / 4286 » Abstract Effective Models |
179
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
Pointer programs are a model of structured computation within logspace. They capture the common description of logspace algorithms as programs that take as input some structured d...
154
click to vote
ACCV
2009
Springer
16 years 1 months 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...
160
click to vote
ACNS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We examine the problem of message recognition by reviewing the definitions and the security model in the literature. In particular, we examine the Jane Doe protocol, whi...
176
click to vote
ADBIS
2009
Springer
16 years 1 months ago
2009
Springer
The inefficiency of integration processes—as an abstraction of workflow-based integration tasks—is often reasoned by low resource utilization and significant waiting times f...
187
click to vote
ADHOCNETS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Existing localization techniques such as GPS have fundamental limitations which preclude deployment in urban canyons or areas with inconsistent network availability. Augm...