Stem air$ (all stems)

118 papers:

CASE-2015-FariaHGL #robust

Extended high-gain observer for robust position control of a micro-gripper in air and vacuum (MGdF, YH, YLG, PL), pp. 1626–1631.

CASE-2015-YanLP #fault

A fault diagnosis method for HVAC Air Handling Units considering fault propagation (YY, PBL, KRP), pp. 961–966.

CHI-2015-0002FTO #multi

Investigating the Dexterity of Multi-Finger Input for Mid-Air Text Entry (SS, AMF, CT, AO), pp. 3643–3652.

CHI-2015-ObristSGLC

Emotions Mediated Through Mid-Air Haptics (MO, SS, EG, BL, TC), pp. 2053–2062.

DUXU-UI-2015-InoueYHS #design #interface #process

Applying Human Centered Design Process for Designing Air Traffic Control Interfaces (SI, KY, HH, TS), pp. 307–316.

HCI-IT-2015-HakodaKSST #bound #gesture #mobile #named #using

AirFlip: A Double Crossing In-Air Gesture Using Boundary Surfaces of Hover Zone for Mobile Devices (HH, TK, KS, BS, JT), pp. 44–53.

HIMI-IKC-2015-RobertsACC #communication #complexity

A Method for Calculating Air Traffic Controller Communication Complexity (ZR, BA, JC, DC), pp. 25–32.

HIMI-IKC-2015-UeokaK #interactive #using

Fortune Air: An Interactive Fortune Telling System Using Vortex Air Cannon (RU, NK), pp. 646–656.

KDD-2015-HsiehLZ #big data #quality #recommendation

Inferring Air Quality for Station Location Recommendation Based on Urban Big Data (HPH, SDL, YZ), pp. 437–446.

KDD-2015-ZhengYLLSCL #big data #fine-grained #quality

Forecasting Fine-Grained Air Quality Based on Big Data (YZ, XY, ML, RL, ZS, EC, TL), pp. 2267–2276.

ASPLOS-2015-GoiriNB #for free #named

CoolAir: Temperature- and Variation-Aware Management for Free-Cooled Datacenters (IG, TDN, RB), pp. 253–265.

CAV-2015-BozzanoCPJKPRT #analysis #design #safety

Formal Design and Safety Analysis of AIR6110 Wheel Brake System (MB, AC, AFP, DJ, GK, TP, RR, ST), pp. 518–535.

CASE-2014-LaiTCL #energy #industrial #monitoring #performance

Non-Intrusive Load Monitoring applied in energy efficiency of the smart manufacturing industry: A case of air-conditioner (YHL, IJT, CYC, CFL), pp. 1127–1132.

CASE-2014-YanLP #dependence #fault #framework #integration #matrix

Fault diagnosis framework for Air Handling Units based on the integration of Dependency matrices and PCA (YY, PBL, KRP), pp. 1103–1108.

HT-2014-TursiDR #artificial reality #named

AIRCacher: virtual geocaching powered with augmented reality (GT, MD, GR), pp. 330–332.

CHI-2014-HachisuF #feedback #interactive #interface #named #using

VacuumTouch: attractive force feedback interface for haptic interactive surface using air suction (TH, MF), pp. 411–420.

CHI-2014-Hincapie-RamosGMI #interactive #metric

Consumed endurance: a metric to quantify arm fatigue of mid-air interactions (JDHR, XG, PM, PI), pp. 1063–1072.

CHI-2014-MarkussenJH #named

Vulture: a mid-air word-gesture keyboard (AM, MRJ, KH), pp. 1073–1082.

CHI-2014-MullerGDS #interactive

The boomRoom: mid-air direct interaction with virtual sound sources (JM, MG, CD, SS), pp. 247–256.

CHI-2014-SeahPBKOKCS #named #smell

SensaBubble: a chrono-sensory mid-air display of sight and smell (SAS, DMP, PDB, AK, VSO, JK, AC, SS), pp. 2863–2872.

DUXU-ELAS-2014-DesouzartFMM #behaviour #interactive

Human-Bed Interaction: A Methodology and Tool to Measure Postural Behavior during Sleep of the Air Force Military (GD, EF, FM, RM), pp. 662–674.

HCI-AIMT-2014-VaidyanathanR #case study #comparative #gesture #interactive #using

“Will Use It, Because I Want to Look Cool” A Comparative Study of Simple Computer Interactions Using Touchscreen and In-Air Hand Gestures (VV, DR), pp. 170–181.

