Sciweavers

224 search results - page 17 / 45
» A Stochastic Model of Airline Operations
Sort
View
ICPP
2009
IEEE
13 years 5 months ago
Stochastic-Based Robust Dynamic Resource Allocation in a Heterogeneous Computing System
Abstract--This research investigates the problem of robust dynamic resource allocation for heterogeneous distributed computing systems operating under imposed constraints. Often, s...
Jay Smith, Edwin K. P. Chong, Anthony A. Maciejews...
CLEAR
2007
Springer
164views Biometrics» more  CLEAR 2007»
14 years 1 months ago
The AIT 2D Face Detection and Tracking System for CLEAR 2007
This paper describes the AIT system for 2D face tracking and the results obtained in the CLEAR 2007 evaluations. The system is based on the complementary operation of a set of face...
Andreas Stergiou, Ghassan Karame, Aristodemos Pnev...
ANOR
2004
170views more  ANOR 2004»
13 years 7 months ago
Graph Coloring for Air Traffic Flow Management
The aim of Air Traffic Flow Management (ATFM) is to enhance the capacity of the airspace while satisfying Air Traffic Control constraints and airlines requests to optimize their o...
Nicolas Barnier, Pascal Brisset
TACAS
2004
Springer
132views Algorithms» more  TACAS 2004»
14 years 26 days ago
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
Håkan L. S. Younes, Marta Z. Kwiatkowska, Ge...
TACAS
2004
Springer
108views Algorithms» more  TACAS 2004»
14 years 26 days ago
Model Checking Discounted Temporal Properties
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
Luca de Alfaro, Marco Faella, Thomas A. Henzinger,...