28 papers:
HCI-DE-2015-IgaTAF #predict- Study of Uninterruptible Duration Prediction Based on PC Operation (HI, TT, KA, KF), pp. 350–359.
- DUXU-WM-2013-TsengLL
- The Relationship between Preference and Stare Duration on Bicycle (JHT, DBL, ZHL), pp. 450–456.
SAC-2013-WombacherI #estimation #process- Start time and duration distribution estimation in semi-structured processes (AW, MEI), pp. 1403–1409.
CIKM-2012-TakemuraT #classification #twitter- Tweet classification based on their lifetime duration (HT, KT), pp. 2367–2370.
- HCI-MIIE-2011-ChuC
- Safe-in-Place Awareness GPS System with Distance-Based and Duration-Based Notification Control (CNC, GC), pp. 288–292.
CHI-2010-HarrisonYH #performance #visual notation- Faster progress bars: manipulating perceived duration with visual augmentations (CH, ZY, SEH), pp. 1545–1548.
KR-2010-Gruninger #ontology- Ontologies for Dates and Duration (MG).
SEFM-2008-FranzleH #approximate #calculus #model checking #performance- Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations (MF, MRH), pp. 63–72.
ICDAR-2007-KunduHHPG #recognition #using- Arabic Handwriting Recognition Using Variable Duration HMM (AK, TH, BH, JP, LVG), pp. 644–648.
TACAS-2007-FranzleH #logic- Deciding an Interval Logic with Accumulated Durations (MF, MRH), pp. 201–215.
- TACAS-2007-PandyaKL #abstraction #logic #on the
- On Sampling Abstraction of Continuous Time Logic with Durations (PKP, SNK, KL), pp. 246–260.
- HCI-MIE-2007-DongLH #complexity #segmentation #user interface
- Effect of Glance Duration on Perceived Complexity and Segmentation of User Interfaces (YD, CL, LH), pp. 605–614.
- SAC-2007-Al-NaymatCG #query #reduction
- Dimensionality reduction for long duration and complex spatio-temporal queries (GAN, SC, JG), pp. 393–397.
ICPR-v2-2006-BenouarethES #recognition #word- HMMs with Explicit State Duration Applied to Handwritten Arabic Word Recognition (AB, AE, MS), pp. 897–900.
- ICPR-v3-2006-DuongPBV #behaviour #exponential #markov #modelling #product line #recognition
- Human Behavior Recognition with Generic Exponential Family Duration Modeling in the Hidden Semi-Markov Model (TVD, DQP, HHB, SV), pp. 202–207.
- ICDAR-2005-NatarajanSPM #modelling
- Character Duration Modeling for Speed Improvements in the BBN Byblos OCR System (PN, RS, RP, EM), pp. 1136–1140.
FoSSaCS-2005-LaroussinieS #model checking #probability- Model Checking Durational Probabilistic Systems (FL, JS), pp. 140–154.
- TACAS-2005-SharmaPC #bound #logic
- Bounded Validity Checking of Interval Duration Logic (BS, PKP, SC), pp. 301–316.
ICEIS-v1-2004-GomezA #database- Durative Events in Active Databases (RG, JCA), pp. 306–311.
CAV-2003-ChakravortyP #logic- Digitizing Interval Duration Logic (GC, PKP), pp. 167–179.
- FoSSaCS-2002-LaroussinieMS #model checking #on the
- On Model Checking Durational Kripke Structures (FL, NM, PS), pp. 264–279.
CSL-2000-Naijun #calculus #higher-order- Completeness of Higher-Order Duration Calculus (ZN), pp. 442–456.
KDD-1998-HandleyLR #learning #predict- Learning to Predict the Duration of an Automobile Trip (SH, PL, FAR), pp. 219–223.
ESOP-1996-Goubault #concurrent- Durations for Truly-Concurrent Transitions (EG), pp. 173–187.
- TACAS-1996-MoserM #automaton #probability #realtime
- Probabilistic Duration Automata for Analyzing Real-Time Systems (LEM, PMMS), pp. 369–390.
LICS-1996-Seidl #calculus #μ-calculus- A Modal μ-Calculus for Durational Transition Systems (HS), pp. 128–137.
- CIKM-1995-Wieczerzycki #database #design #transaction
- Long-Duration Transaction Support in Design Databases (WW), pp. 362–369.
- CAV-1995-BouajjaniLR #automaton #calculus #hybrid #linear
- From Duration Calculus To Linear Hybrid Automata (AB, YL, RR), pp. 196–210.