HIMI-DE-2014-EideOK #assessment

A Post-simulation Assessment Tool for Training of Air Traffic Controllers (AWE, SSØ, AK), pp. 34–43.

KDD-2014-RadosavljevikP #interface #modelling #predict #scalability

Large scale predictive modeling for micro-simulation of 3G air interface load (DR, PvdP), pp. 1620–1629.

CASE-2013-HuMW #automation #energy

Energy-efficient dispatching solution in an automated air cargo terminal (WH, JM, KW), pp. 144–149.

CASE-2013-LiuLXB

Cooperative control of air flow for HVAC systems (SL, YL, LX, AMB), pp. 422–427.

CHI-2013-KimPM #metric #named #quality #visualisation

inAir: a longitudinal study of indoor air quality measurements and visualizations (SK, EP, JM), pp. 2745–2754.

CHI-2013-LetondalHLVC #design

Flights in my hands: coherence concerns in designing strip’tic, a tangible space for air traffic controllers (CL, CH, RL, JLV, SC), pp. 2175–2184.

CHI-2013-WalterBM #gesture #named

StrikeAPose: revealing mid-air gestures on public displays (RW, GB, JM), pp. 841–850.

DHM-SET-2013-GoreM #approach #modelling #performance #validation

A Validation Approach for Complex NextGen Air Traffic Control Human Performance Models (BFG, PM), pp. 28–37.

DUXU-NTE-2013-MartinsMS #design #multi #paradigm

Breaking Technological Paradigms — Sustainable Design in Air Transport Multi-mission (ETM, ITM, MMS), pp. 160–168.

HCI-IMT-2013-CruciolW #interactive

AHPM as a Proposal to Improve Interaction with Air Traffic Controllers (LLBVC, LW), pp. 648–657.

HCI-IMT-2013-SchwallerBL #gesture #human-computer

Two Handed Mid-Air Gestural HCI: Point + Command (MS, SB, DL), pp. 388–397.

HIMI-D-2013-KotaniKSA #analysis #development #memory management #using

Analysis of Spatiotemporal Memory Using Air-Jets as Tactile Stimuli for Development of Noncontact Tactile Displays (KK, NK, SS, TA), pp. 620–627.

HIMI-HSM-2013-BattisteCMSVCS #automation #student #tool support

The Effects of Early Training with Automation Tools on the Air Traffic Management Strategies of Student ATCos (HB, WC, TM, KS, KPLV, DC, TZS), pp. 13–21.

HIMI-HSM-2013-HighamVMSB #automation #trust

Training Air Traffic Controller Trust in Automation within a NextGen Environment (TMH, KPLV, JM, TZS, VB), pp. 76–84.

HIMI-HSM-2013-NgoVGS #visual notation

A Visual Discrimination Task for Symbols in Air Traffic Management (MKN, KPLV, TG, TZS), pp. 540–547.

HIMI-HSM-2013-OhneiserG #interactive #migration

Migration Tolerant Human Computer Interaction for Air Traffic Controllers (OO, HG), pp. 143–152.

HIMI-HSM-2013-ZiccardiRORMBSCVS

Measuring UAS Pilot Responses to Common Air Traffic Clearances (JZ, ZR, RO, RCR, GM, VB, TZS, DC, KPLV, JS), pp. 606–612.

KDD-2013-ZhengLH #big data #named #quality

U-Air: when urban air quality inference meets big data (YZ, FL, HPH), pp. 1436–1444.

ESEC-FSE-2013-DuboisBWH #middleware #mobile #named #peer-to-peer #resource management

ShAir: extensible middleware for mobile peer-to-peer resource sharing (DJD, YB, KW, HH), pp. 687–690.

ASPLOS-2013-ZhangKLLS #concurrent #debugging #execution #named #thread

ConAir: featherweight concurrency bug recovery via single-threaded idempotent execution (WZ, MdK, AL, SL, KS), pp. 113–126.

CASE-2012-DelettreLFV #3d #modelling

3-DOF potential air flow manipulation by inverse modeling control (AD, GJL, NLFP, CV), pp. 930–935.

CASE-2012-LiuS #injection #modelling #validation

Modeling and experimental validation of air-fuel ratio under individual cylinder fuel injection for port-injection engines (YL, TS), pp. 256–260.

DATE-2012-HamoudaAK #automation #image #modelling #novel

AIR (Aerial Image Retargeting): A novel technique for in-fab automatic model-based retargeting-for-yield (AYH, MA, KSK), pp. 1603–1608.

