BibSLEIGH — sequenc stem

Used together with:

use (85)
base (78)
imag (65)
test (63)
diagram (61)

Stem sequenc$ (all stems)

686 papers:

CASE-2015-Kruif #maintenance #optimisation #sequence: Wet-etch sequence optimisation incorporating time dependent chemical maintenance (BJdK), pp. 1389–1394.
CASE-2015-ThomasSR #assembly #flexibility #sequence: Flexible assembly through integrated assembly sequence planning and grasp planning (UT, TS, MAR), pp. 586–592.
DAC-2015-ChiangCLJ #design #power management #scalability: Scalable sequence-constrained retention register minimization in power gating design (TWC, KHC, YTL, JHRJ), p. 6.
SIGMOD-2015-BeedkarG #mining #named #scalability #sequence: LASH: Large-Scale Sequence Mining with Hierarchies (KB, RG), pp. 491–503.
CIAA-2015-KushikY #automaton #finite #nondeterminism #sequence #state machine: Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata (NK, NY), pp. 188–198.
LATA-2015-Panteleev #sequence: Preset Distinguishing Sequences and Diameter of Transformation Semigroups (PP), pp. 353–364.
ICFP-2015-StuckiRUB #sequence: RRB vector: a practical general purpose immutable sequence (NS, TR, VU, PB), pp. 342–354.
CHI-2015-LaseckiRMB #sequence: The Effects of Sequence and Delay on Crowd Work (WSL, JMR, AM, JPB), pp. 1375–1378.
CHI-2015-ZgraggenDFD #query #regular expression #sequence #visual notation: (s|qu)eries: Visual Regular Expressions for Querying and Exploring Event Sequences (EZ, SMD, DF, RD), pp. 2683–2692.
CHI-2015-ZhaoLDHW #comparison #named #sequence #visual notation: MatrixWave: Visual Comparison of Event Sequence Data (JZ, ZL, MD, AH, AW), pp. 259–268.
DUXU-DD-2015-Gasselseder #game studies #music #video: Re-sequencing the Ludic Orchestra — Evaluating the Immersive Effects of Dynamic Music and Situational Context in Video Games (HPG), pp. 458–469.
HIMI-IKC-2015-HoriguchiTH #comprehension #concept #physics #problem #sequence #student: The Effect of Problem Sequence on Students’ Conceptual Understanding in Physics (TH, TT, TH), pp. 313–322.
ICEIS-v1-2015-AwasthiLK #algorithm #linear #problem #sequence #strict: Un-restricted Common Due-Date Problem with Controllable Processing Times — Linear Algorithm for a Given Job Sequence (AA, JL, OK), pp. 526–534.
KDD-2015-KimYTM #framework #predict #sequence: A Decision Tree Framework for Spatiotemporal Sequence Prediction (TK, YY, SLT, IM), pp. 577–586.
SIGIR-2015-KostakisG #sequence: Subsequence Search in Event-Interval Sequences (OK, AG), pp. 851–854.
ECOOP-2015-BurckhardtLPF #abstraction #protocol #robust #sequence: Global Sequence Protocol: A Robust Abstraction for Replicated Shared State (SB, DL, JP, MF), pp. 568–590.
SAC-2015-BechetCCC #constraints #mining #multi #sequence: Sequence mining under multiple constraints (NB, PC, TC, BC), pp. 908–914.
SAC-2015-KimL #diagrams #qvt #sequence chart #using: Pattern-based transformation of sequence diagrams using QVT (DKK, BL), pp. 1492–1497.
CASE-2014-GaoLWA #monitoring #petri net #problem #sequence #using: A monitor solution to enforce legal transition firing sequences problems by using Petri nets (XG, ZL, AW, AMAA), pp. 419–424.
CASE-2014-HuangL #multi #probability: Stochastic chiller sequencing control for multiple-chiller plants (GH, ZL), pp. 1085–1090.
CASE-2014-ZhangXG #multi #scheduling: Simulation-based surgery appointment sequencing and scheduling of multiple operating rooms (ZZ, XX, NG), pp. 399–404.
DATE-2014-BanerjeeD #calculus #constraints #generative #random #realtime #sequence: Acceptance and random generation of event sequences under real time calculus constraints (KB, PD), pp. 1–6.
SIGMOD-2014-MatsubaraSF #automation #co-evolution #mining #named #sequence: AutoPlait: automatic mining of co-evolving time sequences (YM, YS, CF), pp. 193–204.
SIGMOD-2014-QiCRR #online #sequence: Complex event analytics: online aggregation of stream sequence patterns (YQ, LC, MR, EAR), pp. 229–240.
VLDB-2014-KellarisPXP #infinity #sequence: Differentially Private Event Sequences over Infinite Streams (GK, SP, XX, DP), pp. 1155–1166.
PLDI-2014-PombrioK #evaluation #named #sequence: Resugaring: lifting evaluation sequences through syntactic sugar (JP, SK), p. 38.
DLT-2014-SprungerTEM #sequence: Eigenvalues and Transduction of Morphic Sequences (DS, WT, JE, LSM), pp. 239–251.
ICALP-v1-2014-AbboudWW #performance #sequence: Consequences of Faster Alignment of Sequences (AA, VVW, OW), pp. 39–51.
ICALP-v1-2014-Schmidt #sequence: The Mondshein Sequence (JMS), pp. 967–978.
ICALP-v2-2014-OuaknineW #linear #on the #problem #sequence: On the Positivity Problem for Simple Linear Recurrence Sequences, (JO, JW), pp. 318–329.
ICALP-v2-2014-OuaknineW14a #decidability #linear #sequence: Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences (JO, JW), pp. 330–341.
GT-VMT-2014-BrennerGHLST #case study #realtime #sequence #testing #validation: ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study (CB, JG, JH, GL, GS, MT).
HIMI-AS-2014-JiangLLC #identification #network #sequence: Neural Networks for Identifying Civil Pilot’s Operation Sequences (ZJ, QL, YL, BC), pp. 241–252.
ICEIS-v1-2014-HenriquesA #database #generative #modelling #sequence: Generative Modeling of Itemset Sequences Derived from Real Databases (RH, CA), pp. 264–272.
ICEIS-v2-2014-DHondtT #composition #sequence: QoS-aware Service Composition Based on Sequences of Services (SD, ST), pp. 548–555.
ICEIS-v2-2014-MarcolinoOG #approach #diagrams #effectiveness #sequence chart #towards #variability: Towards the Effectiveness of the SMarty Approach for Variability Management at Sequence Diagram Level (AM, EAOJ, IMdSG), pp. 249–256.
ICML-c1-2014-DickGS #learning #markov #online #process #sequence: Online Learning in Markov Decision Processes with Changing Cost Sequences (TD, AG, CS), pp. 512–520.
ICML-c2-2014-QuattoniBCG #sequence: Spectral Regularization for Max-Margin Sequence Tagging (AQ, BB, XC, AG), pp. 1710–1718.
ICPR-2014-LovatoMCGB #2d #biology #classification #named #sequence: S-BLOSUM: Classification of 2D Shapes with Biological Sequence Alignment (PL, AM, CC, AG, MB), pp. 2335–2340.
ICPR-2014-OrriteRHRV #automation #recognition #segmentation #sequence: Automatic Segmentation and Recognition of Human Actions in Monocular Sequences (CO, MR, EH, GR, SAV), pp. 4218–4223.
ICPR-2014-PhamP #3d #hybrid #online #sequence #video: Hybrid On-Line 3D Face and Facial Actions Tracking in RGBD Video Sequences (HXP, VP), pp. 4194–4199.
ICPR-2014-YuSZ #artificial reality #detection #image #realtime #sequence: Real Time Fingertip Detection with Kinect Depth Image Sequences (YY, YS, YZ), pp. 550–555.
SEKE-2014-PereiraRA #sequence: Extending RBAC Model to Control Sequences of CRUD Expressions (ÓMP, DDR, RLA), pp. 463–469.
SEKE-2014-ZhangCL #adaptation #random #sequence #testing: An Application of Adaptive Random Sequence in Test Case Prioritization (XZ, TYC, HL), pp. 126–131.
SIGIR-2014-RoyVGC #query #segmentation #sequence #using: Improving unsupervised query segmentation using parts-of-speech sequence information (RSR, YV, NG, MC), pp. 935–938.
OOPSLA-2014-ZhaoWZDSSW #automaton #predict #probability #sequence: Call sequence prediction through probabilistic calling automata (ZZ, BW, MZ, YD, JS, XS, YW), pp. 745–762.
POPL-2014-Krebbers #axiom #c #nondeterminism #semantics #sequence: An operational and axiomatic semantics for non-determinism and sequence points in C (RK), pp. 101–112.
FSE-2014-GoffiGMPT #search-based #sequence #synthesis: Search-based synthesis of equivalent method sequences (AG, AG, AM, MP, PT), pp. 366–376.
SLE-2014-KaufmannKPSW #debugging #diagrams #satisfiability #sequence chart #state machine: A SAT-Based Debugging Tool for State Machines and Sequence Diagrams (PK, MK, AP, MS, MW), pp. 21–40.
LCTES-2014-MartinsNDMC #clustering #compilation #optimisation #sequence #using: Exploration of compiler optimization sequences using clustering-based selection (LGAM, RN, ACBD, EM, JMPC), pp. 63–72.
PPoPP-2014-SandesMMMA #comparison #parallel #sequence: Fine-grain parallel megabase sequence comparison with multiple heterogeneous GPUs (EFdOS, GM, ACMAdM, XM, EA), pp. 383–384.
ICTSS-2014-TurkerUY #adaptation #sequence: Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences (UCT, TÜ, HY), pp. 32–47.
ISSTA-2014-GalindoAABB #approach #sequence #testing #variability #video: A variability-based testing approach for synthesizing video sequences (JAG, MA, MA, BB, DB), pp. 293–303.
CASE-2013-OFlahertyE #bound #learning #sequence: Learning to locomote: Action sequences and switching boundaries (RO, ME), pp. 7–12.
DAC-2013-KinsmanKN #generative #sequence #validation: Hardware-efficient on-chip generation of time-extensive constrained-random sequences for in-system validation (ABK, HFK, NN), p. 6.
DocEng-2013-NedelecMMD #adaptation #collaboration #distributed #editing #named #sequence: LSEQ: an adaptive structure for sequences in distributed collaborative editing (BN, PM, AM, ED), pp. 37–46.
ICDAR-2013-SchambachR #learning #network #sequence: Stabilize Sequence Learning with Recurrent Neural Networks by Forced Alignment (MPS, SFR), pp. 1270–1274.
SIGMOD-2013-LiGC #named #realtime #sequence: ε-Matching: event processing over noisy sequences in real time (ZL, TG, CXC), pp. 601–612.
SIGMOD-2013-MiliarakiBGZ #mining #scalability #sequence: Mind the gap: large-scale frequent sequence mining (IM, KB, RG, SZ), pp. 797–808.
VLDB-2013-LiUYG #correlation #database #sequence: Discovering Longest-lasting Correlation in Sequence Databases (YL, LHU, MLY, ZG), pp. 1666–1677.
VLDB-2013-MansourEKAA #named #parallel #scalability #sequence: RACE: A Scalable and Elastic Parallel System for Discovering Repeats in Very Long Sequences (EM, AER, PK, AA, AA), pp. 865–876.
VLDB-2014-WangDTZ13 #approximate #effectiveness #n-gram #performance #sequence: Efficient and Effective KNN Sequence Search with Approximate n-grams (XW, XD, AKHT, ZZ), pp. 1–12.
FASE-2013-LinPEHR #analysis #behaviour #requirements #sequence #specification #string: Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification (LL, JHP, RE, RMH, CRM), pp. 179–193.
CSMR-2013-ScannielloGT #comprehension #diagrams #sequence chart #source code: An Early Investigation on the Contribution of Class and Sequence Diagrams in Source Code Comprehension (GS, CG, GT), pp. 367–370.
CIAA-2013-HasanIRS #automaton #on the #sequence: On Palindromic Sequence Automata and Applications (MMH, ASMSI, MSR, AS), pp. 158–168.
CIAA-2013-KushikY #finite #nondeterminism #on the #sequence #state machine: On the Length of Homing Sequences for Nondeterministic Finite State Machines (NK, NY), pp. 220–231.
DLT-2013-CurrieRS #sequence #word: Extremal Words in the Shift Orbit Closure of a Morphic Sequence (JDC, NR, KS), pp. 143–154.
LATA-2013-EndrullisGH #sequence: Mix-Automatic Sequences (JE, CG, DH), pp. 262–274.
LATA-2013-GocSS #automation #sequence #word: Primitive Words and Lyndon Words in Automatic and Linearly Recurrent Sequences (DG, KS, JS), pp. 311–322.
GT-VMT-2013-GreenyerBM #diagrams #sequence chart #specification: The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions (JG, CB, VPLM).
CSCW-2013-AliSN #sequence: Photographer paths: sequence alignment of geotagged photos for exploration-based route planning (AEA, SNAvS, FN), pp. 985–994.
HCI-III-2013-WangWDL #3d #estimation #image #multi #sequence: Tracking End-Effectors for Marker-Less 3D Human Motion Estimation in Multi-view Image Sequences (WW, ZW, XD, BL), pp. 227–235.
CIKM-2013-JabbourSS #mining #satisfiability #sequence: Boolean satisfiability for sequence mining (SJ, LS, YS), pp. 649–658.
CIKM-2013-SahliMK #parallel #sequence: Parallel motif extraction from very long sequences (MS, EM, PK), pp. 549–558.
CIKM-2013-TangLCZ #sequence: Searching similar segments over textual event sequences (LT, TL, SCC, SZ), pp. 329–338.
ICML-c1-2013-XiaoG #adaptation #probability #sequence: Domain Adaptation for Sequence Labeling Tasks with a Probabilistic Language Adaptation Model (MX, YG), pp. 293–301.
ICML-c3-2013-KolmogorovT #algorithm #sequence: Inference algorithms for pattern-based CRFs on sequence data (RT, VK), pp. 145–153.
KDD-2013-ChenXJ #modelling #multi #probability #sequence: Multi-space probabilistic sequence modeling (SC, JX, TJ), pp. 865–873.
KDD-2013-KengneFTIRWS #execution #multi #scalability #sequence: Efficiently rewriting large multimedia application execution traces with few event sequences (CKK, LCF, AT, NI, MCR, TW, MS), pp. 1348–1356.
KDD-2013-WuLYT #mining #sequence: Mining high utility episodes in complex event sequences (CWW, YFL, PSY, VST), pp. 536–544.
SEKE-2013-YoonMPP #diagrams #reverse engineering #sequence chart: Reverse Engineering of Sequence Diagrams by Merging Call Trees (SY, SM, SP, SP), pp. 368–374.
SAC-2013-BarrosJBFBF #gesture #recognition #sequence: Convexity local contour sequences for gesture recognition (PVAB, NTMJ, JMMB, BJTF, BLDB, SMMF), pp. 34–39.
LDTA-J-2009-ChilowiczDR #sequence #source code: Viewing functions as token sequences to highlight similarities in source code (MC, ÉD, GR), pp. 1871–1891.
ICTSS-2013-FariaPC #consistency #diagrams #sequence chart #testing #tool support #uml: Techniques and Toolset for Conformance Testing against UML Sequence Diagrams (JPF, ACRP, MVdC), pp. 180–195.
ISSTA-2013-JensenPM #automation #generative #sequence #testing: Automated testing with targeted event sequence generation (CSJ, MRP, AM), pp. 67–77.
RTA-2013-WinklerZM #automation #proving #sequence #termination: Beyond Peano Arithmetic — Automatically Proving Termination of the Goodstein Sequence (SW, HZ, AM), pp. 335–351.
ASE-2012-Meananeatra #identification #maintenance #refactoring #sequence: Identifying refactoring sequences for improving software maintainability (PM), pp. 406–409.
CASE-2012-BergagardF #concurrent #multi #sequence: Deadlock avoidance for multi product manufacturing systems modeled as sequences of operations (PB, MF), pp. 515–520.
PODS-2012-GrossiO #maintenance #sequence #string: The wavelet trie: maintaining an indexed sequence of strings in compressed space (RG, GO), pp. 203–214.
SIGMOD-2012-LiG #online #probability #sequence: Online windowed subsequence matching over probabilistic sequences (ZL, TG), pp. 277–288.
SAS-2012-HalbwachsH #sequence: When the Decreasing Sequence Fails (NH, JH), pp. 198–213.
AFL-J-2011-KariX12 #revisited #sequence: De Bruijn Sequences Revisited (LK, ZX), pp. 1307–1322.
DLT-J-2011-CharlierRS12 #automation #decidability #sequence: Enumeration and Decidable Properties of Automatic Sequences (EC, NR, JS), pp. 1035–1066.
ICALP-v2-2012-GugelmannPP #clustering #graph #random #sequence: Random Hyperbolic Graphs: Degree Sequence and Clustering — (Extended Abstract) (LG, KP, UP), pp. 573–585.
ICML-2012-Boulanger-LewandowskiBV #dependence #generative #modelling #music #sequence: Modeling Temporal Dependencies in High-Dimensional Sequences: Application to Polyphonic Music Generation and Transcription (NBL, YB, PV), p. 244.
ICML-2012-EbanBSG #learning #online #predict #sequence: Learning the Experts for Online Sequence Prediction (EE, AB, SSS, AG), p. 38.
ICML-2012-SpiliopoulouS #sequence #topic: A Topic Model for Melodic Sequences (AS, AJS), p. 106.
ICPR-2012-BaccoucheMWGB #2d #invariant #learning #recognition #representation #sequence: Sparse shift-invariant representation of local 2D patterns and sequence learning for human action recognition (MB, FM, CW, CG, AB), pp. 3823–3826.
ICPR-2012-BicegoL #2d #biology #recognition #sequence #tool support #using: 2D shape recognition using biological sequence alignment tools (MB, PL), pp. 1359–1362.
ICPR-2012-ChandraJ #kernel #sequence #video: Partial Least Squares kernel for computing similarities between video sequences (SC, CVJ), pp. 513–516.
ICPR-2012-ItohTA #3d #graph #image #sequence #using: 3D tracking of soccer players using time-situation graph in monocular image sequence (HI, TT, YA), pp. 2532–2536.
ICPR-2012-LeeLHL #re-engineering #sequence #video: Super-resolution reconstruction of video sequences based on wavelet-domain spatial and temporal processing (CML, CJL, CYH, WNL), pp. 194–197.
ICPR-2012-LiZL #image #sequence #stack: Removal of dust artifacts in focal stack image sequences (CL, KZ, SL), pp. 2602–2605.
KDD-2012-KuksaP #evaluation #kernel #performance #scalability #sequence: Efficient evaluation of large sequence kernels (PPK, VP), pp. 759–767.
KDD-2012-TattiV #sequence: The long and the short of it: summarising event sequences with serial episodes (NT, JV), pp. 462–470.
KDIR-2012-BarbieriBCMR #modelling #probability #recommendation #sequence: Probabilistic Sequence Modeling for Recommender Systems (NB, AB, MC, GM, ER), pp. 75–84.
KDIR-2012-GayLM #approach #constraints #mining #multi #sequence: Constraint-programming Approach for Multiset and Sequence Mining (PG, BL, JM), pp. 212–220.
KDIR-2012-QuirogaMH #sequence: Frequent and Significant Episodes in Sequences of Events — Computation of a New Frequency Measure based on Individual Occurrences of the Events (OQ, JM, SH), pp. 324–328.
ECMFA-2012-BriandLL #data flow #diagrams #integration #sequence #state machine #testing #uml: Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing (LCB, YL, YL), pp. 74–89.
OOPSLA-2012-LucasER #detection #distributed #problem #sequence: Detecting problematic message sequences and frequencies in distributed systems (CL, SGE, DSR), pp. 915–926.
OOPSLA-2012-WuZSJGS #behaviour #correlation #predict: Exploiting inter-sequence correlations for program behavior prediction (BW, ZZ, XS, YJ, YG, RS), pp. 851–866.
PADL-2012-LierlerSTW #declarative #problem: Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving (YL, SS, MT, AW), pp. 63–77.
REFSQ-2012-RaspotnigO #analysis #case study #diagrams #sequence chart: Supporting Failure Mode and Effect Analysis: A Case Study with Failure Sequence Diagrams (CR, ALO), pp. 117–131.
SAC-2012-JiXWLTY #gpu #sequence: High-throughput antibody sequence alignment based on GPU computing (GJ, ZX, XW, SL, MT, JY), pp. 1417–1418.
SAC-2012-Longuet #sequence chart #testing: Global and local testing from Message Sequence Charts (DL), pp. 1332–1338.
SLE-2012-WidlBBEHKST #diagrams #sequence chart: Guided Merging of Sequence Diagrams (MW, AB, PB, UE, MH, GK, MS, HT), pp. 164–183.
ICLP-2012-BanbaraTI #generative #matrix #programming #testing: Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix (MB, NT, KI), pp. 86–97.
ICST-2012-KruseW #classification #generative #sequence #testing: Test Sequence Generation from Classification Trees (PMK, JW), pp. 539–548.
ICST-2012-KuhnHLKL #combinator #sequence #testing: Combinatorial Methods for Event Sequence Testing (DRK, JMH, JL, RK, YL), pp. 601–609.
ICST-2012-PetrenkoSY #finite #generative #nondeterminism #sequence #state machine: Generating Checking Sequences for Nondeterministic Finite State Machines (AP, AdSS, NY), pp. 310–319.
LICS-2012-GrabmayerEHKM #automation #sequence: Automatic Sequences and Zip-Specifications (CG, JE, DH, JWK, LSM), pp. 335–344.
SMT-2012-BjornerGMV #regular expression #sequence: SMT-LIB Sequences and Regular Expressions (NB, VG, RM, MV), pp. 77–87.
CASE-2011-FengZL #evaluation #multi #performance: Multi-product manufacturing systems with sequence-dependent setups: Performance evaluation and system properties (WF, LZ, JL), pp. 363–368.
DAC-2011-ReviriegoMB #ad hoc #design #fault #memory management #reliability #sequence: Designing ad-hoc scrubbing sequences to improve memory reliability against soft errors (PR, JAM, SB), pp. 700–705.
DATE-2011-CabodiNQ #revisited #sequence: Interpolation sequences revisited (GC, SN, SQ), pp. 316–322.
DocEng-2011-GippM #algorithm #detection #pattern matching #sequence: Citation pattern matching algorithms for citation-based plagiarism detection: greedy citation tiling, citation chunking and longest common citation sequence (BG, NM), pp. 249–258.
SIGMOD-2011-LiTP #named #sequence: WHAM: a high-throughput sequence alignment method (YL, AT, JMP), pp. 445–456.
SIGMOD-2011-LiuRGGWAM #analysis #multi #named #query #sequence #using: E-Cube: multi-dimensional event sequence analysis using hierarchical pattern query sharing (ML, EAR, KG, CG, SW, IA, AM), pp. 889–900.
VLDB-2011-RenLKZC #evolution #graph #on the #query #sequence: On Querying Historical Evolving Graph Sequences (CR, EL, BK, XZ, RC), pp. 726–737.
ITiCSE-2011-BarrosBV #java #named #object-oriented #programming #sequence #source code #visualisation: Java2Sequence: a tool for the visualization of object-oriented programs in introductory programming (JPB, LB, MV), p. 369.
SCAM-2011-RoubtsovSMB #diagrams #enterprise #java #named #reverse engineering #sequence chart: I2SD: Reverse Engineering Sequence Diagrams from Enterprise Java Beans with Interceptors (SAR, AS, AM, MvdB), pp. 155–164.
AFL-2011-KariX #revisited #sequence: De Bruijn Sequences Revisited (LK, ZX), pp. 241–254.
DLT-2011-CharlierRS #automation #decidability #sequence: Enumeration and Decidable Properties of Automatic Sequences (EC, NR, JS), pp. 165–179.
IFL-2011-ChangBCF #lazy evaluation #sequence #stack: From Stack Traces to Lazy Rewriting Sequences (SC, EB, JC, MF), pp. 100–115.
AGTIVE-2011-GreenyerR #automaton #concept #diagrams #game studies #graph grammar #sequence chart #specification: Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata (JG, JR), pp. 222–237.
CHI-2011-HinrichsC #gesture #interactive #multi #sequence: Gestures in the wild: studying multi-touch gesture sequences on interactive tabletop exhibits (UH, MSTC), pp. 3023–3032.
CHI-2011-WongsuphasawatGPWTS #bibliography #named #sequence #visualisation: LifeFlow: visualizing an overview of event sequences (KW, JAGG, CP, TDW, MTM, BS), pp. 1747–1756.
CIKM-2011-ChuiKLC #algorithm #query #sequence: I/O-efficient algorithms for answering pattern-based aggregate queries in a sequence OLAP system (CKC, BK, EL, RC), pp. 1619–1628.
CIKM-2011-DaltonAS #retrieval #sequence: Passage retrieval for incorporating global evidence in sequence labeling (JD, JA, DAS), pp. 355–364.
KDD-2011-IfrimW #biology #bound #classification #coordination #predict #sequence: Bounded coordinate-descent for biological sequence classification in high dimensional predictor space (GI, CW), pp. 708–716.
KDD-2011-JiangLLWY #sequence: Prominent streak discovery in sequence data (XJ, CL, PL, MW, YY), pp. 1280–1288.
KDD-2011-PatnaikBRPKH #case study #challenge #experience #mining #sequence: Experiences with mining temporal event sequences from electronic medical records: initial successes and some challenges (DP, PB, NR, LP, BJK, DAH), pp. 360–368.
KDIR-2011-GeraciM #algorithm #detection #multi #web: A Multi-sequence Alignment Algorithm for Web Template Detection (FG, MM), pp. 121–128.
SIGIR-2011-ZhouLM #named #sequence: OrientSTS: spatio-temporal sequence searching in flickr (CZ, DL, XM), pp. 1265–1266.
ICMT-J-2010-GronmoM11 #diagrams #graph transformation #sequence chart #state machine #uml: From UML 2 Sequence Diagrams to State Machines by Graph Transformation (RG, BMP), pp. 182–203.
OOPSLA-2011-ThummalapentaXTHS #sequence #testing: Synthesizing method sequences for high-coverage testing (ST, TX, NT, JdH, ZS), pp. 189–206.
SAC-2011-Fournier-VigerNT #mining #named #sequence: RuleGrowth: mining sequential rules common to several sequences by pattern-growth (PFV, RN, VSMT), pp. 956–961.
SAC-2011-KadriE #mining #nondeterminism #sequence #web: Mining uncertain web log sequences with access history probabilities (OK, CIE), pp. 1059–1060.
SAC-2011-LeeKCW #sequence #visualisation: Visualizing dispute sections and relations from the sequence of replying comments (YJL, EKK, HGC, GW), pp. 786–791.
ICSE-2011-KumarKRL #graph #mining #sequence: Mining message sequence graphs (SK, SCK, AR, DL), pp. 91–100.
CADE-2011-Brown #higher-order #problem #proving #satisfiability #sequence #theorem proving: Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems (CEB), pp. 147–161.
ICLP-2011-ChristiansenHLP #analysis #network #sequence: Bayesian Annotation Networks for Complex Sequence Analysis (HC, CTH, OTL, MP), pp. 220–230.
ICST-2011-ChanderDSY #automaton #finite #generative #modelling #sequence: Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems (AC, DD, KS, DY), pp. 140–149.
ICST-2011-DanH #consistency #sequence chart #testing: Conformance Testing from Message Sequence Charts (HD, RMH), pp. 279–288.
ASE-2010-ZhengZLX #generative #random #recommendation #sequence #testing: Random unit-test generation with MUT-aware sequence recommendation (WZ, QZ, MRL, TX), pp. 293–296.
CASE-2010-BengtssonTLAYMF #automation #design #identification #sequence #visualisation: Relations identification and visualization for sequence planning and automation design (KB, CT, BL, KÅ, CY, SM, PF), pp. 841–848.
CASE-2010-JingL #assembly #hybrid #scheduling: A MILP-based batch scheduling for two-stage hybrid flowshop with sequence-dependent setups in semiconductor assembly and test manufacturing (XJ, ZL), pp. 87–92.
DAC-2010-ZhangC #embedded: Thermal aware task sequencing on embedded processors (SZ, KSC), pp. 585–590.
DATE-2010-PomeranzR #requirements #sequence #testing #using: Reducing the storage requirements of a test sequence by using a background vector (IP, SMR), pp. 1237–1242.
DRR-2010-Dejean #detection #documentation #sequence: Numbered sequence detection in documents (HD), pp. 1–10.
PODS-2010-KimelfeldR #markov #sequence: Transducing Markov sequences (BK, CR), pp. 15–26.
SIGMOD-2010-ChuiKLC #named #sequence: S-OLAP: an OLAP system for analyzing sequence data (CKC, BK, EL, DWC), pp. 1131–1134.
SIGMOD-2010-MozafariZZ #sequence #xml: K*SQL: a unifying engine for sequence patterns and XML (BM, KZ, CZ), pp. 1143–1146.
VLDB-2010-MozafariZZ #execution #query #regular expression #relational #sequence #word #xml: From Regular Expressions to Nested Words: Unifying Languages and Query Execution for Relational and XML Sequences (BM, KZ, CZ), pp. 150–161.
WCRE-2010-GratiSP #diagrams #execution #interactive #sequence chart #using #visualisation: Extracting Sequence Diagrams from Execution Traces Using Interactive Visualization (HG, HAS, PP), pp. 87–96.
CIAA-2010-GerbushH #approximate #sequence: Approximating Minimum Reset Sequences (MG, BH), pp. 154–162.
LATA-2010-MiloPZ #constraints #named #regular expression #sequence: SA-REPC — Sequence Alignment with Regular Expression Path Constraint (NM, TP, MZU), pp. 451–462.
CSCW-2010-ShaoLG #algorithm #mobile #sequence: A sequence transformation algorithm for supporting cooperative work on mobile devices (BS, DL, NG), pp. 159–168.
AdaEurope-2010-PastorASA #approach #modelling #realtime #sequence #towards #using: Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach (JAP, DA, PS, BÁ), pp. 167–180.
CAiSE-2010-StalhaneSB #analysis #case study #diagrams #safety #sequence chart: Comparing Safety Analysis Based on Sequence Diagrams and Textual Use Cases (TS, GS, LdB), pp. 165–179.
ICEIS-AIDSS-2010-BenayadiG #framework #mining #sequence: Mining Timed Sequences with TOM4L Framework (NB, MLG), pp. 111–120.
ICEIS-AIDSS-2010-KuhnDGC #algorithm #ontology #sequence: KBE Template Update Propagation Support — Ontology and Algorithm for Update Sequence Computation (OK, TD, PG, PC), pp. 5–12.
ICEIS-AIDSS-2010-VialeBGP #approach #modelling #process #scalability #sequence #using: Modeling Large Scale Manufacturing Process from Timed Data — Using the TOM4L Approach and Sequence Alignment Information for Modeling STMicroelectronics’ Production Processes (PV, NB, MLG, JP), pp. 129–138.
ECIR-2010-KimCLL #detection #effectiveness #image #named #sequence #using: BASIL: Effective Near-Duplicate Image Detection Using Gene Sequence Alignment (HsK, HWC, JL, DL), pp. 229–240.
ICPR-2010-AzarM #automation #image #network #sequence #using: Automated Tracking of the Carotid Artery in Ultrasound Image Sequences Using a Self Organizing Neural Network (JCA, HHM), pp. 2544–2547.
ICPR-2010-BhatBSS #sequence #transitive #video #visual notation #word: Transitive Closure Based Visual Words for Point Matching in Video Sequence (KKSB, MOB, GS, FS), pp. 3300–3303.
ICPR-2010-HoriKY #generative #image #multi #sequence #using: Arbitrary Stereoscopic View Generation Using Multiple Omnidirectional Image Sequences (MH, MK, NY), pp. 286–289.
ICPR-2010-KapotasS #sequence: Rate Control of H.264 Encoded Sequences by Dropping Frames in the Compressed Domain (SKK, ANS), pp. 2382–2385.
ICPR-2010-KoulgiSRM #modelling #sequence #visual notation: Graphical Model-Based Tracking of Curvilinear Structures in Bio-image Sequences (PK, MES, KR, BSM), pp. 2596–2599.
ICPR-2010-KuksaP #classification #performance #representation #sequence: Spatial Representation for Efficient Sequence Classification (PPK, VP), pp. 3320–3323.
ICPR-2010-OrtizRGMD #image #interactive #sequence: Interactive Browsing of Remote JPEF 2000 Image Sequences (JPGO, VGR, IG, DM, GD), pp. 3179–3182.
ICPR-2010-RahimBBP #analysis #sequence: Pelvic Organs Dynamic Feature Analysis for MRI Sequence Discrimination (MR, MEB, RB, NP), pp. 2496–2499.
ICPR-2010-RichiardiVRB #classification #graph #sequence: Vector Space Embedding of Undirected Graphs with Fixed-cardinality Vertex Sequences for Classification (JR, DVDV, KR, HB), pp. 902–905.
ICPR-2010-SchelsS #approach #classification #image #multi #sequence: A Multiple Classifier System Approach for Facial Expressions in Image Sequences Utilizing GMM Supervectors (MS, FS), pp. 4251–4254.
ICPR-2010-TakalaCP #clustering #network #sequence: Boosting Clusters of Samples for Sequence Matching in Camera Networks (VT, YC, MP), pp. 400–403.
ICPR-2010-UchiyamaDTIM #image #multi #sequence: Removal of Moving Objects from a Street-View Image by Fusing Multiple Image Sequences (HU, DD, TT, II, HM), pp. 3456–3459.
ICPR-2010-ZwengK #behaviour #image #multi #recognition #sequence #using: Unexpected Human Behavior Recognition in Image Sequences Using Multiple Features (AZ, MK), pp. 368–371.
KDD-2010-CaoOYW #behaviour #detection #sequence: Detecting abnormal coupled sequences and sequence changes in group-based manipulative trading behaviors (LC, YO, PSY, GW), pp. 85–94.
KDD-2010-HoTL #learning #metric #reduction #sequence #similarity: Tropical cyclone event sequence similarity search via dimensionality reduction and metric learning (SSH, WT, WTL), pp. 135–144.
SEKE-2010-ParkHK #diagrams #sequence chart #uml #verification: Formal Verification of UML 2.0 Sequence Diagram (SP, TH, GK), pp. 411–416.
SIGIR-2010-ZhangZYH #detection #performance #sequence: Efficient partial-duplicate detection based on sequence matching (QZ, YZ, HY, XH), pp. 675–682.
ECMFA-2010-KessentiniBSB #diagrams #heuristic #petri net #sequence chart #using: Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search (MK, AB, HAS, MB), pp. 156–172.
ICMT-2010-GronmoM #diagrams #graph transformation #sequence chart #state machine: From Sequence Diagrams to State Machines by Graph Transformation (RG, BMP), pp. 93–107.
SAC-2010-GuoH #algorithm #clustering: A two stage yard crane workload partitioning and job sequencing algorithm for container terminals (XG, SYH), pp. 2383–2388.
SAC-2010-MisraNLC #generative #named #sequence: FANGS: high speed sequence mapping for next generation sequencers (SM, RN, SL, ANC), pp. 1539–1546.
HPDC-2010-AgrawalMHC #estimation #named #parallel #sequence #statistics: MPIPairwiseStatSig: parallel pairwise statistical significance estimation of local sequence alignment (AA, SM, DH, ANC), pp. 470–476.
HPDC-2010-HigdonLK #functional #modelling #sequence #similarity: Modeling sequence and function similarity between proteins for protein functional annotation (RH, BL, EK), pp. 499–502.
LCTES-2010-KulkarniJW #optimisation #performance #sequence: Improving both the performance benefits and speed of optimization phase sequence searches (PAK, MRJ, DBW), pp. 95–104.
PPoPP-2010-SandesM #comparison #gpu #named #sequence #using: CUDAlign: using GPU to accelerate the comparison of megabase genomic sequences (EFdOS, ACMAdM), pp. 137–146.
ICST-2010-Arcuri10a #sequence #testing: Longer is Better: On the Role of Test Sequence Length in Software Testing (AA), pp. 469–478.
ICST-2010-BelliLBS #detection #fault #sequence #testing: Fault Detection Likelihood of Test Sequence Length (FB, ML, CJB, HAS), pp. 402–411.
ASE-2009-ZhangGTL #probability #sequence chart #syntax: A Formal Syntax for Probabilistic Timed Property Sequence Charts (PZ, LG, AT, BL), pp. 500–504.
CASE-2009-LeCS #approach #assembly: A path planning approach to (dis)assembly sequencing (DTL, JC, TS), pp. 286–291.
ICDAR-2009-LiFWL #documentation #image #retrieval #sequence: Document Image Retrieval with Local Feature Sequences (JL, ZGF, YW, NL), pp. 346–350.
ICDAR-2009-LiT #identification #independence #online #sequence: Online Text-independent Writer Identification Based on Temporal Sequence and Shape Codes (BL, TT), pp. 931–935.
ICDAR-2009-LiuBMG #bound #detection #fault #sequence: Improving the Table Boundary Detection in PDFs by Fixing the Sequence Error of the Sparse Lines (YL, KB, PM, CLG), pp. 1006–1010.
VLDB-2009-PapapetrouAKG #database #scalability #sequence: Reference-Based Alignment in Large Sequence Databases (PP, VA, GK, DG), pp. 205–216.
TACAS-2009-KuglerS #composition #sequence chart #specification #synthesis: Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications (HK, IS), pp. 77–91.
ICSM-2009-BrooksM #metric #similarity #testing: Introducing a test suite similarity metric for event sequence-based test cases (PAB, AMM), pp. 243–252.
WCRE-1999-SerebrenikRRB99a #diagrams #enterprise #java #reverse engineering #sequence chart: Reverse Engineering Sequence Diagrams for Enterprise JavaBeans with Business Method Interceptors (AS, SAR, EER, MvdB), pp. 269–273.
SEFM-2009-HieronsJUY #adaptation #sequence #using: Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences (RMH, GVJ, HU, HY), pp. 157–166.
HCI-AUII-2009-SuzukiNABYF #comparison #empirical #interactive #mobile #modelling #sequence: Empirical Comparison of Task Completion Time between Mobile Phone Models with Matched Interaction Sequences (SS, YN, TA, VB, NY, SF), pp. 114–122.
HIMI-II-2009-BaeKB #interactive #segmentation #sequence #video: Interactive Object Segmentation System from a Video Sequence (GB, SYK, HB), pp. 221–228.
ICEIS-AIDSS-2009-TsengCH #approach #assembly #multi #sequence #using: A Decision Support System for Multi-plant Assembly Sequence Planning using a PSO Approach (YJT, JYC, FYH), pp. 124–129.
CIKM-2009-BarskySTU #scalability #sequence: Suffix trees for very large genomic sequences (MB, US, AT, CU), pp. 1417–1420.
CIKM-2009-ChuiLKH #query #ranking #sequence: Supporting ranking pattern-based aggregate queries in sequence data cubes (CKC, EL, BK, WSH), pp. 997–1006.
CIKM-2009-GardnerX #approach #automation #detection #sequence: Automatic link detection: a sequence labeling approach (JJG, LX), pp. 1701–1704.
CIKM-2009-MeiKKT #analysis #framework #sequence: An analysis framework for search sequences (QM, KLK, RK, AT), pp. 1991–1994.
CIKM-2009-PhamRMSB #sequence #summary: Time sequence summarization to scale up chronology-dependent applications (QKP, GR, NM, RSP, BB), pp. 1137–1146.
ICML-2009-HuangS #learning #linear #sequence: Learning linear dynamical systems without sequence information (TKH, JGS), pp. 425–432.
ICML-2009-NeumannMP #learning: Learning complex motions by sequencing simpler motion templates (GN, WM, JP), pp. 753–760.
ICML-2009-QianJZHW #higher-order #random #sequence: Sparse higher order conditional random fields for improved sequence labeling (XQ, XJ, QZ, XH, LW), pp. 849–856.
ICML-2009-WoodAGJT #probability #sequence: A stochastic memoizer for sequence data (FW, CA, JG, LJ, YWT), pp. 1129–1136.
KDD-2009-LappasAPKG #documentation #on the #sequence: On burstiness-aware search for document sequences (TL, BA, MP, DK, DG), pp. 477–486.
KDD-2009-LiMPF #mining #named #sequence #summary: DynaMMo: mining and summarization of coevolving sequences with missing values (LL, JM, NSP, CF), pp. 507–516.
KDIR-2009-GabadinhoRSM #category theory #sequence #set #visualisation: Summarizing Sets of Categorical Sequences — Selecting and Visualizing Representative Sequences (AG, GR, MS, NSM), pp. 62–69.
PADL-2009-MaldeO #analysis #haskell #scalability #sequence #using: Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell (KM, BO), pp. 183–194.
SAC-2009-AndradeMCNA #constraints #diagrams #embedded #energy #petri net #realtime #sequence chart #uml #validation: Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints (ECdA, PRMM, GRdAC, BCeSN, CA), pp. 377–381.
SAC-2009-AraujoSSF #classification #named #sequence #type system: HIVSetSubtype: software for subtype classification of HIV-1 sequences (LVdA, SSS, ECS, JEF), pp. 811–815.
ICSE-2009-ThummalapentaX #mining #sequence: Mining exception-handling rules as sequence association rules (ST, TX), pp. 496–506.
ICLP-2009-ChristiansenL #analysis #modelling #optimisation #preprocessor #sequence: Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis (HC, OTL), pp. 70–83.
ICLP-2009-Have #analysis #biology #constraints #modelling #sequence #statistics: Logic-Statistic Models with Constraints for Biological Sequence Analysis (CTH), pp. 549–550.
ICST-2009-BandyopadhyayG #generative #modelling #sequence #state machine #uml #using: Test Input Generation Using UML Sequence and State Machines Models (AB, SG), pp. 121–130.
CASE-2008-SharmaBDC #assembly #generative #optimisation #sequence #using: Generation of optimized robotic assembly sequence using ant colony optimization (SS, BBB, PD, BBC), pp. 894–899.
SIGMOD-2008-LoKHLCC #sequence: OLAP on sequence data (EL, BK, WSH, SDL, CKC, DWC), pp. 649–660.
VLDB-2008-LachmannR #sequence: Finding relevant patterns in bursty sequences (AL, MR), pp. 78–89.
ITiCSE-2008-MarcosBM #education: Evolutionary approaches for curriculum sequencing (LdM, RB, JJM), p. 373.
FoSSaCS-2008-DarondeauGH #sequence chart: Products of Message Sequence Charts (PD, BG, LH), pp. 458–473.
DLT-2008-CaludeZ #independence #sequence: Algorithmically Independent Sequences (CSC, MZ), pp. 183–195.
DLT-2008-CassaigneKZ #complexity #sequence: Relationally Periodic Sequences and Subword Complexity (JC, TK, LQZ), pp. 196–205.
DLT-2008-ItoKKS #sequence: Duplication in DNA Sequences (MI, LK, ZK, SS), pp. 419–430.
SFM-2008-BarbutiCMMP #calculus #sequence: The Calculus of Looping Sequences (RB, GC, AMS, PM, GP), pp. 387–423.
GT-VMT-2006-HermannET08 #diagrams #graph grammar #inheritance #sequence chart #syntax #uml: A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams (FH, HE, GT), pp. 261–269.
GT-VMT-2008-KumarM #automaton #sequence chart #verification: Improving Live Sequence Chart to Automata Transformation for Verification (RK, EGM).
GT-VMT-2008-LambersET #sequence: Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences (LL, HE, GT).
CHI-2008-MartinI #sequence: EdgeWrite with integrated corner sequence help (BM, PI), pp. 583–592.
SOFTVIS-2008-XieKSDF #diagrams #sequence chart: Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments (SX, EK, REKS, LKD, SDF), pp. 9–18.
EDOC-2008-AmeedeenB #approach #diagrams #modelling #petri net #sequence chart: A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets (MAA, BB), pp. 213–221.
ICEIS-AIDSS-2008-BoucheGC #sequence: A Global Model of Sequences of Discrete Event Class Occurrences (PB, MLG, JC), pp. 173–180.
ICEIS-AIDSS-2008-GocB #sequence: Discovering Expert’s Knowledge from Sequences of Discrete Event Class Occurrences (MLG, NB), pp. 253–260.
ICEIS-ISAS2-2008-Shinkawa #consistency #modelling #process #sequence #uml: Evaluating Consistency between UML Activity and Sequence Models (YS), pp. 282–289.
CIKM-2008-HoefelE #classification #learning #sequence: Learning a two-stage SVM/CRF sequence classifier (GH, CE), pp. 271–278.
CIKM-2008-RosenfeldFU #classification #sequence #using #web: Using sequence classification for filtering web pages (BR, RF, LHU), pp. 1355–1356.
ICML-2008-AllauzenMT #kernel #predict #sequence: Sequence kernels for predicting protein essentiality (CA, MM, AT), pp. 9–16.
ICPR-2008-AraiMKH #geometry #people #sequence #video: Estimating the number of people in a video sequence via geometrical model (HA, IM, HK, MH), pp. 1–4.
ICPR-2008-ChengWL #categorisation #clustering #sequence: Dual clustering for categorization of action sequences (JC, LW, CL), pp. 1–4.
ICPR-2008-FilipH #performance #segmentation #sequence #video: Fast and reliablePCA-based temporal segmentation of video sequences (JF, MH), pp. 1–4.
ICPR-2008-HadidP #classification #gender #sequence #video: Combining motion and appearance for gender classification from video sequences (AH, MP), pp. 1–4.
ICPR-2008-HuynhH #estimation #recursion #sequence #video: Recursive structure and motion estimation from noisy uncalibrated video sequences (DQH, AH), pp. 1–5.
ICPR-2008-KimS #consistency #detection #sequence #using #video: Static text region detection in video sequences using color and orientation consistencies (DK, KS), pp. 1–4.
ICPR-2008-LiuZDY #detection #learning #sequence #video: Video attention: Learning to detect a salient object sequence (TL, NZ, WD, ZY), pp. 1–4.
ICPR-2008-MilanovaRKTK #sequence #video #visual notation: Combined visual attention model for video sequences (MGM, SHR, RK, VT, RK), pp. 1–4.
ICPR-2008-PopSM #incremental #sequence #video: Incremental trajectory aggregation in video sequences (IP, MS, SM), pp. 1–4.
ICPR-2008-TagawaKNO #3d #image #multi #network #sequence: Direct 3-D shape recovery from image sequence based on multi-scale Bayesian network (NT, JK, SN, KO), pp. 1–4.
ICPR-2008-TsuboiK #sequence: A new objective function for sequence labeling (YT, HK), pp. 1–4.
ICPR-2008-YamaguchiWNN #estimation #image #sequence #using: Road region estimation using a sequence of monocular images (KY, AW, TN, YN), pp. 1–4.
ICPR-2008-YuLL #detection #recognition #robust #video: Robust time recognition of video clock based on digit transition detection and digit-sequence recognition (XY, YL, WSL), pp. 1–4.
KDD-2008-KiernanT #scalability #sequence #summary: Constructing comprehensive summaries of large event sequences (JK, ET), pp. 417–425.
KDD-2008-LaxmanTW #generative #modelling #predict #sequence #using: Stream prediction using a generative model based on frequent episodes in event sequences (SL, VT, RWW), pp. 453–461.
KDD-2008-ShaoCTYA #mining #performance #sequence: Efficient ticket routing by resolution sequence mining (QS, YC, ST, XY, NA), pp. 605–613.
ECMDA-FA-2008-OldevikH #aspect-oriented #diagrams #semantics #sequence chart: Semantics Preservation of Sequence Diagram Aspects (JO, ØH), pp. 215–230.
ICMT-2008-GronmoSMK #diagrams #semantics #sequence chart #uml #weaving: Semantics-Based Weaving of UML Sequence Diagrams (RG, FS, BMP, SK), pp. 122–136.
MoDELS-2008-GeneroCCAIC #comprehension #diagrams #empirical #sequence chart #uml: Assessing the Influence of Stereotypes on the Comprehension of UML Sequence Diagrams: A Controlled Experiment (MG, JACL, DC, SMA, EI, JÁC), pp. 280–294.
MoDELS-2008-GeneroCCAIC #comprehension #diagrams #empirical #sequence chart #uml: Assessing the Influence of Stereotypes on the Comprehension of UML Sequence Diagrams: A Controlled Experiment (MG, JACL, DC, SMA, EI, JÁC), pp. 280–294.
RE-2008-Kof #generative #sequence chart: From Textual Scenarios to Message Sequence Charts: Inclusion of Condition Generation and Actor Extraction (LK), pp. 331–332.
SAC-2008-HieronsJUY #adaptation #sequence #using: Using adaptive distinguishing sequences in checking sequence constructions (RMH, GVJ, HU, HY), pp. 682–687.
ICSE-2008-SibayUB #revisited #sequence chart: Existential live sequence charts revisited (GES, SU, VAB), pp. 41–50.
ICST-2008-KimC #object-oriented #sequence #source code #testing: A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs (MK, YC), pp. 537–540.
TestCom-FATES-2008-SimaoP #finite #generative #sequence #state machine: Generating Checking Sequences for Partial Reduced Finite State Machines (AdSS, AP), pp. 153–168.
ASE-2007-YuanCM #array #automation #sequence #testing #user interface: Covering array sampling of input event sequences for automated gui testing (XY, MBC, AMM), pp. 405–408.
VLDB-2007-Kraft #component #sequence: A Cost-Estimation Component for Statement Sequences (TK), pp. 1382–1385.
VLDB-2007-TataLP #biology #database #interactive #named #sequence: Periscope/SQ: Interactive Exploration of Biological Sequence Databases (ST, WL, JMP), pp. 1406–1409.
FASE-2007-HarelKM #compilation #diagrams #multi #named #sequence chart #uml: S2A: A Compiler for Multi-modal UML Sequence Diagrams (DH, AK, SM), pp. 121–124.
TACAS-2007-ElkindGP #detection #sequence chart: Detecting Races in Ensembles of Message Sequence Charts (EE, BG, DP), pp. 420–434.
ICPC-2007-CornelissenHZMWD #comprehension #execution #sequence #using: Understanding Execution Traces Using Massive Sequence and Circular Bundle Views (BC, DH, AZ, LM, JJvW, AvD), pp. 49–58.
ICPC-2007-XieKS #comprehension #concurrent #diagrams #empirical #evaluation #interactive #sequence chart #thread #uml: Empirical Evaluation of a UML Sequence Diagram with Adornments to Support Understanding of Thread Interactions (SX, EK, REKS), pp. 123–134.
ICSM-2007-ArchuletaTF #architecture #composition #performance #sequence: A Maintainable Software Architecture for Fast and Modular Bioinformatics Sequence Search (JSA, ET, WcF), pp. 144–153.
DLT-2007-Pritykin #on the #sequence: On Almost Periodicity Criteria for Morphic Sequences in Some Particular Cases (YP), pp. 361–370.
LATA-2007-BourdailletG #sequence: Practical block sequence alignment with moves (JB, JGG), pp. 199–210.
SEFM-2007-DanHC #diagrams #semantics #sequence chart #thread: A Thread-tag Based Semantics for Sequence Diagrams (HD, RMH, SC), pp. 173–182.
ILC-2007-Rhodes #lisp #sequence: User-extensible sequences in common Lisp (CR), p. 13.
HCI-MIE-2007-DerakhshiK #bound #fuzzy #network #predict #sequence #using #word: Using Recurrent Fuzzy Neural Networks for Predicting Word Boundaries in a Phoneme Sequence in Persian Language (MRFD, MRK), pp. 50–59.
VISSOFT-2007-HoltenCW #sequence #using #visualisation: Trace Visualization Using Hierarchical Edge Bundles and Massive Sequence Views (DH, BC, JJvW), pp. 47–54.
CAiSE-2007-WalleCD #distributed #process #requirements #sequence: The Impact of Task Structure and Negotiation Sequence on Distributed Requirements Negotiation Activity, Conflict, and Satisfaction (BVdW, CC, FPD), pp. 381–394.
ECIR-2007-HerscoviciLY #documentation #performance #sequence #version control: Efficient Indexing of Versioned Document Sequences (MH, RL, SY), pp. 76–87.
ICML-2007-NguyenG #algorithm #sequence: Comparisons of sequence labeling algorithms and extensions (NN, YG), pp. 681–688.
MLDM-2007-CuiL #sequence: A New Combined Fractal Scale Descriptor for Gait Sequence (LC, HL), pp. 616–627.
SIGIR-2007-YangLLHKR #documentation: Utility-based information distillation over temporally sequenced documents (YY, AL, NL, AH, BK, MR), pp. 31–38.
SAC-2007-FangWLYD #assessment #detection #multi #sequence #using: The detection and assessment of possible RNA secondary structure using multiple sequence alignment (XF, ZW, ZL, BY, FD), pp. 133–137.
SAC-2007-PlattGM #detection #on the #query #sequence #topic #using: On using user query sequence to detect off-topic search (AP, NG, SSRM), pp. 882–883.
ESEC-FSE-2007-RoychoudhuryGS #sequence chart: Symbolic message sequence charts (AR, AG, BS), pp. 275–284.
RTA-2007-KutsiaLV #sequence #unification: Sequence Unification Through Currying (TK, JL, MV), pp. 288–302.
TAP-2007-BruckerW #generative #higher-order #testing: Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing (ADB, BW), pp. 149–168.
DocEng-2006-LindholmKT #difference #performance #sequence #xml: Fast and simple XML tree differencing by sequence alignment (TL, JK, ST), pp. 75–84.
SIGMOD-2006-AgrawalCN #automation #design #physics #sequence: Automatic physical design tuning: workload as a sequence (SA, EC, VRN), pp. 683–694.
VLDB-2006-VenkateswaranLKJ #database #sequence: Reference-based Indexing of Sequence Databases (JV, DL, TK, CMJ), pp. 906–917.
ITiCSE-2006-CostaTBS #metric #quality #sequence: Reconstructed high frame rate sequences quality measurement tool (MIC, CT, JB, SFSPS), p. 333.
ITiCSE-2006-FatimaMRSH #automation #retrieval #sequence: Automated gene processing and exon sequence retrieval (TF, JDM, RR, GS, KGH), p. 366.
FASE-2006-WestphalT #sequence chart: The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts (BW, TT), pp. 230–246.
MSR-2006-KagdiYM #mining #sequence #version control: Mining sequences of changed-files from version histories (HHK, SY, JIM), pp. 47–53.
WCRE-2006-KorshunovaPBM #c++ #diagrams #named #process #reverse engineering #sequence #source code #uml #xmi: CPP2XMI: Reverse Engineering of UML Class, Sequence, and Activity Diagrams from C++ Source Code (EK, MP, MvdB, MRM), pp. 297–298.
DLT-J-2005-Thomas06 #multi #sequence: Multidimensional Sturmian Sequences and Generalized Substitutions (TF), pp. 575–600.
ICALP-v2-2006-BouyerHR #automaton #petri net #power of #sequence: Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences (PB, SH, PAR), pp. 420–431.
FM-2006-GenonMM #algorithm #distributed #ltl #monitoring #performance #sequence: Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces (AG, TM, CM), pp. 557–572.
FM-2006-LundS #diagrams #semantics #sequence chart #uml: A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice (MSL, KS), pp. 380–395.
ICGT-2006-ButtnerG #graph transformation #sequence: Realizing Graph Transformations by Pre- and Postconditions and Command Sequences (FB, MG), pp. 398–413.
ICGT-2006-VelascoL #approach #graph transformation #matrix #sequence: Matrix Approach to Graph Transformation: Matching and Sequences (PPPV, JdL), pp. 122–137.
AdaEurope-2006-WagnerF #geometry #modelling #reliability #sequence: A Software Reliability Model Based on a Geometric Sequence of Failure Rates (SW, HF), pp. 143–154.
CIKM-2006-WangC #performance #permutation #query #sequence: Improving query I/O performance by permuting and refining block request sequences (XW, MC), pp. 652–661.
ECIR-2006-BernsteinC #performance #scalability #sequence: Fast Discovery of Similar Sequences in Large Genomic Collections (YB, MC), pp. 432–443.
ICML-2006-GravesFGS #classification #network #sequence: Connectionist temporal classification: labelling unsegmented sequence data with recurrent neural networks (AG, SF, FJG, JS), pp. 369–376.
ICML-2006-Sarawagi #modelling #performance #segmentation #sequence: Efficient inference on sequence segmentation models (SS), pp. 793–800.
ICPR-v1-2006-AhmadL #image #multi #recognition #sequence #using: HMM-based Human Action Recognition Using Multiview Image Sequences (MA, SWL), pp. 263–266.
ICPR-v1-2006-BauerBSP #sequence #video: Finding Highly Frequented Paths in Video Sequences (DB, NB, SS, RPP), pp. 387–391.
ICPR-v1-2006-DongWH #gesture #segmentation #sequence #similarity #using #video: Gesture Segmentation from a Video Sequence Using Greedy Similarity Measure (QD, YW, ZH), pp. 331–334.
ICPR-v1-2006-KimH #3d #image #multi #performance #sequence: Variational Multigrid for Fast 3D Interpretation of Image Sequences (JSK, KSH), pp. 267–270.
ICPR-v1-2006-ShimawakiSMS #estimation #image #sequence #video: Estimation of Ball Route under Overlapping with Players and Lines in Soccer Video Image Sequence (TS, TS, JM, YS), pp. 359–362.
ICPR-v2-2006-AutioL #learning #online #sequence: Online Learning of Discriminative Patterns from Unlimited Sequences of Candidates (IA, JTL), pp. 437–440.
ICPR-v2-2006-ZouL #learning #performance #sequence: The Generalization Performance of Learning Machine Based on Phi-mixing Sequence (BZ, LL), pp. 548–551.
ICPR-v3-2006-BombachG #sequence: Patterns of Co-Linear Equidistant Letter Sequences and Verses (NB, HG), pp. 149–151.
ICPR-v3-2006-BombachG06a #sequence: Patterns of Co-Linear Equidistant Letter Sequences and Verses (NB, HG), pp. 1248–1250.
ICPR-v3-2006-ChairunnandaGC #distance #edit distance #sequence #using: Enhancing Edit Distance on Real Sequences Filters using Histogram Distance on Fixed Reference Ordering (PC, VG, LC), pp. 582–585.
ICPR-v3-2006-DupontJK #robust #segmentation #sequence #video: Robust Segmentation of Hidden Layers in Video Sequences (RD, OJ, RK), pp. 75–78.
ICPR-v3-2006-JainHSVHG #algorithm #clustering #hybrid #recursion #sequence: A Hybrid, Recursive Algorithm for Clustering Expressed Sequence Tags in Chlamydomonas reinhardtii (MJ, HJH, JS, OV, CH, AG), pp. 404–407.
ICPR-v3-2006-MalmW #image #reduction #sequence: Motion Dependent Spatiotemporal Smoothing for Noise Reduction in Very Dim Light Image Sequences (HM, EW), pp. 954–959.
ICPR-v3-2006-SandersonG #kernel #markov #on the #sequence: On Authorship Attribution via Markov Chains and Sequence Kernels (CS, SG), pp. 437–440.
ICPR-v3-2006-UshizakiOD #sequence #video: Video Synchronization Based on Co-occurrence of Appearance Changes in Video Sequences (MU, TO, KD), pp. 71–74.
ICPR-v3-2006-YangL06a #3d #image #learning #sequence #using: Reconstructing 3D Human Body Pose from Stereo Image Sequences Using Hierarchical Human Body Model Learning (HDY, SWL), pp. 1004–1007.
ICPR-v4-2006-BombachG06b #sequence: Patterns of Co-Linear Equidistant Letter Sequences and Verses (NB, HG), p. 961.
ICPR-v4-2006-SatoTIM #coordination #detection #image #sequence: Change detection in streetscapes from GPS coordinated omni-directional image sequences (JS, TT, II, HM), pp. 935–938.
SAC-2006-ChenJH #detection #fault #generative #multi #sequence #testing: A new method of generating synchronizable test sequences that detect output-shifting faults based on multiple UIO sequences (KC, FJ, CdH), pp. 1791–1797.
SAC-2006-FangLE #sequence #visualisation: Visualization of unstructured text sequences of nursing narratives (SF, ML, PRE), pp. 240–244.
SAC-2006-FengQWZ #mining #query #xml: Exploit sequencing to accelerate hot XML query pattern mining (JF, QQ, JW, LZ), pp. 517–524.
SAC-2006-GiannottiNPP #mining #sequence: Mining sequences with temporal annotations (FG, MN, DP, FP), pp. 593–597.
SAC-2006-Kosmatov #constraints #sequence #theorem proving: A constraint solver for sequences and its applications (NK), pp. 404–408.
SAC-2006-MitasiunaiteB #constraints #sequence #similarity: Looking for monotonicity properties of a similarity constraint on sequences (IM, JFB), pp. 546–552.
SAC-2006-SousaM #adaptation #biology #comparison #grid #multi #named #sequence: PackageBLAST: an adaptive multi-policy grid service for biological sequence comparison (MSS, ACMAdM), pp. 156–160.
SAC-2006-SrinivasanBC #sequence: Discovery of interesting episodes in sequence data (AS, DB, SC), pp. 598–602.
HPDC-2006-ChingFLMC #parallel #tool support: Exploring I/O Strategies for Parallel Sequence-Search Tools with S3aSim (AC, WcF, HL, XM, ANC), pp. 229–240.
CAV-2006-KloseTWW #performance #sequence chart #verification: Check It Out: On the Efficient Formal Verification of Live Sequence Charts (JK, TT, BW, HW), pp. 219–233.
TestCom-2006-Ipate #bound #finite #nondeterminism #sequence #state machine #testing: Bounded Sequence Testing from Non-deterministic Finite State Machines (FI), pp. 55–70.
TestCom-2006-UralZ #sequence: Reducing the Lengths of Checking Sequences by Overlapping (HU, FZ), pp. 274–288.
TestCom-2006-YalcinY #sequence #using: Using Distinguishing and UIO Sequences Together in a Checking Sequence (MCY, HY), pp. 259–273.
CBSE-2005-PelliccioneMBF #modelling #named #sequence #specification #testing: TeStor: Deriving Test Sequences from Model-Based Specifications (PP, HM, AB, FF), pp. 267–282.
CASE-2005-CastelnuovoFP #approach #incremental #modelling #petri net #sequence: An incremental Petri net approach to production sequence modeling (AC, LF, LP), pp. 333–338.
DATE-2005-LiC #analysis #clustering #hybrid #sequence: Hybrid BIST Based on Repeating Sequences and Cluster Analysis (LL, KC), pp. 1142–1147.
DRR-2005-ChenD #feature model #verification: Sequence-matching-based feature extraction with applications to signature verification (YC, XD), pp. 76–83.
HT-2005-BocconiNH #generative #sequence #video: Supporting the generation of argument structure within video sequences (SB, FN, LH), pp. 75–84.
ICDAR-2005-LefevreV #detection #locality #multi #sequence #video: Caption Localisation in Video Sequences by Fusion of Multiple Detectors (SL, NV), pp. 106–110.
ICDAR-2005-LeiG #classification #sequence: Similarity-driven Sequence Classification Based on Support Vector Machines (HL, VG), pp. 252–261.
SIGMOD-2005-ShenZH #database #effectiveness #scalability #sequence #towards #video: Towards Effective Indexing for Very Large Video Sequence Database (HTS, BCO, XZ), pp. 730–741.
SIGMOD-2005-ZhangKCY #mining #sequence: Mining Periodic Patterns with Gap Requirement from Sequences (MZ, BK, DWLC, KYY), pp. 623–633.
VLDB-2005-KwonRML #documentation #named #scalability #xml: FiST: Scalable XML Document Filtering by Sequencing Twig Patterns (JK, PR, BM, SL), pp. 217–228.
VLDB-2005-PaparizosJ #algebra #question #sequence #set: Pattern Tree Algebras: Sets or Sequences? (SP, HVJ), pp. 349–360.
FASE-2005-RountevKS #diagrams #interactive #sequence chart #test coverage #testing: Coverage Criteria for Testing of Object Interactions in Sequence Diagrams (AR, SK, JS), pp. 289–304.
FoSSaCS-2005-BontempsS #complexity #sequence chart: The Complexity of Live Sequence Charts (YB, PYS), pp. 364–378.
TACAS-2005-Genest #composition #sequence chart: Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs (BG), pp. 429–444.
ICSM-2005-SalahDMSV #named #reverse engineering #sequence: Scenariographer: A Tool for Reverse Engineering Class Usage Scenarios from Method Invocation Sequences (MS, TD, SM, AS, FIV), pp. 155–164.
PASTE-2005-RountevVR #analysis #control flow #diagrams #reverse engineering #sequence chart #uml: Static control-flow analysis for reverse engineering of UML sequence diagrams (AR, OV, MR), pp. 96–102.
SCAM-2005-SchordanQ #attribute grammar #sequence #specification: Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar (MS, DJQ), pp. 97–106.
CIAA-J-2004-HanMZ05 #approach #automaton #database #sequence: An automata approach to match gapped sequence tags against protein database (YH, BM, KZ), pp. 487–497.
DLT-2005-Fernique #sequence: Bidimensional Sturmian Sequences and Substitutions (TF), pp. 236–247.
DLT-2005-Saari #on the #sequence: On the Frequency of Letters in Pure Binary Morphic Sequences (KS), pp. 397–408.
FM-2005-BanachPJS #finite #sequence: Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern (RB, MP, CJ, SS), pp. 382–398.
IFM-2005-LamP #consistency #diagrams #sequence chart #statechart #using #π-calculus: Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the π-Calculus (VSWL, JAP), pp. 347–365.
VISSOFT-2005-SharpR #diagrams #interactive #sequence chart #uml: Interactive Exploration of UML Sequence Diagrams (RS, AR), pp. 8–13.
CIKM-2005-Ahonen-Myka #mining #sequence #set #word: Mining all maximal frequent word sequences in a set of sentences (HAM), pp. 255–256.
CIKM-2005-HalachevST #sequence #using: Exact match search in sequence data using suffix trees (MH, NS, AT), pp. 123–130.
CIKM-2005-LiC #clustering #documentation #sequence #word: Text document clustering based on frequent word sequences (YL, SMC), pp. 293–294.
CIKM-2005-PrasadK #performance #query #sequence #using #xml: Efficient indexing and querying of XML data using modified Prüfer sequences (KHP, PSK), pp. 397–404.
ICML-2005-SonnenburgRS #classification #scalability #sequence: Large scale genomic sequence SVM classifiers (SS, GR, BS), pp. 848–855.
MLDM-2005-KurganH #approach #feature model #predict #sequence: Prediction of Secondary Protein Structure Content from Primary Sequence Alone — A Feature Selection Based Approach (LAK, LH), pp. 334–345.
MLDM-2005-ShimizuM #anti #sequence: Disjunctive Sequential Patterns on Single Data Sequence and Its Anti-monotonicity (KS, TM), pp. 376–383.
MLDM-2005-XiangZCL #approach #recognition #sequence: A New Approach to Human Motion Sequence Recognition with Application to Diving Actions (SX, CZ, XC, NL), pp. 487–496.
SEKE-2005-KrishnaG #concept #diagrams #modelling #sequence chart #uml: Combining Agent-oriented Conceptual Modelling and the UML Sequence Diagram (AK, AKG), pp. 205–210.
SIGIR-2005-BlancoB #documentation #identifier #problem: Characterization of a simple case of the reassignment of document identifiers as a pattern sequencing problem (RB, AB), pp. 587–588.
ECMDA-FA-2005-GarousiBL #analysis #control flow #diagrams #sequence chart #uml: Control Flow Analysis of UML 2.0 Sequence Diagrams (VG, LCB, YL), pp. 160–174.
MoDELS-2005-DeublerMRK #diagrams #modelling #sequence chart #uml: Modeling Crosscutting Services with UML Sequence Diagrams (MD, MM, SR, IK), pp. 522–536.
MoDELS-2005-DeublerMRK #diagrams #modelling #sequence chart #uml: Modeling Crosscutting Services with UML Sequence Diagrams (MD, MM, SR, IK), pp. 522–536.
SAC-2005-ChenA #analysis #approach #comparative #predict #sequence #using: A new approach for gene prediction using comparative sequence analysis (RC, HHA), pp. 177–184.
SAC-2005-DavidssonHS #predict #sequence: Comparing approaches to predict transmembrane domains in protein sequences (PD, JH, KS), pp. 185–189.
SAC-2005-HacheyG #classification #modelling #sequence #summary: Sequence modelling for sentence classification in a legal summarisation system (BH, CG), pp. 292–296.
SAC-2005-HsiehCLT #detection #named #predict #sequence: EXONSCAN: EXON prediction with Signal detection and Coding region AligNment in homologous sequences (SJH, YSC, CYL, CYT), pp. 202–203.
ESEC-FSE-2005-BakerBJKTMB #detection #diagrams #semantics #sequence chart #uml: Detecting and resolving semantic pathologies in UML sequence diagrams (PB, PB, CJ, DJK, RT, BM, SB), pp. 50–59.
ICSE-2005-ApiwattanapongOH #impact analysis #performance #precise #sequence #using: Efficient and precise dynamic impact analysis using execute-after sequences (TA, AO, MJH), pp. 432–441.
ICSE-2005-RountevC #analysis #diagrams #sequence chart: Object naming analysis for reverse-engineered sequence diagrams (AR, BHC), pp. 254–263.
AMOST-2005-Robinson-MallettLMG #generative #model checking #sequence: Generating optimal distinguishing sequences with a model checker (CRM, PL, TM, UG).
CSL-2005-BrattkaS #axiom #sequence: Computing with Sequences, Weak Topologies and the Axiom of Choice (VB, MS), pp. 462–476.
TestCom-2005-ChenHUY #sequence #testing: Eliminating Redundant Tests in a Checking Sequence (JC, RMH, HU, HY), pp. 146–158.
DATE-v1-2004-CorsiMMBD #pseudo #sequence: Pseudo-Random Sequence Based Tuning System for Continuous-Time Filters (FC, CM, GM, AB, SD), pp. 94–101.
DATE-v1-2004-DimopoulosL #performance #sequence #set #testing: Efficient Static Compaction of Test Sequence Sets through the Application of Set Covering Techniques (MGD, PL), pp. 194–201.
VLDB-2004-LawWZ #data type #database #modelling #query #sequence: Query Languages and Data Models for Database Sequences and Data Streams (YNL, HW, CZ), pp. 492–503.
SCAM-2004-FatiregunHH #algorithm #evolution #search-based #sequence #using: Evolving Transformation Sequences using Genetic Algorithms (DF, MH, RMH), pp. 66–75.
PLDI-2004-KulkarniHHWDJ #effectiveness #optimisation #performance #sequence: Fast searches for effective optimization phase sequences (PAK, SH, JH, DBW, JWD, DLJ), pp. 171–182.
CIAA-2004-HanMZ #approach #automaton #database #sequence: An Automata Approach to Match Gapped Sequence Tags Against Protein Database (YH, BM, KZ), pp. 167–177.
CIAA-2004-PengT #algorithm #performance #sequence: Time and Space Efficient Algorithms for Constrained Sequence Alignment (ZSP, HFT), pp. 237–246.
ICALP-2004-ChenDSY #sequence: Dynamic Price Sequence and Incentive Compatibility (Extended Abstract) (NC, XD, XS, ACCY), pp. 320–331.
IFM-2004-PickinJ #diagrams #sequence chart #uml #using: Using UML Sequence Diagrams as the Basis for a Formal Test Description Language (SP, JMJ), pp. 481–500.
ICEIS-v5-2004-SalcedoY #learning #library #metadata: Supporting Course Sequencing in a Digital Library: Usage of Dynamic Metadata for Learning Objects (RMS, YY), pp. 319–324.
CIKM-2004-WangXY #biology #mining #scalability #sequence: Scalable sequential pattern mining for biological sequences (KW, YX, JXY), pp. 178–187.
CIKM-2004-WuC #design #sequence: Distance-function design and fusion for sequence data (YW, EYC), pp. 324–333.
ICML-2004-AltunHS #classification #process #sequence: Gaussian process classification for segmenting and annotating sequences (YA, TH, AJS).
ICML-2004-KashimaT #algorithm #graph #kernel #learning #sequence: Kernel-based discriminative learning algorithms for labeling sequences, trees, and graphs (HK, YT).
ICML-2004-SuttonRM #modelling #probability #random #sequence: Dynamic conditional random fields: factorized probabilistic models for labeling and segmenting sequence data (CAS, KR, AM).
ICPR-v2-2004-JorgeMA #architecture #estimation #network #sequence #video: Estimation of the Bayesian Network Architecture for Object Tracking in Video Sequences (PMJ, JSM, AJA), pp. 732–735.
ICPR-v2-2004-LiZYH #image #performance #robust #segmentation #sequence: FFT Snake: A Robust and Efficient Method for the Segmentation of Arbitrarily Shaped Objects in Image Sequences (TL, YZ, DY, DH), pp. 116–119.
ICPR-v2-2004-PlotzF #analysis #biology #feature model #sequence: Feature Extraction for Improved Profile HMM based Biological Sequence Analysis (TP, GAF), pp. 315–318.
ICPR-v2-2004-VijayaMS #classification #clustering #performance #sequence: An Efficient Technique for Protein Sequence Clustering and Classification (PAV, MNM, DKS), pp. 447–450.
ICPR-v2-2004-YuXA #graph #sequence #using #video: Reconstructing a Dynamic Surface from Video Sequences Using Graph Cuts in 4D Space-Time (TY, NX, NA), pp. 245–248.
ICPR-v3-2004-LiewWY #classification #sequence #statistics: Selection of Statistical Features Based on Mutual Information for Classification of Human Coding and Non-coding DNA Sequences (AWCL, YW, HY), pp. 766–769.
ICPR-v3-2004-LucasH #recognition #sequence: Sequence Recognition with Scanning N-Tuple Ensembles (SML, TKH), pp. 410–413.
ICPR-v3-2004-MostafaouiAM #estimation #image #sequence: Objects Velocity Estimation on Images Sequences by Hough Transform with Projection (HTP) (GM, CA, MM), pp. 83–86.
ICPR-v3-2004-RenS #constraints #sequence #video: Video Sequence Matching with Spatio-Temporal Constraints (WR, SS), pp. 834–837.
ICPR-v3-2004-SugimotoTTO #detection #image #sequence #using #visualisation: Obstacle Detection Using Millimeter-Wave Radar and Its Visualization on Image Sequence (SS, HT, HT, MO), pp. 342–345.
ICPR-v3-2004-TerrillonPNY #detection #multi #realtime #recognition #robust #sequence #video: DRUIDE : A Real-Time System for Robust Multiple Face Detection, Tracking and Hand Posture Recognition in Color Video Sequences (JCT, AP, YN, KY), pp. 302–305.
ICPR-v4-2004-ArnabatCM #3d #consistency #modelling #multi #sequence #using: 3D Modeling from Turntable Sequences Using Dense Stereo Carving and Multi-View Consistency (JA, SC, GGM), pp. 36–39.
ICPR-v4-2004-DehaisDMC #artificial reality #perspective #realtime #sequence #using #video: Augmented Reality through Real-Time Tracking of Video Sequences Using a Panoramic View (CD, MD, GM, VC), pp. 995–998.
ICPR-v4-2004-Hild #3d #estimation #image #recognition #sequence: Estimation of 3D Motion Trajectory and Velocity from Monocular Image Sequences in the Context of Human Gait Recognition (MH), pp. 231–235.
ICPR-v4-2004-ZaveriMD #image #information retrieval #modelling #multi #sequence #using: Tracking of Point Targets in IR Image Sequence using Multiple Model Based Particle Filtering and MRF Based Data Association (MAZ, SNM, UBD), pp. 729–732.
KDD-2004-TinoKS #approach #generative #probability #sequence #set #visualisation: A generative probabilistic approach to visualizing sets of symbolic sequences (PT, AK, YS), pp. 701–706.
SAC-2004-MengC #analysis #scalability: Bio-sequence analysis with cradle’s 3SoC^TM software scalable system on chip (XM, VC), pp. 202–206.
SAC-2004-OrlandoPS #algorithm #mining #sequence: A new algorithm for gap constrained sequence mining (SO, RP, CS), pp. 540–547.
SAC-2004-WeisserK #identification #metric #sequence #statistics #using: Identification of fundamental building blocks in protein sequences using statistical association measures (DKW, JKS), pp. 154–161.
LCTES-2004-AlmagorCGHRSTW #compilation #effectiveness #sequence: Finding effective compilation sequences (LA, KDC, AG, TJH, SWR, DS, LT, TW), pp. 231–239.
DocEng-2003-BagleyBH #component #reuse #sequence: Creating reusable well-structured PDF as a sequence of component object graphic (COG) elements (SRB, DFB, MRBH), pp. 58–67.
HT-2003-AbdullahD #adaptation #hypermedia #question: Is simple sequencing simple adaptive hypermedia? (NAA, HCD), pp. 172–173.
ICDAR-2003-GuestCFP #analysis #automation #classification #geometry #sequence #using: Automatic Classification of Hand Drawn Geometric Shapes using Constructional Sequence Analysis (RMG, SC, MCF, JMP), pp. 990–994.
ICDAR-2003-KameyaMO #online #sequence #verification: Figure-Based Writer Verification by Matching between an Arbitrary Part of Registered Sequence and an Input Sequence Extracted from On-Line Handwritten Figures (HK, SM, RO), pp. 985–989.
ICDAR-2003-KochHP #documentation #sequence: Numerical Sequence Extraction in Handwritten Incoming Mail Documents (GK, LH, TP), pp. 369–373.
ICDAR-2003-LauYT #image #sequence #using: Recovery of Writing Sequence of Static Images of Handwriting using UWM (KKL, PCY, YYT), pp. 1123–1127.
VLDB-2003-KraftSRM #optimisation #sequence #sql: Coarse-Grained Optimization: Techniques for Rewriting SQL Statement Sequences (TK, HS, RR, BM), pp. 488–499.
VLDB-2003-MeekPK #biology #named #online #sequence: OASIS: An Online and Accurate Technique for Local-alignment Searches on Biological Sequences (CM, JMP, SK), pp. 910–921.
ICSM-2003-WhiteAS #interactive #sequence #testing #user interface: Firewall Regression Testing of GUI Sequences and their Interactions (LJW, HA, SS), pp. 398–409.
WCRE-2003-BriandLM #diagrams #reverse engineering #sequence chart #towards #uml: Towards the Reverse Engineering of UML Sequence Diagrams (LCB, YL, YM), pp. 57–66.
STOC-2003-DrorELM #sequence: Touring a sequence of polygons (MD, AE, AL, JSBM), pp. 473–482.
CIAA-2003-Sutner #sequence: The Ehrenfeucht-Mycielski Sequence (KS), pp. 282–293.
AGTIVE-2003-CordesHK #collaboration #diagrams #interactive #sequence chart #uml: UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams (BC, KH, HJK), pp. 275–291.
CHI-2003-VenoliaN #comprehension #email #sequence #visualisation: Understanding sequence and reply relationships within email conversations: a mixed-model visualization (GDV, CN), pp. 361–368.
KDD-2003-MaP #detection #online #sequence: Online novelty detection on temporal sequences (JM, SP), pp. 613–618.
MLDM-2003-BicegoMF #clustering #markov #modelling #sequence #similarity #using: Similarity-Based Clustering of Sequences Using Hidden Markov Models (MB, VM, MATF), pp. 86–95.
MLDM-2003-KawamotoIH #image #sequence: Shape Recovery from an Unorganized Image Sequence (KK, AI, KH), pp. 389–399.
MLDM-2003-MagnussonV #network #sequence #using #visualisation: Visualizing Sequences of Texts Using Collocational Networks (CM, HV), pp. 276–283.
UML-2003-DologN #adaptation #generative #navigation #sequence #uml #using #xmi: Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems (PD, WN), pp. 205–219.
PADL-2003-Schachte #quantifier #sequence: Sequence Quantification (PS), pp. 128–144.
RE-2003-SenguptaC #modelling #requirements #sequence chart #using: Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts (BS, RC), pp. 95–104.
SAC-2003-CatalyurekGKSSF #component #implementation #multi #sequence: A Component-based Implementation of Multiple Sequence Alignment (ÜVÇ, MG, TMK, JHS, ES, RF), pp. 122–126.
CC-2003-GagnonH #bytecode #effectiveness #java #sequence #thread #using: Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences (EG, LJH), pp. 170–184.
LCTES-2003-KulkarniZMCWDBPG #effectiveness #optimisation #sequence: Finding effective optimization phase sequences (PAK, WZ, HM, KC, DBW, JWD, MWB, YP, KG), pp. 12–23.
CAV-2003-SenguptaC #named #sequence chart: TRIM: A Tool for Triggered Message Sequence Charts (BS, RC), pp. 106–109.
FATES-2003-GuoHHD #algorithm #search-based #sequence #using: Computing Unique Input/Output Sequences Using Genetic Algorithms (QG, RMH, MH, KD), pp. 164–177.
FATES-2003-HeimdahlRVDG #case study #model checking #sequence #testing #using: Auto-generating Test Sequences Using Model Checkers: A Case Study (MPEH, SR, WV, GD, JG), pp. 42–59.
LICS-2003-Lynch #convergence #graph #random #sequence: Convergence Law for Random Graphs with Specified Degree Sequence (JFL), p. 301–?.
TestCom-2003-UralW #architecture #distributed #generative #sequence: Generating Checking Sequences for a Distributed Test Architecture (HU, CW), pp. 146–162.
ASE-2002-FraikinL #diagrams #named #sequence chart #testing: SeDiTeC — Testing Based on Sequence Diagrams (FF, TL), pp. 261–266.
DAC-2002-RakhmatovVC #scalability: Battery-conscious task sequencing for portable devices including voltage/clock scaling (DNR, SBKV, CC), pp. 189–194.
DATE-2002-ZhuangKSJ: An Enhanced Q-Sequence Augmented with Empty-Room-Insertion and Parenthesis Trees (CZ, YK, KS, LJ), pp. 61–68.
VLDB-2002-HammelP #sequence: Searching on the Secondary Structure of Protein Sequences (LH, JMP), pp. 634–645.
IWPC-2002-BurdOW #animation #comprehension #diagrams #sequence chart #using: Evaluating Using Animation to Improve Understanding of Sequence Diagrams (EB, DO, AW), pp. 107–113.
DLT-2002-UmeoK #automaton #communication #infinity #realtime #sequence: An Infinite Prime Sequence Can Be Generated in Real-Time by a 1-Bit Inter-cell Communication Cellular Automaton (HU, NK), pp. 339–348.
ICALP-2002-Merkle #probability #sequence: The Kolmogorov-Loveland Stochastic Sequences Are Not Closed under Selecting Subsequences (WM), pp. 390–400.
ICEIS-2002-Snoeck #constraints #modelling #process #sequence: Sequence Constraints in Business Modelling and Business Process Modelling (MS), pp. 683–690.
CIKM-2002-SistlaHC #automaton #database #query #retrieval #sequence #similarity #using: Similarity based retrieval from sequence databases using automata as queries (APS, TH, VC), pp. 237–244.
ICPR-v1-2002-DOrazioACN #algorithm #detection #image #sequence: A Ball Detection Algorithm for Real Soccer Image Sequences (TD, NA, GC, MN), pp. 210–213.
ICPR-v1-2002-MarinoPPBnCG #sequence: Methodology for the Registration of Whole SLO Sequences (CM, MP, MGP, JMB, VL, MJC, FGU), pp. 779–783.
ICPR-v1-2002-YamadaSM #3d #game studies #image #parametricity #sequence #video: Tracking Players and a Ball in Video Image Sequence and Estimating Camera Parameters for 3D Interpretation of Soccer Games (AY, YS, JM), pp. 303–306.
ICPR-v1-2002-ZhangGSS #2d #image #sequence #using: Recovering Elastic Property of Soft Tissues Using 2D Image Sequences With Limited Range Data (YZ, DBG, SS, MCS), pp. 755–758.
ICPR-v2-2002-ChengCK #behaviour #sequence #video: Recognising Human Running Behaviour in Sports Video Sequences (FC, WJC, JK), pp. 1017–1020.
ICPR-v2-2002-DavisLC #estimation #markov #multi #parametricity #sequence: Improved Estimation of Hidden Markov Model Parameters from Multiple Observation Sequences (RIAD, BCL, TC), pp. 168–171.
ICPR-v2-2002-KanekoH #image #sequence: Template Update Criterion for Template Matching of Image Sequences (TK, OH), pp. 1–5.
ICPR-v3-2002-ChenHF #database #performance #sequence: Fast Semi-Local Alignment for DN Sequence Database Search (YSC, YPH, CSF), pp. 1019–1022.
ICPR-v3-2002-JungKH #detection #image #sequence: Text Scanner with Text Detection Technology on Image Sequences (KJ, KIK, JH), pp. 473–476.
ICPR-v3-2002-KimKKK #bound #sequence: Usefulness of Boundary Sequences in Computing Shape Features for Arbitrary Shaped Regions (SK, SK, JK, MK), pp. 355–358.
ICPR-v3-2002-LauYT #estimation #sequence: Stroke Extraction and Stroke Sequence Estimation on Signatures (KKL, PCY, YYT), pp. 119–122.
ICPR-v3-2002-SatoKYT #3d #image #modelling #multi #sequence #using: 3-D Modeling of an Outdoor Scene by Multi-Baseline Stereo Using a Long Sequence of Images (TS, MK, NY, HT), pp. 581–584.
ICPR-v4-2002-Ichimura #estimation #image #monte carlo #probability #sequence #using: Stochastic Filtering for Motion Trajectory in Image Sequences Using a Monte Carlo Filter with Estimation of Hyper-Parameters (NI), pp. 68–73.
KDD-2002-ChudovaS #markov #sequence: Pattern discovery in sequences under a Markov assumption (DC, PS), pp. 153–162.
SEKE-2002-LeeKC #finite #interactive #sequence chart #state machine #testing: Construction of global finite state machine for testing task interactions written in message sequence charts (NHL, THK, SDC), pp. 369–376.
OOPSLA-2002-MarellyHK #execution #multi #sequence chart: Multiple instances and symbolic variables in executable sequence charts (RM, DH, HK), pp. 83–100.
FSE-2002-SenguptaC #sequence chart: Triggered message sequence charts (BS, RC), pp. 167–176.
ICSE-2002-BlausteinOB #graph #sequence chart: Observing timed systems by means of message sequence chart graphs (SB, FO, VAB), p. 707.
TestCom-2002-OgishiHKS #sequence #specification: A TCP Test System Specifying only Exceptional Packet Sequences (TO, TH, TK, KS), pp. 21–38.
TestCom-2002-SerdarT #approach #finite #generative #sequence #state machine: A New Approach To Checking Sequence Generation for Finite State Machines (BS, KCT), p. 391–?.
ASE-2001-LegeardP #case study #functional #generative #industrial #sequence #testing: Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study (BL, FP), pp. 377–381.
DAC-2001-YildizM #clustering #sequence: Improved Cut Sequences for Partitioning Based Placement (MCY, PHM), pp. 776–779.
DATE-2001-PomeranzR #order #sequence: Sequence reordering to improve the levels of compaction achievable by static compaction procedures (IP, SMR), pp. 214–218.
PODS-2001-SadriZZA #database #optimisation #query #sequence: Optimization of Sequence Queries in Database Systems (RS, CZ, AMZ, JA).
VLDB-2001-HuntAI #biology #database #scalability #sequence: A Database Index to Large Biological Sequences (EH, MPA, RWI), pp. 139–148.
FoSSaCS-2001-Morin #on the #sequence chart #traceability: On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory (RM), pp. 332–346.
TACAS-2001-GunterMP #composition #sequence chart: Compositional Message Sequence Charts (ELG, AM, DP), pp. 496–511.
TACAS-2001-KloseW #automaton #sequence chart: An Automata Based Interpretation of Live Sequence Charts (JK, HW), pp. 512–527.
STOC-2001-Gacs #sequence: Compatible sequences and a slow Winkler percolation (PG), pp. 694–703.
ICALP-2001-LinCJW #problem #sequence: The Longest Common Subsequence Problem for Sequences with Nested Arc Annotations (GHL, ZZC, TJ, JW), pp. 444–455.
ICALP-2001-Madhusudan #behaviour #branch #graph #reasoning #sequence: Reasoning about Sequential and Branching Behaviours of Message Sequence Graphs (PM), pp. 809–820.
ICALP-2001-MuschollP #communication #finite #protocol #sequence chart: From Finite State Communication Protocols to High-Level Message Sequence Charts (AM, DP), pp. 720–731.
ICALP-2001-SadakaneTT #algorithm #combinator #sequence: Combinatorics and Algorithms on Low-Discrepancy Roundings of a Real Sequence (KS, NTC, TT), pp. 166–177.
SVIS-2001-OechsleS #automation #debugging #diagrams #interface #java #named #sequence chart #using #visualisation: JAVAVIS: Automatic Program Visualization with Object and Sequence Diagrams Using the Java Debug Interface (JDI) (RO, TS), pp. 176–190.
CIKM-2001-ParkKCP #approach #database #effectiveness #named #sequence: Prefix-Querying: An Approach for Effective Subsequence Matching Under Time Warping in Sequence Databases (SP, SWK, JSC, SP), pp. 255–262.
ICML-2001-Hutter #bound #predict #sequence: General Loss Bounds for Universal Sequence Prediction (MH), pp. 210–217.
ICML-2001-LaffertyMP #modelling #probability #random #sequence: Conditional Random Fields: Probabilistic Models for Segmenting and Labeling Sequence Data (JDL, AM, FCNP), pp. 282–289.
ICML-2001-SeldinBT #markov #memory management #segmentation #sequence: Unsupervised Sequence Segmentation by a Mixture of Switching Variable Memory Markov Sources (YS, GB, NT), pp. 513–520.
KDD-2001-MannilaS #sequence: Finding simple intensity descriptions from event sequence data (HM, MS), pp. 341–346.
UML-2001-LatronicoK #diagrams #embedded #formal method #representation #sequence chart: Representing Embedded System Sequence Diagrams as a Formal Language (EL, PK), pp. 302–316.
TOOLS-USA-2001-SelonenSK #diagrams #generative #implementation #sequence chart #uml: Generating Structured Implementation Schemes from UML Sequence Diagrams (PS, TS, KK), pp. 317–330.
SAC-2001-LeeGA #learning #multi: A multi-neural-network learning for lot sizing and sequencing on a flow-shop (IL, JNDG, ADA), pp. 36–40.
SAC-2001-ParkKC #approach #database #sequence: Segment-based approach for subsequence searches in sequence databases (SP, SWK, WWC), pp. 248–252.
ESEC-FSE-2001-UchitelKM #detection #sequence chart #specification: Detecting implied scenarios in message sequence chart specifications (SU, JK, JM), pp. 74–82.
ASE-2000-Li #case study #diagrams #sequence chart: Translating Use Cases to Sequence Diagrams (LL), pp. 293–296.
ASE-2000-MarreA #generative #sequence #testing: Test Sequences Generation from LUSTRE Descriptions: GATeL (BM, AA), p. 229–?.
DATE-2000-PomeranzR #generative #sequence #testing: Built-In Generation of Weighted Test Sequences for Synchronous Sequential Circuits (IP, SMR), pp. 298–304.
DATE-2000-TangWT #evaluation #performance #sequence: Fast Evaluation of Sequence Pair in Block Placement by Longest Common Subsequence Computation (XT, DFW, RT), pp. 106–111.
VLDB-2000-YiF #performance #sequence: Fast Time Sequence Indexing for Arbitrary Lp Norms (BKY, CF), pp. 385–394.
STOC-2000-MuthukrishnanS #approximate #comparison #nearest neighbour #sequence: Approximate nearest neighbors and sequence comparison with block operations (SM, SCS), pp. 416–424.
ICALP-2000-HenriksenMKT #graph #on the #sequence: On Message Sequence Graphs and Finitely Generated Regular MSC Languages (JGH, MM, KNK, PST), pp. 675–686.
ICALP-2000-Lutz #sequence: Gales and the Constructive Dimension of Individual Sequences (JHL), pp. 902–913.
ICEIS-2000-KostarasMMP #industrial #multi #problem #scalability: Solving Large Scale Multi-Criteria Job Sequencing Problems in Real Industrial Environments (GK, IM, GM, JEP), pp. 157–162.
CIKM-2000-Zaki #category theory #constraints #mining #sequence: Sequence Mining in Categorical Domains: Incorporating Constraints (MJZ), pp. 422–429.
ICML-2000-MuggletonBS #biology #learning #product line #sequence: Learning Chomsky-like Grammars for Biological Sequence Families (SM, CHB, AS), pp. 631–638.
ICPR-v1-2000-CapelZ #image #sequence: Super-Resolution Enhancement of Text Image Sequences (DPC, AZ), pp. 1600–1605.
ICPR-v1-2000-DionLB #2d #3d #image #sequence: 3D Triangular Mesh Matching through a Sequence of Registered 2D and 3D Images (DDJ, DL, LB), pp. 1977–1980.
ICPR-v1-2000-Nagel #evaluation #image #sequence: Image Sequence Evaluation: 30 Years and Still Going Strong (HHN), pp. 1149–1158.
ICPR-v2-2000-HongH #learning #sequence: Learning to Extract Temporal Signal Patterns from Temporal Signal Sequence (PH, TSH), pp. 2648–2651.
ICPR-v2-2000-LawK #clustering #learning #modelling #sequence: Rival Penalized Competitive Learning for Model-Based Sequence Clustering (MHCL, JTK), pp. 2195–2198.
ICPR-v2-2000-WohlerKA #classification #image #recognition #sequence: Pedestrian Recognition by Classification of Image Sequences — Global Approaches vs. Local Spatio-Temporal Processing (CW, UK, JKA), pp. 2540–2544.
ICPR-v3-2000-BadenasSP #integration #monitoring #sequence #using: Using Temporal Integration for Tracking Regions in Traffic Monitoring Sequences (JB, JMS, FP), pp. 7137–7140.
ICPR-v3-2000-DekeyserBPP #2d #image #parametricity #sequence: Super-Resolution from Noisy Image Sequences Exploiting a 2D Parametric Motion Model (FD, PB, PP, ÉP), pp. 3354–3357.
ICPR-v3-2000-GibsonCDT #image #sequence #visual notation: Visual Extraction of Motion-Based Information from Image Sequences (DPG, NWC, CJD, BTT), pp. 3893–3896.
ICPR-v3-2000-HoshinoSY #automation #image #sequence: Automatic Registration of Virtual Objects onto Human Image Sequences (JH, HS, MY), pp. 3175–3177.
ICPR-v3-2000-KimC #image #network #segmentation #sequence #using: Segmentation of Image Sequences Using SOFM Networks (JK, TC), pp. 3877–3880.
ICPR-v3-2000-SaitoKOS #image #sequence: Image Processing for Restoration of Heavily-Corrupted Old Film Sequences (TS, TK, TO, TS), pp. 3017–3020.
ICPR-v4-2000-AbeggEW #algorithm #image #linear #robust #sequence #video: A Robust Algorithm for Segmenting Deformable Linear Objects from Video Image Sequences (FA, DE, HW), pp. 4756–4759.
ICPR-v4-2000-GriffinK #3d #sequence #video: Coping with 3D Artifacts in Video Sequences (AG, JK), pp. 4623–4626.
ICPR-v4-2000-NakamuraSO #3d #image #re-engineering #sequence: 3D Reconstruction of Book Surface Taken from Image Sequence with Handy Camera (KN, HS, SO), pp. 4575–4578.
ICPR-v4-2000-VeneauRB #clustering #segmentation #sequence #video: From Video Shot Clustering to Sequence Segmentation (EV, RR, PB), pp. 4254–4257.
ICPR-v4-2000-YamaguchiTYY #generative #image #realtime #sequence #using: Real-Time Generation and Presentation of View-Dependent Binocular Stereo Images Using a Sequence of Omnidirectional Images (KY, HT, KY, NY), pp. 4589–4593.
KDD-2000-KingKCD #data mining #functional #mining #predict #sequence #using: Genome scale prediction of protein functional class from sequence using data mining (RDK, AK, AC, LD), pp. 384–389.
KDD-2000-WangMSW #biology #case study #classification #data mining #mining #network #sequence: Application of neural networks to biological data mining: a case study in protein sequence classification (JTLW, QM, DS, CHW), pp. 305–309.
UML-2000-GraubmannR #case study #diagrams #modelling #sequence chart #testing: HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing (PG, ER), pp. 32–46.
UML-2000-PetriuS #behaviour #consistency #diagrams #process #representation #sequence chart: Consistent Behaviour Representation in Activity and Sequence Diagrams (DCP, YS), pp. 369–382.
ICSE-2000-AlurEY #sequence chart: Inference of message sequence charts (RA, KE, MY), pp. 304–313.
TestCom-2000-DualeU #generative #modelling #sequence #testing: Generation of Feasible Test Sequences for EFSM Models (AYD, MÜU), p. 91–?.
DAC-1999-BalasaL #layout #representation #using: Module Placement for Analog Layout Using the Sequence-Pair Representation (FB, KL), pp. 274–279.
DAC-1999-PomeranzR #generative #sequence #testing: Built-In Test Sequence Generation for Synchronous Sequential Circuits Based on Loading and Expansion of Test Subsequences (IP, SMR), pp. 754–759.
DAC-1999-TanSLLY #linear #network #optimisation #sequence: Reliability-Constrained Area Optimization of VLSI Power/Ground Networks via Sequence of Linear Programmings (XDT, CJRS, DL, JCL, LPY), pp. 78–83.
ICDAR-1999-ChaSS #algorithm #analysis #approximate #recognition #sequence #string: Approximate Stroke Sequence String Matching Algorithm for Character Recognition and Analysis (SHC, YCS, SNS), pp. 53–56.
PODS-1999-MoreMS #performance: Efficient Sequencing Tape-Resident Jobs (SM, SM, EAMS), pp. 33–43.
FoSSaCS-1999-Muscholl #sequence chart #specification: Matching Specifications for Message Sequence Charts (AM), pp. 273–287.
ICALP-1999-Sanders #multi #sequence #set: Accessing Multiple Sequences Through Set Associative Caches (PS), pp. 655–664.
HCI-CCAD-1999-Komischke #branch #identification #process #sequence: Identifying core sequences in process control across branches (TK), pp. 1301–1305.
ACIR-1999-AminiZG #automation #information management #modelling #sequence: Sequence Models for Automatic Highlighting and Surface Information Extraction (MRA, HZ, PG).
CIKM-1999-ParthasarathyZOD #incremental #interactive #mining #sequence: Incremental and Interactive Sequence Mining (SP, MJZ, MO, SD), pp. 251–258.
ICML-1999-HuSK #detection #sequence: Detecting Motifs from Sequences (YJH, SBS, DFK), pp. 181–190.
KDD-1999-LeshZO #classification #mining #sequence: Mining Features for Sequence Classification (NL, MJZ, MO), pp. 342–346.
UML-1999-FirleyHDGG #analysis #case study #diagrams #sequence chart: Timed Sequence Diagrams and Tool-Based Analysis — A Case Study (TF, MH, KD, TG, UG), pp. 645–660.
UML-1999-LiL #analysis #diagrams #sequence chart #uml: Timing Analysis of UML Sequence Diagrams (XL, JL), pp. 661–674.
TOOLS-EUROPE-1999-Li #approach #automation #case study #diagrams #sequence chart: A Semi-Automatic Approach to Translating Use Cases to Sequence Diagrams (LL), pp. 184–193.
TOOLS-USA-1999-DanielsT #constraints #effectiveness #sequence #testing: Measuring the Effectiveness of Method Test Sequences Derived from Sequencing Constraints (FJD, KCT), pp. 74–83.
ASE-1998-LeueMR #architecture #sequence chart #specification: Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications (SL, LM, MR), pp. 192–195.
DATE-1998-GuoPR #sequence #testing: Procedures for Static Compaction of Test Sequences for Synchronous Sequential Circuits Based on Vector Restoration (RG, IP, SMR), pp. 583–587.
VLDB-1998-LinR #query #sequence: Querying Continuous Time Sequences (LL, TR), pp. 170–181.
FoSSaCS-1998-MuschollPS #sequence chart: Deciding Properties for Message Sequence Charts (AM, DP, ZS), pp. 226–242.
FoSSaCS-1998-PorrotDDV #random #sequence #transducer: Deterministic Rational Transducers and Random Sequences (SP, MD, BD, NKV), pp. 258–272.
CIKM-1998-LiYC #abstraction #database #framework #mining #multi #named #sequence: MALM: A Framework for Mining Sequence Database at Multiple Abstraction Levels (CSL, PSY, VC), pp. 267–272.
CIKM-1998-Zaki #performance #sequence: Efficient Enumeration of Frequent Sequences (MJZ), pp. 68–75.
ICML-1998-MargaritisT #3d #image #learning #sequence: Learning to Locate an Object in 3D Space from a Sequence of Camera Images (DM, ST), pp. 332–340.
ICPR-1998-ArakiMTY #image #multi #realtime #robust #sequence #statistics #using: Real-time tracking of multiple moving objects in moving camera image sequences using robust statistics (SA, TM, HT, NY), pp. 1433–1435.
ICPR-1998-AvrinD #estimation #sequence #video: Local motion estimation and resolution enhancement of video sequences (VA, ID), pp. 539–541.
ICPR-1998-BadenasP #image #monitoring #segmentation #sequence: Segmentation based on region-tracking in image sequences for traffic monitoring (JB, FP), pp. 999–1001.
ICPR-1998-HeikkilaS #3d #estimation #image #linear #metric #sequence: Linear motion estimation for image sequence based accurate 3-D measurements (JH, OS), pp. 1247–1250.
ICPR-1998-KummertFSB #hybrid #image #recognition #sequence: Hybrid object recognition in image sequences (FK, GAF, GS, EB), pp. 1165–1170.
ICPR-1998-MeckeAM #estimation #robust #sequence: A robust method for block-based motion estimation in RGB-image sequences (RM, AAH, BM), pp. 663–667.
ICPR-1998-NakajimaTY #documentation #image #re-engineering #recognition #sequence: Document reconstruction and recognition from an image sequence (NN, NT, KY), pp. 922–925.
ICPR-1998-ThorpeLF #image #visualisation: Atmospheric turbulence visualisation through image time-sequence registration (GT, AJL, DF), pp. 1768–1770.
ICPR-1998-WatanabeY #gesture #image #multi #realtime #recognition #sequence #using: Real time recognition of gesture and gesture degree information using multi input image sequences (TW, MY), pp. 1855–1858.
ICPR-1998-WengH #learning #recognition #sequence: Sensorimotor action sequence learning with application to face recognition under discourse (J(W, WSH), pp. 252–254.
ICPR-1998-YonemotoTT #3d #multi #sequence #using: Tracking of 3D multi-part objects using multiple viewpoint time-varying sequences (SY, NT, RiT), pp. 490–494.
KDD-1998-GuralnikWS #mining #sequence: Pattern Directed Mining of Sequence Data (VG, DW, JS), pp. 51–57.
KDD-1998-WeissH #learning #predict #sequence: Learning to Predict Rare Events in Event Sequences (GMW, HH), pp. 359–363.
KDD-1998-ZakiLO #mining #named #sequence: PlanMine: Sequence Mining for Plan Failures (MJZ, NL, MO), pp. 369–374.
UML-1998-SeemannG #diagrams #realtime #sequence chart #uml: Extension of UML Sequence Diagrams for Real-Time Systems (JS, JWvG), pp. 240–252.
CAV-1998-Peled98a #sequence chart #tool support: A Toolset for Message Sequence Charts (DP), pp. 532–536.
DAC-1997-MarculescuMP #analysis #finite #probability #sequence #state machine: Sequence Compaction for Probabilistic Analysis of Finite-State Machines (DM, RM, MP), pp. 12–15.
DAC-1997-MarculescuMP97a #estimation #sequence: Hierarchical Sequence Compaction for Power Estimation (RM, DM, MP), pp. 570–575.
EDTC-1997-CornoPRR #sequence #testing: New static compaction techniques of test sequences for sequential circuits (FC, PP, MR, MSR), pp. 37–43.
EDTC-1997-DufazaZ #generative #on the #pseudo #sequence #testing: On the generation of pseudo-deterministic two-patterns test sequence with LFSRs (CD, YZ), pp. 69–76.
EDTC-1997-KagarisT #automaton #generative #sequence #testing: Cellular automata for generating deterministic test sequences (DK, ST), pp. 77–81.
ICDAR-1997-NakagawaHYSHA #database #online #sequence: On-line Handwritten Character Pattern Database Sampled in a Sequence of Sentences without any Writing Instructions (MN, TH, YY, SiS, LH, KA), pp. 376–381.
SIGMOD-1997-KornJF #ad hoc #dataset #query #scalability #sequence: Efficiently Supporting Ad Hoc Queries in Large Datasets of Time Sequences (FK, HVJ, CF), pp. 289–300.
TACAS-1997-Ben-AbdallahL #detection #process #sequence chart: Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts (HBA, SL), pp. 259–274.
DLT-1997-Cassaigne #sequence: Sequences with grouped factors (JC), pp. 211–222.
ICALP-1997-BassinoBP #sequence: Enumerative Sequences of Leaves in Rational Trees (FB, MPB, DP), pp. 76–86.
ICALP-1997-ErdosSSW #sequence: Constructing Big Trees from Short Sequences (PLE, MAS, LAS, TW), pp. 827–837.
CIKM-1997-BozkayaYO #sequence: Matching and Indexing Sequences of Different Lengths (TB, NY, ZMÖ), pp. 128–135.
KDD-1997-Ketterlin #clustering #sequence: Clustering Sequences of Complex Objects (AK), pp. 215–218.
SAC-1997-Vakhania #parallel: Sequencing jobs with readiness times and tails on parallel machines (NV), pp. 438–446.
DAC-1996-MarculescuMP #generative #probability #sequence #synthesis: Stochastic Sequential Machine Synthesis Targeting Constrained Sequence Generation (DM, RM, MP), pp. 696–701.
DAC-1996-PomeranzR #on the #sequence #testing: On Static Compaction of Test Sequences for Synchronous Sequential Circuits (IP, SMR), pp. 215–220.
VLDB-1996-SeshadriLR #database #design #implementation #sequence: The Design and Implementation of a Sequence Database System (PS, ML, RR), pp. 99–110.
TACAS-1996-AlurHP #sequence chart: An Analyser for Mesage Sequence Charts (RA, GJH, DP), pp. 35–48.
WPC-1996-EickW #interactive #sequence chart #visualisation: An Interactive Visualization for Message Sequence Charts (SGE, AW), pp. 2–7.
PLDI-1996-BaileyD #generative #sequence #source code: Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators (MWB, JWD), pp. 249–257.
WIA-1996-RavikumarX #implementation #parallel #problem #sequence #source code: Implementing Sequential and Parallel Programs for the Homing Sequence Problem (BR, XX), pp. 120–131.
CIKM-1996-LinRSB #sequence: Indexing Values of Time Sequences (LL, TR, MS, DZB), pp. 223–232.
ICPR-1996-AleksandrovskyWGLG #algorithm #sequence: An algorithm derived from thalamocortical circuitry stores and retrieves temporal sequences (BA, JW, AG, GL, RG), pp. 550–554.
ICPR-1996-ChenLC #analysis #classification #sequence #using: Handwritten Chinese character analysis and preclassification using stroke structural sequence (ZC, CWL, RHC), pp. 89–93.
ICPR-1996-CuiW #recognition #segmentation: View-based hand segmentation and hand-sequence recognition with complex backgrounds (YC, J(W), pp. 617–621.
ICPR-1996-Floreby #algorithm #image #multi #sequence: A multiscale algorithm for closed contour matching in image sequence (LF), pp. 884–888.
ICPR-1996-Gonzalez #2d #image #parametricity #sequence: Recovering motion parameters from a 2D range image sequence (JG), pp. 433–440.
ICPR-1996-HaddonB #image #sequence: Spatio-temporal relaxation labelling applied to segmented infrared image sequences (JFH, JFB), pp. 171–175.
ICPR-1996-LabonteDC #representation #sequence: A compact representation for stereoscopic sequences with NTSC spectral compatibility (FL, CTLD, PC), pp. 646–650.
ICPR-1996-OrwellBH #sequence: Ego motion from near-degenerate sequences (JO, JFB, JFH), pp. 412–416.
ICPR-1996-PatrasAT #estimation #image #sequence: Joint disparity and motion field estimation in stereoscopic image sequences (IP, NA, GT), pp. 359–363.
ICPR-1996-Sparr #image #re-engineering #sequence: Simultaneous reconstruction of scene structure and camera locations from uncalibrated image sequences (GS), pp. 328–333.
ICPR-1996-TianT96a #3d #algorithm #image #search-based #sequence #using: 3D shape recovery from two-color image sequences using a genetic algorithm (YlT, HTT), pp. 674–678.
ICPR-1996-YamadaT #sequence: Elastic edge sequence matching method for global extraction and local tracking of echocardiogram (HY, KT), pp. 637–641.
KDD-1996-HofackerHSS #information management #product line #scalability #sequence #using: Knowledge Discovery in RNA Sequence Families of HIV Using Scalable Computers (ILH, MAH, PFS, PES), pp. 20–25.
SEKE-1996-HsiaLK #approach #sequence #testing: An Early Warning Approach for Method Sequence Testing (PH, XL, DCK), pp. 330–337.
ISSTA-1996-HowdenS #analysis #linear #sequence: Linear and Structural Event Sequence Analysis (WEH, GMS), pp. 98–106.
KBSE-1995-HoweMM #empirical #sequence #testing #using: Test Sequences as Plans: An Experiment in Using an AI Planner to Generate System Tests (AEH, AvM, RTM), pp. 184–191.
PODS-1995-MeccaB #datalog #sequence #transducer: Sequences, Datalog and Transducers (GM, AJB), pp. 23–35.
DLT-1995-Bercoff #product line #sequence: A Family of p-Uniform Tag Systems for p-Paperfolding Sequences (CB), pp. 3–12.
DLT-1995-Cassaigne #complexity #linear #sequence: Special Factors of Sequences with Linear Subword Complexity (JC), pp. 25–34.
DLT-1995-Mitrana #self #sequence: Binary Self-Adding Sequences (VM), pp. 64–70.
ICALP-1995-FennerLM #sequence: Weakly Useful Sequences (SAF, JHL, EM), pp. 393–404.
KDD-1995-MannilaTV #sequence: Discovering Frequent Episodes in Sequences (HM, HT, AIV), pp. 210–215.
KDD-1995-TsumotoT95a #automation #component #functional #representation #sequence #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.
ASF+SDF-1995-MauwMa #sequence chart #specification #tool support: Specification of Tools for Message Sequence Charts (SM, EAvdM), pp. 175–210.
PPoPP-1995-KennedyNS #algorithm #linear #memory management #sequence #source code: A Linear-Time Algorithm for Computing the Memory Access Sequence in Data-Parallel Programs (KK, NN, AS), pp. 102–111.
PPoPP-1995-SubhlokV #parallel #sequence: Optimal Mapping of Sequences of Data Parallel Tasks (JS, GV), pp. 134–143.
DAC-1994-AloqeelyC #algorithm #synthesis: Sequencer-Based Data Path Synthesis of Regular Iterative Algorithms (MA, CYRC), pp. 155–160.
SIGMOD-1994-SeshadriLR #query #sequence: Sequence Query Processing (PS, ML, RR), pp. 430–441.
CSEE-1994-BoardmanM #experience #re-engineering #sequence: A Two-Semester Undergraduate Sequence in Software Engineering: Architecutre & Experience (DBB, APM), pp. 5–22.
STOC-1994-JiangLW #approximate #complexity #sequence: Aligning sequences via an evolutionary tree: complexity and approximation (TJ, ELL, LW), pp. 760–769.
SAC-1994-ChaudhuriD #generative #linear #sequence: A note on generating a worst case sequence for Quicksort in linear time (RC, ACD), pp. 566–567.
DAC-1993-RhoSP #finite #sequence #state machine: Minimum Length Synchronizing Sequences of Finite State Machine (JKR, FS, CP), pp. 463–468.
DLT-1993-Lepisto #sequence: Repetitions in Kolakoski Sequence (AL), pp. 130–143.
FME-1993-DickF #automation #generative #modelling #specification #testing: Automating the Generation and Sequencing of Test Cases from Model-Based Specifications (JD, AF), pp. 268–284.
HCI-ACS-1993-InoueN #case study #recognition #sequence: A Case Study of Plan Recognition: Command Sequences as Acts (YI, MN), pp. 392–397.
PLILP-1993-Rosendahl #higher-order #sequence: Higher-Order Chaotic Iteration Sequences (MR), pp. 332–345.
SAC-1993-GuuS #performance #search-based #sequence: An Efficient Storage Scheme for Aligned Genetic Sequences (YWG, SS), pp. 139–146.
IWPTS-1993-LuoDBVG #distributed #finite #generative #sequence #state machine #testing: Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports (GL, RD, GvB, PV, AG), pp. 139–153.
DAC-1992-PixleyJH #diagrams #sequence: Exact Calculation of Synchronization Sequences Based on Binary Decision Diagrams (CP, SWJ, GDH), pp. 620–623.
PODS-1992-GinsburgW #approach #pattern matching #query #towards: Pattern Matching by Rs-Operations: Toward a Unified Approach to Querying Sequenced Data (SG, XSW), pp. 293–300.
IWPTS-1992-LidongJL #consistency #multi #optimisation #sequence #testing: A Further Optimization Technique for Conformance Testing Based on Multiple UIO Sequences (ZL, LJ, HL), pp. 229–235.
JICSLP-1992-Overbeek #analysis #logic programming #search-based #sequence #tutorial: Logic Programming and Genetic Sequence Analysis: a Tutorial (RAO), pp. 32–34.
DAC-1991-Utesch #adaptation #approach #interactive #using: A New Approach to Hierarchical Adaptation Using Sequence-Control Based on Cell Interactions (MCU), pp. 723–726.
ML-1991-YamanishiK #learning #probability #search-based #sequence: Learning Stochastic Motifs from Genetic Sequences (KY, AK), pp. 467–471.
STOC-1990-SundarT #sequence #set: Unique Binary Search Tree Representations and Equality-testing of Sets and Sequences (RS, RET), pp. 18–25.
GG-1990-Boer90a #sequence: Construction of Map OL-Systems for Developmental Sequences of Plant Cell Layers (MJMdB), pp. 127–143.
CSCW-1990-LosadaSN #collaboration #feedback #interactive #process #sequence: Collaborative Technology and Group Process Feedback: Their Impact on Interactive Sequences in Meetings (ML, PS, EEN), pp. 53–64.
STOC-1989-BabaiNS #multi #protocol #pseudo #sequence: Multiparty Protocols and Logspace-hard Pseudorandom Sequences (Extended Abstract) (LB, NN, MS), pp. 1–11.
STOC-1989-BorodinRT #bound #sequence #traversal: Lower Bounds on the Length of Universal Traversal Sequences (Detailed Abstract) (AB, WLR, MT), pp. 562–573.
STOC-1989-RivestS #automaton #finite #sequence #using: Inference of Finite Automata Using Homing Sequences (Extended Abstract) (RLR, RES), pp. 411–420.
TAV-1989-OlenderO #constraints #named: Cesar: A Static Sequencing Constraint Analyzer (KMO, LJO), pp. 66–74.
STOC-1988-Istrail #polynomial #sequence #traversal: Polynomial Universal Traversing Sequences for Cycles Are Constructible (Extended Abstract) (SI), pp. 491–503.
ICALP-1988-Eppstein #automaton #design #finite #sequence: Reset Sequences for Finite Automata with Application to Design of Parts Orienters (DE), pp. 230–238.
DAC-1986-Maly #order #sequence #testing: Optimal order of the VLSI IC testing sequence (WM), pp. 560–566.
CRAI-1986-LuckhamHMBH #ada #distributed #specification: Task Sequencing Languages for Specifying Distributed Ada Systems (DCL, DPH, SM, DLB, MAH), pp. 249–305.
ICLP-1986-MannilaU86 #complexity #on the #sequence #unification: On the Complexity of Unification Sequences (HM, EU), pp. 122–133.
DAC-1985-DelormeRdGLMC #clustering #functional #generative #sequence #testing: A functional partitioning expert system for test sequences generation (CD, PR, LDd, NG, RL, BM, RC), pp. 820–824.
STOC-1985-Vazirani #communication #complexity #generative #sequence #towards: Towards a Strong Communication Complexity Theory or Generating Quasi-Random Sequences from Two Communicating Slightly-random Sources (Extended Abstract) (UVV), pp. 366–378.
SIGIR-1985-Lowden #approach #multi #retrieval: An Approach to Multikey Sequencing in an Equiprobable Keyterm Retrieval Situation (BGTL), pp. 92–96.
VLDB-1984-BennR #analysis #image #relational #retrieval #sequence: Retrieval of Relational Structures for Image Sequence Analysis (WB, BR), pp. 533–536.
ICALP-1984-AbiteboulG #sequence #tuple: Tuple Sequences and Indexes (SA, SG), pp. 41–50.
ICALP-1984-Jerrum #complexity #generative #sequence: The Complexity of Finding Minimum-Length Generator Sequences (Extended Abstract) (MJ), pp. 270–280.
LFP-1984-Bellegarde #sequence #term rewriting: Rewriting Systems on FP Expressions that Reduce the Number of Sequences They Yield (FB), pp. 63–73.
CADE-1982-HenschenN #database #first-order #infinity #recursion #representation #sequence: Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases (LJH, SAN), pp. 342–359.
STOC-1981-CulikH #decidability #equivalence #problem: The ω-Sequence Equivalence Problem for DOL Systems Is Decidable (KCI, TH), pp. 1–6.
ICALP-1981-Shamir #encryption #generative #on the #pseudo #sequence: On the Generation of Cryptographically Strong Pseudo-Random Sequences (AS), pp. 544–550.
SOSP-1981-HerbertN #network: Sequencing Computation Steps in a Network (AJH, RMN), pp. 59–63.
STOC-1979-FlajoletFV #sequence: Computing Integrated Costs of Sequences of Operations with Application to Dictionaries (PF, JF, JV), pp. 49–61.
SIGMOD-1978-NationsS #program analysis #sequence: Some DML Instruction Sequences for Application Program Analysis and Conversion (JN, SYWS), pp. 120–131.
ICALP-1978-Mignotte #effectiveness #linear #recursion #sequence: Some Effective Results About Linear Recursive Sequences (MM), pp. 322–329.
ICSE-1978-Jackson #information management #modelling: Information Systems: Modelling, Sequencing and Transformations (MJ), pp. 72–81.
ICALP-1977-CulikF #decidability #equivalence #problem #sequence: The Sequence Equivalence Problem for D0L Systems is Decidable (KCI, IF), pp. 148–163.
SOSP-1977-ReedK: Synchronization with Eventcounts and Sequencers (Extended Abstract) (DPR, RKK), p. 91.
DAC-1975-Case #evaluation #sequence #statistics #testing: A statistical method for test sequence evaluation (GRC), pp. 257–260.