BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (6)
base (5)
system (5)
calculus (4)
logic (4)

Stem durat$ (all stems)

28 papers:

HCIHCI-DE-2015-IgaTAF #predict
Study of Uninterruptible Duration Prediction Based on PC Operation (HI, TT, KA, KF), pp. 350–359.
HCIDUXU-WM-2013-TsengLL
The Relationship between Preference and Stare Duration on Bicycle (JHT, DBL, ZHL), pp. 450–456.
SACSAC-2013-WombacherI #estimation #process
Start time and duration distribution estimation in semi-structured processes (AW, MEI), pp. 1403–1409.
CIKMCIKM-2012-TakemuraT #classification #twitter
Tweet classification based on their lifetime duration (HT, KT), pp. 2367–2370.
HCIHCI-MIIE-2011-ChuC
Safe-in-Place Awareness GPS System with Distance-Based and Duration-Based Notification Control (CNC, GC), pp. 288–292.
CHICHI-2010-HarrisonYH #performance #visual notation
Faster progress bars: manipulating perceived duration with visual augmentations (CH, ZY, SEH), pp. 1545–1548.
KRKR-2010-Gruninger #ontology
Ontologies for Dates and Duration (MG).
SEFMSEFM-2008-FranzleH #approximate #calculus #model checking #performance
Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations (MF, MRH), pp. 63–72.
ICDARICDAR-2007-KunduHHPG #recognition #using
Arabic Handwriting Recognition Using Variable Duration HMM (AK, TH, BH, JP, LVG), pp. 644–648.
TACASTACAS-2007-FranzleH #logic
Deciding an Interval Logic with Accumulated Durations (MF, MRH), pp. 201–215.
TACASTACAS-2007-PandyaKL #abstraction #logic #on the
On Sampling Abstraction of Continuous Time Logic with Durations (PKP, SNK, KL), pp. 246–260.
HCIHCI-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.
SACSAC-2007-Al-NaymatCG #query #reduction
Dimensionality reduction for long duration and complex spatio-temporal queries (GAN, SC, JG), pp. 393–397.
ICPRICPR-v2-2006-BenouarethES #recognition #word
HMMs with Explicit State Duration Applied to Handwritten Arabic Word Recognition (AB, AE, MS), pp. 897–900.
ICPRICPR-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.
ICDARICDAR-2005-NatarajanSPM #modelling
Character Duration Modeling for Speed Improvements in the BBN Byblos OCR System (PN, RS, RP, EM), pp. 1136–1140.
FoSSaCSFoSSaCS-2005-LaroussinieS #model checking #probability
Model Checking Durational Probabilistic Systems (FL, JS), pp. 140–154.
TACASTACAS-2005-SharmaPC #bound #logic
Bounded Validity Checking of Interval Duration Logic (BS, PKP, SC), pp. 301–316.
ICEISICEIS-v1-2004-GomezA #database
Durative Events in Active Databases (RG, JCA), pp. 306–311.
CAVCAV-2003-ChakravortyP #logic
Digitizing Interval Duration Logic (GC, PKP), pp. 167–179.
FoSSaCSFoSSaCS-2002-LaroussinieMS #model checking #on the
On Model Checking Durational Kripke Structures (FL, NM, PS), pp. 264–279.
CSLCSL-2000-Naijun #calculus #higher-order
Completeness of Higher-Order Duration Calculus (ZN), pp. 442–456.
KDDKDD-1998-HandleyLR #learning #predict
Learning to Predict the Duration of an Automobile Trip (SH, PL, FAR), pp. 219–223.
ESOPESOP-1996-Goubault #concurrent
Durations for Truly-Concurrent Transitions (EG), pp. 173–187.
TACASTACAS-1996-MoserM #automaton #probability #realtime
Probabilistic Duration Automata for Analyzing Real-Time Systems (LEM, PMMS), pp. 369–390.
LICSLICS-1996-Seidl #calculus #μ-calculus
A Modal μ-Calculus for Durational Transition Systems (HS), pp. 128–137.
CIKMCIKM-1995-Wieczerzycki #database #design #transaction
Long-Duration Transaction Support in Design Databases (WW), pp. 362–369.
CAVCAV-1995-BouajjaniLR #automaton #calculus #hybrid #linear
From Duration Calculus To Linear Hybrid Automata (AB, YL, RR), pp. 196–210.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.