CHI-2012-MoellerK #architecture #interactive #multi #named

ZeroTouch: an optical multi-touch and free-air interaction architecture (JM, AK), pp. 2165–2174.

CHI-2012-SongGHFL #interactive

A handle bar metaphor for virtual object manipulation with mid-air interaction (PS, WBG, WH, CWF, XL), pp. 1297–1306.

ECSA-2011-LulliMPR #resource management

Resource Management in the Air Traffic Domain (GL, RM, PP, CR), pp. 97–104.

SIGMOD-2011-EsmailiSFT #query

Changing flights in mid-air: a model for safely modifying continuous queries (KSE, TS, PMF, NT), pp. 613–624.

CHI-2011-JunuzovicIHZTB #bibliography #multimodal #using #what

What did i miss?: in-meeting review using multimodal accelerated instant replay (air) conferencing (SJ, KI, RH, ZZ, JCT, CB), pp. 513–522.

CHI-2011-KuznetsovDCP #authoring #pipes and filters #quality

Ceci n’est pas une pipe bombe: authoring urban landscapes with air quality sensors (SK, GND, JCC, EP), pp. 2375–2384.

CHI-2011-McLoughlinC #assembly #design

Design interventions for open-air museums: applying and extending the principles of “assembly” (MM, LC), pp. 553–556.

CHI-2011-NancelWPCM

Mid-air pan-and-zoom on wall-sized displays (MN, JW, EP, OC, WEM), pp. 177–186.

CHI-2011-NiBN #gesture #interface #named

AirStroke: bringing unistroke text entry to freehand gesture interfaces (TN, DAB, CN), pp. 2473–2476.

CSCW-2011-ConversyGCVDO #collaboration

Supporting air traffic control collaboration with a TableTop system (SC, HGB, SC, SV, CD, CO), pp. 425–434.

DUXU-v2-2011-MatsumotoINI #biology

An Air Conditioning Control Method Based on Biological Fluctuation (HM, YI, YN, HI), pp. 608–615.

HCD-2011-BosBH #towards

Towards a Paperless Air Traffic Control Tower (TB, MSvB, HH), pp. 360–368.

HCI-DDA-2011-InoueAN #analysis #modelling

Cognitive Analysis for Knowledge Modeling in Air Traffic Control Work (SI, HA, KN), pp. 341–350.

HIMI-v2-2011-KrautKBMSCV #effectiveness

Effects of Data Communications Failure on Air Traffic Controller Sector Management Effectiveness, Situation Awareness, and Workload (JMK, AK, SB, CAM, TZS, DC, KPLV), pp. 493–499.

HIMI-v2-2011-Rebello #approach

Macroergonomics in Air Traffic Control — The Approach of a New System (LHBR), pp. 516–525.

ICEIS-v4-2011-ZhangZ11a #algorithm #contest #game studies #performance

Model and Algorithm of Competition Between High-speed Railway and Air Transport — Game Theory Based (JZ, PZ), pp. 563–568.

SAC-2011-RamosCAA #case study #modelling #process #towards

Towards the improvement of use case models: the AIRDoc process (RAR, JBdC, JA, FMRA), pp. 708–709.

CASE-2010-WangBHMFS

Integrated management of cooling resources in air-cooled data centers (ZW, CB, CH, AAM, CJF, RS), pp. 762–767.

VLDB-2010-KellarisM

Shortest Path Computation on Air Indexes (GK, KM), pp. 747–757.

CHI-2010-KimP #metric #named #quality #visualisation

InAir: sharing indoor air quality measurements and visualizations (SK, EP), pp. 1861–1870.

ICEIS-AIDSS-2010-ToscaniBQAG #evaluation #health #integration

A Software System for Data Integration and Decision Support for Evaluation of Air Pollution Health Impact (DT, FB, LQ, FA, IG), pp. 284–290.

LOPSTR-2010-SchumannCL #analysis #synthesis

Analysis of Air Traffic Track Data with the AutoBayes Synthesis System (JS, KC, AL), pp. 21–36.

RE-2010-LockerbieBMBE #analysis #concept #modelling #simulation #using

Using i* Modelling as a Bridge between Air Traffic Management Operational Concepts and Agent-based Simulation Analysis (JL, DB, NAMM, HAPB, MHCE), pp. 351–356.

SAC-2010-HedgecockVLKAST #mobile #monitoring #network

