BibSLEIGH — sequence tag

sequence

sequence

Tag #sequence

703 papers:

CSL-2020-BarloyFLM #linear #robust: A Robust Class of Linear Recurrence Sequences (CB, NF, NL, FM), p. 16.
EDM-2019-GitinabardBHL #analysis #online #platform #student #what: What will you do next? A sequence analysis on the student transitions between online platforms in blended courses (NG, TB, SH, CFL).
ICPC-2019-FontanaP #debugging #using #visualisation: Visualizing sequences of debugging sessions using swarm debugging (EAF, FP), pp. 139–143.
ICPC-2019-LiangZYXJ #fuzzing: Sequence coverage directed greybox fuzzing (HL, YZ, YY, ZX, LJ), pp. 249–259.
CIAA-2019-Denzumi #algorithm: New Algorithms for Manipulating Sequence BDDs (SD), pp. 108–120.
DLT-2019-AmbrozP #on the: On Palindromic Length of Sturmian Sequences (PA, EP), pp. 244–250.
FSCD-2019-Vial: Sequence Types for Hereditary Permutators (PV), p. 15.
CIKM-2019-CaoZSX #modelling #named #network: HiCAN: Hierarchical Convolutional Attention Network for Sequence Modeling (YC, WZ, BS, CX), pp. 1723–1732.
ICML-2019-CohenB #analysis #empirical #modelling #performance: Empirical Analysis of Beam Search Performance Degradation in Neural Sequence Models (EC, JCB), pp. 1290–1299.
ICML-2019-GillickREEB #learning: Learning to Groove with Inverse Sequence Transformations (JG, AR, JHE, DE, DB), pp. 2269–2279.
ICML-2019-KalyanALB #modelling #set: Trainable Decoding of Sets of Sequences for Neural Sequence Models (AK, PA, SL, DB), pp. 3211–3221.
ICML-2019-KoolHW #probability: Stochastic Beams and Where To Find Them: The Gumbel-Top-k Trick for Sampling Sequences Without Replacement (WK, HvH, MW), pp. 3499–3508.
ICML-2019-KulunchakovM #optimisation #probability: Estimate Sequences for Variance-Reduced Stochastic Composite Optimization (AK, JM), pp. 3541–3550.
ICML-2019-SongTQLL #generative #named: MASS: Masked Sequence to Sequence Pre-training for Language Generation (KS, XT, TQ, JL, TYL), pp. 5926–5936.
ICML-2019-SternCKU #flexibility #generative: Insertion Transformer: Flexible Sequence Generation via Insertion Operations (MS, WC, JK, JU), pp. 5976–5985.
ICML-2019-SuW #distance #learning #metric: Learning Distance for Sequences by Learning a Ground Metric (BS, YW), pp. 6015–6025.
ICML-2019-ZieglerR #normalisation: Latent Normalizing Flows for Discrete Sequences (ZMZ, AMR), pp. 7673–7682.
KDD-2019-KrausF #personalisation #predict: Personalized Purchase Prediction of Market Baskets with Wasserstein-Based Sequence Matching (MK, SF), pp. 2643–2652.
KDD-2019-MingXQR #learning #prototype: Interpretable and Steerable Sequence Learning via Prototypes (YM, PX, HQ, LR), pp. 903–913.
KDD-2019-ShiZYLSJ #markov #modelling #personalisation: State-Sharing Sparse Hidden Markov Models for Personalized Sequences (HS, CZ0, QY, YL0, FS, DJ), pp. 1549–1559.
KDD-2019-SpathisRFMR #learning #multi #self: Sequence Multi-task Learning to Forecast Mental Wellbeing from Sparse Self-reported Data (DS, SSR, KF, CM, JR), pp. 2886–2894.
CASE-2019-KangJ #health #optimisation #process #realtime: Joint Optimization of Operating Mode and Part Sequence for Robot Loading Process Considering Real-time Health Condition (YK, FJ), pp. 48–53.
CGO-2019-PorpodasRBGM: Super-Node SLP: Optimized Vectorization for Code Sequences Containing Operators and Their Inverse Elements (VP, RCOR, EB, LFWG, TGM), pp. 206–216.
CGO-2019-RochaP0CL: Function Merging by Sequence Alignment (RCOR, PP, ZW0, MC, HL), pp. 149–163.
CGO-2019-TianQ0LR #manycore #query: Transforming Query Sequences for High-Throughput B+ Tree Processing on Many-Core Processors (RT, JQ, ZZ0, XL0, BR), pp. 96–108.
ICTSS-2019-YevtushenkoKK #adaptation #complexity #nondeterminism: Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs (NY, VVK, NK), pp. 86–103.
CIKM-2018-ZhuangTD #behaviour #question: Can User Behaviour Sequences Reflect Perceived Novelty? (MZ, EGT, GD), pp. 1507–1510.
ICML-2018-KaiserBRVPUS #modelling #performance #using: Fast Decoding in Sequence Models Using Discrete Latent Variables (LK, SB, AR, AV, NP, JU, NS), pp. 2395–2404.
ICML-2018-KeZSLTBPCP: Focused Hierarchical RNNs for Conditional Sequence Processing (NRK, KZ, AS, ZL, AT, YB, JP, LC, CJP), pp. 2559–2568.
ICML-2018-KrauseK0R #evaluation #modelling: Dynamic Evaluation of Neural Sequence Models (BK, EK, IM0, SR), pp. 2771–2780.
ICML-2018-QiJZ #earley #parsing #predict: Generalized Earley Parser: Bridging Symbolic Grammars and Sequence Data for Future Prediction (SQ, BJ, SCZ), pp. 4168–4176.
ICPR-2018-OuyangZMA #generative #image: Generating Image Sequence from Description with LSTM Conditional GAN (XO, XZ, DM, GA), pp. 2456–2461.
ICPR-2018-PengLMSL #detection #image #learning #video: Driving Maneuver Detection via Sequence Learning from Vehicle Signals and Video Images (XP, RL, YLM, SS, YL), pp. 1265–1270.
ICPR-2018-RhifWF #3d #network #recognition #using: Action Recognition from 3D Skeleton Sequences using Deep Networks on Lie Group Features (MR, HW, IRF), pp. 3427–3432.
ICPR-2018-VoulodimosDDR #3d #summary: Kinematics-based Extraction of Salient 3D Human Motion Data for Summarization of Choreographic Sequences (AV, ND, ADD, IR), pp. 3013–3018.
ICPR-2018-XinCZYW #probability #recognition #visual notation: Probabilistic Voting for Sequence Based Visual Place Recognition (ZX, YC, JZ0, YY, YW), pp. 1791–1796.
KDD-2018-Benson0T #set: Sequences of Sets (ARB, RK0, AT), pp. 1148–1157.
KDD-2018-LiaoZWMCYGW #learning #predict: Deep Sequence Learning with Auxiliary Information for Traffic Prediction (BL, JZ, CW0, DM, TC, SY, YG, FW), pp. 537–546.
CASE-2018-ZhangLFL #integer #linear #programming #using: Shortest Legal Firing Sequence of Net Condition/Event Systems Using Integer Linear Programming (JZ, HL, GF, ZL), pp. 1556–1561.
ICST-2018-YangHWK #api #named: EdSynth: Synthesizing API Sequences with Conditionals and Loops (ZY, JH, KW, SK), pp. 161–171.
EDM-2017-HansenHHAL #education #interactive #modelling #student: Sequence Modelling For Analysing Student Interaction with Educational Systems (CH0, CH, NH, SA, CL).
SANER-2017-WangPV #automation #generative #natural language: Automatically generating natural language descriptions for object-related statement sequences (XW, LLP, KVS), pp. 205–216.
DLT-2017-ZantemaB #permutation #transducer: Classifying Non-periodic Sequences by Permutation Transducers (HZ, WB), pp. 365–377.
CIKM-2017-AnGJLT #metadata: Citation Metadata Extraction via Deep Neural Network-based Segment Sequence Labeling (DA, LG, ZJ, RL, ZT), pp. 1967–1970.
CIKM-2017-BouadjenekVZ #biology #learning #using: Learning Biological Sequence Types Using the Literature (MRB, KV, JZ), pp. 1991–1994.
CIKM-2017-DongCWT0LLC #enterprise #performance #security: Efficient Discovery of Abnormal Event Sequences in Enterprise Security Systems (BD, ZC, WHW, LAT, KZ0, YL, ZL, HC), pp. 707–715.
CIKM-2017-GuptaLHA #induction #taxonomy #using: Taxonomy Induction Using Hypernym Subsequences (AG, RL, HH, KA), pp. 1329–1338.
CIKM-2017-NiuZ #collaboration #predict #recommendation: Collaborative Sequence Prediction for Sequential Recommender (SN, RZ), pp. 2239–2242.
CIKM-2017-WilliamsZ #detection #interactive #modelling: Does That Mean You're Happy?: RNN-based Modeling of User Interaction Sequences to Detect Good Abandonment (KW, IZ), pp. 727–736.
CIKM-2017-YuanSCZG0 #detection #multi: Detecting Multiple Periods and Periodic Patterns in Event Time Sequences (QY0, JS, XC, CZ0, XG, JH0), pp. 617–626.
CIKM-2017-ZhengWWYJ #generative #memory management #modelling: Sequence Modeling with Hierarchical Deep Generative Models with Dual Memory (YZ, LW, JW0, JY0, LJ), pp. 1369–1378.
ICML-2017-GehringAGYD #learning: Convolutional Sequence to Sequence Learning (JG, MA, DG, DY, YND), pp. 1243–1252.
ICML-2017-JaquesGBHTE #generative #modelling: Sequence Tutor: Conservative Fine-Tuning of Sequence Generation Models with KL-control (NJ, SG, DB, JMHL, RET, DE), pp. 1645–1654.
ICML-2017-LeiJBJ #architecture #graph #kernel: Deriving Neural Architectures from Sequence and Graph Kernels (TL0, WJ, RB, TSJ), pp. 2024–2033.
ICML-2017-LiuZLS #automation #composition #named: Gram-CTC: Automatic Unit Selection and Target Decomposition for Sequence Labelling (HL, ZZ, XL, SS), pp. 2188–2197.
ICML-2017-MuellerGJ #combinator: Sequence to Better Sequence: Continuous Revision of Combinatorial Structures (JM, DKG, TSJ), pp. 2536–2544.
ICML-2017-WangWHMZD #modelling: Sequence Modeling via Segmentations (CW, YW, PSH, AM, DZ, LD0), pp. 3674–3683.
ICML-2017-XuLZ #learning #process: Learning Hawkes Processes from Short Doubly-Censored Event Sequences (HX, DL, HZ), pp. 3831–3840.
ICML-2017-ZaheerAS #clustering #modelling: Latent LSTM Allocation: Joint Clustering and Non-Linear Dynamic Modeling of Sequence Data (MZ, AA, AJS), pp. 3967–3976.
KDD-2017-RaffN #distance #scalability: An Alternative to NCD for Large Sequences, Lempel-Ziv Jaccard Distance (ER, CKN), pp. 1007–1015.
KDD-2017-YinCZ #comprehension #design #named #network: DeepProbe: Information Directed Sequence Understanding and Chatbot Design via Recurrent Neural Networks (ZY, KhC, RZ), pp. 2131–2139.
POPL-2017-DAntoniV #finite #higher-order #logic #monad: Monadic second-order logic on finite sequences (LD, MV), pp. 232–245.
ASE-2017-ChengYW #reduction #testing #user interface: Systematic reduction of GUI test sequences (LC, ZY, CW0), pp. 849–860.
ASE-2017-JiangWLC #android #named #performance: SimplyDroid: efficient event sequence simplification for Android application (BJ0, YW, TL, WKC0), pp. 297–307.
CASE-2017-TianJW #network #social: Opinion containment in social networks over issue sequences (YT, GJ, LW0), pp. 1374–1379.
ICTSS-2017-PetrenkoAGO #automaton: From Passive to Active FSM Inference via Checking Sequence Construction (AP, FA, RG, CO), pp. 126–141.
ICTSS-2017-PetrenkoS #fault #generative #modelling: Generating Checking Sequences for User Defined Fault Models (AP, AdSS), pp. 320–325.
ICTSS-2017-WangTJK #quantifier #satisfiability: Homing Sequence Derivation with Quantified Boolean Satisfiability (HEW, KHT, JHRJ, NK), pp. 230–242.
EDM-2016-BuffumFBWML #assessment #collaboration #embedded #learning #mining: Mining Sequences of Gameplay for Embedded Assessment in Collaborative Learning (PSB, MF, KEB, ENW, BWM, JCL), pp. 575–576.
EDM-2016-DoroudiHAB16a #how #matter #process: Sequence Matters, But How Exactly? A Method for Evaluating Activity Sequences from Data (SD, KH, VA, EB), pp. 70–77.
EDM-2016-NgHLK #learning #modelling #using: Modelling the way: Using action sequence archetypes to differentiate learning pathways from learning outcomes (KHRN, KH, KL, AWHK), pp. 167–174.
CIKM-2016-GongC #classification #modelling: Model-Based Oversampling for Imbalanced Sequence Classification (ZG, HC), pp. 1009–1018.
CIKM-2016-HanYYGG #mobile #query: Framing Mobile Information Needs: An Investigation of Hierarchical Query Sequence Structure (SH, XY, ZY, ZG, AG), pp. 2131–2136.
ICML-2016-AnavaM: Heteroscedastic Sequences: Beyond Gaussianity (OA, SM), pp. 755–763.
ICML-2016-HwangS: Sequence to Sequence Training of CTC-RNNs with Partial Windowing (KH, WS), pp. 2178–2187.
ICML-2016-LeKYC #learning #online #predict: Smooth Imitation Learning for Online Sequence Prediction (HML0, AK, YY, PC0), pp. 680–688.
ICML-2016-SongGC #learning #network: Factored Temporal Sigmoid Belief Networks for Sequence Learning (JS, ZG, LC), pp. 1272–1281.
ICML-2016-YenLZRD #approach #multi: A Convex Atomic-Norm Approach to Multiple Sequence Alignment and Motif Discovery (IEHY, XL, JZ, PR, ISD), pp. 2272–2280.
ICPR-2016-AydinA #evolution #mining: Spatiotemporal event sequence mining from evolving regions (BA, RAA), pp. 4172–4177.
ICPR-2016-DasguptaYO #learning: Regularized dynamic Boltzmann machine with Delay Pruning for unsupervised learning of temporal sequences (SD, TY, TO), pp. 1201–1206.
ICPR-2016-FilipovychDRB #image #multi #recognition: Pollen recognition in optical microscopy by matching multifocal image sequences (RF, AD, ER, MB), pp. 2127–2132.
ICPR-2016-JenckelBD #documentation #learning #named: anyOCR: A sequence learning based OCR system for unlabeled historical documents (MJ, SSB, AD0), pp. 4035–4040.
ICPR-2016-OrriteRM #distance #learning #process #using: One-shot learning of temporal sequences using a distance dependent Chinese Restaurant Process (CO, MR, CM), pp. 2694–2699.
KDD-2016-BertensVS #multi: Keeping it Short and Simple: Summarising Complex Event Sequences with Multivariate Patterns (RB, JV, AS), pp. 735–744.
KDD-2016-FowkesS #mining: A Subsequence Interleaving Model for Sequential Pattern Mining (JMF, CAS), pp. 835–844.
KDD-2016-LiLDWWC #algorithm #linear #parallel: A Real Linear and Parallel Multiple Longest Common Subsequences (MLCS) Algorithm (YL, HL, TD, SW, ZW, YC), pp. 1725–1734.
KDD-2016-MatsubaraS #co-evolution #realtime: Regime Shifts in Streams: Real-time Forecasting of Co-evolving Time Sequences (YM, YS), pp. 1045–1054.
CASE-2016-FriedrichLV #automation #generative #maintenance: A planning system for generating manipulation sequences for the automation of maintenance tasks (CF, AL, AV), pp. 843–848.
CASE-2016-RuanWL #petri net #re-engineering: Reconstruction of unknown Petri net structures from asynchronous observations of token change sequences (KR, WW, LL), pp. 1049–1054.
ICTSS-2016-KarahodaEKTY #generative #heuristic: Parallelizing Heuristics for Generating Synchronizing Sequences (SK, OTE, KK, UCT, HY), pp. 106–122.
ICTSS-2016-YevtushenkoEE #adaptation #implementation #nondeterminism #on the fly #specification #testing: On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications (NY, KEF, AE), pp. 139–152.
TAP-2016-BruckerW #monad #testing: Monadic Sequence Testing and Explicit Test-Refinements (ADB, BW), pp. 17–36.
SIGMOD-2015-BeedkarG #mining #named #scalability: LASH: Large-Scale Sequence Mining with Hierarchies (KB, RG), pp. 491–503.
EDM-2015-EmondB #classification #process #student #using: Analyzing Student Inquiry Data Using Process Discovery and Sequence Classification (BE, SB), pp. 412–415.
EDM-2015-PaassenMH #adaptation #difference #metric: A Toolbox for Adaptive Sequence Dissimilarity Measures for Intelligent Tutoring Systems (BP, BM, BH), p. 632.
EDM-2015-YeKSB #behaviour #learning #multi #process: Learning Behavior Characterization with Multi-Feature, Hierarchical Activity Sequences (CY, JSK, JRS, GB), pp. 380–383.
CIAA-2015-KushikY #automaton #finite #nondeterminism #state machine: Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata (NK, NY), pp. 188–198.
LATA-2015-DaiW #algorithm #parallel #random: A Parallel Algorithm for Finding All Minimal Maximum Subsequences via Random Walk (HKD, ZW), pp. 133–144.
LATA-2015-Panteleev: Preset Distinguishing Sequences and Diameter of Transformation Semigroups (PP), pp. 353–364.
ICFP-2015-StuckiRUB: RRB vector: a practical general purpose immutable sequence (NS, TR, VU, PB), pp. 342–354.
CHI-2015-LaseckiRMB: The Effects of Sequence and Delay on Crowd Work (WSL, JMR, AM, JPB), pp. 1375–1378.
CHI-2015-ZgraggenDFD #query #regular expression #visual notation: (s|qu)eries: Visual Regular Expressions for Querying and Exploring Event Sequences (EZ, SMD, DF, RD), pp. 2683–2692.
CHI-2015-ZhaoLDHW #comparison #named #visual notation: MatrixWave: Visual Comparison of Event Sequence Data (JZ, ZL, MD, AH, AW), pp. 259–268.
HIMI-IKC-2015-HoriguchiTH #comprehension #concept #physics #problem #student: The Effect of Problem Sequence on Students’ Conceptual Understanding in Physics (TH, TT, TH), pp. 313–322.
ICEIS-v1-2015-AwasthiLK #algorithm #linear #problem #strict: Un-restricted Common Due-Date Problem with Controllable Processing Times — Linear Algorithm for a Given Job Sequence (AA, JL, OK), pp. 526–534.
CIKM-2015-BizidNBFD #identification #learning #microblog: Identification of Microblogs Prominent Users during Events by Learning Temporal Sequences of Features (IB, NN, PB, SF, AD), pp. 1715–1718.
KDD-2015-KimYTM #framework #predict: A Decision Tree Framework for Spatiotemporal Sequence Prediction (TK, YY, SLT, IM), pp. 577–586.
SIGIR-2015-KostakisG: Subsequence Search in Event-Interval Sequences (OK, AG), pp. 851–854.
ECOOP-2015-BurckhardtLPF #abstraction #protocol #robust: Global Sequence Protocol: A Robust Abstraction for Replicated Shared State (SB, DL, JP, MF), pp. 568–590.
SAC-2015-BechetCCC #constraints #mining #multi: Sequence mining under multiple constraints (NB, PC, TC, BC), pp. 908–914.
CASE-2015-Kruif #maintenance #optimisation: Wet-etch sequence optimisation incorporating time dependent chemical maintenance (BJdK), pp. 1389–1394.
CASE-2015-ThomasSR #assembly #flexibility: Flexible assembly through integrated assembly sequence planning and grasp planning (UT, TS, MAR), pp. 586–592.
ICTSS-2015-GrozSPO #finite #identification #state machine #using: Inferring Finite State Machines Without Reset Using State Identification Sequences (RG, AdSS, AP, CO), pp. 161–177.
ICTSS-2015-GunicenJY #adaptation #generative #multi #using: Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation (CG, GVJ, HY), pp. 19–34.
ICTSS-2015-KushikY #adaptation #finite #heuristic #nondeterminism #state machine: Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines (NK, HY), pp. 243–248.
SIGMOD-2014-MatsubaraSF #automation #co-evolution #mining #named: AutoPlait: automatic mining of co-evolving time sequences (YM, YS, CF), pp. 193–204.
SIGMOD-2014-QiCRR #online: Complex event analytics: online aggregation of stream sequence patterns (YQ, LC, MR, EAR), pp. 229–240.
VLDB-2014-KellarisPXP #infinity: Differentially Private Event Sequences over Infinite Streams (GK, SP, XX, DP), pp. 1155–1166.
EDM-2014-BergnerSD #assessment #clustering #visualisation: Visualization and Confirmatory Clustering of Sequence Data from a Simulation-Based Assessment Task (YB, ZS, AAvD), pp. 177–184.
EDM-2014-ClementORL #education #multi #online #optimisation: Online Optimization of Teaching Sequences with Multi-Armed Bandits (BC, PYO, DR, ML0), pp. 269–272.
DLT-2014-SprungerTEM: Eigenvalues and Transduction of Morphic Sequences (DS, WT, JE, LSM), pp. 239–251.
ICALP-v1-2014-AbboudWW #performance: Consequences of Faster Alignment of Sequences (AA, VVW, OW), pp. 39–51.
ICALP-v1-2014-Schmidt: The Mondshein Sequence (JMS), pp. 967–978.
ICALP-v2-2014-OuaknineW #linear #on the #problem: On the Positivity Problem for Simple Linear Recurrence Sequences, (JO, JW), pp. 318–329.
ICALP-v2-2014-OuaknineW14a #decidability #linear: Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences (JO, JW), pp. 330–341.
LATA-2014-BellaouarCZ #kernel #performance #string: Efficient List-Based Computation of the String Subsequence Kernel (SB, HC, DZ), pp. 138–148.
Haskell-2014-PloegK #monad: Reflection without remorse: revealing a hidden sequence to speed up monadic reflection (AvdP, OK), pp. 133–144.
GT-VMT-2014-BrennerGHLST #case study #realtime #testing #validation: ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study (CB, JG, JH, GL, GS, MT).
HIMI-AS-2014-JiangLLC #identification #network: Neural Networks for Identifying Civil Pilot’s Operation Sequences (ZJ, QL, YL, BC), pp. 241–252.
ICEIS-v1-2014-HenriquesA #database #generative #modelling: Generative Modeling of Itemset Sequences Derived from Real Databases (RH, CA), pp. 264–272.
ICEIS-v2-2014-DHondtT #composition: QoS-aware Service Composition Based on Sequences of Services (SD, ST), pp. 548–555.
ICML-c1-2014-DickGS #learning #markov #online #process: Online Learning in Markov Decision Processes with Changing Cost Sequences (TD, AG, CS), pp. 512–520.
ICML-c2-2014-QuattoniBCG: Spectral Regularization for Max-Margin Sequence Tagging (AQ, BB, XC, AG), pp. 1710–1718.
ICPR-2014-LovatoMCGB #2d #biology #classification #named: S-BLOSUM: Classification of 2D Shapes with Biological Sequence Alignment (PL, AM, CC, AG, MB), pp. 2335–2340.
ICPR-2014-OrriteRHRV #automation #recognition #segmentation: Automatic Segmentation and Recognition of Human Actions in Monocular Sequences (CO, MR, EH, GR, SAV), pp. 4218–4223.
ICPR-2014-PhamP #3d #hybrid #online #video: Hybrid On-Line 3D Face and Facial Actions Tracking in RGBD Video Sequences (HXP, VP), pp. 4194–4199.
ICPR-2014-YuSZ #artificial reality #detection #image #realtime: Real Time Fingertip Detection with Kinect Depth Image Sequences (YY, YS, YZ), pp. 550–555.
SEKE-2014-PereiraRA: Extending RBAC Model to Control Sequences of CRUD Expressions (ÓMP, DDR, RLA), pp. 463–469.
SEKE-2014-ZhangCL #adaptation #random #testing: An Application of Adaptive Random Sequence in Test Case Prioritization (XZ, TYC, HL), pp. 126–131.
SIGIR-2014-RoyVGC #query #segmentation #using: Improving unsupervised query segmentation using parts-of-speech sequence information (RSR, YV, NG, MC), pp. 935–938.
OOPSLA-2014-ZhaoWZDSSW #automaton #predict #probability: Call sequence prediction through probabilistic calling automata (ZZ, BW, MZ, YD, JS, XS, YW), pp. 745–762.
PLDI-2014-PombrioK #evaluation #named: Resugaring: lifting evaluation sequences through syntactic sugar (JP, SK), p. 38.
POPL-2014-Krebbers #axiom #c #nondeterminism #semantics: An operational and axiomatic semantics for non-determinism and sequence points in C (RK), pp. 101–112.
FSE-2014-GoffiGMPT #search-based #synthesis: Search-based synthesis of equivalent method sequences (AG, AG, AM, MP, PT), pp. 366–376.
CASE-2014-GaoLWA #monitoring #petri net #problem #using: A monitor solution to enforce legal transition firing sequences problems by using Petri nets (XG, ZL, AW, AMAA), pp. 419–424.
DATE-2014-BanerjeeD #calculus #constraints #generative #random #realtime: Acceptance and random generation of event sequences under real time calculus constraints (KB, PD), pp. 1–6.
LCTES-2014-MartinsNDMC #clustering #compilation #optimisation #using: Exploration of compiler optimization sequences using clustering-based selection (LGAM, RN, ACBD, EM, JMPC), pp. 63–72.
PPoPP-2014-SandesMMMA #comparison #parallel: Fine-grain parallel megabase sequence comparison with multiple heterogeneous GPUs (EFdOS, GM, ACMAdM, XM, EA), pp. 383–384.
ICTSS-2014-TurkerUY #adaptation: Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences (UCT, TÜ, HY), pp. 32–47.
ISSTA-2014-GalindoAABB #approach #testing #variability #video: A variability-based testing approach for synthesizing video sequences (JAG, MA, MA, BB, DB), pp. 293–303.
QoSA-2013-DuSHGV #generative #modelling: Generating service models by trace subsequence substitution (MD, JGS, CMH, JG, SV), pp. 123–132.
DocEng-2013-NedelecMMD #adaptation #collaboration #distributed #editing #named: LSEQ: an adaptive structure for sequences in distributed collaborative editing (BN, PM, AM, ED), pp. 37–46.
ICDAR-2013-SchambachR #learning #network: Stabilize Sequence Learning with Recurrent Neural Networks by Forced Alignment (MPS, SFR), pp. 1270–1274.
JCDL-2013-OkoyeSB #automation #generative #learning #library: Automatic extraction of core learning goals and generation of pedagogical sequences through a collection of digital library resources (IO, TS, SB), pp. 67–76.
SIGMOD-2013-LiGC #named #realtime: ε-Matching: event processing over noisy sequences in real time (ZL, TG, CXC), pp. 601–612.
SIGMOD-2013-MiliarakiBGZ #mining #scalability: Mind the gap: large-scale frequent sequence mining (IM, KB, RG, SZ), pp. 797–808.
VLDB-2013-LiUYG #correlation #database: Discovering Longest-lasting Correlation in Sequence Databases (YL, LHU, MLY, ZG), pp. 1666–1677.
VLDB-2013-MansourEKAA #named #parallel #scalability: RACE: A Scalable and Elastic Parallel System for Discovering Repeats in Very Long Sequences (EM, AER, PK, AA, AA), pp. 865–876.
VLDB-2014-WangDTZ13 #approximate #effectiveness #n-gram #performance: Efficient and Effective KNN Sequence Search with Approximate n-grams (XW, XD, AKHT, ZZ), pp. 1–12.
CIAA-2013-HasanIRS #automaton #on the: On Palindromic Sequence Automata and Applications (MMH, ASMSI, MSR, AS), pp. 158–168.
CIAA-2013-KushikY #finite #nondeterminism #on the #state machine: On the Length of Homing Sequences for Nondeterministic Finite State Machines (NK, NY), pp. 220–231.
DLT-2013-CurrieRS #word: Extremal Words in the Shift Orbit Closure of a Morphic Sequence (JDC, NR, KS), pp. 143–154.
ICALP-v2-2013-CzerwinskiMM #performance #regular expression: Efficient Separability of Regular Languages by Subsequences and Suffixes (WC, WM, TM), pp. 150–161.
LATA-2013-EndrullisGH: Mix-Automatic Sequences (JE, CG, DH), pp. 262–274.
LATA-2013-GocSS #automation #word: Primitive Words and Lyndon Words in Automatic and Linearly Recurrent Sequences (DG, KS, JS), pp. 311–322.
RTA-2013-WinklerZM #automation #proving #termination: Beyond Peano Arithmetic — Automatically Proving Termination of the Goodstein Sequence (SW, HZ, AM), pp. 335–351.
CSCW-2013-AliSN: Photographer paths: sequence alignment of geotagged photos for exploration-based route planning (AEA, SNAvS, FN), pp. 985–994.
HCI-III-2013-WangWDL #3d #estimation #image #multi: Tracking End-Effectors for Marker-Less 3D Human Motion Estimation in Multi-view Image Sequences (WW, ZW, XD, BL), pp. 227–235.
CIKM-2013-JabbourSS #mining #satisfiability: Boolean satisfiability for sequence mining (SJ, LS, YS), pp. 649–658.
CIKM-2013-SahliMK #parallel: Parallel motif extraction from very long sequences (MS, EM, PK), pp. 549–558.
CIKM-2013-TangLCZ: Searching similar segments over textual event sequences (LT, TL, SCC, SZ), pp. 329–338.
ICML-c1-2013-XiaoG #adaptation #probability: Domain Adaptation for Sequence Labeling Tasks with a Probabilistic Language Adaptation Model (MX, YG), pp. 293–301.
ICML-c3-2013-KolmogorovT #algorithm: Inference algorithms for pattern-based CRFs on sequence data (RT, VK), pp. 145–153.
KDD-2013-ChenXJ #modelling #multi #probability: Multi-space probabilistic sequence modeling (SC, JX, TJ), pp. 865–873.
KDD-2013-KengneFTIRWS #execution #multi #scalability: Efficiently rewriting large multimedia application execution traces with few event sequences (CKK, LCF, AT, NI, MCR, TW, MS), pp. 1348–1356.
KDD-2013-WuLYT #mining: Mining high utility episodes in complex event sequences (CWW, YFL, PSY, VST), pp. 536–544.
SAC-2013-BarrosJBFBF #gesture #recognition: Convexity local contour sequences for gesture recognition (PVAB, NTMJ, JMMB, BJTF, BLDB, SMMF), pp. 34–39.
LDTA-J-2009-ChilowiczDR #source code: Viewing functions as token sequences to highlight similarities in source code (MC, ÉD, GR), pp. 1871–1891.
CASE-2013-OFlahertyE #bound #learning: Learning to locomote: Action sequences and switching boundaries (RO, ME), pp. 7–12.
DAC-2013-KinsmanKN #generative #validation: Hardware-efficient on-chip generation of time-extensive constrained-random sequences for in-system validation (ABK, HFK, NN), p. 6.
PDP-2013-MontanolaRH #distributed #memory management: Pairwise Sequence Alignment Method for Distributed Shared Memory Systems (AM, CR, PH), pp. 432–436.
FASE-2013-LinPEHR #analysis #behaviour #requirements #specification #string: Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification (LL, JHP, RE, RMH, CRM), pp. 179–193.
ISSTA-2013-JensenPM #automation #generative #testing: Automated testing with targeted event sequence generation (CSJ, MRP, AM), pp. 67–77.
PODS-2012-GrossiO #maintenance #string: The wavelet trie: maintaining an indexed sequence of strings in compressed space (RG, GO), pp. 203–214.
SIGMOD-2012-LiG #online #probability: Online windowed subsequence matching over probabilistic sequences (ZL, TG), pp. 277–288.
VLDB-2012-KotsifakosPHGAK #named: Hum-a-song: A Subsequence Matching with Gaps-Range-Tolerances Query-By-Humming System (AK, PP, JH, DG, VA, GK), pp. 1930–1933.
VLDB-2012-YangLW #database #named: ALAE: Accelerating Local Alignment with Affine Gap Exactly in Biosequence Databases (XY, HL, BW), pp. 1507–1518.
VLDB-2012-ZhuKA #effectiveness #framework #performance #retrieval: A Generic Framework for Efficient and Effective Subsequence Retrieval (HZ, GK, VA), pp. 1579–1590.
AFL-J-2011-KariX12 #revisited: De Bruijn Sequences Revisited (LK, ZX), pp. 1307–1322.
DLT-J-2011-CharlierRS12 #automation #decidability: Enumeration and Decidable Properties of Automatic Sequences (EC, NR, JS), pp. 1035–1066.
CIAA-2012-AmarniL #kernel: Factor and Subsequence Kernels and Signatures of Rational Languages (AA, SL), pp. 313–320.
ICALP-v2-2012-GugelmannPP #clustering #graph #random: Random Hyperbolic Graphs: Degree Sequence and Clustering — (LG, KP, UP), pp. 573–585.
CIG-2012-Villacorta0P #automation #dependence #design #game studies: Automatic design of deterministic sequences of decisions for a repeated imitation game with action-state dependency (PJV, LQ0, DAP), pp. 1–8.
ICML-2012-Boulanger-LewandowskiBV #dependence #generative #modelling #music: Modeling Temporal Dependencies in High-Dimensional Sequences: Application to Polyphonic Music Generation and Transcription (NBL, YB, PV), p. 244.
ICML-2012-EbanBSG #learning #online #predict: Learning the Experts for Online Sequence Prediction (EE, AB, SSS, AG), p. 38.
ICML-2012-SpiliopoulouS #topic: A Topic Model for Melodic Sequences (AS, AJS), p. 106.
ICPR-2012-BaccoucheMWGB #2d #invariant #learning #recognition #representation: Sparse shift-invariant representation of local 2D patterns and sequence learning for human action recognition (MB, FM, CW, CG, AB), pp. 3823–3826.
ICPR-2012-BicegoL #2d #biology #recognition #tool support #using: 2D shape recognition using biological sequence alignment tools (MB, PL), pp. 1359–1362.
ICPR-2012-ChandraJ #kernel #video: Partial Least Squares kernel for computing similarities between video sequences (SC, CVJ), pp. 513–516.
ICPR-2012-ItohTA #3d #graph #image #using: 3D tracking of soccer players using time-situation graph in monocular image sequence (HI, TT, YA), pp. 2532–2536.
ICPR-2012-KusumaSLL #recognition #using: Appearance-based object recognition using weighted longest increasing subsequence (GPK, AS, YL, JAL), pp. 3668–3671.
ICPR-2012-LeeLHL #re-engineering #video: Super-resolution reconstruction of video sequences based on wavelet-domain spatial and temporal processing (CML, CJL, CYH, WNL), pp. 194–197.
ICPR-2012-LiZL #image #stack: Removal of dust artifacts in focal stack image sequences (CL, KZ, SL), pp. 2602–2605.
ICPR-2012-OnofriS #recognition #video: Combining video subsequences for human action recognition (LO, PS), pp. 597–600.
KDD-2012-KuksaP #evaluation #kernel #performance #scalability: Efficient evaluation of large sequence kernels (PPK, VP), pp. 759–767.
KDD-2012-RakthanmanonCMBWZZK #mining: Searching and mining trillions of time series subsequences under dynamic time warping (TR, BJLC, AM, GEAPAB, MBW, QZ, JZ, EJK), pp. 262–270.
KDD-2012-TattiV: The long and the short of it: summarising event sequences with serial episodes (NT, JV), pp. 462–470.
KDIR-2012-BarbieriBCMR #modelling #probability #recommendation: Probabilistic Sequence Modeling for Recommender Systems (NB, AB, MC, GM, ER), pp. 75–84.
KDIR-2012-GayLM #approach #constraints #mining #multi: Constraint-programming Approach for Multiset and Sequence Mining (PG, BL, JM), pp. 212–220.
KDIR-2012-QuirogaMH: Frequent and Significant Episodes in Sequences of Events — Computation of a New Frequency Measure based on Individual Occurrences of the Events (OQ, JM, SH), pp. 324–328.
ECMFA-2012-BriandLL #data flow #diagrams #integration #state machine #testing #uml: Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing (LCB, YL, YL), pp. 74–89.
OOPSLA-2012-LucasER #detection #distributed #problem: Detecting problematic message sequences and frequencies in distributed systems (CL, SGE, DSR), pp. 915–926.
SAS-2012-HalbwachsH: When the Decreasing Sequence Fails (NH, JH), pp. 198–213.
ASE-2012-Meananeatra #identification #maintenance #refactoring: Identifying refactoring sequences for improving software maintainability (PM), pp. 406–409.
SAC-2012-JiXWLTY #gpu: High-throughput antibody sequence alignment based on GPU computing (GJ, ZX, XW, SL, MT, JY), pp. 1417–1418.
CASE-2012-BergagardF #concurrent #multi: Deadlock avoidance for multi product manufacturing systems modeled as sequences of operations (PB, MF), pp. 515–520.
PDP-2012-SteinbrecherS #on the #optimisation #problem: On Optimizing the Longest Common Subsequence Problem by Loop Unrolling Along Wavefronts (JS, WS), pp. 603–611.
ICST-2012-KruseW #classification #generative #testing: Test Sequence Generation from Classification Trees (PMK, JW), pp. 539–548.
ICST-2012-KuhnHLKL #combinator #testing: Combinatorial Methods for Event Sequence Testing (DRK, JMH, JL, RK, YL), pp. 601–609.
ICST-2012-PetrenkoSY #finite #generative #nondeterminism #state machine: Generating Checking Sequences for Nondeterministic Finite State Machines (AP, AdSS, NY), pp. 310–319.
LICS-2012-GrabmayerEHKM #automation: Automatic Sequences and Zip-Specifications (CG, JE, DH, JWK, LSM), pp. 335–344.
SMT-2012-BjornerGMV #regular expression: SMT-LIB Sequences and Regular Expressions (NB, VG, RM, MV), pp. 77–87.
DocEng-2011-GippM #algorithm #detection #pattern matching: Citation pattern matching algorithms for citation-based plagiarism detection: greedy citation tiling, citation chunking and longest common citation sequence (BG, NM), pp. 249–258.
SIGMOD-2011-HanLMHY #approach: A new approach for processing ranked subsequence matching based on ranked union (WSH, JL, YSM, SwH, HY), pp. 457–468.
SIGMOD-2011-LiTP #named: WHAM: a high-throughput sequence alignment method (YL, AT, JMP), pp. 445–456.
SIGMOD-2011-LiuRGGWAM #analysis #multi #named #query #using: E-Cube: multi-dimensional event sequence analysis using hierarchical pattern query sharing (ML, EAR, KG, CG, SW, IA, AM), pp. 889–900.
VLDB-2011-KotsifakosPHG #framework: A Subsequence Matching with Gaps-Range-Tolerances Framework: A Query-By-Humming Application (AK, PP, JH, DG), pp. 761–771.
VLDB-2011-RenLKZC #evolution #graph #on the #query: On Querying Historical Evolving Graph Sequences (CR, EL, BK, XZ, RC), pp. 726–737.
ITiCSE-2011-BarrosBV #java #named #object-oriented #programming #source code #visualisation: Java2Sequence: a tool for the visualization of object-oriented programs in introductory programming (JPB, LB, MV), p. 369.
AFL-2011-KariX #revisited: De Bruijn Sequences Revisited (LK, ZX), pp. 241–254.
DLT-2011-CharlierRS #automation #decidability: Enumeration and Decidable Properties of Automatic Sequences (EC, NR, JS), pp. 165–179.
IFL-2011-ChangBCF #lazy evaluation #stack: From Stack Traces to Lazy Rewriting Sequences (SC, EB, JC, MF), pp. 100–115.
CHI-2011-HinrichsC #gesture #interactive #multi: Gestures in the wild: studying multi-touch gesture sequences on interactive tabletop exhibits (UH, MSTC), pp. 3023–3032.
CHI-2011-WongsuphasawatGPWTS #named #overview #visualisation: LifeFlow: visualizing an overview of event sequences (KW, JAGG, CP, TDW, MTM, BS), pp. 1747–1756.
CIKM-2011-ChuiKLC #algorithm #query: I/O-efficient algorithms for answering pattern-based aggregate queries in a sequence OLAP system (CKC, BK, EL, RC), pp. 1619–1628.
CIKM-2011-DaltonAS #retrieval: Passage retrieval for incorporating global evidence in sequence labeling (JD, JA, DAS), pp. 355–364.
KDD-2011-IfrimW #biology #bound #classification #coordination #predict: Bounded coordinate-descent for biological sequence classification in high dimensional predictor space (GI, CW), pp. 708–716.
KDD-2011-JiangLLWY: Prominent streak discovery in sequence data (XJ, CL, PL, MW, YY), pp. 1280–1288.
KDD-2011-PatnaikBRPKH #case study #challenge #experience #mining: Experiences with mining temporal event sequences from electronic medical records: initial successes and some challenges (DP, PB, NR, LP, BJK, DAH), pp. 360–368.
SIGIR-2011-ZhouLM #named: OrientSTS: spatio-temporal sequence searching in flickr (CZ, DL, XM), pp. 1265–1266.
OOPSLA-2011-ThummalapentaXTHS #testing: Synthesizing method sequences for high-coverage testing (ST, TX, NT, JdH, ZS), pp. 189–206.
ICSE-2011-KumarKRL #graph #mining: Mining message sequence graphs (SK, SCK, AR, DL), pp. 91–100.
SAC-2011-Fournier-VigerNT #mining #named: RuleGrowth: mining sequential rules common to several sequences by pattern-growth (PFV, RN, VSMT), pp. 956–961.
SAC-2011-KadriE #mining #nondeterminism #web: Mining uncertain web log sequences with access history probabilities (OK, CIE), pp. 1059–1060.
SAC-2011-LeeKCW #visualisation: Visualizing dispute sections and relations from the sequence of replying comments (YJL, EKK, HGC, GW), pp. 786–791.
DAC-2011-ReviriegoMB #ad hoc #design #fault #memory management #reliability: Designing ad-hoc scrubbing sequences to improve memory reliability against soft errors (PR, JAM, SB), pp. 700–705.
DATE-2011-CabodiNQ #revisited: Interpolation sequences revisited (GC, SN, SQ), pp. 316–322.
CADE-2011-Brown #higher-order #problem #proving #satisfiability #theorem proving: Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems (CEB), pp. 147–161.
ICLP-2011-ChristiansenHLP #analysis #network: Bayesian Annotation Networks for Complex Sequence Analysis (HC, CTH, OTL, MP), pp. 220–230.
ICST-2011-ChanderDSY #automaton #finite #generative #modelling: Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems (AC, DD, KS, DY), pp. 140–149.
DRR-2010-Dejean #detection #documentation: Numbered sequence detection in documents (HD), pp. 1–10.
PODS-2010-KimelfeldR #markov: Transducing Markov sequences (BK, CR), pp. 15–26.
SIGMOD-2010-ChuiKLC #named: S-OLAP: an OLAP system for analyzing sequence data (CKC, BK, EL, DWC), pp. 1131–1134.
SIGMOD-2010-MozafariZZ #xml: K*SQL: a unifying engine for sequence patterns and XML (BM, KZ, CZ), pp. 1143–1146.
VLDB-2010-MozafariZZ #execution #query #regular expression #relational #word #xml: From Regular Expressions to Nested Words: Unifying Languages and Query Execution for Relational and XML Sequences (BM, KZ, CZ), pp. 150–161.
CIAA-2010-GerbushH #approximate: Approximating Minimum Reset Sequences (MG, BH), pp. 154–162.
LATA-2010-Arslan #algorithm #performance #string: A Fast Longest Common Subsequence Algorithm for Similar Strings (ANA), pp. 82–93.
LATA-2010-MiloPZ #constraints #named #regular expression: SA-REPC — Sequence Alignment with Regular Expression Path Constraint (NM, TP, MZU), pp. 451–462.
CSCW-2010-ShaoLG #algorithm #mobile: A sequence transformation algorithm for supporting cooperative work on mobile devices (BS, DL, NG), pp. 159–168.
ICEIS-AIDSS-2010-BenayadiG #framework #mining: Mining Timed Sequences with TOM4L Framework (NB, MLG), pp. 111–120.
ICEIS-AIDSS-2010-KuhnDGC #algorithm #ontology: KBE Template Update Propagation Support — Ontology and Algorithm for Update Sequence Computation (OK, TD, PG, PC), pp. 5–12.
ICEIS-AIDSS-2010-VialeBGP #approach #modelling #process #scalability #using: Modeling Large Scale Manufacturing Process from Timed Data — Using the TOM4L Approach and Sequence Alignment Information for Modeling STMicroelectronics’ Production Processes (PV, NB, MLG, JP), pp. 129–138.
ECIR-2010-KimCLL #detection #effectiveness #image #named #using: BASIL: Effective Near-Duplicate Image Detection Using Gene Sequence Alignment (HsK, HWC, JL, DL), pp. 229–240.
ICPR-2010-AzarM #automation #image #network #using: Automated Tracking of the Carotid Artery in Ultrasound Image Sequences Using a Self Organizing Neural Network (JCA, HHM), pp. 2544–2547.
ICPR-2010-BhatBSS #transitive #video #visual notation #word: Transitive Closure Based Visual Words for Point Matching in Video Sequence (KKSB, MOB, GS, FS), pp. 3300–3303.
ICPR-2010-HoriKY #generative #image #multi #using: Arbitrary Stereoscopic View Generation Using Multiple Omnidirectional Image Sequences (MH, MK, NY), pp. 286–289.
ICPR-2010-KapotasS: Rate Control of H.264 Encoded Sequences by Dropping Frames in the Compressed Domain (SKK, ANS), pp. 2382–2385.
ICPR-2010-KoulgiSRM #modelling #visual notation: Graphical Model-Based Tracking of Curvilinear Structures in Bio-image Sequences (PK, MES, KR, BSM), pp. 2596–2599.
ICPR-2010-KuksaP #classification #performance #representation: Spatial Representation for Efficient Sequence Classification (PPK, VP), pp. 3320–3323.
ICPR-2010-OrtizRGMD #image #interactive: Interactive Browsing of Remote JPEF 2000 Image Sequences (JPGO, VGR, IG, DM, GD), pp. 3179–3182.
ICPR-2010-RahimBBP #analysis: Pelvic Organs Dynamic Feature Analysis for MRI Sequence Discrimination (MR, MEB, RB, NP), pp. 2496–2499.
ICPR-2010-RichiardiVRB #classification #graph: Vector Space Embedding of Undirected Graphs with Fixed-cardinality Vertex Sequences for Classification (JR, DVDV, KR, HB), pp. 902–905.
ICPR-2010-SchelsS #approach #classification #image #multi: A Multiple Classifier System Approach for Facial Expressions in Image Sequences Utilizing GMM Supervectors (MS, FS), pp. 4251–4254.
ICPR-2010-TakalaCP #clustering #network: Boosting Clusters of Samples for Sequence Matching in Camera Networks (VT, YC, MP), pp. 400–403.
ICPR-2010-UchiyamaDTIM #image #multi: Removal of Moving Objects from a Street-View Image by Fusing Multiple Image Sequences (HU, DD, TT, II, HM), pp. 3456–3459.
ICPR-2010-ZwengK #behaviour #image #multi #recognition #using: Unexpected Human Behavior Recognition in Image Sequences Using Multiple Features (AZ, MK), pp. 368–371.
KDD-2010-CaoOYW #behaviour #detection: Detecting abnormal coupled sequences and sequence changes in group-based manipulative trading behaviors (LC, YO, PSY, GW), pp. 85–94.
KDD-2010-HoTL #learning #metric #reduction #similarity: Tropical cyclone event sequence similarity search via dimensionality reduction and metric learning (SSH, WT, WTL), pp. 135–144.
SIGIR-2010-ZhangZYH #detection #performance: Efficient partial-duplicate detection based on sequence matching (QZ, YZ, HY, XH), pp. 675–682.
AdaEurope-2010-PastorASA #approach #modelling #realtime #towards #using: Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach (JAP, DA, PS, BÁ), pp. 167–180.
ASE-2010-ZhengZLX #generative #random #recommendation #testing: Random unit-test generation with MUT-aware sequence recommendation (WZ, QZ, MRL, TX), pp. 293–296.
SAC-2010-MisraNLC #generative #named: FANGS: high speed sequence mapping for next generation sequencers (SM, RN, SL, ANC), pp. 1539–1546.
CASE-2010-BengtssonTLAYMF #automation #design #identification #visualisation: Relations identification and visualization for sequence planning and automation design (KB, CT, BL, KÅ, CY, SM, PF), pp. 841–848.
DATE-2010-PomeranzR #requirements #testing #using: Reducing the storage requirements of a test sequence by using a background vector (IP, SMR), pp. 1237–1242.
HPDC-2010-AgrawalMHC #estimation #named #parallel #statistics: MPIPairwiseStatSig: parallel pairwise statistical significance estimation of local sequence alignment (AA, SM, DH, ANC), pp. 470–476.
HPDC-2010-HigdonLK #functional #modelling #similarity: Modeling sequence and function similarity between proteins for protein functional annotation (RH, BL, EK), pp. 499–502.
LCTES-2010-KulkarniJW #optimisation #performance: Improving both the performance benefits and speed of optimization phase sequence searches (PAK, MRJ, DBW), pp. 95–104.
PPoPP-2010-SandesM #comparison #gpu #named #using: CUDAlign: using GPU to accelerate the comparison of megabase genomic sequences (EFdOS, ACMAdM), pp. 137–146.
ICST-2010-Arcuri10a #testing: Longer is Better: On the Role of Test Sequence Length in Software Testing (AA), pp. 469–478.
ICST-2010-BelliLBS #detection #fault #testing: Fault Detection Likelihood of Test Sequence Length (FB, ML, CJB, HAS), pp. 402–411.
ICDAR-2009-LiFWL #documentation #image #retrieval: Document Image Retrieval with Local Feature Sequences (JL, ZGF, YW, NL), pp. 346–350.
ICDAR-2009-LiT #identification #independence #online: Online Text-independent Writer Identification Based on Temporal Sequence and Shape Codes (BL, TT), pp. 931–935.
ICDAR-2009-LiuBMG #bound #detection #fault: Improving the Table Boundary Detection in PDFs by Fixing the Sequence Error of the Sparse Lines (YL, KB, PM, CLG), pp. 1006–1010.
JCDL-2009-HannaRR #retrieval: An alignment based system for chord sequence retrieval (PH, MR, TR), pp. 101–104.
VLDB-2009-PapapetrouAKG #database #scalability: Reference-Based Alignment in Large Sequence Databases (PP, VA, GK, DG), pp. 205–216.
SIGITE-2009-HislopL #student: Creating a new introductory course sequence for BSIT students (GWH, LJL), pp. 187–191.
SEFM-2009-HieronsJUY #adaptation #using: Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences (RMH, GVJ, HU, HY), pp. 157–166.
HCI-AUII-2009-SuzukiNABYF #comparison #empirical #interactive #mobile #modelling: Empirical Comparison of Task Completion Time between Mobile Phone Models with Matched Interaction Sequences (SS, YN, TA, VB, NY, SF), pp. 114–122.
HIMI-II-2009-BaeKB #interactive #segmentation #video: Interactive Object Segmentation System from a Video Sequence (GB, SYK, HB), pp. 221–228.
ICEIS-AIDSS-2009-TsengCH #approach #assembly #multi #using: A Decision Support System for Multi-plant Assembly Sequence Planning using a PSO Approach (YJT, JYC, FYH), pp. 124–129.
CIKM-2009-BarskySTU #scalability: Suffix trees for very large genomic sequences (MB, US, AT, CU), pp. 1417–1420.
CIKM-2009-ChuiLKH #query #ranking: Supporting ranking pattern-based aggregate queries in sequence data cubes (CKC, EL, BK, WSH), pp. 997–1006.
CIKM-2009-GardnerX #approach #automation #detection: Automatic link detection: a sequence labeling approach (JJG, LX), pp. 1701–1704.
CIKM-2009-MeiKKT #analysis #framework: An analysis framework for search sequences (QM, KLK, RK, AT), pp. 1991–1994.
CIKM-2009-PhamRMSB #summary: Time sequence summarization to scale up chronology-dependent applications (QKP, GR, NM, RSP, BB), pp. 1137–1146.
ICML-2009-HuangS #learning #linear: Learning linear dynamical systems without sequence information (TKH, JGS), pp. 425–432.
ICML-2009-QianJZHW #higher-order #random: Sparse higher order conditional random fields for improved sequence labeling (XQ, XJ, QZ, XH, LW), pp. 849–856.
ICML-2009-WoodAGJT #probability: A stochastic memoizer for sequence data (FW, CA, JG, LJ, YWT), pp. 1129–1136.
KDD-2009-LappasAPKG #documentation #on the: On burstiness-aware search for document sequences (TL, BA, MP, DK, DG), pp. 477–486.
KDD-2009-LiMPF #mining #named #summary: DynaMMo: mining and summarization of coevolving sequences with missing values (LL, JM, NSP, CF), pp. 507–516.
KDIR-2009-GabadinhoRSM #category theory #set #visualisation: Summarizing Sets of Categorical Sequences — Selecting and Visualizing Representative Sequences (AG, GR, MS, NSM), pp. 62–69.
PADL-2009-MaldeO #analysis #haskell #scalability #using: Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell (KM, BO), pp. 183–194.
ICSE-2009-ThummalapentaX #mining: Mining exception-handling rules as sequence association rules (ST, TX), pp. 496–506.
SAC-2009-AraujoSSF #classification #named #type system: HIVSetSubtype: software for subtype classification of HIV-1 sequences (LVdA, SSS, ECS, JEF), pp. 811–815.
ICLP-2009-ChristiansenL #analysis #modelling #optimisation #preprocessor: Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis (HC, OTL), pp. 70–83.
ICLP-2009-Have #analysis #biology #constraints #modelling #statistics: Logic-Statistic Models with Constraints for Biological Sequence Analysis (CTH), pp. 549–550.
ICST-2009-BandyopadhyayG #generative #modelling #state machine #uml #using: Test Input Generation Using UML Sequence and State Machines Models (AB, SG), pp. 121–130.
SIGMOD-2008-AthitsosPPKG #approximate: Approximate embedding-based subsequence matching of time series (VA, PP, MP, GK, DG), pp. 365–378.
SIGMOD-2008-LoKHLCC: OLAP on sequence data (EL, BK, WSH, SDL, CKC, DWC), pp. 649–660.
VLDB-2008-LachmannR: Finding relevant patterns in bursty sequences (AL, MR), pp. 78–89.
DLT-2008-CaludeZ #independence: Algorithmically Independent Sequences (CSC, MZ), pp. 183–195.
DLT-2008-CassaigneKZ #complexity: Relationally Periodic Sequences and Subword Complexity (JC, TK, LQZ), pp. 196–205.
DLT-2008-ItoKKS: Duplication in DNA Sequences (MI, LK, ZK, SS), pp. 419–430.
LATA-2008-Steinberg #matrix #theorem: Subsequence Counting, Matrix Representations and a Theorem of Eilenberg (BS), pp. 6–10.
SFM-2008-BarbutiCMMP #calculus: The Calculus of Looping Sequences (RB, GC, AMS, PM, GP), pp. 387–423.
GT-VMT-2008-LambersET: Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences (LL, HE, GT).
CHI-2008-MartinI: EdgeWrite with integrated corner sequence help (BM, PI), pp. 583–592.
ICEIS-AIDSS-2008-BoucheGC: A Global Model of Sequences of Discrete Event Class Occurrences (PB, MLG, JC), pp. 173–180.
ICEIS-AIDSS-2008-GocB: Discovering Expert’s Knowledge from Sequences of Discrete Event Class Occurrences (MLG, NB), pp. 253–260.
ICEIS-ISAS2-2008-Shinkawa #consistency #modelling #process #uml: Evaluating Consistency between UML Activity and Sequence Models (YS), pp. 282–289.
CIKM-2008-HoefelE #classification #learning: Learning a two-stage SVM/CRF sequence classifier (GH, CE), pp. 271–278.
CIKM-2008-RosenfeldFU #classification #using #web: Using sequence classification for filtering web pages (BR, RF, LHU), pp. 1355–1356.
ICML-2008-AllauzenMT #kernel #predict: Sequence kernels for predicting protein essentiality (CA, MM, AT), pp. 9–16.
ICPR-2008-AraiMKH #geometry #people #video: Estimating the number of people in a video sequence via geometrical model (HA, IM, HK, MH), pp. 1–4.
ICPR-2008-ChengWL #categorisation #clustering: Dual clustering for categorization of action sequences (JC, LW, CL), pp. 1–4.
ICPR-2008-FilipH #performance #segmentation #video: Fast and reliablePCA-based temporal segmentation of video sequences (JF, MH), pp. 1–4.
ICPR-2008-HadidP #classification #gender #video: Combining motion and appearance for gender classification from video sequences (AH, MP), pp. 1–4.
ICPR-2008-HuynhH #estimation #recursion #video: Recursive structure and motion estimation from noisy uncalibrated video sequences (DQH, AH), pp. 1–5.
ICPR-2008-KimS #consistency #detection #using #video: Static text region detection in video sequences using color and orientation consistencies (DK, KS), pp. 1–4.
ICPR-2008-LiuZDY #detection #learning #video: Video attention: Learning to detect a salient object sequence (TL, NZ, WD, ZY), pp. 1–4.
ICPR-2008-MilanovaRKTK #video #visual notation: Combined visual attention model for video sequences (MGM, SHR, RK, VT, RK), pp. 1–4.
ICPR-2008-PopSM #incremental #video: Incremental trajectory aggregation in video sequences (IP, MS, SM), pp. 1–4.
ICPR-2008-TagawaKNO #3d #image #multi #network: Direct 3-D shape recovery from image sequence based on multi-scale Bayesian network (NT, JK, SN, KO), pp. 1–4.
ICPR-2008-TsuboiK: A new objective function for sequence labeling (YT, HK), pp. 1–4.
ICPR-2008-YamaguchiWNN #estimation #image #using: Road region estimation using a sequence of monocular images (KY, AW, TN, YN), pp. 1–4.
KDD-2008-KiernanT #scalability #summary: Constructing comprehensive summaries of large event sequences (JK, ET), pp. 417–425.
KDD-2008-LaxmanTW #generative #modelling #predict #using: Stream prediction using a generative model based on frequent episodes in event sequences (SL, VT, RWW), pp. 453–461.
KDD-2008-ShaoCTYA #mining #performance: Efficient ticket routing by resolution sequence mining (QS, YC, ST, XY, NA), pp. 605–613.
SAC-2008-HieronsJUY #adaptation #using: Using adaptive distinguishing sequences in checking sequence constructions (RMH, GVJ, HU, HY), pp. 682–687.
CASE-2008-SharmaBDC #assembly #generative #optimisation #using: Generation of optimized robotic assembly sequence using ant colony optimization (SS, BBB, PD, BBC), pp. 894–899.
ICLP-2008-Lassen #analysis: Biosequence Analysis in PRISM (OTL), pp. 809–810.
ICST-2008-KimC #object-oriented #source code #testing: A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs (MK, YC), pp. 537–540.
TestCom-FATES-2008-SimaoP #finite #generative #state machine: Generating Checking Sequences for Partial Reduced Finite State Machines (AdSS, AP), pp. 153–168.
VLDB-2007-HanLMJ #database: Ranked Subsequence Matching in Time-Series Databases (WSH, JL, YSM, HJ), pp. 423–434.
VLDB-2007-Kraft #component: A Cost-Estimation Component for Statement Sequences (TK), pp. 1382–1385.
VLDB-2007-TataLP #biology #database #interactive #named: Periscope/SQ: Interactive Exploration of Biological Sequence Databases (ST, WL, JMP), pp. 1406–1409.
ICPC-2007-CornelissenHZMWD #comprehension #execution #using: Understanding Execution Traces Using Massive Sequence and Circular Bundle Views (BC, DH, AZ, LM, JJvW, AvD), pp. 49–58.
ICSM-2007-ArchuletaTF #architecture #composition #performance: A Maintainable Software Architecture for Fast and Modular Bioinformatics Sequence Search (JSA, ET, WcF), pp. 144–153.
CIAA-2007-IliopoulosRVV #problem #string: The Constrained Longest Common Subsequence Problem for Degenerate Strings (CSI, MSR, MV, LV), pp. 309–311.
DLT-2007-Pritykin #on the: On Almost Periodicity Criteria for Morphic Sequences in Some Particular Cases (YP), pp. 361–370.
LATA-2007-BourdailletG: Practical block sequence alignment with moves (JB, JGG), pp. 199–210.
RTA-2007-KutsiaLV #unification: Sequence Unification Through Currying (TK, JL, MV), pp. 288–302.
ILC-2007-Rhodes #lisp: User-extensible sequences in common Lisp (CR), p. 13.
AIIDE-2007-ZhangN #learning: Learning a Table Soccer Robot a New Action Sequence by Observing and Imitating (DZ0, BN), pp. 61–67.
HCI-MIE-2007-DerakhshiK #bound #fuzzy #network #predict #using #word: Using Recurrent Fuzzy Neural Networks for Predicting Word Boundaries in a Phoneme Sequence in Persian Language (MRFD, MRK), pp. 50–59.
VISSOFT-2007-HoltenCW #using #visualisation: Trace Visualization Using Hierarchical Edge Bundles and Massive Sequence Views (DH, BC, JJvW), pp. 47–54.
CAiSE-2007-WalleCD #distributed #process #requirements: The Impact of Task Structure and Negotiation Sequence on Distributed Requirements Negotiation Activity, Conflict, and Satisfaction (BVdW, CC, FPD), pp. 381–394.
ECIR-2007-HerscoviciLY #documentation #performance #version control: Efficient Indexing of Versioned Document Sequences (MH, RL, SY), pp. 76–87.
ICML-2007-NguyenG #algorithm: Comparisons of sequence labeling algorithms and extensions (NN, YG), pp. 681–688.
MLDM-2007-CuiL: A New Combined Fractal Scale Descriptor for Gait Sequence (LC, HL), pp. 616–627.
MLDM-2007-HanKK #performance #using: Efficient Subsequence Matching Using the Longest Common Subsequence with a Dual Match Index (TSH, SKK, JK), pp. 585–600.
ASE-2007-YuanCM #array #automation #testing #user interface: Covering array sampling of input event sequences for automated gui testing (XY, MBC, AMM), pp. 405–408.
SAC-2007-FangWLYD #assessment #detection #multi #using: The detection and assessment of possible RNA secondary structure using multiple sequence alignment (XF, ZW, ZL, BY, FD), pp. 133–137.
SAC-2007-MengC #adaptation #configuration management #database #platform: An adaptive data prefetching scheme for biosequence database search on reconfigurable platforms (XM, VC), pp. 140–141.
SAC-2007-PlattGM #detection #on the #query #topic #using: On using user query sequence to detect off-topic search (AP, NG, SSRM), pp. 882–883.
DocEng-2006-LindholmKT #difference #performance #xml: Fast and simple XML tree differencing by sequence alignment (TL, JK, ST), pp. 75–84.
SIGMOD-2006-AgrawalCN #automation #design #physics: Automatic physical design tuning: workload as a sequence (SA, EC, VRN), pp. 683–694.
VLDB-2006-VenkateswaranLKJ #database: Reference-based Indexing of Sequence Databases (JV, DL, TK, CMJ), pp. 906–917.
ITiCSE-2006-CostaTBS #metric #quality: Reconstructed high frame rate sequences quality measurement tool (MIC, CT, JB, SFSPS), p. 333.
ITiCSE-2006-FatimaMRSH #automation #retrieval: Automated gene processing and exon sequence retrieval (TF, JDM, RR, GS, KGH), p. 366.
MSR-2006-KagdiYM #mining #version control: Mining sequences of changed-files from version histories (HHK, SY, JIM), pp. 47–53.
WCRE-2006-KorshunovaPBM #c++ #diagrams #named #process #reverse engineering #source code #uml #xmi: CPP2XMI: Reverse Engineering of UML Class, Sequence, and Activity Diagrams from C++ Source Code (EK, MP, MvdB, MRM), pp. 297–298.
DLT-J-2005-Thomas06 #multi: Multidimensional Sturmian Sequences and Generalized Substitutions (TF), pp. 575–600.
ICALP-v2-2006-BouyerHR #automaton #petri net #power of: Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences (PB, SH, PAR), pp. 420–431.
FM-2006-GenonMM #algorithm #distributed #ltl #monitoring #performance: Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces (AG, TM, CM), pp. 557–572.
ICGT-2006-ButtnerG #graph transformation: Realizing Graph Transformations by Pre- and Postconditions and Command Sequences (FB, MG), pp. 398–413.
ICGT-2006-VelascoL #approach #graph transformation #matrix: Matrix Approach to Graph Transformation: Matching and Sequences (PPPV, JdL), pp. 122–137.
CIKM-2006-GoldinMN #algorithm #clustering #distance: In search of meaning for time series subsequence clustering: matching algorithms based on a new distance measure (DQG, RM, GN), pp. 347–356.
CIKM-2006-WangC #performance #permutation #query: Improving query I/O performance by permuting and refining block request sequences (XW, MC), pp. 652–661.
ECIR-2006-BernsteinC #performance #scalability: Fast Discovery of Similar Sequences in Large Genomic Collections (YB, MC), pp. 432–443.
ICML-2006-GravesFGS #classification #network: Connectionist temporal classification: labelling unsegmented sequence data with recurrent neural networks (AG, SF, FJG, JS), pp. 369–376.
ICML-2006-Sarawagi #modelling #performance #segmentation: Efficient inference on sequence segmentation models (SS), pp. 793–800.
ICPR-v1-2006-AhmadL #image #multi #recognition #using: HMM-based Human Action Recognition Using Multiview Image Sequences (MA, SWL), pp. 263–266.
ICPR-v1-2006-BauerBSP #video: Finding Highly Frequented Paths in Video Sequences (DB, NB, SS, RPP), pp. 387–391.
ICPR-v1-2006-DongWH #gesture #segmentation #similarity #using #video: Gesture Segmentation from a Video Sequence Using Greedy Similarity Measure (QD, YW, ZH), pp. 331–334.
ICPR-v1-2006-KimH #3d #image #multi #performance: Variational Multigrid for Fast 3D Interpretation of Image Sequences (JSK, KSH), pp. 267–270.
ICPR-v1-2006-ShimawakiSMS #estimation #image #video: Estimation of Ball Route under Overlapping with Players and Lines in Soccer Video Image Sequence (TS, TS, JM, YS), pp. 359–362.
ICPR-v2-2006-AutioL #learning #online: Online Learning of Discriminative Patterns from Unlimited Sequences of Candidates (IA, JTL), pp. 437–440.
ICPR-v2-2006-ZouL #learning #performance: The Generalization Performance of Learning Machine Based on Phi-mixing Sequence (BZ, LL), pp. 548–551.
ICPR-v3-2006-BombachG: Patterns of Co-Linear Equidistant Letter Sequences and Verses (NB, HG), pp. 149–151.
ICPR-v3-2006-BombachG06a: Patterns of Co-Linear Equidistant Letter Sequences and Verses (NB, HG), pp. 1248–1250.
ICPR-v3-2006-ChairunnandaGC #distance #edit distance #using: Enhancing Edit Distance on Real Sequences Filters using Histogram Distance on Fixed Reference Ordering (PC, VG, LC), pp. 582–585.
ICPR-v3-2006-DupontJK #robust #segmentation #video: Robust Segmentation of Hidden Layers in Video Sequences (RD, OJ, RK), pp. 75–78.
ICPR-v3-2006-JainHSVHG #algorithm #clustering #hybrid #recursion: A Hybrid, Recursive Algorithm for Clustering Expressed Sequence Tags in Chlamydomonas reinhardtii (MJ, HJH, JS, OV, CH, AG), pp. 404–407.
ICPR-v3-2006-MalmW #image #reduction: Motion Dependent Spatiotemporal Smoothing for Noise Reduction in Very Dim Light Image Sequences (HM, EW), pp. 954–959.
ICPR-v3-2006-SandersonG #kernel #markov #on the: On Authorship Attribution via Markov Chains and Sequence Kernels (CS, SG), pp. 437–440.
ICPR-v3-2006-UshizakiOD #video: Video Synchronization Based on Co-occurrence of Appearance Changes in Video Sequences (MU, TO, KD), pp. 71–74.
ICPR-v3-2006-YangL06a #3d #image #learning #using: Reconstructing 3D Human Body Pose from Stereo Image Sequences Using Hierarchical Human Body Model Learning (HDY, SWL), pp. 1004–1007.
ICPR-v4-2006-BombachG06b: Patterns of Co-Linear Equidistant Letter Sequences and Verses (NB, HG), p. 961.
ICPR-v4-2006-SatoTIM #coordination #detection #image: Change detection in streetscapes from GPS coordinated omni-directional image sequences (JS, TT, II, HM), pp. 935–938.
AdaEurope-2006-WagnerF #geometry #modelling #reliability: A Software Reliability Model Based on a Geometric Sequence of Failure Rates (SW, HF), pp. 143–154.
SAC-2006-ChenJH #detection #fault #generative #multi #testing: A new method of generating synchronizable test sequences that detect output-shifting faults based on multiple UIO sequences (KC, FJ, CdH), pp. 1791–1797.
SAC-2006-FangLE #visualisation: Visualization of unstructured text sequences of nursing narratives (SF, ML, PRE), pp. 240–244.
SAC-2006-GiannottiNPP #mining: Mining sequences with temporal annotations (FG, MN, DP, FP), pp. 593–597.
SAC-2006-Kosmatov #constraints #theorem proving: A constraint solver for sequences and its applications (NK), pp. 404–408.
SAC-2006-MitasiunaiteB #constraints #similarity: Looking for monotonicity properties of a similarity constraint on sequences (IM, JFB), pp. 546–552.
SAC-2006-SousaM #adaptation #biology #comparison #grid #multi #named: PackageBLAST: an adaptive multi-policy grid service for biological sequence comparison (MSS, ACMAdM), pp. 156–160.
SAC-2006-SrinivasanBC: Discovery of interesting episodes in sequence data (AS, DB, SC), pp. 598–602.
TestCom-2006-Ipate #bound #finite #nondeterminism #state machine #testing: Bounded Sequence Testing from Non-deterministic Finite State Machines (FI), pp. 55–70.
TestCom-2006-UralZ: Reducing the Lengths of Checking Sequences by Overlapping (HU, FZ), pp. 274–288.
TestCom-2006-YalcinY #using: Using Distinguishing and UIO Sequences Together in a Checking Sequence (MCY, HY), pp. 259–273.
CBSE-2005-PelliccioneMBF #modelling #named #specification #testing: TeStor: Deriving Test Sequences from Model-Based Specifications (PP, HM, AB, FF), pp. 267–282.
HT-2005-BocconiNH #generative #video: Supporting the generation of argument structure within video sequences (SB, FN, LH), pp. 75–84.
ICDAR-2005-LefevreV #detection #locality #multi #video: Caption Localisation in Video Sequences by Fusion of Multiple Detectors (SL, NV), pp. 106–110.
ICDAR-2005-LeiG #classification: Similarity-driven Sequence Classification Based on Support Vector Machines (HL, VG), pp. 252–261.
SIGMOD-2005-ShenZH #database #effectiveness #scalability #towards #video: Towards Effective Indexing for Very Large Video Sequence Database (HTS, BCO, XZ), pp. 730–741.
SIGMOD-2005-WuSSJSK: Subsequence Matching on Structured Time Series Data (HW, BS, GCS, SBJ, HS, DRK), pp. 682–693.
SIGMOD-2005-ZhangKCY #mining: Mining Periodic Patterns with Gap Requirement from Sequences (MZ, BK, DWLC, KYY), pp. 623–633.
VLDB-2005-PaparizosJ #algebra #question #set: Pattern Tree Algebras: Sets or Sequences? (SP, HVJ), pp. 349–360.
ICSM-2005-SalahDMSV #named #reverse engineering: Scenariographer: A Tool for Reverse Engineering Class Usage Scenarios from Method Invocation Sequences (MS, TD, SM, AS, FIV), pp. 155–164.
SCAM-2005-SchordanQ #attribute grammar #specification: Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar (MS, DJQ), pp. 97–106.
CIAA-J-2004-HanMZ05 #approach #automaton #database: An automata approach to match gapped sequence tags against protein database (YH, BM, KZ), pp. 487–497.
DLT-2005-Fernique: Bidimensional Sturmian Sequences and Substitutions (TF), pp. 236–247.
DLT-2005-Saari #on the: On the Frequency of Letters in Pure Binary Morphic Sequences (KS), pp. 397–408.
FM-2005-BanachPJS #finite: Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern (RB, MP, CJ, SS), pp. 382–398.
AIIDE-2005-GorniakB #learning: Sequence Learning by Backward Chaining in Synthetic Characters (PG, BB), pp. 51–56.
CIKM-2005-Ahonen-Myka #mining #set #word: Mining all maximal frequent word sequences in a set of sentences (HAM), pp. 255–256.
CIKM-2005-HalachevST #using: Exact match search in sequence data using suffix trees (MH, NS, AT), pp. 123–130.
CIKM-2005-LiC #clustering #documentation #word: Text document clustering based on frequent word sequences (YL, SMC), pp. 293–294.
CIKM-2005-PrasadK #performance #query #using #xml: Efficient indexing and querying of XML data using modified Prüfer sequences (KHP, PSK), pp. 397–404.
ICML-2005-SonnenburgRS #classification #scalability: Large scale genomic sequence SVM classifiers (SS, GR, BS), pp. 848–855.
MLDM-2005-KurganH #approach #feature model #predict: Prediction of Secondary Protein Structure Content from Primary Sequence Alone — A Feature Selection Based Approach (LAK, LH), pp. 334–345.
MLDM-2005-ShimizuM #anti: Disjunctive Sequential Patterns on Single Data Sequence and Its Anti-monotonicity (KS, TM), pp. 376–383.
MLDM-2005-XiangZCL #approach #recognition: A New Approach to Human Motion Sequence Recognition with Application to Diving Actions (SX, CZ, XC, NL), pp. 487–496.
ICSE-2005-ApiwattanapongOH #impact analysis #performance #precise #using: Efficient and precise dynamic impact analysis using execute-after sequences (TA, AO, MJH), pp. 432–441.
SAC-2005-ChenA #analysis #approach #comparative #predict #using: A new approach for gene prediction using comparative sequence analysis (RC, HHA), pp. 177–184.
SAC-2005-DavidssonHS #predict: Comparing approaches to predict transmembrane domains in protein sequences (PD, JH, KS), pp. 185–189.
SAC-2005-HacheyG #classification #modelling #summary: Sequence modelling for sentence classification in a legal summarisation system (BH, CG), pp. 292–296.
SAC-2005-HsiehCLT #detection #named #predict: EXONSCAN: EXON prediction with Signal detection and Coding region AligNment in homologous sequences (SJH, YSC, CYL, CYT), pp. 202–203.
SAC-2005-KimJ #performance: Performance bottleneck in time-series subsequence matching (SWK, BSJ), pp. 469–473.
SAC-2005-KimKS #database #optimisation: Optimization of subsequence matching under time warping in time-series databases (MSK, SWK, MS), pp. 581–586.
CASE-2005-CastelnuovoFP #approach #incremental #modelling #petri net: An incremental Petri net approach to production sequence modeling (AC, LF, LP), pp. 333–338.
DATE-2005-LiC #analysis #clustering #hybrid: Hybrid BIST Based on Repeating Sequences and Cluster Analysis (LL, KC), pp. 1142–1147.
A-MOST-2005-Robinson-MallettLMG #generative #model checking: Generating optimal distinguishing sequences with a model checker (CRM, PL, TM, UG), pp. 51–57.
CSL-2005-BrattkaS #axiom: Computing with Sequences, Weak Topologies and the Axiom of Choice (VB, MS), pp. 462–476.
TestCom-2005-ChenHUY #testing: Eliminating Redundant Tests in a Checking Sequence (JC, RMH, HU, HY), pp. 146–158.
JCDL-2004-FuM #integration #repository: Integration of biomedical text and sequence OAI repositories (YF, JM), pp. 25–26.
SIGMOD-2004-WuSZ #data type #online: Online Event-driven Subsequence Matching over Financial Data Streams (HW, BS, DZ), pp. 23–34.
VLDB-2004-LawWZ #data type #database #modelling #query: Query Languages and Data Models for Database Sequences and Data Streams (YNL, HW, CZ), pp. 492–503.
SIGITE-2004-WhittingtonB #java: Alternative pacing in an introductory java sequence (KJW, DPB), pp. 118–121.
SCAM-2004-FatiregunHH #algorithm #evolution #search-based #using: Evolving Transformation Sequences using Genetic Algorithms (DF, MH, RMH), pp. 66–75.
CIAA-2004-HanMZ #approach #automaton #database: An Automata Approach to Match Gapped Sequence Tags Against Protein Database (YH, BM, KZ), pp. 167–177.
CIAA-2004-PengT #algorithm #performance: Time and Space Efficient Algorithms for Constrained Sequence Alignment (ZSP, HFT), pp. 237–246.
ICALP-2004-ChenDSY: Dynamic Price Sequence and Incentive Compatibility (NC, XD, XS, ACCY), pp. 320–331.
CIKM-2004-WangXY #biology #mining #scalability: Scalable sequential pattern mining for biological sequences (KW, YX, JXY), pp. 178–187.
CIKM-2004-WuC #design: Distance-function design and fusion for sequence data (YW, EYC), pp. 324–333.
ICML-2004-AltunHS #classification #process: Gaussian process classification for segmenting and annotating sequences (YA, TH, AJS).
ICML-2004-KashimaT #algorithm #graph #kernel #learning: Kernel-based discriminative learning algorithms for labeling sequences, trees, and graphs (HK, YT).
ICML-2004-SuttonRM #modelling #probability #random: Dynamic conditional random fields: factorized probabilistic models for labeling and segmenting sequence data (CAS, KR, AM).
ICPR-v2-2004-JorgeMA #architecture #estimation #network #video: Estimation of the Bayesian Network Architecture for Object Tracking in Video Sequences (PMJ, JSM, AJA), pp. 732–735.
ICPR-v2-2004-LiZYH #image #performance #robust #segmentation: FFT Snake: A Robust and Efficient Method for the Segmentation of Arbitrarily Shaped Objects in Image Sequences (TL, YZ, DY, DH), pp. 116–119.
ICPR-v2-2004-PlotzF #analysis #biology #feature model: Feature Extraction for Improved Profile HMM based Biological Sequence Analysis (TP, GAF), pp. 315–318.
ICPR-v2-2004-VijayaMS #classification #clustering #performance: An Efficient Technique for Protein Sequence Clustering and Classification (PAV, MNM, DKS), pp. 447–450.
ICPR-v2-2004-YuXA #graph #using #video: Reconstructing a Dynamic Surface from Video Sequences Using Graph Cuts in 4D Space-Time (TY, NX, NA), pp. 245–248.
ICPR-v3-2004-LiewWY #classification #statistics: Selection of Statistical Features Based on Mutual Information for Classification of Human Coding and Non-coding DNA Sequences (AWCL, YW, HY), pp. 766–769.
ICPR-v3-2004-LucasH #recognition: Sequence Recognition with Scanning N-Tuple Ensembles (SML, TKH), pp. 410–413.
ICPR-v3-2004-MostafaouiAM #estimation #image: Objects Velocity Estimation on Images Sequences by Hough Transform with Projection (HTP) (GM, CA, MM), pp. 83–86.
ICPR-v3-2004-RenS #constraints #video: Video Sequence Matching with Spatio-Temporal Constraints (WR, SS), pp. 834–837.
ICPR-v3-2004-SugimotoTTO #detection #image #using #visualisation: Obstacle Detection Using Millimeter-Wave Radar and Its Visualization on Image Sequence (SS, HT, HT, MO), pp. 342–345.
ICPR-v3-2004-TerrillonPNY #detection #multi #realtime #recognition #robust #video: DRUIDE : A Real-Time System for Robust Multiple Face Detection, Tracking and Hand Posture Recognition in Color Video Sequences (JCT, AP, YN, KY), pp. 302–305.
ICPR-v4-2004-ArnabatCM #3d #consistency #modelling #multi #using: 3D Modeling from Turntable Sequences Using Dense Stereo Carving and Multi-View Consistency (JA, SC, GGM), pp. 36–39.
ICPR-v4-2004-DehaisDMC #artificial reality #perspective #realtime #using #video: Augmented Reality through Real-Time Tracking of Video Sequences Using a Panoramic View (CD, MD, GM, VC), pp. 995–998.
ICPR-v4-2004-Hild #3d #estimation #image #recognition: Estimation of 3D Motion Trajectory and Velocity from Monocular Image Sequences in the Context of Human Gait Recognition (MH), pp. 231–235.
ICPR-v4-2004-ZaveriMD #image #information retrieval #modelling #multi #using: Tracking of Point Targets in IR Image Sequence using Multiple Model Based Particle Filtering and MRF Based Data Association (MAZ, SNM, UBD), pp. 729–732.
KDD-2004-TinoKS #approach #generative #probability #set #visualisation: A generative probabilistic approach to visualizing sets of symbolic sequences (PT, AK, YS), pp. 701–706.
PLDI-2004-KulkarniHHWDJ #effectiveness #optimisation #performance: Fast searches for effective optimization phase sequences (PAK, SH, JH, DBW, JWD, DLJ), pp. 171–182.
SAC-2004-OrlandoPS #algorithm #mining: A new algorithm for gap constrained sequence mining (SO, RP, CS), pp. 540–547.
SAC-2004-WeisserK #identification #metric #statistics #using: Identification of fundamental building blocks in protein sequences using statistical association measures (DKW, JKS), pp. 154–161.
DATE-v1-2004-CorsiMMBD #pseudo: Pseudo-Random Sequence Based Tuning System for Continuous-Time Filters (FC, CM, GM, AB, SD), pp. 94–101.
DATE-v1-2004-DimopoulosL #performance #set #testing: Efficient Static Compaction of Test Sequence Sets through the Application of Set Covering Techniques (MGD, PL), pp. 194–201.
LCTES-2004-AlmagorCGHRSTW #compilation #effectiveness: Finding effective compilation sequences (LA, KDC, AG, TJH, SWR, DS, LT, TW), pp. 231–239.
DocEng-2003-BagleyBH #component #reuse: Creating reusable well-structured PDF as a sequence of component object graphic (COG) elements (SRB, DFB, MRBH), pp. 58–67.
ICDAR-2003-GuestCFP #analysis #automation #classification #geometry #using: Automatic Classification of Hand Drawn Geometric Shapes using Constructional Sequence Analysis (RMG, SC, MCF, JMP), pp. 990–994.
ICDAR-2003-KameyaMO #online #verification: Figure-Based Writer Verification by Matching between an Arbitrary Part of Registered Sequence and an Input Sequence Extracted from On-Line Handwritten Figures (HK, SM, RO), pp. 985–989.
ICDAR-2003-KochHP #documentation: Numerical Sequence Extraction in Handwritten Incoming Mail Documents (GK, LH, TP), pp. 369–373.
ICDAR-2003-LauYT #image #using: Recovery of Writing Sequence of Static Images of Handwriting using UWM (KKL, PCY, YYT), pp. 1123–1127.
VLDB-2003-KraftSRM #optimisation #sql: Coarse-Grained Optimization: Techniques for Rewriting SQL Statement Sequences (TK, HS, RR, BM), pp. 488–499.
VLDB-2003-MeekPK #biology #named #online: OASIS: An Online and Accurate Technique for Local-alignment Searches on Biological Sequences (CM, JMP, SK), pp. 910–921.
ICSM-2003-WhiteAS #interactive #testing #user interface: Firewall Regression Testing of GUI Sequences and their Interactions (LJW, HA, SS), pp. 398–409.
CIAA-2003-MelicharP #approach #automaton #finite #problem: The Longest Common Subsequence Problem A Finite Automata Approach (BM, TP), pp. 294–296.
CIAA-2003-Sutner: The Ehrenfeucht-Mycielski Sequence (KS), pp. 282–293.
CHI-2003-VenoliaN #comprehension #email #visualisation: Understanding sequence and reply relationships within email conversations: a mixed-model visualization (GDV, CN), pp. 361–368.
KDD-2003-MaP #detection #online: Online novelty detection on temporal sequences (JM, SP), pp. 613–618.
MLDM-2003-BicegoMF #clustering #markov #modelling #similarity #using: Similarity-Based Clustering of Sequences Using Hidden Markov Models (MB, VM, MATF), pp. 86–95.
MLDM-2003-KawamotoIH #image: Shape Recovery from an Unorganized Image Sequence (KK, AI, KH), pp. 389–399.
MLDM-2003-MagnussonV #network #using #visualisation: Visualizing Sequences of Texts Using Collocational Networks (CM, HV), pp. 276–283.
UML-2003-DologN #adaptation #generative #navigation #uml #using #xmi: Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems (PD, WN), pp. 205–219.
PADL-2003-Schachte #quantifier: Sequence Quantification (PS), pp. 128–144.
SAC-2003-CatalyurekGKSSF #component #implementation #multi: A Component-based Implementation of Multiple Sequence Alignment (ÜVÇ, MG, TMK, JHS, ES, RF), pp. 122–126.
CC-2003-GagnonH #bytecode #effectiveness #java #thread #using: Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences (EG, LJH), pp. 170–184.
LCTES-2003-KulkarniZMCWDBPG #effectiveness #optimisation: Finding effective optimization phase sequences (PAK, WZ, HM, KC, DBW, JWD, MWB, YP, KG), pp. 12–23.
PDP-2003-GarciaMS #algorithm #multi #problem: A Coarse-Grained Multicomputer Algorithm for the Longest Common Subsequence Problem (TG, JFM, DS), pp. 349–356.
STOC-2003-DrorELM: Touring a sequence of polygons (MD, AE, AL, JSBM), pp. 473–482.
FATES-2003-GuoHHD #algorithm #search-based #using: Computing Unique Input/Output Sequences Using Genetic Algorithms (QG, RMH, MH, KD), pp. 164–177.
FATES-2003-HeimdahlRVDG #case study #model checking #testing #using: Auto-generating Test Sequences Using Model Checkers: A Case Study (MPEH, SR, WV, GD, JG), pp. 42–59.
LICS-2003-Lynch #convergence #graph #random: Convergence Law for Random Graphs with Specified Degree Sequence (JFL), p. 301–?.
TestCom-2003-UralW #architecture #distributed #generative: Generating Checking Sequences for a Distributed Test Architecture (HU, CW), pp. 146–162.
SIGMOD-2002-MoonWH #database: General match: a subsequence matching method in time-series databases based on generalized windows (YSM, KYW, WSH), pp. 382–393.
VLDB-2002-HammelP: Searching on the Secondary Structure of Protein Sequences (LH, JMP), pp. 634–645.
CIAA-2002-Tronicek #automaton: Common Subsequence Automaton (ZT), pp. 270–275.
DLT-2002-UmeoK #automaton #communication #infinity #realtime: An Infinite Prime Sequence Can Be Generated in Real-Time by a 1-Bit Inter-cell Communication Cellular Automaton (HU, NK), pp. 339–348.
ICALP-2002-Merkle #probability: The Kolmogorov-Loveland Stochastic Sequences Are Not Closed under Selecting Subsequences (WM), pp. 390–400.
ICEIS-2002-Snoeck #constraints #modelling #process: Sequence Constraints in Business Modelling and Business Process Modelling (MS), pp. 683–690.
CIKM-2002-SistlaHC #automaton #database #query #retrieval #similarity #using: Similarity based retrieval from sequence databases using automata as queries (APS, TH, VC), pp. 237–244.
ICPR-v1-2002-DOrazioACN #algorithm #detection #image: A Ball Detection Algorithm for Real Soccer Image Sequences (TD, NA, GC, MN), pp. 210–213.
ICPR-v1-2002-MarinoPPBnCG: Methodology for the Registration of Whole SLO Sequences (CM, MP, MGP, JMB, VL, MJC, FGU), pp. 779–783.
ICPR-v1-2002-YamadaSM #3d #game studies #image #parametricity #video: Tracking Players and a Ball in Video Image Sequence and Estimating Camera Parameters for 3D Interpretation of Soccer Games (AY, YS, JM), pp. 303–306.
ICPR-v1-2002-ZhangGSS #2d #image #using: Recovering Elastic Property of Soft Tissues Using 2D Image Sequences With Limited Range Data (YZ, DBG, SS, MCS), pp. 755–758.
ICPR-v2-2002-ChengCK #behaviour #video: Recognising Human Running Behaviour in Sports Video Sequences (FC, WJC, JK), pp. 1017–1020.
ICPR-v2-2002-DavisLC #estimation #markov #multi #parametricity: Improved Estimation of Hidden Markov Model Parameters from Multiple Observation Sequences (RIAD, BCL, TC), pp. 168–171.
ICPR-v2-2002-KanekoH #image: Template Update Criterion for Template Matching of Image Sequences (TK, OH), pp. 1–5.
ICPR-v3-2002-ChenHF #database #performance: Fast Semi-Local Alignment for DN Sequence Database Search (YSC, YPH, CSF), pp. 1019–1022.
ICPR-v3-2002-JungKH #detection #image: Text Scanner with Text Detection Technology on Image Sequences (KJ, KIK, JH), pp. 473–476.
ICPR-v3-2002-KimKKK #bound: Usefulness of Boundary Sequences in Computing Shape Features for Arbitrary Shaped Regions (SK, SK, JK, MK), pp. 355–358.
ICPR-v3-2002-LauYT #estimation: Stroke Extraction and Stroke Sequence Estimation on Signatures (KKL, PCY, YYT), pp. 119–122.
ICPR-v3-2002-SatoKYT #3d #image #modelling #multi #using: 3-D Modeling of an Outdoor Scene by Multi-Baseline Stereo Using a Long Sequence of Images (TS, MK, NY, HT), pp. 581–584.
ICPR-v4-2002-Ichimura #estimation #image #monte carlo #probability #using: Stochastic Filtering for Motion Trajectory in Image Sequences Using a Monte Carlo Filter with Estimation of Hyper-Parameters (NI), pp. 68–73.
KDD-2002-ChudovaS #markov: Pattern discovery in sequences under a Markov assumption (DC, PS), pp. 153–162.
SAC-2002-KimYPK #database #retrieval: Shape-based retrieval of similar subsequences in time-series databases (SWK, JY, SP, THK), pp. 438–445.
STOC-2002-Bachmat #analysis #scheduling: Average case analysis for batched disk scheduling and increasing subsequences (EB), pp. 277–286.
TestCom-2002-OgishiHKS #specification: A TCP Test System Specifying only Exceptional Packet Sequences (TO, TH, TK, KS), pp. 21–38.
TestCom-2002-SerdarT #approach #finite #generative #state machine: A New Approach To Checking Sequence Generation for Finite State Machines (BS, KCT), p. 391–?.
PODS-2001-SadriZZA #database #optimisation #query: Optimization of Sequence Queries in Database Systems (RS, CZ, AMZ, JA).
VLDB-2001-HuntAI #biology #database #scalability: A Database Index to Large Biological Sequences (EH, MPA, RWI), pp. 139–148.
ICALP-2001-LinCJW #problem: The Longest Common Subsequence Problem for Sequences with Nested Arc Annotations (GHL, ZZC, TJ, JW), pp. 444–455.
ICALP-2001-Madhusudan #behaviour #branch #graph #reasoning: Reasoning about Sequential and Branching Behaviours of Message Sequence Graphs (PM), pp. 809–820.
ICALP-2001-SadakaneTT #algorithm #combinator: Combinatorics and Algorithms on Low-Discrepancy Roundings of a Real Sequence (KS, NTC, TT), pp. 166–177.
CIKM-2001-ParkKCP #approach #database #effectiveness #named: Prefix-Querying: An Approach for Effective Subsequence Matching Under Time Warping in Sequence Databases (SP, SWK, JSC, SP), pp. 255–262.
ICML-2001-Hutter #bound #predict: General Loss Bounds for Universal Sequence Prediction (MH), pp. 210–217.
ICML-2001-LaffertyMP #modelling #probability #random: Conditional Random Fields: Probabilistic Models for Segmenting and Labeling Sequence Data (JDL, AM, FCNP), pp. 282–289.
ICML-2001-SeldinBT #markov #memory management #segmentation: Unsupervised Sequence Segmentation by a Mixture of Switching Variable Memory Markov Sources (YS, GB, NT), pp. 513–520.
KDD-2001-MannilaS: Finding simple intensity descriptions from event sequence data (HM, MS), pp. 341–346.
ASE-2001-LegeardP #case study #functional #generative #industrial #testing: Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study (BL, FP), pp. 377–381.
SAC-2001-ParkKC #approach #database: Segment-based approach for subsequence searches in sequence databases (SP, SWK, WWC), pp. 248–252.
DAC-2001-YildizM #clustering: Improved Cut Sequences for Partitioning Based Placement (MCY, PHM), pp. 776–779.
DATE-2001-PomeranzR #order: Sequence reordering to improve the levels of compaction achievable by static compaction procedures (IP, SMR), pp. 214–218.
STOC-2001-Gacs: Compatible sequences and a slow Winkler percolation (PG), pp. 694–703.
VLDB-2000-YiF #performance: Fast Time Sequence Indexing for Arbitrary Lp Norms (BKY, CF), pp. 385–394.
ICALP-2000-HenriksenMKT #graph #on the: On Message Sequence Graphs and Finitely Generated Regular MSC Languages (JGH, MM, KNK, PST), pp. 675–686.
ICALP-2000-Lutz: Gales and the Constructive Dimension of Individual Sequences (JHL), pp. 902–913.
CIKM-2000-LohKW #approach #database #normalisation: Index Interpolation: An Approach to Subsequence Matching Supporting Normalization Transform in Time-Series Databases (WKL, SWK, KYW), pp. 480–487.
CIKM-2000-Zaki #category theory #constraints #mining: Sequence Mining in Categorical Domains: Incorporating Constraints (MJZ), pp. 422–429.
ICML-2000-MuggletonBS #biology #learning #product line: Learning Chomsky-like Grammars for Biological Sequence Families (SM, CHB, AS), pp. 631–638.
ICPR-v1-2000-CapelZ #image: Super-Resolution Enhancement of Text Image Sequences (DPC, AZ), pp. 1600–1605.
ICPR-v1-2000-DionLB #2d #3d #image: 3D Triangular Mesh Matching through a Sequence of Registered 2D and 3D Images (DDJ, DL, LB), pp. 1977–1980.
ICPR-v1-2000-Nagel #evaluation #image: Image Sequence Evaluation: 30 Years and Still Going Strong (HHN), pp. 1149–1158.
ICPR-v2-2000-HongH #learning: Learning to Extract Temporal Signal Patterns from Temporal Signal Sequence (PH, TSH), pp. 2648–2651.
ICPR-v2-2000-LawK #clustering #learning #modelling: Rival Penalized Competitive Learning for Model-Based Sequence Clustering (MHCL, JTK), pp. 2195–2198.
ICPR-v2-2000-WohlerKA #classification #image #recognition: Pedestrian Recognition by Classification of Image Sequences — Global Approaches vs. Local Spatio-Temporal Processing (CW, UK, JKA), pp. 2540–2544.
ICPR-v3-2000-BadenasSP #integration #monitoring #using: Using Temporal Integration for Tracking Regions in Traffic Monitoring Sequences (JB, JMS, FP), pp. 7137–7140.
ICPR-v3-2000-DekeyserBPP #2d #image #parametricity: Super-Resolution from Noisy Image Sequences Exploiting a 2D Parametric Motion Model (FD, PB, PP, ÉP), pp. 3354–3357.
ICPR-v3-2000-GibsonCDT #image #visual notation: Visual Extraction of Motion-Based Information from Image Sequences (DPG, NWC, CJD, BTT), pp. 3893–3896.
ICPR-v3-2000-HoshinoSY #automation #image: Automatic Registration of Virtual Objects onto Human Image Sequences (JH, HS, MY), pp. 3175–3177.
ICPR-v3-2000-KimC #image #network #segmentation #using: Segmentation of Image Sequences Using SOFM Networks (JK, TC), pp. 3877–3880.
ICPR-v3-2000-SaitoKOS #image: Image Processing for Restoration of Heavily-Corrupted Old Film Sequences (TS, TK, TO, TS), pp. 3017–3020.
ICPR-v4-2000-AbeggEW #algorithm #image #linear #robust #video: A Robust Algorithm for Segmenting Deformable Linear Objects from Video Image Sequences (FA, DE, HW), pp. 4756–4759.
ICPR-v4-2000-GriffinK #3d #video: Coping with 3D Artifacts in Video Sequences (AG, JK), pp. 4623–4626.
ICPR-v4-2000-NakamuraSO #3d #image #re-engineering: 3D Reconstruction of Book Surface Taken from Image Sequence with Handy Camera (KN, HS, SO), pp. 4575–4578.
ICPR-v4-2000-VeneauRB #clustering #segmentation #video: From Video Shot Clustering to Sequence Segmentation (EV, RR, PB), pp. 4254–4257.
ICPR-v4-2000-YamaguchiTYY #generative #image #realtime #using: Real-Time Generation and Presentation of View-Dependent Binocular Stereo Images Using a Sequence of Omnidirectional Images (KY, HT, KY, NY), pp. 4589–4593.
KDD-2000-KingKCD #data mining #functional #mining #predict #using: Genome scale prediction of protein functional class from sequence using data mining (RDK, AK, AC, LD), pp. 384–389.
KDD-2000-WangMSW #biology #case study #classification #data mining #mining #network: Application of neural networks to biological data mining: a case study in protein sequence classification (JTLW, QM, DS, CHW), pp. 305–309.
ASE-2000-MarreA #generative #testing: Test Sequences Generation from LUSTRE Descriptions: GATeL (BM, AA), p. 229–?.
DATE-2000-PomeranzR #generative #testing: Built-In Generation of Weighted Test Sequences for Synchronous Sequential Circuits (IP, SMR), pp. 298–304.
DATE-2000-TangWT #evaluation #performance: Fast Evaluation of Sequence Pair in Block Placement by Longest Common Subsequence Computation (XT, DFW, RT), pp. 106–111.
STOC-2000-MuthukrishnanS #approximate #comparison #nearest neighbour: Approximate nearest neighbors and sequence comparison with block operations (SM, SCS), pp. 416–424.
TestCom-2000-DualeU #generative #modelling #testing: Generation of Feasible Test Sequences for EFSM Models (AYD, MÜU), p. 91–?.
ICDAR-1999-ChaSS #algorithm #analysis #approximate #recognition #string: Approximate Stroke Sequence String Matching Algorithm for Character Recognition and Analysis (SHC, YCS, SNS), pp. 53–56.
PODS-1999-BoassonCGM #linear #problem: Window-Accumulated Subsequence Matching Problem is Linear (LB, PC, IG, YM), pp. 327–336.
ICALP-1999-Sanders #multi #set: Accessing Multiple Sequences Through Set Associative Caches (PS), pp. 655–664.
HCI-CCAD-1999-Komischke #branch #identification #process: Identifying core sequences in process control across branches (TK), pp. 1301–1305.
ACIR-1999-AminiZG #automation #information management #modelling: Sequence Models for Automatic Highlighting and Surface Information Extraction (MRA, HZ, PG).
CIKM-1999-ParthasarathyZOD #incremental #interactive #mining: Incremental and Interactive Sequence Mining (SP, MJZ, MO, SD), pp. 251–258.
ICML-1999-HuSK #detection: Detecting Motifs from Sequences (YJH, SBS, DFK), pp. 181–190.
KDD-1999-LeshZO #classification #mining: Mining Features for Sequence Classification (NL, MJZ, MO), pp. 342–346.
KDD-1999-Oates #clustering #identification #multi: Identifying Distinctive Subsequences in Multivariate Time Series by Clustering (TO), pp. 322–326.
TOOLS-USA-1999-DanielsT #constraints #effectiveness #testing: Measuring the Effectiveness of Method Test Sequences Derived from Sequencing Constraints (FJD, KCT), pp. 74–83.
DAC-1999-PomeranzR #generative #testing: Built-In Test Sequence Generation for Synchronous Sequential Circuits Based on Loading and Expansion of Test Subsequences (IP, SMR), pp. 754–759.
DAC-1999-TanSLLY #linear #network #optimisation: Reliability-Constrained Area Optimization of VLSI Power/Ground Networks via Sequence of Linear Programmings (XDT, CJRS, DL, JCL, LPY), pp. 78–83.
VLDB-1998-LinR #query: Querying Continuous Time Sequences (LL, TR), pp. 170–181.
CIKM-1998-LiYC #abstraction #database #framework #mining #multi #named: MALM: A Framework for Mining Sequence Database at Multiple Abstraction Levels (CSL, PSY, VC), pp. 267–272.
CIKM-1998-Zaki #performance: Efficient Enumeration of Frequent Sequences (MJZ), pp. 68–75.
ICML-1998-MargaritisT #3d #image #learning: Learning to Locate an Object in 3D Space from a Sequence of Camera Images (DM, ST), pp. 332–340.
ICPR-1998-ArakiMTY #image #multi #realtime #robust #statistics #using: Real-time tracking of multiple moving objects in moving camera image sequences using robust statistics (SA, TM, HT, NY), pp. 1433–1435.
ICPR-1998-AvrinD #estimation #video: Local motion estimation and resolution enhancement of video sequences (VA, ID), pp. 539–541.
ICPR-1998-BadenasP #image #monitoring #segmentation: Segmentation based on region-tracking in image sequences for traffic monitoring (JB, FP), pp. 999–1001.
ICPR-1998-HeikkilaS #3d #estimation #image #linear #metric: Linear motion estimation for image sequence based accurate 3-D measurements (JH, OS), pp. 1247–1250.
ICPR-1998-KummertFSB #hybrid #image #recognition: Hybrid object recognition in image sequences (FK, GAF, GS, EB), pp. 1165–1170.
ICPR-1998-MeckeAM #estimation #robust: A robust method for block-based motion estimation in RGB-image sequences (RM, AAH, BM), pp. 663–667.
ICPR-1998-NakajimaTY #documentation #image #re-engineering #recognition: Document reconstruction and recognition from an image sequence (NN, NT, KY), pp. 922–925.
ICPR-1998-WatanabeY #gesture #image #multi #realtime #recognition #using: Real time recognition of gesture and gesture degree information using multi input image sequences (TW, MY), pp. 1855–1858.
ICPR-1998-WengH #learning #recognition: Sensorimotor action sequence learning with application to face recognition under discourse (J(W, WSH), pp. 252–254.
ICPR-1998-YonemotoTT #3d #multi #using: Tracking of 3D multi-part objects using multiple viewpoint time-varying sequences (SY, NT, RiT), pp. 490–494.
KDD-1998-GuralnikWS #mining: Pattern Directed Mining of Sequence Data (VG, DW, JS), pp. 51–57.
KDD-1998-WeissH #learning #predict: Learning to Predict Rare Events in Event Sequences (GMW, HH), pp. 359–363.
KDD-1998-ZakiLO #mining #named: PlanMine: Sequence Mining for Plan Failures (MJZ, NL, MO), pp. 369–374.
DATE-1998-GuoPR #testing: Procedures for Static Compaction of Test Sequences for Synchronous Sequential Circuits Based on Vector Restoration (RG, IP, SMR), pp. 583–587.
DATE-1998-HsiaoC #performance: State Relaxation Based Subsequence Removal for Fast Static Compaction in Sequential Circuits (MSH, STC), pp. 577–582.
PDP-1998-MorenoFZCT #analysis #biology #memory management #multi: Biological sequence analysis on distributed-shared memory multiprocessors (ARM, LGdlF, ELZ, JMC, OT), pp. 20–26.
FoSSaCS-1998-PorrotDDV #random #transducer: Deterministic Rational Transducers and Random Sequences (SP, MD, BD, NKV), pp. 258–272.
ICDAR-1997-NakagawaHYSHA #database #online: On-line Handwritten Character Pattern Database Sampled in a Sequence of Sentences without any Writing Instructions (MN, TH, YY, SiS, LH, KA), pp. 376–381.
SIGMOD-1997-KornJF #ad hoc #dataset #query #scalability: Efficiently Supporting Ad Hoc Queries in Large Datasets of Time Sequences (FK, HVJ, CF), pp. 289–300.
DLT-1997-Cassaigne: Sequences with grouped factors (JC), pp. 211–222.
ICALP-1997-BassinoBP: Enumerative Sequences of Leaves in Rational Trees (FB, MPB, DP), pp. 76–86.
ICALP-1997-ErdosSSW: Constructing Big Trees from Short Sequences (PLE, MAS, LAS, TW), pp. 827–837.
CIKM-1997-BozkayaYO: Matching and Indexing Sequences of Different Lengths (TB, NY, ZMÖ), pp. 128–135.
KDD-1997-Ketterlin #clustering: Clustering Sequences of Complex Objects (AK), pp. 215–218.
DAC-1997-MarculescuMP #analysis #finite #probability #state machine: Sequence Compaction for Probabilistic Analysis of Finite-State Machines (DM, RM, MP), pp. 12–15.
DAC-1997-MarculescuMP97a #estimation: Hierarchical Sequence Compaction for Power Estimation (RM, DM, MP), pp. 570–575.
EDTC-1997-CornoPRR #testing: New static compaction techniques of test sequences for sequential circuits (FC, PP, MR, MSR), pp. 37–43.
EDTC-1997-DufazaZ #generative #on the #pseudo #testing: On the generation of pseudo-deterministic two-patterns test sequence with LFSRs (CD, YZ), pp. 69–76.
EDTC-1997-KagarisT #automaton #generative #testing: Cellular automata for generating deterministic test sequences (DK, ST), pp. 77–81.
VLDB-1996-SeshadriLR #database #design #implementation: The Design and Implementation of a Sequence Database System (PS, ML, RR), pp. 99–110.
WIA-1996-RavikumarX #implementation #parallel #problem #source code: Implementing Sequential and Parallel Programs for the Homing Sequence Problem (BR, XX), pp. 120–131.
CIKM-1996-LinRSB: Indexing Values of Time Sequences (LL, TR, MS, DZB), pp. 223–232.
ICPR-1996-AleksandrovskyWGLG #algorithm: An algorithm derived from thalamocortical circuitry stores and retrieves temporal sequences (BA, JW, AG, GL, RG), pp. 550–554.
ICPR-1996-ChenLC #analysis #classification #using: Handwritten Chinese character analysis and preclassification using stroke structural sequence (ZC, CWL, RHC), pp. 89–93.
ICPR-1996-Floreby #algorithm #image #multi: A multiscale algorithm for closed contour matching in image sequence (LF), pp. 884–888.
ICPR-1996-Gonzalez #2d #image #parametricity: Recovering motion parameters from a 2D range image sequence (JG), pp. 433–440.
ICPR-1996-HaddonB #image: Spatio-temporal relaxation labelling applied to segmented infrared image sequences (JFH, JFB), pp. 171–175.
ICPR-1996-LabonteDC #representation: A compact representation for stereoscopic sequences with NTSC spectral compatibility (FL, CTLD, PC), pp. 646–650.
ICPR-1996-OrwellBH: Ego motion from near-degenerate sequences (JO, JFB, JFH), pp. 412–416.
ICPR-1996-PatrasAT #estimation #image: Joint disparity and motion field estimation in stereoscopic image sequences (IP, NA, GT), pp. 359–363.
ICPR-1996-Sparr #image #re-engineering: Simultaneous reconstruction of scene structure and camera locations from uncalibrated image sequences (GS), pp. 328–333.
ICPR-1996-TianT96a #3d #algorithm #image #search-based #using: 3D shape recovery from two-color image sequences using a genetic algorithm (YlT, HTT), pp. 674–678.
ICPR-1996-YamadaT: Elastic edge sequence matching method for global extraction and local tracking of echocardiogram (HY, KT), pp. 637–641.
KDD-1996-HofackerHSS #information management #product line #scalability #using: Knowledge Discovery in RNA Sequence Families of HIV Using Scalable Computers (ILH, MAH, PFS, PES), pp. 20–25.
SEKE-1996-HsiaLK #approach #testing: An Early Warning Approach for Method Sequence Testing (PH, XL, DCK), pp. 330–337.
PLDI-1996-BaileyD #generative #source code: Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators (MWB, JWD), pp. 249–257.
DAC-1996-MarculescuMP #generative #probability #synthesis: Stochastic Sequential Machine Synthesis Targeting Constrained Sequence Generation (DM, RM, MP), pp. 696–701.
DAC-1996-PomeranzR #on the #testing: On Static Compaction of Test Sequences for Synchronous Sequential Circuits (IP, SMR), pp. 215–220.
ISSTA-1996-HowdenS #analysis #linear: Linear and Structural Event Sequence Analysis (WEH, GMS), pp. 98–106.
PODS-1995-MeccaB #datalog #transducer: Sequences, Datalog and Transducers (GM, AJB), pp. 23–35.
DLT-1995-Bercoff #product line: A Family of p-Uniform Tag Systems for p-Paperfolding Sequences (CB), pp. 3–12.
DLT-1995-Cassaigne #complexity #linear: Special Factors of Sequences with Linear Subword Complexity (JC), pp. 25–34.
DLT-1995-Mitrana #self: Binary Self-Adding Sequences (VM), pp. 64–70.
ICALP-1995-FennerLM: Weakly Useful Sequences (SAF, JHL, EM), pp. 393–404.
KDD-1995-MannilaTV: Discovering Frequent Episodes in Sequences (HM, HT, AIV), pp. 210–215.
KDD-1995-TsumotoT95a #automation #component #functional #representation #set: Automated Discovery of Functional Components of Proteins from Amino-Acid Sequences Based on Rough Sets and Change of Representation (ST, HT), pp. 318–324.
KBSE-1995-HoweMM #empirical #testing #using: Test Sequences as Plans: An Experiment in Using an AI Planner to Generate System Tests (AEH, AvM, RTM), pp. 184–191.
PPoPP-1995-KennedyNS #algorithm #linear #memory management #source code: A Linear-Time Algorithm for Computing the Memory Access Sequence in Data-Parallel Programs (KK, NN, AS), pp. 102–111.
PPoPP-1995-SubhlokV #parallel: Optimal Mapping of Sequences of Data Parallel Tasks (JS, GV), pp. 134–143.
SIGMOD-1994-FaloutsosRM #database #performance: Fast Subsequence Matching in Time-Series Databases (CF, MR, YM), pp. 419–429.
SIGMOD-1994-SeshadriLR #query: Sequence Query Processing (PS, ML, RR), pp. 430–441.
CSEE-1994-BoardmanM #experience #re-engineering: A Two-Semester Undergraduate Sequence in Software Engineering: Architecutre & Experience (DBB, APM), pp. 5–22.
ICALP-1994-JiangL #approximate #on the: On the Approximation of Shortest Common Supersequences and Longest Common Subsequences (TJ, ML), pp. 191–202.
SAC-1994-ChaudhuriD #generative #linear: A note on generating a worst case sequence for Quicksort in linear time (RC, ACD), pp. 566–567.
STOC-1994-JiangLW #approximate #complexity: Aligning sequences via an evolutionary tree: complexity and approximation (TJ, ELL, LW), pp. 760–769.
DLT-1993-Lepisto: Repetitions in Kolakoski Sequence (AL), pp. 130–143.
HCI-ACS-1993-InoueN #case study #recognition: A Case Study of Plan Recognition: Command Sequences as Acts (YI, MN), pp. 392–397.
PLILP-1993-Rosendahl #higher-order: Higher-Order Chaotic Iteration Sequences (MR), pp. 332–345.
SAC-1993-GuuS #performance #search-based: An Efficient Storage Scheme for Aligned Genetic Sequences (YWG, SS), pp. 139–146.
DAC-1993-RhoSP #finite #state machine: Minimum Length Synchronizing Sequences of Finite State Machine (JKR, FS, CP), pp. 463–468.
TAPSOFT-1993-AhmedV #logic: A Propositional Dense Time Logic (Based on Nested Sequences) (MA, GV), pp. 584–598.
IWPTS-1993-LuoDBVG #distributed #finite #generative #state machine #testing: Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports (GL, RD, GvB, PV, AG), pp. 139–153.
DAC-1992-PixleyJH #diagrams: Exact Calculation of Synchronization Sequences Based on Binary Decision Diagrams (CP, SWJ, GDH), pp. 620–623.
IWPTS-1992-LidongJL #consistency #multi #optimisation #testing: A Further Optimization Technique for Conformance Testing Based on Multiple UIO Sequences (ZL, LJ, HL), pp. 229–235.
JICSLP-1992-Overbeek #analysis #logic programming #search-based #tutorial: Logic Programming and Genetic Sequence Analysis: a Tutorial (RAO), pp. 32–34.
ML-1991-YamanishiK #learning #probability #search-based: Learning Stochastic Motifs from Genetic Sequences (KY, AK), pp. 467–471.
GG-1990-Boer90a: Construction of Map OL-Systems for Developmental Sequences of Plant Cell Layers (MJMdB), pp. 127–143.
CSCW-1990-LosadaSN #collaboration #feedback #interactive #process: Collaborative Technology and Group Process Feedback: Their Impact on Interactive Sequences in Meetings (ML, PS, EEN), pp. 53–64.
STOC-1990-SundarT #set: Unique Binary Search Tree Representations and Equality-testing of Sets and Sequences (RS, RET), pp. 18–25.
CAAP-1989-Baeza-Yates #graph: The Subsequence Graph of a Text (RABY), pp. 104–118.
STOC-1989-BabaiNS #multi #protocol #pseudo: Multiparty Protocols and Logspace-hard Pseudorandom Sequences (LB, NN, MS), pp. 1–11.
STOC-1989-BorodinRT #bound #traversal: Lower Bounds on the Length of Universal Traversal Sequences (AB, WLR, MT), pp. 562–573.
STOC-1989-RivestS #automaton #finite #using: Inference of Finite Automata Using Homing Sequences (RLR, RES), pp. 411–420.
ICALP-1988-Eppstein #automaton #design #finite: Reset Sequences for Finite Automata with Application to Design of Parts Orienters (DE), pp. 230–238.
STOC-1988-Istrail #polynomial #traversal: Polynomial Universal Traversing Sequences for Cycles Are Constructible (SI), pp. 491–503.
DAC-1986-Maly #order #testing: Optimal order of the VLSI IC testing sequence (WM), pp. 560–566.
ICLP-1986-MannilaU86 #complexity #on the #unification: On the Complexity of Unification Sequences (HM, EU), pp. 122–133.
DAC-1985-DelormeRdGLMC #clustering #functional #generative #testing: A functional partitioning expert system for test sequences generation (CD, PR, LDd, NG, RL, BM, RC), pp. 820–824.
STOC-1985-Vazirani #communication #complexity #generative #towards: Towards a Strong Communication Complexity Theory or Generating Quasi-Random Sequences from Two Communicating Slightly-random Sources (UVV), pp. 366–378.
VLDB-1984-BennR #analysis #image #relational #retrieval: Retrieval of Relational Structures for Image Sequence Analysis (WB, BR), pp. 533–536.
ICALP-1984-AbiteboulG #tuple: Tuple Sequences and Indexes (SA, SG), pp. 41–50.
ICALP-1984-Jerrum #complexity #generative: The Complexity of Finding Minimum-Length Generator Sequences (MJ), pp. 270–280.
LFP-1984-Bellegarde #term rewriting: Rewriting Systems on FP Expressions that Reduce the Number of Sequences They Yield (FB), pp. 63–73.
CADE-1982-HenschenN #database #first-order #infinity #recursion #representation: Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases (LJH, SAN), pp. 342–359.
ICALP-1981-Shamir #encryption #generative #on the #pseudo: On the Generation of Cryptographically Strong Pseudo-Random Sequences (AS), pp. 544–550.
STOC-1979-FlajoletFV: Computing Integrated Costs of Sequences of Operations with Application to Dictionaries (PF, JF, JV), pp. 49–61.
SIGMOD-1978-NationsS #program analysis: Some DML Instruction Sequences for Application Program Analysis and Conversion (JN, SYWS), pp. 120–131.
ICALP-1978-Mignotte #effectiveness #linear #recursion: Some Effective Results About Linear Recursive Sequences (MM), pp. 322–329.
ICALP-1977-CulikF #decidability #equivalence #problem: The Sequence Equivalence Problem for D0L Systems is Decidable (KCI, IF), pp. 148–163.
DAC-1975-Case #evaluation #statistics #testing: A statistical method for test sequence evaluation (GRC), pp. 257–260.