1992 search results - page 370 / 399 » Model Based Testing with Labelled Transition Systems |
SAC
2010
ACM
14 years 1 months ago
2010
ACM
Current methods of estimating air quality involve assigning a single value called the Air Quality Index (AQI) to a large land area for a 24-hour period based on a very few, sparse...
ICPR
2010
IEEE
13 years 10 months ago
2010
IEEE
The recognition and prediction of intersection situations and an accompanying threat assessment are an indispensable skill of future driver assistance systems. This study focuses o...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
The paper proposes decentralized deconfliction algorithms deployed on multiple autonomous aerial vehicles in freeflight operations. The paper provides two separate algorithms for ...
IPCV
2010
13 years 5 months ago
2010
- Conventional video games are controlled by players via physical game controllers. A new emerging trend for game control in recent years is to use intelligent sensor based interfa...
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
In the absence of real data for extensive testing of newly designed large-scale biometrics recognition systems a number of solutions are possible including use of resampling metho...