Sciweavers

1980 search results - page 344 / 396
» Compositional Model Checking of Real Time Systems
Sort
View
138
Voted
COMAD
2009
15 years 3 months ago
A Simple and Efficient Lane Detection using Clustering and Weighted Regression
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...
Rudra N. Hota, Shahanaz Syed, Subhadip Bandyopadhy...
EDBT
2009
ACM
104views Database» more  EDBT 2009»
15 years 11 days ago
Fair, effective, efficient and differentiated scheduling in an enterprise data warehouse
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 ...
Chetan Gupta, Abhay Mehta, Song Wang, Umeshwar Day...
150
Voted
GLOBECOM
2009
IEEE
15 years 10 days ago
Power Allocation for Cooperative Diversity Networks with Inaccurate CSI: A Robust and Constrained Kalman Filter Approach
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...
Mohamad Khattar Awad, Veluppillai Mahinthan, Xuemi...
145
Voted
HCI
2009
15 years 10 days ago
Critical Interaction Analysis in the Flight Deck
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...
Chiara Santamaria Maurizio, Patrizia Marti, Simone...
130
Voted
ICUMT
2009
15 years 9 days ago
An efficient solution for max-min fair rate allocation in P2P simulation
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...
Anh Tuan Nguyen, Frank Eliassen