|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2970 occurrences of 1898 keywords
|
|
|
|
|
Results
Found 3139 publication records. Showing 3139 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 5 | Michael R. Hansen, Dang Van Hung |
A Theory of Duration Calculus with Application.  |
Domain Modeling and the Duration Calculus  |
2007 |
DBLP DOI BibTeX RDF |
metric-time temporal logic, Real-time systems, model-checking, application, decidability, duration calculus |
| 5 | Amlan Kundu, Yang He, Mou-Yen Chen |
Efficient utilization of variable duration information in HMM based HWR systems. (PDF / PS)  |
ICIP  |
1997 |
DBLP DOI BibTeX RDF |
variable duration information, HMM based HWR systems, MD-HMM, model discriminant HMM, HWR system, NEHMM, nonergodic HMM, variable duration HMM, duration probabilities, variable sequence length HMM, VDHMM system, image segmentation, databases, image sequences, handwriting recognition, experimental results, handwritten word recognition, performance gain, reliable computation, system parameters |
| 5 | M. Molla-Hosseini, R. M. Kerr, R. B. Randall, R. B. Platfoot |
An Inspection Model with Minimal and Major Maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri Nets.  |
Application and Theory of Petri Nets  |
1995 |
DBLP DOI BibTeX RDF |
Notation n state of device, n 0: state following a Poisson failure, n 1: operating state, n 2: minimal maintenance state, k number of stages of deterioration before deterioration failure, s at maintenance event s after s-1 minimalmaintenance the maintenance must be a major maintenance, P(i,j,n) steady-state probability that the device is in state (i,j,n), i=deterioration-stage index, j=minimal maintenance number, Pd steady-state probability that the device is being overhauled after a deteriorating failure, P0 steady-state probability that the device is out of service due to major maintenance, minimal maintenance, minimal repair respectively, 1/ d mean time between as good as new and deterioration failure if no maintenance is initiated, 1/ 0 mean time to Poisson failure, 1/ m mean time to the next maintenance event, 1/ d mean duration of overhauling the device following a deterioration failure, 1/ m mean duration of minimal maintenance, 1/ M mean duration of major maintenance, 1/ 0 mean duration of repair after Poisson failure, U steady-state unavailability of the device, PM, Pm |
| 4 | Alicia Triviño-Cabrera, Jorge García de la Nava, Eduardo Casilari, Francisco Javier González-Cañete |
An analytical model to estimate path duration in MANETs.  |
MSWiM  |
2006 |
DBLP DOI BibTeX RDF |
link duration, path duration, random WayPoint, MANET |
| 4 | Dang Van Hung, Zhou Chaochen |
Probabilistic Duration Calculus for Continuous Time.  |
Formal Asp. Comput.  |
1999 |
DBLP DOI BibTeX RDF |
Probabilistic duration calculus, Real-time systems, Dependability, Stochastic processes, Duration calculus, Probabilistic automata |
| 3 | Min Huang, Yan Cui, Xingwei Wang, Hongyu Dong |
A genetic algorithm for solving fourth-party logistics routing optimizing problem with fuzzy duration time.  |
GEC Summit  |
2009 |
DBLP DOI BibTeX RDF |
fourth party logistics, fourth party logistics routing problem, fuzzy duration time, genetic algorithm |
| 3 | Jing Tao, Wenju Liu |
An Improvement of HSMM-Based Speech Synthesis by Duration-Dependent State Transition Probabilities.  |
ISNN  |
2009 |
DBLP DOI BibTeX RDF |
Duration-Dependent State Transition Probabilities, Speech Synthesis, Forward-Backward Algorithm |
| 3 | Chih-Lin Chang, Kai-Way Li, Yung-Tsan Jou, Hsu-Chang Pan, Tai-Yen Hsu |
The Influence of Gender and Age on the Visual Codes Working Memory and the Display Duration - A Case Study of Fencers.  |
HCI  |
2009 |
DBLP DOI BibTeX RDF |
duration of display, visual codes working memory, Critical Fusion Frequency (CFF) value, color of display |
| 3 | Roland Meyer, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko |
Model checking Duration Calculus: a practical approach.  |
Formal Asp. Comput.  |
2008 |
DBLP DOI BibTeX RDF |
European Train Control System, Real-time systems, Model checking, Verification, Timed automata, Case study, Duration Calculus |
| 3 | Alicia Triviño-Cabrera, Jorge García de la Nava, Eduardo Casilari, Francisco Javier González-Cañete |
Application of path duration study in multihop ad hoc networks.  |
Telecommunication Systems  |
2008 |
DBLP DOI BibTeX RDF |
Path duration, MANET, Route selection |
| 3 | Panagiotis Sentas, Lefteris Angelis, Ioannis Stamelos |
A statistical framework for analyzing the duration of software projects.  |
Empirical Software Engineering  |
2008 |
DBLP DOI BibTeX RDF |
Duration of a software project, Project cancellation, Software cost estimation, Survival analysis |
| 3 | Alexander Adli, Hanane H. Mirza, Zensho Nakao |
A Watermarking Approach for MIDI File Based on Velocity and Duration Modulation.  |
KES  |
2008 |
DBLP DOI BibTeX RDF |
Symbolic domain, velocity modulation, duration modulation, MIDI parameters, Watermark |
| 3 | Otso Kassinen, Zhonghong Ou, Mika Ylianttila, Erkki Harjula |
Effects of peer-to-peer overlay parameters on mobile battery duration and resource lookup efficiency.  |
MUM  |
2008 |
DBLP DOI BibTeX RDF |
mobile battery duration, DHT, overlay networks, P2PSIP |
| 3 | Roland Donat, Laurent Bouillaut, Patrice Aknin, Philippe Leray |
Reliability Analysis using Graphical Duration Models.  |
ARES  |
2008 |
DBLP DOI BibTeX RDF |
Graphical Duration Models, Reliability analysis, Probabilistic Graphical Models |
| 3 | Pierre Bourque, Serge Oligny, Alain Abran, Bertrand Fournier |
Developing Project Duration Models in Software Engineering.  |
J. Comput. Sci. Technol.  |
2007 |
DBLP DOI BibTeX RDF |
project duration models, project scheduling models, schedule and organizational issues, software engineering, time estimation, international software benchmarking standards group (ISBSG) |
| 3 | Lorenzo Petroli, Carlos Arthur Lang Lisbôa, Fernanda Lima Kastensmidt, Luigi Carro |
Using majority logic to cope with long duration transient faults.  |
SBCCI  |
2007 |
DBLP DOI BibTeX RDF |
long duration transient faults, majority logic |
| 3 | Jinlou Zhao, Yuzhen Han, Lixia Ke |
A GM-Based Profitable Duration Prediction Model for Chinese Crude Oil Main Production District.  |
International Conference on Computational Science  |
2007 |
DBLP DOI BibTeX RDF |
GM, profitable duration, crude oil, forecasting, china |
| 3 | Li Yu, Meiyun Zuo |
An Estimating Method for IT Project Expected Duration Oriented to GERT.  |
CONFENIS  |
2007 |
DBLP DOI BibTeX RDF |
Project Schedule Estimation, Expected Duration, Project Management |
| 3 | Alicia Triviño-Cabrera, Jorge García de la Nava, Eduardo Casilari, Francisco Javier González-Cañete |
Application of Path Duration Study in MultiHop Ad Hoc Networks.  |
PWC  |
2007 |
DBLP DOI BibTeX RDF |
Path Duration, MANET, Route Selection |
| 3 | Samer A. Abdallah, Mark B. Sandler, Christophe Rhodes, Michael Casey |
Using duration models to reduce fragmentation in audio segmentation.  |
Machine Learning  |
2006 |
DBLP DOI BibTeX RDF |
Duration prior, Wolff algorithm, Segmentation, MCMC, Gibbs sampling |
| 3 | Ioannis Karydis |
Symbolic Music Genre Classification Based on Note Pitch and Duration.  |
ADBIS  |
2006 |
DBLP DOI BibTeX RDF |
music features, histograms, pitch, duration, Music genre classification, content-based information retrieval |
| 3 | Canturk Isci, Alper Buyuktosunoglu, Margaret Martonosi |
Long-Term Workload Phases: Duration Predictions and Applications to DVFS.  |
IEEE Micro  |
2005 |
DBLP DOI BibTeX RDF |
Adaptive dynamic management, workload behavior, duration predictions, prediction techniques, DVFS, performance counters |
| 3 | Andreas Schäfer |
Axiomatisation and Decidability of Multi-dimensional Duration Calculus.  |
TIME  |
2005 |
DBLP DOI BibTeX RDF |
Real-time systems, temporal logic, mobile systems, Duration Calculus, spatial logic |
| 3 | Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li 0005, Guoliang Zheng |
Duration-constrained regular expressions.  |
Formal Asp. Comput.  |
2004 |
DBLP DOI BibTeX RDF |
Regular expressions, Hybrid automata, Duration Calculus |
| 3 | Martin Fränzle |
Model-checking dense-time Duration Calculus.  |
Formal Asp. Comput.  |
2004 |
DBLP DOI BibTeX RDF |
Dense-time Duration Calculus, Model-checking, Decidability |
| 3 | Jifeng He, Qiwen Xu |
Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs.  |
Formal Asp. Comput.  |
2003 |
DBLP DOI BibTeX RDF |
Verification, Semantics, Hybrid systems, Duration Calculus |
| 3 | Isabel Navarrete, Abdul Sattar, Roque Marín |
Deciding consistency of a point-duration network with metric constraints. (PDF / PS)  |
TIME  |
2003 |
DBLP DOI BibTeX RDF |
Temporal representation and reasoning in AI, temporal constraint reasoning, point and duration reasoning |
| 3 | Narayanan Sadagopan, Fan Bai, Bhaskar Krishnamachari, Ahmed Helmy |
PATHS: analysis of PATH duration statistics and their impact on reactive MANET routing protocols.  |
MobiHoc  |
2003 |
DBLP DOI BibTeX RDF |
path duration, performance, mobility, mobile ad hoc network |
| 3 | Martin Fränzle |
Take It NP-Easy: Bounded Model Construction for Duration Calculus.  |
FTRTFT  |
2002 |
DBLP DOI BibTeX RDF |
Discrete-time Duration Calculus, Bounded model construction, Complexity, Model construction |
| 3 | Chung-Yee Lee, Lei Lei |
Multiple-Project Scheduling with Controllable Project Duration and Hard Resource Constraint: Some Solvable Cases.  |
Annals OR  |
2001 |
DBLP DOI BibTeX RDF |
controllable duration, resource constraints, project scheduling |
| 3 | Osamu Mizuno, T. Adachi, Tohru Kikuno, Yasunari Takagi |
On Prediction of Cost and Duration for Risky Software Projects Based on Risk Questionnaire.  |
APAQS  |
2001 |
DBLP DOI BibTeX RDF |
Cost and duration, Regression analysis, Questionnaire, Software risk management |
| 3 | Ritu Agarwal, Prabuddha De, Thomas W. Ferratt |
How long will they stay? Predicting an IT professional's preferred employment duration.  |
SIGCPR  |
2001 |
DBLP DOI BibTeX RDF |
career stage, life stage, preferred employment duration, retention of IT professionals, competencies, career anchor, psychological contract |
| 3 | Víctor A. Braberman, Fabio Pieniazek |
Duration Properties over Real Time System Designs.  |
IWSSD  |
2000 |
DBLP BibTeX RDF |
Duration Properties, Model-Checking, Timed Automata, Real-Time System Designs |
| 3 | Zhan Naijun |
Completeness of Higher-Order Duration Calculus.  |
CSL  |
2000 |
DBLP DOI BibTeX RDF |
duration calculus higher-order logic interval temporal logic completeness |
| 3 | Amlan Kundu, Yang He, Mou-Yen Chen |
Alternatives to Variable Duration HMM in Handwriting Recognition.  |
IEEE Trans. Pattern Anal. Mach. Intell.  |
1998 |
DBLP DOI BibTeX RDF |
Variable duration HMM (VDHMM), path discriminant HMM (PD-HMM), model discriminant HMM (MD-HMM), nonergodic HMM (NEHMM), variable sequence length HMM (VSLHMM), adaptive length Viterbi algorithm (ALVA) |
| 3 | Dang Van Hung |
Modeling and Verification of Biphase Mark Protocolsin Duration Calculus Using PVS.  |
ACSD  |
1998 |
DBLP DOI BibTeX RDF |
Biphase Mark Protocol, Theorem Prover, Duration Calculus |
| 3 | Raymond R. Panko, Susan T. Kinney |
Meeting profiles: size, duration, and location.  |
HICSS  |
1995 |
DBLP DOI BibTeX RDF |
meeting profiles, deskside meetings, conference room meetings, use-of-time studies, groupware, managers, information technology, location, history, history, size, group decision support systems, diary study, time management, duration, meeting support, face-to-face meetings |
| 3 | Ömür Bozma, Roman Kuc |
A Physical Model-Based Analysis of Heterogeneous Environments Using Sonar-ENDURA Method.  |
IEEE Trans. Pattern Anal. Mach. Intell.  |
1994 |
DBLP DOI BibTeX RDF |
physical model-based analysis, ENDURA method, time-of-flight methods, Kirchhoff approximation method, echo intensity parametrization, energy content, energy duration, echo-energy maps, echo-duration maps, orientation, distance, heterogeneous environments, surface roughness, sonar, sonar, unstructured environments, acoustic signal processing |
| 3 | Michael R. Hansen, Zhou Chaochen |
Semantics and Completeness of Duration Calculus.  |
REX Workshop  |
1991 |
DBLP DOI BibTeX RDF |
relative completeness, real-time systems, verification, specifications, specification languages, proof system, Duration Calculus, Interval Temporal Logic |
| 2 | Noppawat Chaisamran, Takeshi Okuda, Gregory Blanc, Suguru Yamaguchi |
Trust-Based VoIP Spam Detection Based on Call Duration and Human Relationships.  |
SAINT  |
2011 |
DBLP DOI BibTeX RDF |
SPIT, Call Duration, Social Network, Trust, VoIP, Spam |
| 2 | Aymen Trigui, Mohsen Maraoui, Mounir Zrigui |
The Gemination Effect on Consonant and Vowel Duration in Standard Arabic Speech.  |
SNPD  |
2010 |
DBLP DOI BibTeX RDF |
Standard Arabic, gemination, speech recognition, duration, Acoustic analysis |
| 2 | Chris Harrison, 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 |
| 2 | |
Duration.  |
Encyclopedia of Database Systems  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | 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 |
| 2 | Wei Huang, Lixin Ding, Bin Wen, Buqing Cao |
Project Scheduling Problem for Software Development with Random Fuzzy Activity Duration Times.  |
ISNN  |
2009 |
DBLP DOI BibTeX RDF |
Project scheduling problem for software development, Random fuzzy simulation, Genetic algorithm, Hybrid intelligent algorithm |
| 2 | Susan M. Mitchell, Carolyn B. Seaman |
A comparison of software cost, duration, and quality for waterfall vs. iterative and incremental development: A systematic review.  |
ESEM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Feng Gu, Julie Greensmith, Uwe Aickelin |
Exploration of the Dendritic Cell Algorithm Using the Duration Calculus.  |
ICARIS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | 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 |
| 2 | Yanming Nie, Zhanhuai Li, Shanglian Peng, Qun Chen |
Probabilistic Modeling of Streaming RFID Data by Using Correlated Variable-duration HMMs.  |
SERA  |
2009 |
DBLP DOI BibTeX RDF |
RFID data, correlated variable-duration HMMs, probabilistic modeling, inference |
| 2 | Kotaro Yamamoto, Munetoshi Iwakiri |
A Standard MIDI File Steganography Based on Fluctuation of Duration.  |
ARES  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Francisco J. Arcelus, T. P. M. Pakkala, Gopalan Srinivasan |
Retailer's inventory policies for a one time only manufacturer trade deal of uncertain duration.  |
Annals OR  |
2008 |
DBLP DOI BibTeX RDF |
Inventory/marketing/production interface, Discount-duration uncertainty, Temporary-sales policies |
| 2 | Marian Kotas |
Projective Versus Linear Filtering for Repolarization Duration Measurement.  |
Information Technologies in Biomedicine  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Malik Shahzad Kaleem Awan, Mian M. Awais |
Towards a Generic Model for Forecasting Rain Duration Using GITIC Model.  |
ECBS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Hongliang Bai, Jun Sun 0004, Satoshi Naoi, Yutaka Katsuyama, Yoshinobu Hotta, Katsuhito Fujimoto |
Video caption duration extraction.  |
ICPR  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Miaomiao Zhang, Dang Van Hung, Zhiming Liu |
Verification of Linear Duration Invariants by Model Checking CTL Properties.  |
ICTAC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Yingke Lei, Zifa Zhong, Yanhua Wu |
A New Hop Duration Blind Estimation Algorithm for Frequency-Hopping Signals.  |
PACIIA  |
2008 |
DBLP DOI BibTeX RDF |
Hop Duration, Blind Estimation, Frequency-Hopping Signals, RSPWVD, Adaptive Threshold Detection |
| 2 | Brennan Sellner, Reid G. Simmons |
Duration prediction for proactive replanning.  |
ICRA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Ying Lee, Chien-Hung Wei |
A Computerized Feature Reduction Using Cluster Methods for Accident Duration Forecasting on Freeway.  |
APSCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | 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 |
|
| 2 | Zoran Hadzi-Velkov, Nikola Zlatanov, George K. Karagiannidis |
Level Crossing Rate and Average Fade Duration of the Multihop Rayleigh Fading Channel.  |
ICC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Xiao Liu, Jinjun Chen, Ke Liu, Yun Yang |
Forecasting Duration Intervals of Scientific Workflow Activities Based on Time-Series Patterns.  |
eScience  |
2008 |
DBLP DOI BibTeX RDF |
Interval Forecasting, Activity Duration, Time-Series Patterns, Time-Series Segmentation, Scientific Workflow |
| 2 | Wen Ji, Shoubao Yang, Fuli Liu |
Sustained Online Duration - based Reputation Management for File-Sharing Peer-to-Peer Systems.  |
CSSE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Murtaza Taj, Andrea Cavallaro |
Object and Scene-Centric Activity Detection Using State Occupancy Duration Modeling.  |
AVSS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Guangping Xu, Wenhui Ma, Gang Wang, Xiaoguang Liu, Jing Liu |
Churn Impact on Replicated Data Duration in Structured P2P Networks.  |
WAIM  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Matthias Pätzold, 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 |
|
| 2 | 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 |
| 2 | Guangli Tian, Wandong Cai, Wei Wang |
Topology variety model for mobile ad hoc networks.  |
MOBILWARE  |
2008 |
DBLP DOI BibTeX RDF |
link duration, simulation, performance evaluation, ad hoc networks, mobility model |
| 2 | Jacky Keung, Barbara A. Kitchenham |
Experiments with Analogy-X for Software Cost Estimation.  |
Australian Software Engineering Conference  |
2008 |
DBLP DOI BibTeX RDF |
duration prediction, Mantel’s correlation, Analogy-X, case-based reasoning, analogy, Software effort prediction, ISBSG |
| 2 | 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 |
| 2 | Kosmidou Kyriaki, Constantin Zopounidis |
Generating interest rate scenarios for bank asset liability management.  |
Optimization Letters  |
2008 |
DBLP DOI BibTeX RDF |
Asset liability management, Interest rate, Duration-gap, Simulation, Goal programming |
| 2 | Saralees Nadarajah, Samuel Kotz |
Comments on "Minimum Duration Outages in Rayleigh Fading Channels".  |
IEEE Transactions on Communications  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Zoran Hadzi-Velkov |
Level Crossing Rate and Average Fade Duration of EGC Systems With Cochannel Interference in Rayleigh Fading.  |
IEEE Transactions on Communications  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Zoran Hadzi-Velkov |
Level Crossing Rate and Average Fade Duration of EGC Systems With Cochannel Interference in Rayleigh Fading.  |
IEEE Transactions on Communications  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Brian L. F. Daku, J. Eric Salt |
Error Analysis of a Localization Algorithm for Finite-Duration Events.  |
IEEE Transactions on Signal Processing  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Meryem Jabloun, Francois Leonard, Michelle Vieira, Nadine Martin |
A New Flexible Approach to Estimate the IA and IF of Nonstationary Signals of Long-Time Duration.  |
IEEE Transactions on Signal Processing  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Alessandro Vinciarelli |
Speakers Role Recognition in Multiparty Audio Recordings Using Social Network Analysis and Duration Distribution Modeling.  |
IEEE Transactions on Multimedia  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | 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 |
| 2 | Andrew Tam, Sazzadur Chowdhury |
A MEMS Ultra-Stable Short Duration Current Pulse Generator.  |
ISVLSI  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Lotfi Majdoub, Riadh Robbana |
Testing Duration Systems using an approximation method.  |
DepCoS-RELCOMEX  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Pawel Gluchowski |
Duration Calculus for Analysis of Fault Trees with Time Dependencies.  |
DepCoS-RELCOMEX  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | A. Kundu, T. Hines, B. Huyck, J. Phillips, L. Van Guilder |
Arabic Handwriting Recognition Using Variable Duration HMM.  |
ICDAR  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Yifei Dong, Chen Ling, Lesheng Hua |
Effect of Glance Duration on Perceived Complexity and Segmentation of User Interfaces.  |
HCI  |
2007 |
DBLP DOI BibTeX RDF |
Perceptual Complexity, Rapid Glance, Visual Segmentation |
| 2 | Carlos Arthur Lang Lisbôa, Marcelo Ienczczak Erigson, Luigi Carro |
System Level Approaches for Mitigation of Long Duration Transient Faults in Future Technologies.  |
European Test Symposium  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | A. F. Ramos-Alarcón, Valeri Kontorovich, M. Lara |
On the Fade Duration Distribution in Nakagami Fading Channels.  |
ICC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Pascal Michaillat, Shmuel S. Oren |
A Probabilistic Graphical Approach to Computing Electricity Price Duration Curves under Price and Quantity Competition.  |
HICSS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Dang Van Hung, Miaomiao Zhang |
On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties.  |
RTCSA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Alessandro Vinciarelli, F. Fernandez, Sarah Favre |
Semantic Segmentation of Radio Programs using Social Network Analysis and Duration Distribution Modeling.  |
ICME  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | 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 |
|
| 2 | Dang Van Hung |
Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus.  |
Formal Methods and Hybrid Real-Time Systems  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Alexandros Lazaridis, Panagiotis Zervas, Georgios Kokkinakis |
Segmental Duration Modeling for Greek Speech Synthesis.  |
ICTAI  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Chris George, Zhiming Liu, Jim Woodcock (eds.) |
Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures  |
Domain Modeling and the Duration Calculus  |
2007 |
DBLP BibTeX RDF |
|
| 2 | Rafael Sebastián, Guillermo Ayala, María Elena Díaz, Roberto Zoncu, Derek Toomre |
Estimating the Duration of Endocytic Events.  |
ISBI  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Suhaimi Bin Abd Latif, M. A. Rashid, F. Alam |
Effects of Varying Superframe Duration on Jitter in Interactive Multimedia Traffic Transmission over WLANs.  |
ACIS-ICIS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Bjørn Olav Hogstad, Matthias Pätzold |
Exact Closed-Form Expressions for the Distribution, Level-Crossing Rate, and Average Duration of Fades of the Capacity of MIMO Channels.  |
VTC Spring  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Alan Burns, Andy J. Wellings |
Delivering Real-Time Behaviour.  |
Domain Modeling and the Duration Calculus  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Cliff B. Jones |
Understanding Programming Language Concepts Via Operational Semantics.  |
Domain Modeling and the Duration Calculus  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Chris George |
Applicative Modelling with RAISE.  |
Domain Modeling and the Duration Calculus  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Peerly Setter, Hadas Marciano, Joel Norman, Major 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 |
| 2 | Chris Harrison, 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 |
| 2 | Anjana Jain, Raksha Upadhyay, P. D. Vyavahare, L. D. Arya |
Stochastic Modeling and Performance Evaluation of Fading Channel for Wireless Network Design.  |
AINA Workshops  |
2007 |
DBLP DOI BibTeX RDF |
Statistical model of fading channel, level crossing rate, fade duration, transition rate, outage time, satisfactory state, BER, SNR |
Displaying result #1 - #100 of 3139 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|