1980 search results - page 344 / 396 » Compositional Model Checking of Real Time Systems |
130
click to vote
COMAD
2009
15 years 2 months ago
2009
Developing a vision based, efficient and automatic lane detection system from a moving vehicle is a challenging task mainly due to poor quality of lane markings, occlusion created...
126
click to vote
EDBT
2009
ACM
14 years 11 months ago
2009
ACM
A typical online Business Intelligence (BI) workload consists of a combination of short, less intensive queries, along with long, resource intensive queries. As such, the longest ...
127
click to vote
GLOBECOM
2009
IEEE
14 years 11 months ago
2009
IEEE
In this paper, a novel Kalman filter-based power allocation scheme is developed for cooperative networks with inaccurate channel state information (CSI). The channel estimation err...
127
click to vote
HCI
2009
14 years 11 months ago
2009
The paper describes an experimental work conducted within the HILAS (Human Integration into the Lifecycle of Aviation Systemshttp://www.hilas.info/mambo/) project. The objective of...
118
click to vote
ICUMT
2009
14 years 11 months ago
2009
Abstract--With the rapid development of peer-to-peer networks, simulation is considered as a useful tool to demonstrate initial ideas before building prototypes with real network t...