Search results for "duration"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Yingke Lei, Zifa Zhong, Yanhua Wu	A New Hop Duration Blind Estimation Algorithm for Frequency-Hopping Signals.	PACIIA (1)	2008	DBLP DOI BibTeX RDF	Hop Duration, Blind Estimation, Frequency-Hopping Signals, RSPWVD, Adaptive Threshold Detection
27	Guangli Tian, Wandong Cai, Wei Wang 0056	Topology variety model for mobile ad hoc networks.	MOBILWARE	2008	DBLP DOI BibTeX RDF	link duration, simulation, performance evaluation, ad hoc networks, mobility model
27	Jaroslav Král, Michal Zemlicka	Inaccessible Area and Effort Consumption Dynamics.	SERA	2008	DBLP DOI BibTeX RDF	estimation of project duration, team personnel dynamics, dependencies of empirical software laws, Planck-like law
27	Peerly Setter, Hadas Marciano, Joel Norman, Michal Hovev	The effects of time limitations on target identification.	ECCE	2007	DBLP DOI BibTeX RDF	intuitive decision making, limited exposure duration, identification, image interpretation
27	Jan-David Quesel, Andreas Schäfer 0001	Spatio-temporal Model Checking for Mobile Real-Time Systems.	ICTAC	2006	DBLP DOI BibTeX RDF	real-time systems, model checking, temporal logic, mobile systems, Duration Calculus, spatial logic
27	Ronghong Mo, Yong Huat Chew	System Throughput Analysis of Rate Adaptive TDMA System Supporting Two Class Services.	Wirel. Networks	2005	DBLP DOI BibTeX RDF	rate adaptive system, adaptive slot duration, throughput, packet loss, channel allocation
27	Dang Van Hung, Bui Vu Anh	Model Checking Real-Time Component Based Systems with Blackbox Testing.	RTCSA	2005	DBLP DOI BibTeX RDF	Duration Automata, Real-time Systems, Automatic Verification, Component Software
27	Dong-Hoon Yi, JongWon Kim 0001	A Balanced Revenue-Based Resource Sharing Scheme for Advance and Immediate Reservations.	PCM (2)	2005	DBLP DOI BibTeX RDF	advance and immediate reservation, indefinite session duration, service revenue and QoS provisioning, Resource sharing
27	Jochen Hoenicke, Ernst-Rüdiger Olderog	Combining Specification Techniques for Processes, Data and Time.	IFM	2002	DBLP DOI BibTeX RDF	transformational semantic, model-checking, CSP, Object-Z, real-time processes, FDR, Duration Calculus, UPPAAL
27	Naijun Zhan	Another formal proof for Deadline Driven Scheduler.	RTCSA	2000	DBLP DOI BibTeX RDF	Deadline Driven Scheduler, DDS correctness, random preemption, induction rules, induction propositions, intuitive facts, scheduling, real-time systems, theorem proving, process algebra, duration calculus, formal proof, DC
27	Anne Elisabeth Haxthausen, Xia Yong	Linking DC Together with TRSL.	IFM	2000	DBLP DOI BibTeX RDF	integration of specification formalisms, Formal methods, Duration Calculus, RAISE
27	Guido M. Cortelazzo, M. Balanza	Frequency Domain Analysis of Translations with Piecewise Cubic Trajectories.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	frequency domain motion analysis, piecewise cubic trajectories, cubic spline trajectories, finite-duration effects, constant velocity motion, first-order model, motion estimation, motion estimation, translations, splines (mathematics), frequency-domain analysis
22	Joshua Penney, Felicity Cox, Anita Szakay	Effects of Glottalisation, Preceding Vowel Duration, and Coda Closure Duration on the Perception of Coda Stop Voicing.	Phonetica	2021	DBLP DOI BibTeX RDF
22	Jinfu Ni, Yoshinori Shiga, Hisashi Kawai	Duration Modeling with Global Phoneme-Duration Vectors.	INTERSPEECH	2019	DBLP DOI BibTeX RDF
22	David A. Wood 0003	A critical-path focus for earned duration increases its sensitivity for project-duration monitoring and forecasting in deterministic, fuzzy and stochastic network analysis.	J. Comput. Methods Sci. Eng.	2018	DBLP DOI BibTeX RDF
22	Demet Özer, Alexander Kranjec, Fuat Balci, Tilbe Göksun	The Effects of Duration Words and Spatial-Temporal Metaphors on Perceived Duration.	CogSci	2017	DBLP BibTeX RDF
22	Jing Zhang, Fu-Chun Zheng, Xi-Qi Gao 0001, Hongbo Zhu 0002	Which Is Better for Opportunistic Spectrum Access: The Duration-Fixed or Duration-Variable MAC Frame?	IEEE Trans. Veh. Technol.	2015	DBLP DOI BibTeX RDF
22	Suleyman Al-Showarah, Naseer Al-Jawad, Harin Sellahewa	Effects of User Age on Smartphone and Tablet Use, Measured with an Eye-Tracker via Fixation Duration, Scan-Path Duration, and Saccades Proportion.	HCI (5)	2014	DBLP DOI BibTeX RDF
22	Miao Wang 0011, Qiuyan Liu, Zhangdui Zhong, Xia Chen 0006	Fade Duration Distribution and Minimum Duration Outage in Weibull Fading Channels.	VTC Spring	2011	DBLP DOI BibTeX RDF
22	Nassima B. Abdelli-Beruh	The Stop Voicing Contrast in French Sentences: Contextual Sensitivity of Vowel Duration, Closure Duration, Voice Onset Time, Stop Release and Closure Voicing.	Phonetica	2004	DBLP DOI BibTeX RDF
22	Harry Zheng, Lyn C. Thomas, David Edmund Allen	The duration derby: a comparison of duration based strategies in asset liability management.	CDC	2002	DBLP DOI BibTeX RDF
22	Tae-Young Yang, Ji-Sung Kim, Chungyong Lee, Dae Hee Youn, Il-Whan Cha	Duration modeling using cumulative duration probability and speaking rate compensation.	ICSLP	1998	DBLP DOI BibTeX RDF
22	Y. K. Park, C. K. Un, O. W. Kwon	Modeling acoustic transitions in speech by modified hidden Markov models with state duration and state duration-dependent observation probabilities.	IEEE Trans. Speech Audio Process.	1996	DBLP DOI BibTeX RDF
22	Yumi Wakita, Eiichi Tsuboka	State duration constraint using syllable duration for speech recognition.	ICSLP	1994	DBLP DOI BibTeX RDF
22	Yossi Borenstein, Abdullah Alsheddy, Edward P. K. Tsang, Nazaraf Shah	The degree of dynamism for workforce scheduling problem with stochastic task duration.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	planning, estimation, dynamic scheduling
22	Miaomiao Zhang, Dang Van Hung, Zhiming Liu 0001	Verification of Linear Duration Invariants by Model Checking CTL Properties.	ICTAC	2008	DBLP DOI BibTeX RDF
22	Ying Lee, Chien-Hung Wei	A Computerized Feature Reduction Using Cluster Methods for Accident Duration Forecasting on Freeway.	APSCC	2008	DBLP DOI BibTeX RDF
22	Wen Ji, Shoubao Yang, Fuli Liu	Sustained Online Duration - based Reputation Management for File-Sharing Peer-to-Peer Systems.	CSSE (3)	2008	DBLP DOI BibTeX RDF
22	Meryem Jabloun, François Léonard, Michelle Vieira, Nadine Martin	A New Flexible Approach to Estimate the IA and IF of Nonstationary Signals of Long-Time Duration.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
22	Pawel Gluchowski	Duration Calculus for Analysis of Fault Trees with Time Dependencies.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
22	Mirko Eickhoff, Donald C. McNickle, Krzysztof Pawlikowski	Detecting the duration of initial transient in steady state simulation of arbitrary performance measures.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	initial transient, truncation point, discrete event simulation, steady state
22	Yun Tang, Lifeng Sun, Kaiyun Zhang, Shi-Qiang Yang, Yuzhuo Zhong	Longer, Better: On Extending User Online Duration to Improve Quality of Streaming Service in P2P Networks.	ICME	2007	DBLP DOI BibTeX RDF
22	Amlan Kundu 0003, Tom Hines, Benjamin Huyck, Jon Phillips, Linda Van Guilder	Arabic Handwriting Recognition Using Variable Duration HMM.	ICDAR	2007	DBLP DOI BibTeX RDF
22	Chung-Hsien Wu, Chi-Chun Hsia, Te-Hsien Liu, Jhing-Fa Wang	Voice conversion using duration-embedded bi-HMMs for expressive speech synthesis.	IEEE Trans. Speech Audio Process.	2006	DBLP DOI BibTeX RDF
22	Dau-Cheng Lyu, Ren-Yuan Lyu, Yuang-Chin Chiang, Chun-Nan Hsu	Language Identification by Using Syllable-Based Duration Classification on Code-Switching Speech.	ISCSLP	2006	DBLP DOI BibTeX RDF	code-switching speech, language identification
22	Tianyu Huang, Fengxia Li, Shouyi Zhan, Jianyuan Min	Variable Duration Motion Texture for Human Motion Modeling.	PRICAI	2006	DBLP DOI BibTeX RDF
22	Shie Mannor, Nahum Shimkin	Online Learning with Variable Stage Duration.	COLT	2006	DBLP DOI BibTeX RDF
22	Panagiotis Sentas, Lefteris Angelis	Survival Analysis for the Duration of Software Projects.	IEEE METRICS	2005	DBLP DOI BibTeX RDF
22	Ilhyung Jung, Hyo Keun Lee, Jun Kyun Choi	Approaches to Alternate Path Routing for Short Duration Flow in MPLS Network.	HPCC	2005	DBLP DOI BibTeX RDF
22	Babita Sharma, Paritosh K. Pandya, Supratik Chakraborty	Bounded Validity Checking of Interval Duration Logic.	TACAS	2005	DBLP DOI BibTeX RDF
22	Richard Nelson, Daniel Lawson, Perry Lorier	Analysis of long duration traces.	Comput. Commun. Rev.	2004	DBLP DOI BibTeX RDF	Internet
22	Georgia Mastoropoulou, Alan Chalmers	The Effect of Music on the Perception of Display Rate and Duration of Animated Sequences: An Experimental Study.	TPCG	2004	DBLP DOI BibTeX RDF
22	Shiping Yang, Nan Sang, Guangze Xiong	Safety Testing of Safety Critical Software Based on Critical Mission Duration.	PRDC	2004	DBLP DOI BibTeX RDF	Safety Testing, Safety Critical System, Bayesian Analysis, Stopping Rules, Reliability Testing
22	Peter T. L. Popkowski Leszczyc, Harry J. P. Timmermans	Unconditional and conditional competing risk models of activity duration and activity sequencing decisions: An empirical comparison.	J. Geogr. Syst.	2002	DBLP DOI BibTeX RDF
22	Ann T. Tai, William H. Sanders, Leon Alkalai, Savio N. Chau, Kam S. Tso	Performability Analysis of Guarded-Operation Duration: A Successive Model-Translation Approach.	DSN	2002	DBLP DOI BibTeX RDF
22	Jian Chen, Michael C. Fu 0001	Financial derivatives and real options: hedging beyond duration and convexity.	WSC	2002	DBLP DOI BibTeX RDF
22	Dang Van Hung, Dimitar P. Guelev	Completeness and Decidability of a Fragment of Duration Calculus with Iteration.	ASIAN	1999	DBLP DOI BibTeX RDF
22	Zhou Chaochen	Duration Calculus, a Logical Approach to Real-Time Systems.	AMAST	1998	DBLP DOI BibTeX RDF
22	Gerardo Schneider, Qiwen Xu	Towards a Formal Semantics of Verilog Using Duration Calculus.	FTRTFT	1998	DBLP DOI BibTeX RDF
22	Jianhua Zhao, Dang Van Hung	On Checking Parallel Real-Time Systems for Linear Duration Properties.	FTRTFT	1998	DBLP DOI BibTeX RDF
22	Paritosh K. Pandya, Dang Van Hung	Duration Calculus of Weakly Monotonic Time.	FTRTFT	1998	DBLP DOI BibTeX RDF
22	Simeon Veloudis, Nimal Nissanke	Duration Calculus in the Specification of Safety Requirements.	FTRTFT	1998	DBLP DOI BibTeX RDF
22	Jens U. Skakkebæk	Liveness and Fairness in Duration Calculus.	CONCUR	1994	DBLP DOI BibTeX RDF
22	Qi Zhang, Chun Sum Ng	Differentially-Encoded Di-Symbol Time-Division Multiuser Impulse Radio in UWB Channel.	IEEE Trans. Commun.	2008	DBLP DOI BibTeX RDF
22	Manolis Perakakis, Alexandros Potamianos	A Study in Efficiency and Modality Usage in Multimodal Form Filling Systems.	IEEE Trans. Speech Audio Process.	2008	DBLP DOI BibTeX RDF
22	Arjan Boonman, Joachim Ostwald	A modeling approach to explain pulse design in bats.	Biol. Cybern.	2007	DBLP DOI BibTeX RDF
22	Adam L. Buchsbaum, Alon Efrat, Shaili Jain, Suresh Venkatasubramanian, Ke Yi 0001	Restricted strip covering and the sensor cover problem.	SODA	2007	DBLP BibTeX RDF
22	Narayan V. Marathe, Gangadhar S. Biradar, Uday B. Desai, S. N. Merchant	A Comprehensive Call Management Strategy for Congestion Control in Cellular Networks.	COMSWARE	2007	DBLP DOI BibTeX RDF
22	Zhonghua Fu	Robust Bootstrapping of Speaker Models for Unsupervised Speaker Indexing.	MCAM	2007	DBLP DOI BibTeX RDF	Unsupervised speaker indexing, speaker model, eigenvoices
22	Akiko Iwaizumi, Ryoko Futami, Shin'ichiro Kanoh, Jiro Gyoba	Characteristics of Human Luminance Discrimination and Modeling a Neural Network Based on the Response Properties of the Visual Cortex.	Biol. Cybern.	2006	DBLP DOI BibTeX RDF
22	Christopher M. Harris, Daniel M. Wolpert	The Main Sequence of Saccades Optimizes Speed-accuracy Trade-off.	Biol. Cybern.	2006	DBLP DOI BibTeX RDF
22	Dinh Q. Phung, Thi V. Duong, Svetha Venkatesh, Hung Hai Bui	Topic transition detection using hierarchical hidden Markov and semi-Markov models.	ACM Multimedia	2005	DBLP DOI BibTeX RDF	coxian, educational videos, hierarchical Markov (Semi-Markov) models, topic transition detection
22	Morihiko Tamai, Tao Sun, Keiichi Yasumoto, Naoki Shibata, Minoru Ito	Energy-aware video streaming with QoS control for portable computing devices.	NOSSDAV	2004	DBLP DOI BibTeX RDF	QoS, wireless LANs, video streaming, energy-aware systems
22	Vasileios Vitsas, Anthony C. Boucouvalas	Performance Analysis of the Advanced Infrared (AIr) CSMA/CA MAC Protocol for Wireless LANs.	Wirel. Networks	2003	DBLP DOI BibTeX RDF	IrDA, optical wireless, performance evaluation, wireless LANs, CSMA/CA
22	Sylvie Norre	Static Allocation of Tasks on Multiprocessor Architectures with Interprocessor Communication Delays.	PARLE	1993	DBLP DOI BibTeX RDF	Deterministic scheduling, Task allocation on multiprocessor architectures, Stochastic scheduling
21	Kyriaki Kosmidou, Constantin Zopounidis	Generating interest rate scenarios for bank asset liability management.	Optim. Lett.	2008	DBLP DOI BibTeX RDF	Asset liability management, Interest rate, Duration-gap, Simulation, Goal programming
21	Selina Sharmin, Oleg Spakov, Kari-Jouko Räihä, Arnt Lykke Jakobsen	Effects of time pressure and text complexity on translators' fixations.	ETRA	2008	DBLP DOI BibTeX RDF	fixation count, fixation duration, text complexity, time pressure, eye tracking, translation
21	Seok K. Hwang, Dongsoo S. Kim	Markov model of link connectivity in mobile ad hoc networks.	Telecommun. Syst.	2007	DBLP DOI BibTeX RDF	Link duration, Continuous space stochastic process, Mobile ad hoc network
21	Cholatip Yawut, Béatrice Paillassa, Riadh Dhaou	Mobility Versus Density Metric for OLSR Enhancement.	AINTEC	2007	DBLP DOI BibTeX RDF	MPR Selection, Link Duration, Mobility Metric, OLSR
21	Chris Harrison 0001, Brian Amento, Stacey Kuznetsov, Robert Bell	Rethinking the progress bar.	UIST	2007	DBLP DOI BibTeX RDF	duration neglect, human-centric, peak-and-end, progress bar, time perception, user interface
21	Anjana Jain, Raksha Upadhyay, Prakash D. Vyavahare, L. D. Arya	Stochastic Modeling and Performance Evaluation of Fading Channel for Wireless Network Design.	AINA Workshops (2)	2007	DBLP DOI BibTeX RDF	Statistical model of fading channel, level crossing rate, fade duration, transition rate, outage time, satisfactory state, BER, SNR
21	Yidao Cai, Mark Flynn, Douglas A. Baxter, Terry Crow	Role of A-type K+ channels in spike broadening observed in soma and axon of Hermissenda type-B photoreceptors: A simulation study.	J. Comput. Neurosci.	2006	DBLP DOI BibTeX RDF	Action potential duration, Soma, Axon, Back propagating spike, Conditioning, Synaptic plasticity
21	Julien Pinquier, Régine André-Obrecht	Audio indexing: primary components retrieval.	Multim. Tools Appl.	2006	DBLP DOI BibTeX RDF	Audio documents, Jingle, Spectral feature, Classification, Segmentation, Indexing, Entropy, Energy, Duration
21	Jerry R. Hobbs, Feng Pan 0012	An ontology of time for the semantic web.	ACM Trans. Asian Lang. Inf. Process.	2004	DBLP DOI BibTeX RDF	clock and calendar, ontology, semantic web, time, temporal relation, temporal information, duration, time zone
21	Talha Javed, Manzil e Maqsood, Qaiser S. Durrani	A survey to examine the effect of team communication on job satisfaction in software industry.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	duration of service, formal communication, horizontal communication, performance feedback, personal communication terms, vertical communication, working environment
21	Henning Dierks	Comparing model checking and logical reasoning for real-time systems.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Model checking, Verification, Real-time, Timed Automata, Duration Calculus
21	Eugene Shragowitz, Habib Youssef, Bing Lu	Iterative Converging Algorithms for Computing Bounds on Durations of Activities in Pert and Pert-Like Models.	J. Comb. Optim.	2003	DBLP DOI BibTeX RDF	duration of activities, scheduling, approximation algorithms, directed acyclic graphs, NP-complete problems, critical path, timing bounds, PERT, slack
21	Huadong Ma, Liang Li, Jianzhong Wang, Naijun Zhan	Automatic Synthesis of the DC Specifications of Lip Synchronisation Protocol.	APSEC	2001	DBLP DOI BibTeX RDF	Lip Synchronisation Protocol, Multimedia, Synthesis, Timed Automata, Duration Calculus
21	Hong Ki Thae, Dang Van Hung	A Case Study on Formal Design of Hybrid Control Systems.	COMPSAC	2001	DBLP DOI BibTeX RDF	Discrete Design, Embedded Systems, Control Theory, Duration Calculus
21	Didier Demigny, Lounis Kessal, R. Bourguiba, N. Boudouani	How to Use High Speed Reconfigurable FPGA for Real Time Image Processing?	CAMP	2000	DBLP DOI BibTeX RDF	high speed reconfigurable FPGA, ARDOISE, video frame duration, architectural concepts, partitioning methodology, image segmentation, image segmentation, hardware architecture, real time image processing
21	Abderrahim Benslimane	Real Time Multicast in Wireless Networks.	LCN	2000	DBLP DOI BibTeX RDF	real time multicast, real-time multimedia application, handoff duration, unknown locations, known locations, mobile computing, wireless networks, protocols, synchronisation, multimedia communication, multimedia stream, multicast communication, mobile multimedia, mobile terminals, packet radio networks, cellular radio, cellular radio, synchronization protocol, bounded delays
21	Joseph Kroculick, Cynthia Hood 0001	Provisioning Multilayer Restoration for Convergence.	LCN	2000	DBLP DOI BibTeX RDF	multilayer restoration, mission critical service, protocol suites, recovery scheme, outage duration, escalation strategy, distributed coordination protocol, recovery agents, protocols, topology, network topology, deadlock, telecommunication network routing, telecommunication control, rerouting, telecommunication network reliability, control policies
21	Simon Baatz, Matthias Frank 0001, Rolf Göpffarth, D. Kassatkine, Peter Martini, Markus Schetelig, Asko Vilavaara	Handoff Support for Mobilty with IP over Bluetooth.	LCN	2000	DBLP DOI BibTeX RDF	radio access networks, handoff support, Bluetooth public access, BLUEPAC, mobile Bluetooth devices, train stations, supermarkets, OSI layer 3, layer 2 protocol, IP datagrams, BLUEPAC protocol, Bluetooth emulation system, handoff duration, upper layer protocols, mobile computing, mobility, wireless LAN, TCP, local area networks, transport protocols, IP, access points, cellular radio, airports
21	Dang Van Hung, Ko Kwang Il	Verification via Digitized Models of Real-Time Hybrid Systems.	APSEC	1996	DBLP DOI BibTeX RDF	real-time hybrid systems, digitized models, int formula, digital states, analog states, time reasoning, intuitive model, natural induction rules, distributed systems, verification, formal specification, specification, communication protocols, duration calculus, system clock
21	Leonard Barolli, Kuninobu Tanno	A Fuzzy Policing Mechanism for Still Picture in ATM Networks.	LCN	1996	DBLP DOI BibTeX RDF	selectivity characteristics, fuzzy policing mechanism, B-ISDN networks, traffic parameters control, source traffic characteristics, mean cell rate, peak cell rate, peak burst duration, cell spacer, bursty traffic sources, still picture source, simulation, quality of service, performance evaluation, asynchronous transfer mode, asynchronous transfer mode, ATM networks, fuzzy set theory, statistical multiplexing, virtual connection, link utilization
21	Elsa Salcedo Valeroso, Mansoor Alam	Adaptive Resource Scheduling Strategies and Performance Analysis of Broadband Networks.	LCN	1996	DBLP DOI BibTeX RDF	adaptive resource scheduling, multimedia calls, BISDN, propagation delay to bit duration ratio, dynamic resource scheduling algorithms, network resources allocation, crossover behavior, call blocking rate, crossover blocking probabilities, quality of service, performance analysis, asynchronous transfer mode, ATM, buffers, simulation models, system performance, broadband networks, information infrastructure, network throughput, dynamic control, high bandwidth
21	Gilberto Mayor, John A. Silvester	The multi-level leaky bucket mechanism.	ICCCN	1995	DBLP DOI BibTeX RDF	multi-level leaky bucket mechanism, state estimation method, multirate source, MLLB, instantaneous bit rate, average bit rate, average burst duration, performance, flow control, state estimation, Markov modulated process
21	Mikhail G. Karpoukhin, Boris Y. Kogan, Walter J. Karplus	The application of a massively parallel computer to the simulation of electrical wave propagation phenomena in the heart muscle using simplified models.	HICSS (5)	1995	DBLP DOI BibTeX RDF	electrical wave propagation, heart muscle, simplified models, heart arrhythmia simulation, fibrillation, action potential, depolarization, action potential duration restitution, computational process, 2D spiral waves, premature beat, spiral wave, two dimensional spiral wave, parallel processing, digital simulation, mathematical models, supercomputers, massively parallel computer, medical computing, cardiology, muscle, medical signal processing
21	Arun K. Somani, Kishor S. Trivedi	Phased-Mission System Analysis Using Boolean Algebraic Methods.	SIGMETRICS	1994	DBLP DOI BibTeX RDF	Boolean algebraic methods, phased-mission systems, random phase duration, ultra-reliable computer system, variable success criteria, reconfiguration, reliability analysis, fault trees
21	Anders P. Ravn, Hans Rischel, Kirsten Mark Hansen	Specifying and Verifying Requirements of Real-Time Systems.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	specification of requirements, verification of design, real-time interval logic, top-level design, synchronous events, real-time systems, real-time systems, formal specification, distributed computation, formal verification, temporal logic, sensor, mathematical model, actuator, duration calculus, control law
17	Chris Harrison 0001, Zhiquan Yeo, Scott E. Hudson	Faster progress bars: manipulating perceived duration with visual augmentations.	CHI	2010	DBLP DOI BibTeX RDF	induced motion, perceived performance, percent-done indicators, progress bars, perception
17		Duration.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
17	Feng Gu 0006, Julie Greensmith, Uwe Aickelin	Exploration of the Dendritic Cell Algorithm Using the Duration Calculus.	ICARIS	2009	DBLP DOI BibTeX RDF
17	Kotaro Yamamoto, Munetoshi Iwakiri	A Standard MIDI File Steganography Based on Fluctuation of Duration.	ARES	2009	DBLP DOI BibTeX RDF
17	Wei Huang 0008, Lixin Ding, Bin Wen, Buqing Cao	Project Scheduling Problem for Software Development with Random Fuzzy Activity Duration Times.	ISNN (2)	2009	DBLP DOI BibTeX RDF	Project scheduling problem for software development, Random fuzzy simulation, Genetic algorithm, Hybrid intelligent algorithm
17	Alan P. Benson, Moza Al-Owais, Wing Chiu Tong, Arun V. Holden	HERG Effects on Ventricular Action Potential Duration and Tissue Vulnerability: A Computational Study.	FIMH	2009	DBLP DOI BibTeX RDF	Cardiac, hERG, long QT syndrome, computational model, arrhythmia
17	Marian Kotas	Projective Versus Linear Filtering for Repolarization Duration Measurement.	Information Technologies in Biomedicine	2008	DBLP DOI BibTeX RDF
17	Malik Shahzad Kaleem Awan, Mian M. Awais	Towards a Generic Model for Forecasting Rain Duration Using GITIC Model.	ECBS	2008	DBLP DOI BibTeX RDF
17	Matthias Pätzold 0001, Carlos A. Gutiérrez-Díaz-de-León	Level-Crossing Rate and Average Duration of Fades of the Envelope of a Sum-of-Cisoids.	VTC Spring	2008	DBLP DOI BibTeX RDF
17	Alenka G. Zajic, Gordon L. Stüber, Thomas G. Pratt, Son Nguyen	Envelope Level Crossing Rate and Average Fade Duration in Mobile-To-Mobile Fading Channels.	ICC	2008	DBLP DOI BibTeX RDF