BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
sequence
Google sequence

Tag #sequence

703 papers:

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

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