39 papers:
- CASE-2015-LinZW #predict #realtime #using
- Using real-time sensing data for predicting future state of building fires (CCL, GZ, LLW), pp. 1313–1318.
- ICEIS-v1-2015-BedoBOCCRTT #detection #effectiveness #image #performance #social #social media
- Techniques for Effective and Efficient Fire Detection from Social Media Images (MVNB, GB, WDO, MTC, AFC, JFRJ, AJMT, CTJ), pp. 34–45.
- ICEIS-v2-2015-SarsharNR #case study #comparison #smarttech
- A Study on the Usage of Smartphone Apps in Fire Scenarios — Comparison between GDACSmobile and SmartRescue Apps (PS, VN, JR), pp. 469–474.
- KDD-2015-YuanBM #process #re-engineering #using
- Gas Concentration Reconstruction for Coal-Fired Boilers Using Gaussian Process (CY, MB, BM), pp. 2247–2256.
- CASE-2014-GaoLWA #monitoring #petri net #problem #sequence #using
- A monitor solution to enforce legal transition firing sequences problems by using Petri nets (XG, ZL, AW, AMAA), pp. 419–424.
- FM-2014-ArenisWDMA #consistency #industrial #standard #verification
- The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification (SFA, BW, DD, MM, ASA), pp. 658–672.
- CHI-2014-HughesDPA #online
- Online public communications by police & fire services during the 2012 Hurricane Sandy (ALH, LAASD, LP, KMA), pp. 1505–1514.
- DHM-SET-2013-OkimotoPOM #usability
- Usability of Portable Fire Extinguisher: Perspectives of Ergonomics and Intuitive Use (MLLRO, MP, STdO, VM), pp. 355–364.
- CASE-2011-GaoLZZWQ
- Fire evacuation model with confidence intervals (YG, PBL, QZ, HZ, NW, LQ), pp. 731–736.
- HT-2011-Rowberry #hypermedia #question
- Vladimir Nabokov’s pale fire: the lost “father of all hypertext demos”? (SR), pp. 319–324.
- AFL-2011-Umeo #2d #algorithm #automaton #implementation
- Recent Developments in Firing Squad Synchronization Algorithms for Two-Dimensional Cellular Automata and Their State-Efficient Implementations (HU), pp. 368–387.
- CHI-2011-ToupsKHS #coordination #learning #simulation
- Zero-fidelity simulation of fire emergency response: improving team coordination learning (ZOT, AK, WAH, NS), pp. 1959–1968.
- ICSE-2011-MatthijssenZ #ajax #comprehension #detection #interactive #named
- FireDetective: understanding ajax client/server interactions (NM, AZ), pp. 998–1000.
- ICPR-2010-HamKN #automation #detection #finite #fuzzy
- Fire-Flame Detection Based on Fuzzy Finite Automation (SH, BK, JYN), pp. 3919–3922.
- CIAA-2009-CleophasH #algorithm #automaton #tool support
- Forest FIRE: A Taxonomy-based Toolkit of Tree Automata and Regular Tree Algorithms (LGC, KH), pp. 245–248.
- DHM-2009-BoschHHD
- Intelligent Agents for Training On-Board Fire Fighting (KvdB, MH, AH, WAvD), pp. 463–472.
- HCI-AUII-2009-QuSPW #case study #information retrieval
- A Study of Information Retrieval of En Route Display of Fire Information on PDA (WQ, XS, TP, LW), pp. 86–94.
- HCI-AUII-2009-SunQPW #case study #detection
- A Study of Fire Information Detection on PDA Device (XS, WQ, TP, LW), pp. 105–113.
- GT-VMT-2008-BiermannM #analysis #configuration management #independence #rule-based
- Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets (EB, TM).
- SIGIR-2008-MajumderMPBMMSP
- Text collections for FIRE (PM, MM, DP, AB, SM, SM, AS, SP), pp. 699–700.
- CHI-2007-ToupsK #coordination #design #education
- Implicit coordination in firefighting practice: design implications for teaching fire emergency responders (ZOT, AK), pp. 707–716.
- HIMI-IIE-2007-KochHLP #agile #mobile #precise
- Rapid and Precise Mobile Data Processing for Fire Brigades and Rescue Services (SAFeR/GÜTER/SHARE) (RK, RH, BSL, JP), pp. 1050–1059.
- CIAA-2004-FrishertCW #automaton #finite #regular expression
- FIRE Station: An Environment for Manipulating Finite Automata and Regular Expression Views (MF, LGC, BWW), pp. 125–133.
- DLT-2004-GruskaTP #array #communication #problem
- Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings (JG, SLT, MP), pp. 200–211.
- ICEIS-v1-2004-YagueAGLS
- Web-Based Training System For Forest Fire Office Staff (AY, PPA, JG, AL, GS), pp. 184–191.
- ICPR-v4-2004-LiuA #detection
- Vision Based Fire Detection (CBL, NA), pp. 134–137.
- DATE-2003-FazelTR #design #logic #named #visualisation
- PLFire: A Visualization Tool for Asynchronous Phased Logic Designs (KF, MAT, RBR), pp. 11096–11097.
- AGTIVE-2003-HaaseMBG03a #architecture #integration #named #refinement
- Fire3: Architecture Refinement for A-posteriori Integration (TH, OM, BB, FHG), pp. 461–467.
- CAiSE-2000-Tsichritzis #named
- BIO/COM: Mixing Water with Fire (DT), pp. 1–6.
- HCI-CCAD-1999-KoisoFN #coordination #interface #visual notation
- Proposal of visual interfaces to coordinate decision making in hierarchical structures and their application to fire systems (TK, TF, SN), pp. 367–371.
- HPCA-1999-HagerstenK #named #scalability
- WildFire: A Scalable Path for SMPs (EH, MK), pp. 172–181.
- DAC-1997-JangQKP #case study #verification
- Formal Verification of FIRE: A Case Study (JYJ, SQ, MK, CP), pp. 173–177.
- WIA-1996-Watson #c++
- FIRE Lite: FAs and REs in C++ (BWW), pp. 167–188.
- SAC-1996-LeeHHC #case study #how #implementation #performance #problem #process #set
- Efficient implementations of two variant subset sum problems: a case study of how to process appraisal books resulting from fire-destroyed money (PL, FYH, CYH, HTC), pp. 230–237.
- JICSLP-1996-BurgardCFKL #detection #logic programming #tool support
- Logic Programming Tools Applied to Fire Detection in Hard-coal Mines (Poster Abstract) (WB, ABC, DF, AMK, SLK), p. 532.
- SEKE-1994-PachetP
- Rule firing with metarules (FP, JFP), pp. 322–329.
- SAC-1994-HoskinsHH #behaviour #interactive #multi
- An interactive multimedia system for fire behavior training (JAH, WDH, KGH), pp. 379–382.
- STOC-1985-CoanDDS #distributed #problem
- The Distributed Firing Squad Problem (Preliminary Version) (BAC, DD, CD, LJS), pp. 335–345.
- ICSE-1976-PollockM #development #re-engineering
- Software Engineering in the Development of the TRIDENT Fire Control System (RMP, WLM), pp. 363–369.