Sciweavers

1980 search results - page 344 / 396
» Compositional Model Checking of Real Time Systems
Sort
View
COMAD
2009
13 years 10 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»
13 years 6 months 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...
GLOBECOM
2009
IEEE
13 years 6 months 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...
HCI
2009
13 years 6 months 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...
ICUMT
2009
13 years 6 months 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