Sciweavers

3028 search results - page 376 / 606
» Integrating Temporal Logics
Sort
View
IJAHUC
2010
130views more  IJAHUC 2010»
15 years 5 months ago
Secure traffic data propagation in Vehicular Ad Hoc Networks
: In vehicular ad hoc network, vehicles can share traffic/emergency information. The information should not be modified/manipulated during transmission without detection. We pres...
Baber Aslam, Soyoung Park, Cliff Changchun Zou, Da...
RTS
2010
90views more  RTS 2010»
15 years 5 months ago
A timeband framework for modelling real-time systems
Abstract Complex real-time systems, must integrate physical processes with digital control, human operation and organizational structures. New scientific foundations are required ...
Alan Burns, Ian J. Hayes
SAB
2010
Springer
156views Optimization» more  SAB 2010»
15 years 5 months ago
Attentional Mechanisms for Lateral Line Sensing through Spectral Analysis
Abstract. For autonomy in underwater robotics it is essential to develop context-driven controllers, capable of leading from perception to action without human intervention. One of...
Otar Akanyeti, Maria-Camilla Fiazza, Paolo Fiorini
BMVC
2010
15 years 4 months ago
Active 3D Segmentation through Fixation of Previously Unseen Objects
We present an approach for active segmentation based on integration of several cues. It serves as a framework for generation of object hypotheses of previously unseen objects in n...
Mårten Björkman, Danica Kragic
ICIP
2010
IEEE
15 years 4 months ago
A cascaded hierarchical framework for moving object detection and tracking
In this paper we propose a cascaded hierarchical framework for object detection and tracking. We claim that, by integrating both detection and tracking into a unified framework, t...
Chingchun Huang, Sheng-Jyh Wang