Mobile air pollution monitoring network (WH, PV, ÁL, XDK, AA, ASS, AT), pp. 795–796.

CASE-2009-SenguptaDBMD #detection #fault #modelling #using

Fault detection of Air Intake Systems of SI gasoline engines using mean value and within cycle models (SS, SD, AKB, SM, AKD), pp. 361–366.

HCI-NIMT-2009-AsaoHHKH #case study #information management

A Study on Fundamental Information Transmission Characteristics of an Air-Jet Driven Tactile Display (TA, HH, MH, KK, KH), pp. 397–406.

HCI-VAD-2009-SuLHC #learning #mobile

Developing a Usable Mobile Flight Case Learning System in Air Traffic Control Miscommunications (KWS, KYL, PHH, ITC), pp. 770–777.

HIMI-II-2009-DwyerL #assurance #concept #generative

Separation Assurance and Collision Avoidance Concepts for the Next Generation Air Transportation System (JPD, SJL), pp. 748–757.

HIMI-II-2009-FurutaSKAKT #analysis #collaboration #communication

Analysis of Team Communication and Collaboration in En-Route Air Traffic Control (KF, YS, TK, HA, DK, MT), pp. 758–765.

HIMI-II-2009-StrybelMNPV #online #optimisation

Optimizing Online Situation Awareness Probes in Air Traffic Management Tasks (TZS, KM, JHN, RP, KPLV), pp. 845–854.

HIMI-II-2009-VuMNKRBS #performance #student

Situation Awareness and Performance of Student versus Experienced Air Traffic Controllers (KPLV, KM, JHN, JMK, HR, VB, TZS), pp. 865–874.

OCSC-2009-IshiiOW #named

Ghatcha: GHost Avatar on a Telework CHAir (YI, KO, TW), pp. 216–225.

SAC-2009-ChengS #modelling #nondeterminism #quality

Uncertainty apportionment for air quality forecast models (HC, AS), pp. 956–960.

CASE-2008-WitrantJ #mining #modelling

Air flow modeling in deepwells: Application to mining ventilation (EW, KHJ), pp. 845–850.

DAC-2008-PuriVEWFYK #problem #question

Keeping hot chips cool: are IC thermal problems hot air? (RP, DV, DE, AJW, PDF, AY, SVK), pp. 634–635.

CHI-2008-KimKLNL #feedback

Inflatable mouse: volume-adjustable mouse with air-pressure-sensitive input and haptic feedback (SK, HK, BL, TJN, WL), pp. 211–224.

ICEIS-AIDSS-2008-SharpanskykhSB #analysis #modelling #safety

Organizational Modeling and Analysis of Safety Occurrence Reporting in Air Traffic (AS, SHS, HAPB), pp. 225–230.

SEKE-2008-SouzaWCC

Flow Balancing Model for Air Traffc Flow Management (BBdS, LW, AMFC, VRRC), pp. 417–421.

HCI-AS-2007-Xing #complexity

Information Complexity in Air Traffic Control Displays (JX), pp. 797–806.

RE-2007-MaidenLRJB #modelling #using

Using Satisfaction Arguments to Enhance i* Modelling of an Air Traffic Management System (NAMM, JL, DR, SJ, DB), pp. 49–52.

ICSE-2007-MaidenNR #case study #experience #requirements

Can Requirements Be Creative? Experiences with an Enhanced Air Space Management System (NAMM, CN, SR), pp. 632–641.

CASE-2006-HuangLYZ #fuzzy #predict

Fuzzy Model Predictive Control for a Comfort Air-Conditioning System (YH, NL, YY, JZ), pp. 530–533.

SIGAda-2006-Klein #ada

Use of Ada in Lockheed Martin for air traffic management and beyond (JK), p. 1.

ASE-2005-Betin-CanBLLT #concurrent #design #verification

Application of design for verification with concurrency controllers to air traffic control software (ABC, TB, ML, BL, ST), pp. 14–23.

CIKM-2005-TanLZLL #performance

Balancing performance and confidentiality in air index (QT, WCL, BZ, PL, DLL), pp. 800–807.

RE-2005-MaidenR #case study #experience #process #requirements

Integrating Creativity into Requirements Processes: Experiences with an Air Traffic Management System (NAMM, SR), pp. 105–116.

SAC-2005-JangSSH #comparison #identification

A comparison on information fusion methods for air target identification (DJ, SYS, CYS, CCH), pp. 45–46.

CAiSE-2004-MaidenJMGR #case study #modelling #requirements

