Back to Results
First PageMeta Content
Applied mathematics / Mealy machine / Dynamical system / State space / Moore machine / Finite-state machine / Computational complexity theory / Combinatory logic / Function / Models of computation / Mathematics / Theoretical computer science


1 On the Use of Q2 Abstractions to Lower the Computational Cost of Derivation of Conflict Resolution Advisories in Air Traffic Control Mei Li and and Mieczyslaw M. Kokar, Senior Member, IEEE
Add to Reading List

Document Date: 2012-02-23 16:34:44


Open Document

File Size: 1,34 MB

Share Result on Facebook

City

Waltham / /

Company

ARCON Corporation / /

/

Facility

Norhteastern University / /

IndustryTerm

continuous time systems / exhaustive search algorithm / determination algorithm / quantitative algorithms / computing / search space / exhaustive search / quantitative algorithm / dynamical systems / coarse solution / found solutions / search algorithms / /

Organization

Norhteastern University / Boston / Department of Electrical and Computer Engineering / US Federal Reserve / /

Position

physicist / representative / /

ProvinceOrState

Massachusetts / /

Technology

B. Computed Maneuvers Both algorithms / av / constant 6 C. Multi-step Partitioning Algorithm / simulation / exhaustive search algorithm / Q2 algorithm / RA determination algorithm / search algorithms / quantitative algorithm / /

SocialTag