2850 search results - page 492 / 570 » On Timed Models and Full Abstraction |
ICRA
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstractā Collision detection and estimation from a monocular visual sensor is an important enabling technology for safe navigation of small or micro air vehicles in near earth ļ...
INFOCOM
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstractā Although direct reciprocity (Tit-for-Tat) contribution systems have been successful in reducing freeloading in peerto-peer overlays, it has been shown that, unless the ...
ACCV
2009
Springer
14 years 5 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...
ADBIS
2009
Springer
14 years 5 months ago
2009
Springer
The inefļ¬ciency of integration processesāas an abstraction of workļ¬ow-based integration tasksāis often reasoned by low resource utilization and signiļ¬cant waiting times f...
CANS
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We consider generic Garbled Circuit (GC)-based techniques for Secure Function Evaluation (SFE) in the semi-honest model. We describe eļ¬cient GC constructions for additi...