Model-Driven Requirements Engineering: Synchronising Models in an Air Traffic Management Case Study (NAMM, SJ, SM, JG, LR), pp. 368–383.

SEKE-2004-WeigangCDM #distributed #grid #knowledge base #realtime #using

Distributed Knowledge Based System Using Grid Computing for Real Time Air Traffic Synchronization — ATFMGC (WL, DAC, MVPD, ACMAdM), pp. 396–401.

SAC-2004-BelwalSC #adaptation #modelling #quality

Adaptive resolution modeling of regional air quality (CB, AS, EMC), pp. 235–239.

SIGAda-2003-AllaertCW #linux #migration #scalability

European air traffic flow management: porting a large application to GNU/linux (GA, DC, PW), pp. 29–37.

ICSE-2003-WhittleSK #case study

From Scenarios to Code: An Air Traffic Control Case Study (JW, JS, RK), pp. 490–497.

SAC-2001-TranHJ #design #multi #physics

A generalized air-cache design for efficiently boradcasting on multiple physical channels (DAT, KAH, NJ), pp. 387–392.

CBSE-2000-Seacord #case study

Case Study: Global Combat Support System — Air Force (RCS), p. 2.

ICRE-2000-HorlA #communication #requirements #validation

Requirements Validation of a Voice Communication System Used in Air Traffic Control (JH, BKA), p. 190.

FM-v2-1999-HorlA #communication #specification

Formal Specification of a Voice Communication System Used in Air Traffic Control (JH, BKA), p. 1868.

HCI-CCAD-1999-RomahnP #design #evaluation #tool support

Design and evaluation of air traffic control support tools (SR, EAP), pp. 1261–1265.

HCI-EI-1999-MarcusAFG99a #design #interface #online #transaction

User-Interface Design for Online Transactions: Planet SABRE Air-Travel Booking (AM, JA, VF, EG), pp. 656–660.

CHI-1998-MackayFFM #artificial reality #design

Reinventing the Familiar: Exploring an Augmented Reality Design Space for Air Traffic Control (WEM, ALF, LF, LM), pp. 558–565.

HCI-SEC-1997-HainesDRH

Information Presentation and Control in a Modern Air Traffic Control Tower Simulator (RFH, SD, BR, SH), pp. 209–212.

HCI-SEC-1997-MorimotoKHKI #design #evaluation #usability

Design and Usability Evaluation of a Novice User-Oriented Control Panel for Lighting and Air Conditioning (KM, TK, MH, NK, MI), pp. 617–620.

CHI-1996-ChattyL

Pen Computing for Air Traffic Control (SC, PL), pp. 87–94.

TRI-Ada-1996-HamiltonC #ada #education

Ada Training and Education in the US Army and US Air Force (JAHJ, DAC), pp. 151–155.

AdaEurope-1995-AlapideCCQ #ada

Applying Teamwork/Ada and RAISE for Developing an Air Traffic Control Application (AA, SC, MC, SQ), pp. 331–343.

SIGMOD-1994-ImielinskiVB #energy #performance

Energy Efficient Indexing on Air (TI, SV, BRB), pp. 25–36.

HCI-ACS-1993-Harendt #design

Dual Design of Computer-Based Air Traffic Control Systems — Examples from European Sir Traffic (BH), pp. 398–403.

HCI-ACS-1993-Hopkin #automation

Human Factors Implications of Air Traffic Control Automation (VDH), pp. 145–150.

AdaEurope-1993-PierceMG #design #object-oriented

Object-Oriented Design of an Air-Defence Simulator (RHP, IM, SJG), pp. 114–124.

CSCW-1992-BentleyHRRSSS #design

Ethnographically-Informed Systems Design for Air Traffic Control (RB, JAH, DR, TR, PS, DS, IS), pp. 123–129.

SIGIR-1988-BiebricherFLSK #automation #research

The Automatic Indexing System AIR/PHYS — From Research to Application (PB, NF, GL, MS, GK), pp. 333–342.

SIGIR-1984-FuhrK #automation #evaluation #retrieval #rule-based

Retrieval Test Evaluation of a Rule Based Automatic Index (AIR/PHYS) (NF, GK), pp. 391–408.

Ada-1983-Briggs #ada #compilation #design

The Design of AIR and its Application to Ada Separate Compilation (JSB), pp. 60–75.

SOSP-1973-Walther #multi

Multiprocessor Self Diagnosis, Surgery, and Recovery in Air Traffic Control (WW), pp. 38–44.