BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
use (85)
base (78)
imag (65)
test (63)
diagram (61)

Stem sequenc$ (all stems)

686 papers:

CASECASE-2015-Kruif #maintenance #optimisation #sequence
Wet-etch sequence optimisation incorporating time dependent chemical maintenance (BJdK), pp. 1389–1394.
CASECASE-2015-ThomasSR #assembly #flexibility #sequence
Flexible assembly through integrated assembly sequence planning and grasp planning (UT, TS, MAR), pp. 586–592.
DACDAC-2015-ChiangCLJ #design #power management #scalability
Scalable sequence-constrained retention register minimization in power gating design (TWC, KHC, YTL, JHRJ), p. 6.
SIGMODSIGMOD-2015-BeedkarG #mining #named #scalability #sequence
LASH: Large-Scale Sequence Mining with Hierarchies (KB, RG), pp. 491–503.
CIAACIAA-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.
LATALATA-2015-Panteleev #sequence
Preset Distinguishing Sequences and Diameter of Transformation Semigroups (PP), pp. 353–364.
ICFPICFP-2015-StuckiRUB #sequence
RRB vector: a practical general purpose immutable sequence (NS, TR, VU, PB), pp. 342–354.
CHICHI-2015-LaseckiRMB #sequence
The Effects of Sequence and Delay on Crowd Work (WSL, JMR, AM, JPB), pp. 1375–1378.
CHICHI-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.
CHICHI-2015-ZhaoLDHW #comparison #named #sequence #visual notation
MatrixWave: Visual Comparison of Event Sequence Data (JZ, ZL, MD, AH, AW), pp. 259–268.
HCIDUXU-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.
HCIHIMI-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.
ICEISICEIS-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.
KDDKDD-2015-KimYTM #framework #predict #sequence
A Decision Tree Framework for Spatiotemporal Sequence Prediction (TK, YY, SLT, IM), pp. 577–586.
SIGIRSIGIR-2015-KostakisG #sequence
Subsequence Search in Event-Interval Sequences (OK, AG), pp. 851–854.
ECOOPECOOP-2015-BurckhardtLPF #abstraction #protocol #robust #sequence
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State (SB, DL, JP, MF), pp. 568–590.
SACSAC-2015-BechetCCC #constraints #mining #multi #sequence
Sequence mining under multiple constraints (NB, PC, TC, BC), pp. 908–914.
SACSAC-2015-KimL #diagrams #qvt #sequence chart #using
Pattern-based transformation of sequence diagrams using QVT (DKK, BL), pp. 1492–1497.
CASECASE-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.
CASECASE-2014-HuangL #multi #probability
Stochastic chiller sequencing control for multiple-chiller plants (GH, ZL), pp. 1085–1090.
CASECASE-2014-ZhangXG #multi #scheduling
Simulation-based surgery appointment sequencing and scheduling of multiple operating rooms (ZZ, XX, NG), pp. 399–404.
DATEDATE-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.
SIGMODSIGMOD-2014-MatsubaraSF #automation #co-evolution #mining #named #sequence
AutoPlait: automatic mining of co-evolving time sequences (YM, YS, CF), pp. 193–204.
SIGMODSIGMOD-2014-QiCRR #online #sequence
Complex event analytics: online aggregation of stream sequence patterns (YQ, LC, MR, EAR), pp. 229–240.
VLDBVLDB-2014-KellarisPXP #infinity #sequence
Differentially Private Event Sequences over Infinite Streams (GK, SP, XX, DP), pp. 1155–1166.
PLDIPLDI-2014-PombrioK #evaluation #named #sequence
Resugaring: lifting evaluation sequences through syntactic sugar (JP, SK), p. 38.
DLTDLT-2014-SprungerTEM #sequence
Eigenvalues and Transduction of Morphic Sequences (DS, WT, JE, LSM), pp. 239–251.
ICALPICALP-v1-2014-AbboudWW #performance #sequence
Consequences of Faster Alignment of Sequences (AA, VVW, OW), pp. 39–51.
ICALPICALP-v1-2014-Schmidt #sequence
The Mondshein Sequence (JMS), pp. 967–978.
ICALPICALP-v2-2014-OuaknineW #linear #on the #problem #sequence
On the Positivity Problem for Simple Linear Recurrence Sequences, (JO, JW), pp. 318–329.
ICALPICALP-v2-2014-OuaknineW14a #decidability #linear #sequence
Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences (JO, JW), pp. 330–341.
GT-VMTGT-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).
HCIHIMI-AS-2014-JiangLLC #identification #network #sequence
Neural Networks for Identifying Civil Pilot’s Operation Sequences (ZJ, QL, YL, BC), pp. 241–252.
ICEISICEIS-v1-2014-HenriquesA #database #generative #modelling #sequence
Generative Modeling of Itemset Sequences Derived from Real Databases (RH, CA), pp. 264–272.
ICEISICEIS-v2-2014-DHondtT #composition #sequence
QoS-aware Service Composition Based on Sequences of Services (SD, ST), pp. 548–555.
ICEISICEIS-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.
ICMLICML-c1-2014-DickGS #learning #markov #online #process #sequence
Online Learning in Markov Decision Processes with Changing Cost Sequences (TD, AG, CS), pp. 512–520.
ICMLICML-c2-2014-QuattoniBCG #sequence
Spectral Regularization for Max-Margin Sequence Tagging (AQ, BB, XC, AG), pp. 1710–1718.
ICPRICPR-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.
ICPRICPR-2014-OrriteRHRV #automation #recognition #segmentation #sequence
Automatic Segmentation and Recognition of Human Actions in Monocular Sequences (CO, MR, EH, GR, SAV), pp. 4218–4223.
ICPRICPR-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.
ICPRICPR-2014-YuSZ #artificial reality #detection #image #realtime #sequence
Real Time Fingertip Detection with Kinect Depth Image Sequences (YY, YS, YZ), pp. 550–555.
SEKESEKE-2014-PereiraRA #sequence
Extending RBAC Model to Control Sequences of CRUD Expressions (ÓMP, DDR, RLA), pp. 463–469.
SEKESEKE-2014-ZhangCL #adaptation #random #sequence #testing
An Application of Adaptive Random Sequence in Test Case Prioritization (XZ, TYC, HL), pp. 126–131.
SIGIRSIGIR-2014-RoyVGC #query #segmentation #sequence #using
Improving unsupervised query segmentation using parts-of-speech sequence information (RSR, YV, NG, MC), pp. 935–938.
OOPSLAOOPSLA-2014-ZhaoWZDSSW #automaton #predict #probability #sequence
Call sequence prediction through probabilistic calling automata (ZZ, BW, MZ, YD, JS, XS, YW), pp. 745–762.
POPLPOPL-2014-Krebbers #axiom #c #nondeterminism #semantics #sequence
An operational and axiomatic semantics for non-determinism and sequence points in C (RK), pp. 101–112.
FSEFSE-2014-GoffiGMPT #search-based #sequence #synthesis
Search-based synthesis of equivalent method sequences (AG, AG, AM, MP, PT), pp. 366–376.
SLESLE-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.
LCTESLCTES-2014-MartinsNDMC #clustering #compilation #optimisation #sequence #using
Exploration of compiler optimization sequences using clustering-based selection (LGAM, RN, ACBD, EM, JMPC), pp. 63–72.
PPoPPPPoPP-2014-SandesMMMA #comparison #parallel #sequence
Fine-grain parallel megabase sequence comparison with multiple heterogeneous GPUs (EFdOS, GM, ACMAdM, XM, EA), pp. 383–384.
ICTSSICTSS-2014-TurkerUY #adaptation #sequence
Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences (UCT, , HY), pp. 32–47.
ISSTAISSTA-2014-GalindoAABB #approach #sequence #testing #variability #video
A variability-based testing approach for synthesizing video sequences (JAG, MA, MA, BB, DB), pp. 293–303.
CASECASE-2013-OFlahertyE #bound #learning #sequence
Learning to locomote: Action sequences and switching boundaries (RO, ME), pp. 7–12.
DACDAC-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.
DocEngDocEng-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.
ICDARICDAR-2013-SchambachR #learning #network #sequence
Stabilize Sequence Learning with Recurrent Neural Networks by Forced Alignment (MPS, SFR), pp. 1270–1274.
SIGMODSIGMOD-2013-LiGC #named #realtime #sequence
ε-Matching: event processing over noisy sequences in real time (ZL, TG, CXC), pp. 601–612.
SIGMODSIGMOD-2013-MiliarakiBGZ #mining #scalability #sequence
Mind the gap: large-scale frequent sequence mining (IM, KB, RG, SZ), pp. 797–808.
VLDBVLDB-2013-LiUYG #correlation #database #sequence
Discovering Longest-lasting Correlation in Sequence Databases (YL, LHU, MLY, ZG), pp. 1666–1677.
VLDBVLDB-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.
VLDBVLDB-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.
FASEFASE-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.
CSMRCSMR-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.
CIAACIAA-2013-HasanIRS #automaton #on the #sequence
On Palindromic Sequence Automata and Applications (MMH, ASMSI, MSR, AS), pp. 158–168.
CIAACIAA-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.
DLTDLT-2013-CurrieRS #sequence #word
Extremal Words in the Shift Orbit Closure of a Morphic Sequence (JDC, NR, KS), pp. 143–154.
LATALATA-2013-EndrullisGH #sequence
Mix-Automatic Sequences (JE, CG, DH), pp. 262–274.
LATALATA-2013-GocSS #automation #sequence #word
Primitive Words and Lyndon Words in Automatic and Linearly Recurrent Sequences (DG, KS, JS), pp. 311–322.
GT-VMTGT-VMT-2013-GreenyerBM #diagrams #sequence chart #specification
The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions (JG, CB, VPLM).
CSCWCSCW-2013-AliSN #sequence
Photographer paths: sequence alignment of geotagged photos for exploration-based route planning (AEA, SNAvS, FN), pp. 985–994.
HCIHCI-III-2013-WangWDL #3d #estimation #image #multi #sequence
Tracking End-Effectors for Marker-Less 3D Human Motion Estimation in Multi-view Image Sequences (WW, ZW, XD, BL), pp. 227–235.
CIKMCIKM-2013-JabbourSS #mining #satisfiability #sequence
Boolean satisfiability for sequence mining (SJ, LS, YS), pp. 649–658.
CIKMCIKM-2013-SahliMK #parallel #sequence
Parallel motif extraction from very long sequences (MS, EM, PK), pp. 549–558.
CIKMCIKM-2013-TangLCZ #sequence
Searching similar segments over textual event sequences (LT, TL, SCC, SZ), pp. 329–338.
ICMLICML-c1-2013-XiaoG #adaptation #probability #sequence
Domain Adaptation for Sequence Labeling Tasks with a Probabilistic Language Adaptation Model (MX, YG), pp. 293–301.
ICMLICML-c3-2013-KolmogorovT #algorithm #sequence
Inference algorithms for pattern-based CRFs on sequence data (RT, VK), pp. 145–153.
KDDKDD-2013-ChenXJ #modelling #multi #probability #sequence
Multi-space probabilistic sequence modeling (SC, JX, TJ), pp. 865–873.
KDDKDD-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.
KDDKDD-2013-WuLYT #mining #sequence
Mining high utility episodes in complex event sequences (CWW, YFL, PSY, VST), pp. 536–544.
SEKESEKE-2013-YoonMPP #diagrams #reverse engineering #sequence chart
Reverse Engineering of Sequence Diagrams by Merging Call Trees (SY, SM, SP, SP), pp. 368–374.
SACSAC-2013-BarrosJBFBF #gesture #recognition #sequence
Convexity local contour sequences for gesture recognition (PVAB, NTMJ, JMMB, BJTF, BLDB, SMMF), pp. 34–39.
LDTALDTA-J-2009-ChilowiczDR #sequence #source code
Viewing functions as token sequences to highlight similarities in source code (MC, ÉD, GR), pp. 1871–1891.
ICTSSICTSS-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.
ISSTAISSTA-2013-JensenPM #automation #generative #sequence #testing
Automated testing with targeted event sequence generation (CSJ, MRP, AM), pp. 67–77.
RTARTA-2013-WinklerZM #automation #proving #sequence #termination
Beyond Peano Arithmetic — Automatically Proving Termination of the Goodstein Sequence (SW, HZ, AM), pp. 335–351.
ASEASE-2012-Meananeatra #identification #maintenance #refactoring #sequence
Identifying refactoring sequences for improving software maintainability (PM), pp. 406–409.
CASECASE-2012-BergagardF #concurrent #multi #sequence
Deadlock avoidance for multi product manufacturing systems modeled as sequences of operations (PB, MF), pp. 515–520.
PODSPODS-2012-GrossiO #maintenance #sequence #string
The wavelet trie: maintaining an indexed sequence of strings in compressed space (RG, GO), pp. 203–214.
SIGMODSIGMOD-2012-LiG #online #probability #sequence
Online windowed subsequence matching over probabilistic sequences (ZL, TG), pp. 277–288.
SASSAS-2012-HalbwachsH #sequence
When the Decreasing Sequence Fails (NH, JH), pp. 198–213.
AFLAFL-J-2011-KariX12 #revisited #sequence
De Bruijn Sequences Revisited (LK, ZX), pp. 1307–1322.
DLTDLT-J-2011-CharlierRS12 #automation #decidability #sequence
Enumeration and Decidable Properties of Automatic Sequences (EC, NR, JS), pp. 1035–1066.
ICALPICALP-v2-2012-GugelmannPP #clustering #graph #random #sequence
Random Hyperbolic Graphs: Degree Sequence and Clustering — (Extended Abstract) (LG, KP, UP), pp. 573–585.
ICMLICML-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.
ICMLICML-2012-EbanBSG #learning #online #predict #sequence
Learning the Experts for Online Sequence Prediction (EE, AB, SSS, AG), p. 38.
ICMLICML-2012-SpiliopoulouS #sequence #topic
A Topic Model for Melodic Sequences (AS, AJS), p. 106.
ICPRICPR-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.
ICPRICPR-2012-BicegoL #2d #biology #recognition #sequence #tool support #using
2D shape recognition using biological sequence alignment tools (MB, PL), pp. 1359–1362.
ICPRICPR-2012-ChandraJ #kernel #sequence #video
Partial Least Squares kernel for computing similarities between video sequences (SC, CVJ), pp. 513–516.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2012-LiZL #image #sequence #stack
Removal of dust artifacts in focal stack image sequences (CL, KZ, SL), pp. 2602–2605.
KDDKDD-2012-KuksaP #evaluation #kernel #performance #scalability #sequence
Efficient evaluation of large sequence kernels (PPK, VP), pp. 759–767.
KDDKDD-2012-TattiV #sequence
The long and the short of it: summarising event sequences with serial episodes (NT, JV), pp. 462–470.
KDIRKDIR-2012-BarbieriBCMR #modelling #probability #recommendation #sequence
Probabilistic Sequence Modeling for Recommender Systems (NB, AB, MC, GM, ER), pp. 75–84.
KDIRKDIR-2012-GayLM #approach #constraints #mining #multi #sequence
Constraint-programming Approach for Multiset and Sequence Mining (PG, BL, JM), pp. 212–220.
KDIRKDIR-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.
ECMFAECMFA-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.
OOPSLAOOPSLA-2012-LucasER #detection #distributed #problem #sequence
Detecting problematic message sequences and frequencies in distributed systems (CL, SGE, DSR), pp. 915–926.
OOPSLAOOPSLA-2012-WuZSJGS #behaviour #correlation #predict
Exploiting inter-sequence correlations for program behavior prediction (BW, ZZ, XS, YJ, YG, RS), pp. 851–866.
PADLPADL-2012-LierlerSTW #declarative #problem
Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving (YL, SS, MT, AW), pp. 63–77.
REFSQREFSQ-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.
SACSAC-2012-JiXWLTY #gpu #sequence
High-throughput antibody sequence alignment based on GPU computing (GJ, ZX, XW, SL, MT, JY), pp. 1417–1418.
SACSAC-2012-Longuet #sequence chart #testing
Global and local testing from Message Sequence Charts (DL), pp. 1332–1338.
SLESLE-2012-WidlBBEHKST #diagrams #sequence chart
Guided Merging of Sequence Diagrams (MW, AB, PB, UE, MH, GK, MS, HT), pp. 164–183.
ICLPICLP-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.
ICSTICST-2012-KruseW #classification #generative #sequence #testing
Test Sequence Generation from Classification Trees (PMK, JW), pp. 539–548.
ICSTICST-2012-KuhnHLKL #combinator #sequence #testing
Combinatorial Methods for Event Sequence Testing (DRK, JMH, JL, RK, YL), pp. 601–609.
ICSTICST-2012-PetrenkoSY #finite #generative #nondeterminism #sequence #state machine
Generating Checking Sequences for Nondeterministic Finite State Machines (AP, AdSS, NY), pp. 310–319.
LICSLICS-2012-GrabmayerEHKM #automation #sequence
Automatic Sequences and Zip-Specifications (CG, JE, DH, JWK, LSM), pp. 335–344.
SMTSMT-2012-BjornerGMV #regular expression #sequence
SMT-LIB Sequences and Regular Expressions (NB, VG, RM, MV), pp. 77–87.
CASECASE-2011-FengZL #evaluation #multi #performance
Multi-product manufacturing systems with sequence-dependent setups: Performance evaluation and system properties (WF, LZ, JL), pp. 363–368.
DACDAC-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.
DATEDATE-2011-CabodiNQ #revisited #sequence
Interpolation sequences revisited (GC, SN, SQ), pp. 316–322.
DocEngDocEng-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.
SIGMODSIGMOD-2011-LiTP #named #sequence
WHAM: a high-throughput sequence alignment method (YL, AT, JMP), pp. 445–456.
SIGMODSIGMOD-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.
VLDBVLDB-2011-RenLKZC #evolution #graph #on the #query #sequence
On Querying Historical Evolving Graph Sequences (CR, EL, BK, XZ, RC), pp. 726–737.
ITiCSEITiCSE-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.
SCAMSCAM-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.
AFLAFL-2011-KariX #revisited #sequence
De Bruijn Sequences Revisited (LK, ZX), pp. 241–254.
DLTDLT-2011-CharlierRS #automation #decidability #sequence
Enumeration and Decidable Properties of Automatic Sequences (EC, NR, JS), pp. 165–179.
IFLIFL-2011-ChangBCF #lazy evaluation #sequence #stack
From Stack Traces to Lazy Rewriting Sequences (SC, EB, JC, MF), pp. 100–115.
AGTIVEAGTIVE-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.
CHICHI-2011-HinrichsC #gesture #interactive #multi #sequence
Gestures in the wild: studying multi-touch gesture sequences on interactive tabletop exhibits (UH, MSTC), pp. 3023–3032.
CHICHI-2011-WongsuphasawatGPWTS #bibliography #named #sequence #visualisation
LifeFlow: visualizing an overview of event sequences (KW, JAGG, CP, TDW, MTM, BS), pp. 1747–1756.
CIKMCIKM-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.
CIKMCIKM-2011-DaltonAS #retrieval #sequence
Passage retrieval for incorporating global evidence in sequence labeling (JD, JA, DAS), pp. 355–364.
KDDKDD-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.
KDDKDD-2011-JiangLLWY #sequence
Prominent streak discovery in sequence data (XJ, CL, PL, MW, YY), pp. 1280–1288.
KDDKDD-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.
KDIRKDIR-2011-GeraciM #algorithm #detection #multi #web
A Multi-sequence Alignment Algorithm for Web Template Detection (FG, MM), pp. 121–128.
SIGIRSIGIR-2011-ZhouLM #named #sequence
OrientSTS: spatio-temporal sequence searching in flickr (CZ, DL, XM), pp. 1265–1266.
ICMTICMT-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.
OOPSLAOOPSLA-2011-ThummalapentaXTHS #sequence #testing
Synthesizing method sequences for high-coverage testing (ST, TX, NT, JdH, ZS), pp. 189–206.
SACSAC-2011-Fournier-VigerNT #mining #named #sequence
RuleGrowth: mining sequential rules common to several sequences by pattern-growth (PFV, RN, VSMT), pp. 956–961.
SACSAC-2011-KadriE #mining #nondeterminism #sequence #web
Mining uncertain web log sequences with access history probabilities (OK, CIE), pp. 1059–1060.
SACSAC-2011-LeeKCW #sequence #visualisation
Visualizing dispute sections and relations from the sequence of replying comments (YJL, EKK, HGC, GW), pp. 786–791.
ICSEICSE-2011-KumarKRL #graph #mining #sequence
Mining message sequence graphs (SK, SCK, AR, DL), pp. 91–100.
CADECADE-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.
ICLPICLP-2011-ChristiansenHLP #analysis #network #sequence
Bayesian Annotation Networks for Complex Sequence Analysis (HC, CTH, OTL, MP), pp. 220–230.
ICSTICST-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.
ICSTICST-2011-DanH #consistency #sequence chart #testing
Conformance Testing from Message Sequence Charts (HD, RMH), pp. 279–288.
ASEASE-2010-ZhengZLX #generative #random #recommendation #sequence #testing
Random unit-test generation with MUT-aware sequence recommendation (WZ, QZ, MRL, TX), pp. 293–296.
CASECASE-2010-BengtssonTLAYMF #automation #design #identification #sequence #visualisation
Relations identification and visualization for sequence planning and automation design (KB, CT, BL, , CY, SM, PF), pp. 841–848.
CASECASE-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.
DACDAC-2010-ZhangC #embedded
Thermal aware task sequencing on embedded processors (SZ, KSC), pp. 585–590.
DATEDATE-2010-PomeranzR #requirements #sequence #testing #using
Reducing the storage requirements of a test sequence by using a background vector (IP, SMR), pp. 1237–1242.
DRRDRR-2010-Dejean #detection #documentation #sequence
Numbered sequence detection in documents (HD), pp. 1–10.
PODSPODS-2010-KimelfeldR #markov #sequence
Transducing Markov sequences (BK, CR), pp. 15–26.
SIGMODSIGMOD-2010-ChuiKLC #named #sequence
S-OLAP: an OLAP system for analyzing sequence data (CKC, BK, EL, DWC), pp. 1131–1134.
SIGMODSIGMOD-2010-MozafariZZ #sequence #xml
K*SQL: a unifying engine for sequence patterns and XML (BM, KZ, CZ), pp. 1143–1146.
VLDBVLDB-2010-MozafariZZ #execution #query #regular expression #relational #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.
WCREWCRE-2010-GratiSP #diagrams #execution #interactive #sequence chart #using #visualisation
Extracting Sequence Diagrams from Execution Traces Using Interactive Visualization (HG, HAS, PP), pp. 87–96.
CIAACIAA-2010-GerbushH #approximate #sequence
Approximating Minimum Reset Sequences (MG, BH), pp. 154–162.
LATALATA-2010-MiloPZ #constraints #named #regular expression #sequence
SA-REPC — Sequence Alignment with Regular Expression Path Constraint (NM, TP, MZU), pp. 451–462.
CSCWCSCW-2010-ShaoLG #algorithm #mobile #sequence
A sequence transformation algorithm for supporting cooperative work on mobile devices (BS, DL, NG), pp. 159–168.
AdaEuropeAdaEurope-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, ), pp. 167–180.
CAiSECAiSE-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.
ICEISICEIS-AIDSS-2010-BenayadiG #framework #mining #sequence
Mining Timed Sequences with TOM4L Framework (NB, MLG), pp. 111–120.
ICEISICEIS-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.
ICEISICEIS-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.
ECIRECIR-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.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2010-HoriKY #generative #image #multi #sequence #using
Arbitrary Stereoscopic View Generation Using Multiple Omnidirectional Image Sequences (MH, MK, NY), pp. 286–289.
ICPRICPR-2010-KapotasS #sequence
Rate Control of H.264 Encoded Sequences by Dropping Frames in the Compressed Domain (SKK, ANS), pp. 2382–2385.
ICPRICPR-2010-KoulgiSRM #modelling #sequence #visual notation
Graphical Model-Based Tracking of Curvilinear Structures in Bio-image Sequences (PK, MES, KR, BSM), pp. 2596–2599.
ICPRICPR-2010-KuksaP #classification #performance #representation #sequence
Spatial Representation for Efficient Sequence Classification (PPK, VP), pp. 3320–3323.
ICPRICPR-2010-OrtizRGMD #image #interactive #sequence
Interactive Browsing of Remote JPEF 2000 Image Sequences (JPGO, VGR, IG, DM, GD), pp. 3179–3182.
ICPRICPR-2010-RahimBBP #analysis #sequence
Pelvic Organs Dynamic Feature Analysis for MRI Sequence Discrimination (MR, MEB, RB, NP), pp. 2496–2499.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2010-TakalaCP #clustering #network #sequence
Boosting Clusters of Samples for Sequence Matching in Camera Networks (VT, YC, MP), pp. 400–403.
ICPRICPR-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.
ICPRICPR-2010-ZwengK #behaviour #image #multi #recognition #sequence #using
Unexpected Human Behavior Recognition in Image Sequences Using Multiple Features (AZ, MK), pp. 368–371.
KDDKDD-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.
KDDKDD-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.
SEKESEKE-2010-ParkHK #diagrams #sequence chart #uml #verification
Formal Verification of UML 2.0 Sequence Diagram (SP, TH, GK), pp. 411–416.
SIGIRSIGIR-2010-ZhangZYH #detection #performance #sequence
Efficient partial-duplicate detection based on sequence matching (QZ, YZ, HY, XH), pp. 675–682.
ECMFAECMFA-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.
ICMTICMT-2010-GronmoM #diagrams #graph transformation #sequence chart #state machine
From Sequence Diagrams to State Machines by Graph Transformation (RG, BMP), pp. 93–107.
SACSAC-2010-GuoH #algorithm #clustering
A two stage yard crane workload partitioning and job sequencing algorithm for container terminals (XG, SYH), pp. 2383–2388.
SACSAC-2010-MisraNLC #generative #named #sequence
FANGS: high speed sequence mapping for next generation sequencers (SM, RN, SL, ANC), pp. 1539–1546.
HPDCHPDC-2010-AgrawalMHC #estimation #named #parallel #sequence #statistics
MPIPairwiseStatSig: parallel pairwise statistical significance estimation of local sequence alignment (AA, SM, DH, ANC), pp. 470–476.
HPDCHPDC-2010-HigdonLK #functional #modelling #sequence #similarity
Modeling sequence and function similarity between proteins for protein functional annotation (RH, BL, EK), pp. 499–502.
LCTESLCTES-2010-KulkarniJW #optimisation #performance #sequence
Improving both the performance benefits and speed of optimization phase sequence searches (PAK, MRJ, DBW), pp. 95–104.
PPoPPPPoPP-2010-SandesM #comparison #gpu #named #sequence #using
CUDAlign: using GPU to accelerate the comparison of megabase genomic sequences (EFdOS, ACMAdM), pp. 137–146.
ICSTICST-2010-Arcuri10a #sequence #testing
Longer is Better: On the Role of Test Sequence Length in Software Testing (AA), pp. 469–478.
ICSTICST-2010-BelliLBS #detection #fault #sequence #testing
Fault Detection Likelihood of Test Sequence Length (FB, ML, CJB, HAS), pp. 402–411.
ASEASE-2009-ZhangGTL #probability #sequence chart #syntax
A Formal Syntax for Probabilistic Timed Property Sequence Charts (PZ, LG, AT, BL), pp. 500–504.
CASECASE-2009-LeCS #approach #assembly
A path planning approach to (dis)assembly sequencing (DTL, JC, TS), pp. 286–291.
ICDARICDAR-2009-LiFWL #documentation #image #retrieval #sequence
Document Image Retrieval with Local Feature Sequences (JL, ZGF, YW, NL), pp. 346–350.
ICDARICDAR-2009-LiT #identification #independence #online #sequence
Online Text-independent Writer Identification Based on Temporal Sequence and Shape Codes (BL, TT), pp. 931–935.
ICDARICDAR-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.
VLDBVLDB-2009-PapapetrouAKG #database #scalability #sequence
Reference-Based Alignment in Large Sequence Databases (PP, VA, GK, DG), pp. 205–216.
TACASTACAS-2009-KuglerS #composition #sequence chart #specification #synthesis
Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications (HK, IS), pp. 77–91.
ICSMEICSM-2009-BrooksM #metric #similarity #testing
Introducing a test suite similarity metric for event sequence-based test cases (PAB, AMM), pp. 243–252.
WCREWCRE-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.
SEFMSEFM-2009-HieronsJUY #adaptation #sequence #using
Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences (RMH, GVJ, HU, HY), pp. 157–166.
HCIHCI-AUII-2009-SuzukiNABYF #comparison #empirical #interactive #mobile #modelling #sequence
Empirical Comparison of Task Completion Time between Mobile Phone Models with Matched Interaction Sequences (SS, YN, TA, VB, NY, SF), pp. 114–122.
HCIHIMI-II-2009-BaeKB #interactive #segmentation #sequence #video
Interactive Object Segmentation System from a Video Sequence (GB, SYK, HB), pp. 221–228.
ICEISICEIS-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.
CIKMCIKM-2009-BarskySTU #scalability #sequence
Suffix trees for very large genomic sequences (MB, US, AT, CU), pp. 1417–1420.
CIKMCIKM-2009-ChuiLKH #query #ranking #sequence
Supporting ranking pattern-based aggregate queries in sequence data cubes (CKC, EL, BK, WSH), pp. 997–1006.
CIKMCIKM-2009-GardnerX #approach #automation #detection #sequence
Automatic link detection: a sequence labeling approach (JJG, LX), pp. 1701–1704.
CIKMCIKM-2009-MeiKKT #analysis #framework #sequence
An analysis framework for search sequences (QM, KLK, RK, AT), pp. 1991–1994.
CIKMCIKM-2009-PhamRMSB #sequence #summary
Time sequence summarization to scale up chronology-dependent applications (QKP, GR, NM, RSP, BB), pp. 1137–1146.
ICMLICML-2009-HuangS #learning #linear #sequence
Learning linear dynamical systems without sequence information (TKH, JGS), pp. 425–432.
ICMLICML-2009-NeumannMP #learning
Learning complex motions by sequencing simpler motion templates (GN, WM, JP), pp. 753–760.
ICMLICML-2009-QianJZHW #higher-order #random #sequence
Sparse higher order conditional random fields for improved sequence labeling (XQ, XJ, QZ, XH, LW), pp. 849–856.
ICMLICML-2009-WoodAGJT #probability #sequence
A stochastic memoizer for sequence data (FW, CA, JG, LJ, YWT), pp. 1129–1136.
KDDKDD-2009-LappasAPKG #documentation #on the #sequence
On burstiness-aware search for document sequences (TL, BA, MP, DK, DG), pp. 477–486.
KDDKDD-2009-LiMPF #mining #named #sequence #summary
DynaMMo: mining and summarization of coevolving sequences with missing values (LL, JM, NSP, CF), pp. 507–516.
KDIRKDIR-2009-GabadinhoRSM #category theory #sequence #set #visualisation
Summarizing Sets of Categorical Sequences — Selecting and Visualizing Representative Sequences (AG, GR, MS, NSM), pp. 62–69.
PADLPADL-2009-MaldeO #analysis #haskell #scalability #sequence #using
Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell (KM, BO), pp. 183–194.
SACSAC-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.
SACSAC-2009-AraujoSSF #classification #named #sequence #type system
HIVSetSubtype: software for subtype classification of HIV-1 sequences (LVdA, SSS, ECS, JEF), pp. 811–815.
ICSEICSE-2009-ThummalapentaX #mining #sequence
Mining exception-handling rules as sequence association rules (ST, TX), pp. 496–506.
ICLPICLP-2009-ChristiansenL #analysis #modelling #optimisation #preprocessor #sequence
Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis (HC, OTL), pp. 70–83.
ICLPICLP-2009-Have #analysis #biology #constraints #modelling #sequence #statistics
Logic-Statistic Models with Constraints for Biological Sequence Analysis (CTH), pp. 549–550.
ICSTICST-2009-BandyopadhyayG #generative #modelling #sequence #state machine #uml #using
Test Input Generation Using UML Sequence and State Machines Models (AB, SG), pp. 121–130.
CASECASE-2008-SharmaBDC #assembly #generative #optimisation #sequence #using
Generation of optimized robotic assembly sequence using ant colony optimization (SS, BBB, PD, BBC), pp. 894–899.
SIGMODSIGMOD-2008-LoKHLCC #sequence
OLAP on sequence data (EL, BK, WSH, SDL, CKC, DWC), pp. 649–660.
VLDBVLDB-2008-LachmannR #sequence
Finding relevant patterns in bursty sequences (AL, MR), pp. 78–89.
ITiCSEITiCSE-2008-MarcosBM #education
Evolutionary approaches for curriculum sequencing (LdM, RB, JJM), p. 373.
FoSSaCSFoSSaCS-2008-DarondeauGH #sequence chart
Products of Message Sequence Charts (PD, BG, LH), pp. 458–473.
DLTDLT-2008-CaludeZ #independence #sequence
Algorithmically Independent Sequences (CSC, MZ), pp. 183–195.
DLTDLT-2008-CassaigneKZ #complexity #sequence
Relationally Periodic Sequences and Subword Complexity (JC, TK, LQZ), pp. 196–205.
DLTDLT-2008-ItoKKS #sequence
Duplication in DNA Sequences (MI, LK, ZK, SS), pp. 419–430.
SFMSFM-2008-BarbutiCMMP #calculus #sequence
The Calculus of Looping Sequences (RB, GC, AMS, PM, GP), pp. 387–423.
GT-VMTGT-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-VMTGT-VMT-2008-KumarM #automaton #sequence chart #verification
Improving Live Sequence Chart to Automata Transformation for Verification (RK, EGM).
GT-VMTGT-VMT-2008-LambersET #sequence
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences (LL, HE, GT).
CHICHI-2008-MartinI #sequence
EdgeWrite with integrated corner sequence help (BM, PI), pp. 583–592.
SOFTVISSOFTVIS-2008-XieKSDF #diagrams #sequence chart
Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments (SX, EK, REKS, LKD, SDF), pp. 9–18.
EDOCEDOC-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.
ICEISICEIS-AIDSS-2008-BoucheGC #sequence
A Global Model of Sequences of Discrete Event Class Occurrences (PB, MLG, JC), pp. 173–180.
ICEISICEIS-AIDSS-2008-GocB #sequence
Discovering Expert’s Knowledge from Sequences of Discrete Event Class Occurrences (MLG, NB), pp. 253–260.
ICEISICEIS-ISAS2-2008-Shinkawa #consistency #modelling #process #sequence #uml
Evaluating Consistency between UML Activity and Sequence Models (YS), pp. 282–289.
CIKMCIKM-2008-HoefelE #classification #learning #sequence
Learning a two-stage SVM/CRF sequence classifier (GH, CE), pp. 271–278.
CIKMCIKM-2008-RosenfeldFU #classification #sequence #using #web
Using sequence classification for filtering web pages (BR, RF, LHU), pp. 1355–1356.
ICMLICML-2008-AllauzenMT #kernel #predict #sequence
Sequence kernels for predicting protein essentiality (CA, MM, AT), pp. 9–16.
ICPRICPR-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.
ICPRICPR-2008-ChengWL #categorisation #clustering #sequence
Dual clustering for categorization of action sequences (JC, LW, CL), pp. 1–4.
ICPRICPR-2008-FilipH #performance #segmentation #sequence #video
Fast and reliablePCA-based temporal segmentation of video sequences (JF, MH), pp. 1–4.
ICPRICPR-2008-HadidP #classification #gender #sequence #video
Combining motion and appearance for gender classification from video sequences (AH, MP), pp. 1–4.
ICPRICPR-2008-HuynhH #estimation #recursion #sequence #video
Recursive structure and motion estimation from noisy uncalibrated video sequences (DQH, AH), pp. 1–5.
ICPRICPR-2008-KimS #consistency #detection #sequence #using #video
Static text region detection in video sequences using color and orientation consistencies (DK, KS), pp. 1–4.
ICPRICPR-2008-LiuZDY #detection #learning #sequence #video
Video attention: Learning to detect a salient object sequence (TL, NZ, WD, ZY), pp. 1–4.
ICPRICPR-2008-MilanovaRKTK #sequence #video #visual notation
Combined visual attention model for video sequences (MGM, SHR, RK, VT, RK), pp. 1–4.
ICPRICPR-2008-PopSM #incremental #sequence #video
Incremental trajectory aggregation in video sequences (IP, MS, SM), pp. 1–4.
ICPRICPR-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.
ICPRICPR-2008-TsuboiK #sequence
A new objective function for sequence labeling (YT, HK), pp. 1–4.
ICPRICPR-2008-YamaguchiWNN #estimation #image #sequence #using
Road region estimation using a sequence of monocular images (KY, AW, TN, YN), pp. 1–4.
ICPRICPR-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.
KDDKDD-2008-KiernanT #scalability #sequence #summary
Constructing comprehensive summaries of large event sequences (JK, ET), pp. 417–425.
KDDKDD-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.
KDDKDD-2008-ShaoCTYA #mining #performance #sequence
Efficient ticket routing by resolution sequence mining (QS, YC, ST, XY, NA), pp. 605–613.
ECMFAECMDA-FA-2008-OldevikH #aspect-oriented #diagrams #semantics #sequence chart
Semantics Preservation of Sequence Diagram Aspects (JO, ØH), pp. 215–230.
ICMTICMT-2008-GronmoSMK #diagrams #semantics #sequence chart #uml #weaving
Semantics-Based Weaving of UML Sequence Diagrams (RG, FS, BMP, SK), pp. 122–136.
MODELSMoDELS-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.
MODELSMoDELS-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.
RERE-2008-Kof #generative #sequence chart
From Textual Scenarios to Message Sequence Charts: Inclusion of Condition Generation and Actor Extraction (LK), pp. 331–332.
SACSAC-2008-HieronsJUY #adaptation #sequence #using
Using adaptive distinguishing sequences in checking sequence constructions (RMH, GVJ, HU, HY), pp. 682–687.
ICSEICSE-2008-SibayUB #revisited #sequence chart
Existential live sequence charts revisited (GES, SU, VAB), pp. 41–50.
ICSTICST-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.
FATESTestCom-FATES-2008-SimaoP #finite #generative #sequence #state machine
Generating Checking Sequences for Partial Reduced Finite State Machines (AdSS, AP), pp. 153–168.
ASEASE-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.
VLDBVLDB-2007-Kraft #component #sequence
A Cost-Estimation Component for Statement Sequences (TK), pp. 1382–1385.
VLDBVLDB-2007-TataLP #biology #database #interactive #named #sequence
Periscope/SQ: Interactive Exploration of Biological Sequence Databases (ST, WL, JMP), pp. 1406–1409.
FASEFASE-2007-HarelKM #compilation #diagrams #multi #named #sequence chart #uml
S2A: A Compiler for Multi-modal UML Sequence Diagrams (DH, AK, SM), pp. 121–124.
TACASTACAS-2007-ElkindGP #detection #sequence chart
Detecting Races in Ensembles of Message Sequence Charts (EE, BG, DP), pp. 420–434.
ICPCICPC-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.
ICPCICPC-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.
ICSMEICSM-2007-ArchuletaTF #architecture #composition #performance #sequence
A Maintainable Software Architecture for Fast and Modular Bioinformatics Sequence Search (JSA, ET, WcF), pp. 144–153.
DLTDLT-2007-Pritykin #on the #sequence
On Almost Periodicity Criteria for Morphic Sequences in Some Particular Cases (YP), pp. 361–370.
LATALATA-2007-BourdailletG #sequence
Practical block sequence alignment with moves (JB, JGG), pp. 199–210.
SEFMSEFM-2007-DanHC #diagrams #semantics #sequence chart #thread
A Thread-tag Based Semantics for Sequence Diagrams (HD, RMH, SC), pp. 173–182.
LISPILC-2007-Rhodes #lisp #sequence
User-extensible sequences in common Lisp (CR), p. 13.
HCIHCI-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.
VISSOFTVISSOFT-2007-HoltenCW #sequence #using #visualisation
Trace Visualization Using Hierarchical Edge Bundles and Massive Sequence Views (DH, BC, JJvW), pp. 47–54.
CAiSECAiSE-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.
ECIRECIR-2007-HerscoviciLY #documentation #performance #sequence #version control
Efficient Indexing of Versioned Document Sequences (MH, RL, SY), pp. 76–87.
ICMLICML-2007-NguyenG #algorithm #sequence
Comparisons of sequence labeling algorithms and extensions (NN, YG), pp. 681–688.
MLDMMLDM-2007-CuiL #sequence
A New Combined Fractal Scale Descriptor for Gait Sequence (LC, HL), pp. 616–627.
SIGIRSIGIR-2007-YangLLHKR #documentation
Utility-based information distillation over temporally sequenced documents (YY, AL, NL, AH, BK, MR), pp. 31–38.
SACSAC-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.
SACSAC-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-FSEESEC-FSE-2007-RoychoudhuryGS #sequence chart
Symbolic message sequence charts (AR, AG, BS), pp. 275–284.
RTARTA-2007-KutsiaLV #sequence #unification
Sequence Unification Through Currying (TK, JL, MV), pp. 288–302.
TAPTAP-2007-BruckerW #generative #higher-order #testing
Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing (ADB, BW), pp. 149–168.
DocEngDocEng-2006-LindholmKT #difference #performance #sequence #xml
Fast and simple XML tree differencing by sequence alignment (TL, JK, ST), pp. 75–84.
SIGMODSIGMOD-2006-AgrawalCN #automation #design #physics #sequence
Automatic physical design tuning: workload as a sequence (SA, EC, VRN), pp. 683–694.
VLDBVLDB-2006-VenkateswaranLKJ #database #sequence
Reference-based Indexing of Sequence Databases (JV, DL, TK, CMJ), pp. 906–917.
ITiCSEITiCSE-2006-CostaTBS #metric #quality #sequence
Reconstructed high frame rate sequences quality measurement tool (MIC, CT, JB, SFSPS), p. 333.
ITiCSEITiCSE-2006-FatimaMRSH #automation #retrieval #sequence
Automated gene processing and exon sequence retrieval (TF, JDM, RR, GS, KGH), p. 366.
FASEFASE-2006-WestphalT #sequence chart
The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts (BW, TT), pp. 230–246.
MSRMSR-2006-KagdiYM #mining #sequence #version control
Mining sequences of changed-files from version histories (HHK, SY, JIM), pp. 47–53.
WCREWCRE-2006-KorshunovaPBM #c++ #diagrams #named #process #reverse engineering #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.
DLTDLT-J-2005-Thomas06 #multi #sequence
Multidimensional Sturmian Sequences and Generalized Substitutions (TF), pp. 575–600.
ICALPICALP-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.
FMFM-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.
FMFM-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.
ICGTICGT-2006-ButtnerG #graph transformation #sequence
Realizing Graph Transformations by Pre- and Postconditions and Command Sequences (FB, MG), pp. 398–413.
ICGTICGT-2006-VelascoL #approach #graph transformation #matrix #sequence
Matrix Approach to Graph Transformation: Matching and Sequences (PPPV, JdL), pp. 122–137.
AdaEuropeAdaEurope-2006-WagnerF #geometry #modelling #reliability #sequence
A Software Reliability Model Based on a Geometric Sequence of Failure Rates (SW, HF), pp. 143–154.
CIKMCIKM-2006-WangC #performance #permutation #query #sequence
Improving query I/O performance by permuting and refining block request sequences (XW, MC), pp. 652–661.
ECIRECIR-2006-BernsteinC #performance #scalability #sequence
Fast Discovery of Similar Sequences in Large Genomic Collections (YB, MC), pp. 432–443.
ICMLICML-2006-GravesFGS #classification #network #sequence
Connectionist temporal classification: labelling unsegmented sequence data with recurrent neural networks (AG, SF, FJG, JS), pp. 369–376.
ICMLICML-2006-Sarawagi #modelling #performance #segmentation #sequence
Efficient inference on sequence segmentation models (SS), pp. 793–800.
ICPRICPR-v1-2006-AhmadL #image #multi #recognition #sequence #using
HMM-based Human Action Recognition Using Multiview Image Sequences (MA, SWL), pp. 263–266.
ICPRICPR-v1-2006-BauerBSP #sequence #video
Finding Highly Frequented Paths in Video Sequences (DB, NB, SS, RPP), pp. 387–391.
ICPRICPR-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.
ICPRICPR-v1-2006-KimH #3d #image #multi #performance #sequence
Variational Multigrid for Fast 3D Interpretation of Image Sequences (JSK, KSH), pp. 267–270.
ICPRICPR-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.
ICPRICPR-v2-2006-AutioL #learning #online #sequence
Online Learning of Discriminative Patterns from Unlimited Sequences of Candidates (IA, JTL), pp. 437–440.
ICPRICPR-v2-2006-ZouL #learning #performance #sequence
The Generalization Performance of Learning Machine Based on Phi-mixing Sequence (BZ, LL), pp. 548–551.
ICPRICPR-v3-2006-BombachG #sequence
Patterns of Co-Linear Equidistant Letter Sequences and Verses (NB, HG), pp. 149–151.
ICPRICPR-v3-2006-BombachG06a #sequence
Patterns of Co-Linear Equidistant Letter Sequences and Verses (NB, HG), pp. 1248–1250.
ICPRICPR-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.
ICPRICPR-v3-2006-DupontJK #robust #segmentation #sequence #video
Robust Segmentation of Hidden Layers in Video Sequences (RD, OJ, RK), pp. 75–78.
ICPRICPR-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.
ICPRICPR-v3-2006-MalmW #image #reduction #sequence
Motion Dependent Spatiotemporal Smoothing for Noise Reduction in Very Dim Light Image Sequences (HM, EW), pp. 954–959.
ICPRICPR-v3-2006-SandersonG #kernel #markov #on the #sequence
On Authorship Attribution via Markov Chains and Sequence Kernels (CS, SG), pp. 437–440.
ICPRICPR-v3-2006-UshizakiOD #sequence #video
Video Synchronization Based on Co-occurrence of Appearance Changes in Video Sequences (MU, TO, KD), pp. 71–74.
ICPRICPR-v3-2006-YangL06a #3d #image #learning #sequence #using
Reconstructing 3D Human Body Pose from Stereo Image Sequences Using Hierarchical Human Body Model Learning (HDY, SWL), pp. 1004–1007.
ICPRICPR-v4-2006-BombachG06b #sequence
Patterns of Co-Linear Equidistant Letter Sequences and Verses (NB, HG), p. 961.
ICPRICPR-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.
SACSAC-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.
SACSAC-2006-FangLE #sequence #visualisation
Visualization of unstructured text sequences of nursing narratives (SF, ML, PRE), pp. 240–244.
SACSAC-2006-FengQWZ #mining #query #xml
Exploit sequencing to accelerate hot XML query pattern mining (JF, QQ, JW, LZ), pp. 517–524.
SACSAC-2006-GiannottiNPP #mining #sequence
Mining sequences with temporal annotations (FG, MN, DP, FP), pp. 593–597.
SACSAC-2006-Kosmatov #constraints #sequence #theorem proving
A constraint solver for sequences and its applications (NK), pp. 404–408.
SACSAC-2006-MitasiunaiteB #constraints #sequence #similarity
Looking for monotonicity properties of a similarity constraint on sequences (IM, JFB), pp. 546–552.
SACSAC-2006-SousaM #adaptation #biology #comparison #grid #multi #named #sequence
PackageBLAST: an adaptive multi-policy grid service for biological sequence comparison (MSS, ACMAdM), pp. 156–160.
SACSAC-2006-SrinivasanBC #sequence
Discovery of interesting episodes in sequence data (AS, DB, SC), pp. 598–602.
HPDCHPDC-2006-ChingFLMC #parallel #tool support
Exploring I/O Strategies for Parallel Sequence-Search Tools with S3aSim (AC, WcF, HL, XM, ANC), pp. 229–240.
CAVCAV-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.
ICTSSTestCom-2006-Ipate #bound #finite #nondeterminism #sequence #state machine #testing
Bounded Sequence Testing from Non-deterministic Finite State Machines (FI), pp. 55–70.
ICTSSTestCom-2006-UralZ #sequence
Reducing the Lengths of Checking Sequences by Overlapping (HU, FZ), pp. 274–288.
ICTSSTestCom-2006-YalcinY #sequence #using
Using Distinguishing and UIO Sequences Together in a Checking Sequence (MCY, HY), pp. 259–273.
CBSECBSE-2005-PelliccioneMBF #modelling #named #sequence #specification #testing
TeStor: Deriving Test Sequences from Model-Based Specifications (PP, HM, AB, FF), pp. 267–282.
CASECASE-2005-CastelnuovoFP #approach #incremental #modelling #petri net #sequence
An incremental Petri net approach to production sequence modeling (AC, LF, LP), pp. 333–338.
DATEDATE-2005-LiC #analysis #clustering #hybrid #sequence
Hybrid BIST Based on Repeating Sequences and Cluster Analysis (LL, KC), pp. 1142–1147.
DRRDRR-2005-ChenD #feature model #verification
Sequence-matching-based feature extraction with applications to signature verification (YC, XD), pp. 76–83.
HTHT-2005-BocconiNH #generative #sequence #video
Supporting the generation of argument structure within video sequences (SB, FN, LH), pp. 75–84.
ICDARICDAR-2005-LefevreV #detection #locality #multi #sequence #video
Caption Localisation in Video Sequences by Fusion of Multiple Detectors (SL, NV), pp. 106–110.
ICDARICDAR-2005-LeiG #classification #sequence
Similarity-driven Sequence Classification Based on Support Vector Machines (HL, VG), pp. 252–261.
SIGMODSIGMOD-2005-ShenZH #database #effectiveness #scalability #sequence #towards #video
Towards Effective Indexing for Very Large Video Sequence Database (HTS, BCO, XZ), pp. 730–741.
SIGMODSIGMOD-2005-ZhangKCY #mining #sequence
Mining Periodic Patterns with Gap Requirement from Sequences (MZ, BK, DWLC, KYY), pp. 623–633.
VLDBVLDB-2005-KwonRML #documentation #named #scalability #xml
FiST: Scalable XML Document Filtering by Sequencing Twig Patterns (JK, PR, BM, SL), pp. 217–228.
VLDBVLDB-2005-PaparizosJ #algebra #question #sequence #set
Pattern Tree Algebras: Sets or Sequences? (SP, HVJ), pp. 349–360.
FASEFASE-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.
FoSSaCSFoSSaCS-2005-BontempsS #complexity #sequence chart
The Complexity of Live Sequence Charts (YB, PYS), pp. 364–378.
TACASTACAS-2005-Genest #composition #sequence chart
Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs (BG), pp. 429–444.
ICSMEICSM-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.
PASTEPASTE-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.
SCAMSCAM-2005-SchordanQ #attribute grammar #sequence #specification
Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar (MS, DJQ), pp. 97–106.
CIAACIAA-J-2004-HanMZ05 #approach #automaton #database #sequence
An automata approach to match gapped sequence tags against protein database (YH, BM, KZ), pp. 487–497.
DLTDLT-2005-Fernique #sequence
Bidimensional Sturmian Sequences and Substitutions (TF), pp. 236–247.
DLTDLT-2005-Saari #on the #sequence
On the Frequency of Letters in Pure Binary Morphic Sequences (KS), pp. 397–408.
FMFM-2005-BanachPJS #finite #sequence
Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern (RB, MP, CJ, SS), pp. 382–398.
IFMIFM-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.
VISSOFTVISSOFT-2005-SharpR #diagrams #interactive #sequence chart #uml
Interactive Exploration of UML Sequence Diagrams (RS, AR), pp. 8–13.
CIKMCIKM-2005-Ahonen-Myka #mining #sequence #set #word
Mining all maximal frequent word sequences in a set of sentences (HAM), pp. 255–256.
CIKMCIKM-2005-HalachevST #sequence #using
Exact match search in sequence data using suffix trees (MH, NS, AT), pp. 123–130.
CIKMCIKM-2005-LiC #clustering #documentation #sequence #word
Text document clustering based on frequent word sequences (YL, SMC), pp. 293–294.
CIKMCIKM-2005-PrasadK #performance #query #sequence #using #xml
Efficient indexing and querying of XML data using modified Prüfer sequences (KHP, PSK), pp. 397–404.
ICMLICML-2005-SonnenburgRS #classification #scalability #sequence
Large scale genomic sequence SVM classifiers (SS, GR, BS), pp. 848–855.
MLDMMLDM-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.
MLDMMLDM-2005-ShimizuM #anti #sequence
Disjunctive Sequential Patterns on Single Data Sequence and Its Anti-monotonicity (KS, TM), pp. 376–383.
MLDMMLDM-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.
SEKESEKE-2005-KrishnaG #concept #diagrams #modelling #sequence chart #uml
Combining Agent-oriented Conceptual Modelling and the UML Sequence Diagram (AK, AKG), pp. 205–210.
SIGIRSIGIR-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.
ECMFAECMDA-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.
MODELSMoDELS-2005-DeublerMRK #diagrams #modelling #sequence chart #uml
Modeling Crosscutting Services with UML Sequence Diagrams (MD, MM, SR, IK), pp. 522–536.
MODELSMoDELS-2005-DeublerMRK #diagrams #modelling #sequence chart #uml
Modeling Crosscutting Services with UML Sequence Diagrams (MD, MM, SR, IK), pp. 522–536.
SACSAC-2005-ChenA #analysis #approach #comparative #predict #sequence #using
A new approach for gene prediction using comparative sequence analysis (RC, HHA), pp. 177–184.
SACSAC-2005-DavidssonHS #predict #sequence
Comparing approaches to predict transmembrane domains in protein sequences (PD, JH, KS), pp. 185–189.
SACSAC-2005-HacheyG #classification #modelling #sequence #summary
Sequence modelling for sentence classification in a legal summarisation system (BH, CG), pp. 292–296.
SACSAC-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-FSEESEC-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.
ICSEICSE-2005-ApiwattanapongOH #impact analysis #performance #precise #sequence #using
Efficient and precise dynamic impact analysis using execute-after sequences (TA, AO, MJH), pp. 432–441.
ICSEICSE-2005-RountevC #analysis #diagrams #sequence chart
Object naming analysis for reverse-engineered sequence diagrams (AR, BHC), pp. 254–263.
AMOSTAMOST-2005-Robinson-MallettLMG #generative #model checking #sequence
Generating optimal distinguishing sequences with a model checker (CRM, PL, TM, UG).
CSLCSL-2005-BrattkaS #axiom #sequence
Computing with Sequences, Weak Topologies and the Axiom of Choice (VB, MS), pp. 462–476.
ICTSSTestCom-2005-ChenHUY #sequence #testing
Eliminating Redundant Tests in a Checking Sequence (JC, RMH, HU, HY), pp. 146–158.
DATEDATE-v1-2004-CorsiMMBD #pseudo #sequence
Pseudo-Random Sequence Based Tuning System for Continuous-Time Filters (FC, CM, GM, AB, SD), pp. 94–101.
DATEDATE-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.
VLDBVLDB-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.
SCAMSCAM-2004-FatiregunHH #algorithm #evolution #search-based #sequence #using
Evolving Transformation Sequences using Genetic Algorithms (DF, MH, RMH), pp. 66–75.
PLDIPLDI-2004-KulkarniHHWDJ #effectiveness #optimisation #performance #sequence
Fast searches for effective optimization phase sequences (PAK, SH, JH, DBW, JWD, DLJ), pp. 171–182.
CIAACIAA-2004-HanMZ #approach #automaton #database #sequence
An Automata Approach to Match Gapped Sequence Tags Against Protein Database (YH, BM, KZ), pp. 167–177.
CIAACIAA-2004-PengT #algorithm #performance #sequence
Time and Space Efficient Algorithms for Constrained Sequence Alignment (ZSP, HFT), pp. 237–246.
ICALPICALP-2004-ChenDSY #sequence
Dynamic Price Sequence and Incentive Compatibility (Extended Abstract) (NC, XD, XS, ACCY), pp. 320–331.
IFMIFM-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.
ICEISICEIS-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.
CIKMCIKM-2004-WangXY #biology #mining #scalability #sequence
Scalable sequential pattern mining for biological sequences (KW, YX, JXY), pp. 178–187.
CIKMCIKM-2004-WuC #design #sequence
Distance-function design and fusion for sequence data (YW, EYC), pp. 324–333.
ICMLICML-2004-AltunHS #classification #process #sequence
Gaussian process classification for segmenting and annotating sequences (YA, TH, AJS).
ICMLICML-2004-KashimaT #algorithm #graph #kernel #learning #sequence
Kernel-based discriminative learning algorithms for labeling sequences, trees, and graphs (HK, YT).
ICMLICML-2004-SuttonRM #modelling #probability #random #sequence
Dynamic conditional random fields: factorized probabilistic models for labeling and segmenting sequence data (CAS, KR, AM).
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-v2-2004-PlotzF #analysis #biology #feature model #sequence
Feature Extraction for Improved Profile HMM based Biological Sequence Analysis (TP, GAF), pp. 315–318.
ICPRICPR-v2-2004-VijayaMS #classification #clustering #performance #sequence
An Efficient Technique for Protein Sequence Clustering and Classification (PAV, MNM, DKS), pp. 447–450.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-v3-2004-LucasH #recognition #sequence
Sequence Recognition with Scanning N-Tuple Ensembles (SML, TKH), pp. 410–413.
ICPRICPR-v3-2004-MostafaouiAM #estimation #image #sequence
Objects Velocity Estimation on Images Sequences by Hough Transform with Projection (HTP) (GM, CA, MM), pp. 83–86.
ICPRICPR-v3-2004-RenS #constraints #sequence #video
Video Sequence Matching with Spatio-Temporal Constraints (WR, SS), pp. 834–837.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-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.
KDDKDD-2004-TinoKS #approach #generative #probability #sequence #set #visualisation
A generative probabilistic approach to visualizing sets of symbolic sequences (PT, AK, YS), pp. 701–706.
SACSAC-2004-MengC #analysis #scalability
Bio-sequence analysis with cradle’s 3SoCTM software scalable system on chip (XM, VC), pp. 202–206.
SACSAC-2004-OrlandoPS #algorithm #mining #sequence
A new algorithm for gap constrained sequence mining (SO, RP, CS), pp. 540–547.
SACSAC-2004-WeisserK #identification #metric #sequence #statistics #using
Identification of fundamental building blocks in protein sequences using statistical association measures (DKW, JKS), pp. 154–161.
LCTESLCTES-2004-AlmagorCGHRSTW #compilation #effectiveness #sequence
Finding effective compilation sequences (LA, KDC, AG, TJH, SWR, DS, LT, TW), pp. 231–239.
DocEngDocEng-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.
HTHT-2003-AbdullahD #adaptation #hypermedia #question
Is simple sequencing simple adaptive hypermedia? (NAA, HCD), pp. 172–173.
ICDARICDAR-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.
ICDARICDAR-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.
ICDARICDAR-2003-KochHP #documentation #sequence
Numerical Sequence Extraction in Handwritten Incoming Mail Documents (GK, LH, TP), pp. 369–373.
ICDARICDAR-2003-LauYT #image #sequence #using
Recovery of Writing Sequence of Static Images of Handwriting using UWM (KKL, PCY, YYT), pp. 1123–1127.
VLDBVLDB-2003-KraftSRM #optimisation #sequence #sql
Coarse-Grained Optimization: Techniques for Rewriting SQL Statement Sequences (TK, HS, RR, BM), pp. 488–499.
VLDBVLDB-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.
ICSMEICSM-2003-WhiteAS #interactive #sequence #testing #user interface
Firewall Regression Testing of GUI Sequences and their Interactions (LJW, HA, SS), pp. 398–409.
WCREWCRE-2003-BriandLM #diagrams #reverse engineering #sequence chart #towards #uml
Towards the Reverse Engineering of UML Sequence Diagrams (LCB, YL, YM), pp. 57–66.
STOCSTOC-2003-DrorELM #sequence
Touring a sequence of polygons (MD, AE, AL, JSBM), pp. 473–482.
CIAACIAA-2003-Sutner #sequence
The Ehrenfeucht-Mycielski Sequence (KS), pp. 282–293.
AGTIVEAGTIVE-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.
CHICHI-2003-VenoliaN #comprehension #email #sequence #visualisation
Understanding sequence and reply relationships within email conversations: a mixed-model visualization (GDV, CN), pp. 361–368.
KDDKDD-2003-MaP #detection #online #sequence
Online novelty detection on temporal sequences (JM, SP), pp. 613–618.
MLDMMLDM-2003-BicegoMF #clustering #markov #modelling #sequence #similarity #using
Similarity-Based Clustering of Sequences Using Hidden Markov Models (MB, VM, MATF), pp. 86–95.
MLDMMLDM-2003-KawamotoIH #image #sequence
Shape Recovery from an Unorganized Image Sequence (KK, AI, KH), pp. 389–399.
MLDMMLDM-2003-MagnussonV #network #sequence #using #visualisation
Visualizing Sequences of Texts Using Collocational Networks (CM, HV), pp. 276–283.
UMLUML-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.
PADLPADL-2003-Schachte #quantifier #sequence
Sequence Quantification (PS), pp. 128–144.
RERE-2003-SenguptaC #modelling #requirements #sequence chart #using
Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts (BS, RC), pp. 95–104.
SACSAC-2003-CatalyurekGKSSF #component #implementation #multi #sequence
A Component-based Implementation of Multiple Sequence Alignment (ÜVÇ, MG, TMK, JHS, ES, RF), pp. 122–126.
CCCC-2003-GagnonH #bytecode #effectiveness #java #sequence #thread #using
Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences (EG, LJH), pp. 170–184.
LCTESLCTES-2003-KulkarniZMCWDBPG #effectiveness #optimisation #sequence
Finding effective optimization phase sequences (PAK, WZ, HM, KC, DBW, JWD, MWB, YP, KG), pp. 12–23.
CAVCAV-2003-SenguptaC #named #sequence chart
TRIM: A Tool for Triggered Message Sequence Charts (BS, RC), pp. 106–109.
FATESFATES-2003-GuoHHD #algorithm #search-based #sequence #using
Computing Unique Input/Output Sequences Using Genetic Algorithms (QG, RMH, MH, KD), pp. 164–177.
FATESFATES-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.
LICSLICS-2003-Lynch #convergence #graph #random #sequence
Convergence Law for Random Graphs with Specified Degree Sequence (JFL), p. 301–?.
ICTSSTestCom-2003-UralW #architecture #distributed #generative #sequence
Generating Checking Sequences for a Distributed Test Architecture (HU, CW), pp. 146–162.
ASEASE-2002-FraikinL #diagrams #named #sequence chart #testing
SeDiTeC — Testing Based on Sequence Diagrams (FF, TL), pp. 261–266.
DACDAC-2002-RakhmatovVC #scalability
Battery-conscious task sequencing for portable devices including voltage/clock scaling (DNR, SBKV, CC), pp. 189–194.
DATEDATE-2002-ZhuangKSJ
An Enhanced Q-Sequence Augmented with Empty-Room-Insertion and Parenthesis Trees (CZ, YK, KS, LJ), pp. 61–68.
VLDBVLDB-2002-HammelP #sequence
Searching on the Secondary Structure of Protein Sequences (LH, JMP), pp. 634–645.
IWPCIWPC-2002-BurdOW #animation #comprehension #diagrams #sequence chart #using
Evaluating Using Animation to Improve Understanding of Sequence Diagrams (EB, DO, AW), pp. 107–113.
DLTDLT-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.
ICALPICALP-2002-Merkle #probability #sequence
The Kolmogorov-Loveland Stochastic Sequences Are Not Closed under Selecting Subsequences (WM), pp. 390–400.
ICEISICEIS-2002-Snoeck #constraints #modelling #process #sequence
Sequence Constraints in Business Modelling and Business Process Modelling (MS), pp. 683–690.
CIKMCIKM-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.
ICPRICPR-v1-2002-DOrazioACN #algorithm #detection #image #sequence
A Ball Detection Algorithm for Real Soccer Image Sequences (TD, NA, GC, MN), pp. 210–213.
ICPRICPR-v1-2002-MarinoPPBnCG #sequence
Methodology for the Registration of Whole SLO Sequences (CM, MP, MGP, JMB, VL, MJC, FGU), pp. 779–783.
ICPRICPR-v1-2002-YamadaSM #3d #game studies #image #parametricity #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.
ICPRICPR-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.
ICPRICPR-v2-2002-ChengCK #behaviour #sequence #video
Recognising Human Running Behaviour in Sports Video Sequences (FC, WJC, JK), pp. 1017–1020.
ICPRICPR-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.
ICPRICPR-v2-2002-KanekoH #image #sequence
Template Update Criterion for Template Matching of Image Sequences (TK, OH), pp. 1–5.
ICPRICPR-v3-2002-ChenHF #database #performance #sequence
Fast Semi-Local Alignment for DN Sequence Database Search (YSC, YPH, CSF), pp. 1019–1022.
ICPRICPR-v3-2002-JungKH #detection #image #sequence
Text Scanner with Text Detection Technology on Image Sequences (KJ, KIK, JH), pp. 473–476.
ICPRICPR-v3-2002-KimKKK #bound #sequence
Usefulness of Boundary Sequences in Computing Shape Features for Arbitrary Shaped Regions (SK, SK, JK, MK), pp. 355–358.
ICPRICPR-v3-2002-LauYT #estimation #sequence
Stroke Extraction and Stroke Sequence Estimation on Signatures (KKL, PCY, YYT), pp. 119–122.
ICPRICPR-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.
ICPRICPR-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.
KDDKDD-2002-ChudovaS #markov #sequence
Pattern discovery in sequences under a Markov assumption (DC, PS), pp. 153–162.
SEKESEKE-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.
OOPSLAOOPSLA-2002-MarellyHK #execution #multi #sequence chart
Multiple instances and symbolic variables in executable sequence charts (RM, DH, HK), pp. 83–100.
FSEFSE-2002-SenguptaC #sequence chart
Triggered message sequence charts (BS, RC), pp. 167–176.
ICSEICSE-2002-BlausteinOB #graph #sequence chart
Observing timed systems by means of message sequence chart graphs (SB, FO, VAB), p. 707.
ICTSSTestCom-2002-OgishiHKS #sequence #specification
A TCP Test System Specifying only Exceptional Packet Sequences (TO, TH, TK, KS), pp. 21–38.
ICTSSTestCom-2002-SerdarT #approach #finite #generative #sequence #state machine
A New Approach To Checking Sequence Generation for Finite State Machines (BS, KCT), p. 391–?.
ASEASE-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.
DACDAC-2001-YildizM #clustering #sequence
Improved Cut Sequences for Partitioning Based Placement (MCY, PHM), pp. 776–779.
DATEDATE-2001-PomeranzR #order #sequence
Sequence reordering to improve the levels of compaction achievable by static compaction procedures (IP, SMR), pp. 214–218.
PODSPODS-2001-SadriZZA #database #optimisation #query #sequence
Optimization of Sequence Queries in Database Systems (RS, CZ, AMZ, JA).
VLDBVLDB-2001-HuntAI #biology #database #scalability #sequence
A Database Index to Large Biological Sequences (EH, MPA, RWI), pp. 139–148.
FoSSaCSFoSSaCS-2001-Morin #on the #sequence chart #traceability
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory (RM), pp. 332–346.
TACASTACAS-2001-GunterMP #composition #sequence chart
Compositional Message Sequence Charts (ELG, AM, DP), pp. 496–511.
TACASTACAS-2001-KloseW #automaton #sequence chart
An Automata Based Interpretation of Live Sequence Charts (JK, HW), pp. 512–527.
STOCSTOC-2001-Gacs #sequence
Compatible sequences and a slow Winkler percolation (PG), pp. 694–703.
ICALPICALP-2001-LinCJW #problem #sequence
The Longest Common Subsequence Problem for Sequences with Nested Arc Annotations (GHL, ZZC, TJ, JW), pp. 444–455.
ICALPICALP-2001-Madhusudan #behaviour #branch #graph #reasoning #sequence
Reasoning about Sequential and Branching Behaviours of Message Sequence Graphs (PM), pp. 809–820.
ICALPICALP-2001-MuschollP #communication #finite #protocol #sequence chart
From Finite State Communication Protocols to High-Level Message Sequence Charts (AM, DP), pp. 720–731.
ICALPICALP-2001-SadakaneTT #algorithm #combinator #sequence
Combinatorics and Algorithms on Low-Discrepancy Roundings of a Real Sequence (KS, NTC, TT), pp. 166–177.
VISSOFTSVIS-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.
CIKMCIKM-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.
ICMLICML-2001-Hutter #bound #predict #sequence
General Loss Bounds for Universal Sequence Prediction (MH), pp. 210–217.
ICMLICML-2001-LaffertyMP #modelling #probability #random #sequence
Conditional Random Fields: Probabilistic Models for Segmenting and Labeling Sequence Data (JDL, AM, FCNP), pp. 282–289.
ICMLICML-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.
KDDKDD-2001-MannilaS #sequence
Finding simple intensity descriptions from event sequence data (HM, MS), pp. 341–346.
UMLUML-2001-LatronicoK #diagrams #embedded #formal method #representation #sequence chart
Representing Embedded System Sequence Diagrams as a Formal Language (EL, PK), pp. 302–316.
TOOLSTOOLS-USA-2001-SelonenSK #diagrams #generative #implementation #sequence chart #uml
Generating Structured Implementation Schemes from UML Sequence Diagrams (PS, TS, KK), pp. 317–330.
SACSAC-2001-LeeGA #learning #multi
A multi-neural-network learning for lot sizing and sequencing on a flow-shop (IL, JNDG, ADA), pp. 36–40.
SACSAC-2001-ParkKC #approach #database #sequence
Segment-based approach for subsequence searches in sequence databases (SP, SWK, WWC), pp. 248–252.
FSEESEC-FSE-2001-UchitelKM #detection #sequence chart #specification
Detecting implied scenarios in message sequence chart specifications (SU, JK, JM), pp. 74–82.
ASEASE-2000-Li #case study #diagrams #sequence chart
Translating Use Cases to Sequence Diagrams (LL), pp. 293–296.
ASEASE-2000-MarreA #generative #sequence #testing
Test Sequences Generation from LUSTRE Descriptions: GATeL (BM, AA), p. 229–?.
DATEDATE-2000-PomeranzR #generative #sequence #testing
Built-In Generation of Weighted Test Sequences for Synchronous Sequential Circuits (IP, SMR), pp. 298–304.
DATEDATE-2000-TangWT #evaluation #performance #sequence
Fast Evaluation of Sequence Pair in Block Placement by Longest Common Subsequence Computation (XT, DFW, RT), pp. 106–111.
VLDBVLDB-2000-YiF #performance #sequence
Fast Time Sequence Indexing for Arbitrary Lp Norms (BKY, CF), pp. 385–394.
STOCSTOC-2000-MuthukrishnanS #approximate #comparison #nearest neighbour #sequence
Approximate nearest neighbors and sequence comparison with block operations (SM, SCS), pp. 416–424.
ICALPICALP-2000-HenriksenMKT #graph #on the #sequence
On Message Sequence Graphs and Finitely Generated Regular MSC Languages (JGH, MM, KNK, PST), pp. 675–686.
ICALPICALP-2000-Lutz #sequence
Gales and the Constructive Dimension of Individual Sequences (JHL), pp. 902–913.
ICEISICEIS-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.
CIKMCIKM-2000-Zaki #category theory #constraints #mining #sequence
Sequence Mining in Categorical Domains: Incorporating Constraints (MJZ), pp. 422–429.
ICMLICML-2000-MuggletonBS #biology #learning #product line #sequence
Learning Chomsky-like Grammars for Biological Sequence Families (SM, CHB, AS), pp. 631–638.
ICPRICPR-v1-2000-CapelZ #image #sequence
Super-Resolution Enhancement of Text Image Sequences (DPC, AZ), pp. 1600–1605.
ICPRICPR-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.
ICPRICPR-v1-2000-Nagel #evaluation #image #sequence
Image Sequence Evaluation: 30 Years and Still Going Strong (HHN), pp. 1149–1158.
ICPRICPR-v2-2000-HongH #learning #sequence
Learning to Extract Temporal Signal Patterns from Temporal Signal Sequence (PH, TSH), pp. 2648–2651.
ICPRICPR-v2-2000-LawK #clustering #learning #modelling #sequence
Rival Penalized Competitive Learning for Model-Based Sequence Clustering (MHCL, JTK), pp. 2195–2198.
ICPRICPR-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.
ICPRICPR-v3-2000-BadenasSP #integration #monitoring #sequence #using
Using Temporal Integration for Tracking Regions in Traffic Monitoring Sequences (JB, JMS, FP), pp. 7137–7140.
ICPRICPR-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.
ICPRICPR-v3-2000-GibsonCDT #image #sequence #visual notation
Visual Extraction of Motion-Based Information from Image Sequences (DPG, NWC, CJD, BTT), pp. 3893–3896.
ICPRICPR-v3-2000-HoshinoSY #automation #image #sequence
Automatic Registration of Virtual Objects onto Human Image Sequences (JH, HS, MY), pp. 3175–3177.
ICPRICPR-v3-2000-KimC #image #network #segmentation #sequence #using
Segmentation of Image Sequences Using SOFM Networks (JK, TC), pp. 3877–3880.
ICPRICPR-v3-2000-SaitoKOS #image #sequence
Image Processing for Restoration of Heavily-Corrupted Old Film Sequences (TS, TK, TO, TS), pp. 3017–3020.
ICPRICPR-v4-2000-AbeggEW #algorithm #image #linear #robust #sequence #video
A Robust Algorithm for Segmenting Deformable Linear Objects from Video Image Sequences (FA, DE, HW), pp. 4756–4759.
ICPRICPR-v4-2000-GriffinK #3d #sequence #video
Coping with 3D Artifacts in Video Sequences (AG, JK), pp. 4623–4626.
ICPRICPR-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.
ICPRICPR-v4-2000-VeneauRB #clustering #segmentation #sequence #video
From Video Shot Clustering to Sequence Segmentation (EV, RR, PB), pp. 4254–4257.
ICPRICPR-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.
KDDKDD-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.
KDDKDD-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.
UMLUML-2000-GraubmannR #case study #diagrams #modelling #sequence chart #testing
HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing (PG, ER), pp. 32–46.
UMLUML-2000-PetriuS #behaviour #consistency #diagrams #process #representation #sequence chart
Consistent Behaviour Representation in Activity and Sequence Diagrams (DCP, YS), pp. 369–382.
ICSEICSE-2000-AlurEY #sequence chart
Inference of message sequence charts (RA, KE, MY), pp. 304–313.
ICTSSTestCom-2000-DualeU #generative #modelling #sequence #testing
Generation of Feasible Test Sequences for EFSM Models (AYD, MÜU), p. 91–?.
DACDAC-1999-BalasaL #layout #representation #using
Module Placement for Analog Layout Using the Sequence-Pair Representation (FB, KL), pp. 274–279.
DACDAC-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.
DACDAC-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.
ICDARICDAR-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.
PODSPODS-1999-MoreMS #performance
Efficient Sequencing Tape-Resident Jobs (SM, SM, EAMS), pp. 33–43.
FoSSaCSFoSSaCS-1999-Muscholl #sequence chart #specification
Matching Specifications for Message Sequence Charts (AM), pp. 273–287.
ICALPICALP-1999-Sanders #multi #sequence #set
Accessing Multiple Sequences Through Set Associative Caches (PS), pp. 655–664.
HCIHCI-CCAD-1999-Komischke #branch #identification #process #sequence
Identifying core sequences in process control across branches (TK), pp. 1301–1305.
ECIRACIR-1999-AminiZG #automation #information management #modelling #sequence
Sequence Models for Automatic Highlighting and Surface Information Extraction (MRA, HZ, PG).
CIKMCIKM-1999-ParthasarathyZOD #incremental #interactive #mining #sequence
Incremental and Interactive Sequence Mining (SP, MJZ, MO, SD), pp. 251–258.
ICMLICML-1999-HuSK #detection #sequence
Detecting Motifs from Sequences (YJH, SBS, DFK), pp. 181–190.
KDDKDD-1999-LeshZO #classification #mining #sequence
Mining Features for Sequence Classification (NL, MJZ, MO), pp. 342–346.
UMLUML-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.
UMLUML-1999-LiL #analysis #diagrams #sequence chart #uml
Timing Analysis of UML Sequence Diagrams (XL, JL), pp. 661–674.
TOOLSTOOLS-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.
TOOLSTOOLS-USA-1999-DanielsT #constraints #effectiveness #sequence #testing
Measuring the Effectiveness of Method Test Sequences Derived from Sequencing Constraints (FJD, KCT), pp. 74–83.
ASEASE-1998-LeueMR #architecture #sequence chart #specification
Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications (SL, LM, MR), pp. 192–195.
DATEDATE-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.
VLDBVLDB-1998-LinR #query #sequence
Querying Continuous Time Sequences (LL, TR), pp. 170–181.
FoSSaCSFoSSaCS-1998-MuschollPS #sequence chart
Deciding Properties for Message Sequence Charts (AM, DP, ZS), pp. 226–242.
FoSSaCSFoSSaCS-1998-PorrotDDV #random #sequence #transducer
Deterministic Rational Transducers and Random Sequences (SP, MD, BD, NKV), pp. 258–272.
CIKMCIKM-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.
CIKMCIKM-1998-Zaki #performance #sequence
Efficient Enumeration of Frequent Sequences (MJZ), pp. 68–75.
ICMLICML-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.
ICPRICPR-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.
ICPRICPR-1998-AvrinD #estimation #sequence #video
Local motion estimation and resolution enhancement of video sequences (VA, ID), pp. 539–541.
ICPRICPR-1998-BadenasP #image #monitoring #segmentation #sequence
Segmentation based on region-tracking in image sequences for traffic monitoring (JB, FP), pp. 999–1001.
ICPRICPR-1998-HeikkilaS #3d #estimation #image #linear #metric #sequence
Linear motion estimation for image sequence based accurate 3-D measurements (JH, OS), pp. 1247–1250.
ICPRICPR-1998-KummertFSB #hybrid #image #recognition #sequence
Hybrid object recognition in image sequences (FK, GAF, GS, EB), pp. 1165–1170.
ICPRICPR-1998-MeckeAM #estimation #robust #sequence
A robust method for block-based motion estimation in RGB-image sequences (RM, AAH, BM), pp. 663–667.
ICPRICPR-1998-NakajimaTY #documentation #image #re-engineering #recognition #sequence
Document reconstruction and recognition from an image sequence (NN, NT, KY), pp. 922–925.
ICPRICPR-1998-ThorpeLF #image #visualisation
Atmospheric turbulence visualisation through image time-sequence registration (GT, AJL, DF), pp. 1768–1770.
ICPRICPR-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.
ICPRICPR-1998-WengH #learning #recognition #sequence
Sensorimotor action sequence learning with application to face recognition under discourse (J(W, WSH), pp. 252–254.
ICPRICPR-1998-YonemotoTT #3d #multi #sequence #using
Tracking of 3D multi-part objects using multiple viewpoint time-varying sequences (SY, NT, RiT), pp. 490–494.
KDDKDD-1998-GuralnikWS #mining #sequence
Pattern Directed Mining of Sequence Data (VG, DW, JS), pp. 51–57.
KDDKDD-1998-WeissH #learning #predict #sequence
Learning to Predict Rare Events in Event Sequences (GMW, HH), pp. 359–363.
KDDKDD-1998-ZakiLO #mining #named #sequence
PlanMine: Sequence Mining for Plan Failures (MJZ, NL, MO), pp. 369–374.
UMLUML-1998-SeemannG #diagrams #realtime #sequence chart #uml
Extension of UML Sequence Diagrams for Real-Time Systems (JS, JWvG), pp. 240–252.
CAVCAV-1998-Peled98a #sequence chart #tool support
A Toolset for Message Sequence Charts (DP), pp. 532–536.
DACDAC-1997-MarculescuMP #analysis #finite #probability #sequence #state machine
Sequence Compaction for Probabilistic Analysis of Finite-State Machines (DM, RM, MP), pp. 12–15.
DACDAC-1997-MarculescuMP97a #estimation #sequence
Hierarchical Sequence Compaction for Power Estimation (RM, DM, MP), pp. 570–575.
DATEEDTC-1997-CornoPRR #sequence #testing
New static compaction techniques of test sequences for sequential circuits (FC, PP, MR, MSR), pp. 37–43.
DATEEDTC-1997-DufazaZ #generative #on the #pseudo #sequence #testing
On the generation of pseudo-deterministic two-patterns test sequence with LFSRs (CD, YZ), pp. 69–76.
DATEEDTC-1997-KagarisT #automaton #generative #sequence #testing
Cellular automata for generating deterministic test sequences (DK, ST), pp. 77–81.
ICDARICDAR-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.
SIGMODSIGMOD-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.
TACASTACAS-1997-Ben-AbdallahL #detection #process #sequence chart
Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts (HBA, SL), pp. 259–274.
DLTDLT-1997-Cassaigne #sequence
Sequences with grouped factors (JC), pp. 211–222.
ICALPICALP-1997-BassinoBP #sequence
Enumerative Sequences of Leaves in Rational Trees (FB, MPB, DP), pp. 76–86.
ICALPICALP-1997-ErdosSSW #sequence
Constructing Big Trees from Short Sequences (PLE, MAS, LAS, TW), pp. 827–837.
CIKMCIKM-1997-BozkayaYO #sequence
Matching and Indexing Sequences of Different Lengths (TB, NY, ZMÖ), pp. 128–135.
KDDKDD-1997-Ketterlin #clustering #sequence
Clustering Sequences of Complex Objects (AK), pp. 215–218.
SACSAC-1997-Vakhania #parallel
Sequencing jobs with readiness times and tails on parallel machines (NV), pp. 438–446.
DACDAC-1996-MarculescuMP #generative #probability #sequence #synthesis
Stochastic Sequential Machine Synthesis Targeting Constrained Sequence Generation (DM, RM, MP), pp. 696–701.
DACDAC-1996-PomeranzR #on the #sequence #testing
On Static Compaction of Test Sequences for Synchronous Sequential Circuits (IP, SMR), pp. 215–220.
VLDBVLDB-1996-SeshadriLR #database #design #implementation #sequence
The Design and Implementation of a Sequence Database System (PS, ML, RR), pp. 99–110.
TACASTACAS-1996-AlurHP #sequence chart
An Analyser for Mesage Sequence Charts (RA, GJH, DP), pp. 35–48.
WPCWPC-1996-EickW #interactive #sequence chart #visualisation
An Interactive Visualization for Message Sequence Charts (SGE, AW), pp. 2–7.
PLDIPLDI-1996-BaileyD #generative #sequence #source code
Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators (MWB, JWD), pp. 249–257.
CIAAWIA-1996-RavikumarX #implementation #parallel #problem #sequence #source code
Implementing Sequential and Parallel Programs for the Homing Sequence Problem (BR, XX), pp. 120–131.
CIKMCIKM-1996-LinRSB #sequence
Indexing Values of Time Sequences (LL, TR, MS, DZB), pp. 223–232.
ICPRICPR-1996-AleksandrovskyWGLG #algorithm #sequence
An algorithm derived from thalamocortical circuitry stores and retrieves temporal sequences (BA, JW, AG, GL, RG), pp. 550–554.
ICPRICPR-1996-ChenLC #analysis #classification #sequence #using
Handwritten Chinese character analysis and preclassification using stroke structural sequence (ZC, CWL, RHC), pp. 89–93.
ICPRICPR-1996-CuiW #recognition #segmentation
View-based hand segmentation and hand-sequence recognition with complex backgrounds (YC, J(W), pp. 617–621.
ICPRICPR-1996-Floreby #algorithm #image #multi #sequence
A multiscale algorithm for closed contour matching in image sequence (LF), pp. 884–888.
ICPRICPR-1996-Gonzalez #2d #image #parametricity #sequence
Recovering motion parameters from a 2D range image sequence (JG), pp. 433–440.
ICPRICPR-1996-HaddonB #image #sequence
Spatio-temporal relaxation labelling applied to segmented infrared image sequences (JFH, JFB), pp. 171–175.
ICPRICPR-1996-LabonteDC #representation #sequence
A compact representation for stereoscopic sequences with NTSC spectral compatibility (FL, CTLD, PC), pp. 646–650.
ICPRICPR-1996-OrwellBH #sequence
Ego motion from near-degenerate sequences (JO, JFB, JFH), pp. 412–416.
ICPRICPR-1996-PatrasAT #estimation #image #sequence
Joint disparity and motion field estimation in stereoscopic image sequences (IP, NA, GT), pp. 359–363.
ICPRICPR-1996-Sparr #image #re-engineering #sequence
Simultaneous reconstruction of scene structure and camera locations from uncalibrated image sequences (GS), pp. 328–333.
ICPRICPR-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.
ICPRICPR-1996-YamadaT #sequence
Elastic edge sequence matching method for global extraction and local tracking of echocardiogram (HY, KT), pp. 637–641.
KDDKDD-1996-HofackerHSS #information management #product line #scalability #sequence #using
Knowledge Discovery in RNA Sequence Families of HIV Using Scalable Computers (ILH, MAH, PFS, PES), pp. 20–25.
SEKESEKE-1996-HsiaLK #approach #sequence #testing
An Early Warning Approach for Method Sequence Testing (PH, XL, DCK), pp. 330–337.
ISSTAISSTA-1996-HowdenS #analysis #linear #sequence
Linear and Structural Event Sequence Analysis (WEH, GMS), pp. 98–106.
ASEKBSE-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.
PODSPODS-1995-MeccaB #datalog #sequence #transducer
Sequences, Datalog and Transducers (GM, AJB), pp. 23–35.
DLTDLT-1995-Bercoff #product line #sequence
A Family of p-Uniform Tag Systems for p-Paperfolding Sequences (CB), pp. 3–12.
DLTDLT-1995-Cassaigne #complexity #linear #sequence
Special Factors of Sequences with Linear Subword Complexity (JC), pp. 25–34.
DLTDLT-1995-Mitrana #self #sequence
Binary Self-Adding Sequences (VM), pp. 64–70.
ICALPICALP-1995-FennerLM #sequence
Weakly Useful Sequences (SAF, JHL, EM), pp. 393–404.
KDDKDD-1995-MannilaTV #sequence
Discovering Frequent Episodes in Sequences (HM, HT, AIV), pp. 210–215.
KDDKDD-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+SDFASF+SDF-1995-MauwMa #sequence chart #specification #tool support
Specification of Tools for Message Sequence Charts (SM, EAvdM), pp. 175–210.
PPoPPPPoPP-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.
PPoPPPPoPP-1995-SubhlokV #parallel #sequence
Optimal Mapping of Sequences of Data Parallel Tasks (JS, GV), pp. 134–143.
DACDAC-1994-AloqeelyC #algorithm #synthesis
Sequencer-Based Data Path Synthesis of Regular Iterative Algorithms (MA, CYRC), pp. 155–160.
SIGMODSIGMOD-1994-SeshadriLR #query #sequence
Sequence Query Processing (PS, ML, RR), pp. 430–441.
CSEETCSEE-1994-BoardmanM #experience #re-engineering #sequence
A Two-Semester Undergraduate Sequence in Software Engineering: Architecutre & Experience (DBB, APM), pp. 5–22.
STOCSTOC-1994-JiangLW #approximate #complexity #sequence
Aligning sequences via an evolutionary tree: complexity and approximation (TJ, ELL, LW), pp. 760–769.
SACSAC-1994-ChaudhuriD #generative #linear #sequence
A note on generating a worst case sequence for Quicksort in linear time (RC, ACD), pp. 566–567.
DACDAC-1993-RhoSP #finite #sequence #state machine
Minimum Length Synchronizing Sequences of Finite State Machine (JKR, FS, CP), pp. 463–468.
DLTDLT-1993-Lepisto #sequence
Repetitions in Kolakoski Sequence (AL), pp. 130–143.
FMFME-1993-DickF #automation #generative #modelling #specification #testing
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications (JD, AF), pp. 268–284.
HCIHCI-ACS-1993-InoueN #case study #recognition #sequence
A Case Study of Plan Recognition: Command Sequences as Acts (YI, MN), pp. 392–397.
PPDPPLILP-1993-Rosendahl #higher-order #sequence
Higher-Order Chaotic Iteration Sequences (MR), pp. 332–345.
SACSAC-1993-GuuS #performance #search-based #sequence
An Efficient Storage Scheme for Aligned Genetic Sequences (YWG, SS), pp. 139–146.
ICTSSIWPTS-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.
DACDAC-1992-PixleyJH #diagrams #sequence
Exact Calculation of Synchronization Sequences Based on Binary Decision Diagrams (CP, SWJ, GDH), pp. 620–623.
PODSPODS-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.
ICTSSIWPTS-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.
ICLPJICSLP-1992-Overbeek #analysis #logic programming #search-based #sequence #tutorial
Logic Programming and Genetic Sequence Analysis: a Tutorial (RAO), pp. 32–34.
DACDAC-1991-Utesch #adaptation #approach #interactive #using
A New Approach to Hierarchical Adaptation Using Sequence-Control Based on Cell Interactions (MCU), pp. 723–726.
ICMLML-1991-YamanishiK #learning #probability #search-based #sequence
Learning Stochastic Motifs from Genetic Sequences (KY, AK), pp. 467–471.
STOCSTOC-1990-SundarT #sequence #set
Unique Binary Search Tree Representations and Equality-testing of Sets and Sequences (RS, RET), pp. 18–25.
ICGTGG-1990-Boer90a #sequence
Construction of Map OL-Systems for Developmental Sequences of Plant Cell Layers (MJMdB), pp. 127–143.
CSCWCSCW-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.
STOCSTOC-1989-BabaiNS #multi #protocol #pseudo #sequence
Multiparty Protocols and Logspace-hard Pseudorandom Sequences (Extended Abstract) (LB, NN, MS), pp. 1–11.
STOCSTOC-1989-BorodinRT #bound #sequence #traversal
Lower Bounds on the Length of Universal Traversal Sequences (Detailed Abstract) (AB, WLR, MT), pp. 562–573.
STOCSTOC-1989-RivestS #automaton #finite #sequence #using
Inference of Finite Automata Using Homing Sequences (Extended Abstract) (RLR, RES), pp. 411–420.
ISSTATAV-1989-OlenderO #constraints #named
Cesar: A Static Sequencing Constraint Analyzer (KMO, LJO), pp. 66–74.
STOCSTOC-1988-Istrail #polynomial #sequence #traversal
Polynomial Universal Traversing Sequences for Cycles Are Constructible (Extended Abstract) (SI), pp. 491–503.
ICALPICALP-1988-Eppstein #automaton #design #finite #sequence
Reset Sequences for Finite Automata with Application to Design of Parts Orienters (DE), pp. 230–238.
DACDAC-1986-Maly #order #sequence #testing
Optimal order of the VLSI IC testing sequence (WM), pp. 560–566.
AdaCRAI-1986-LuckhamHMBH #ada #distributed #specification
Task Sequencing Languages for Specifying Distributed Ada Systems (DCL, DPH, SM, DLB, MAH), pp. 249–305.
ICLPICLP-1986-MannilaU86 #complexity #on the #sequence #unification
On the Complexity of Unification Sequences (HM, EU), pp. 122–133.
DACDAC-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.
STOCSTOC-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.
SIGIRSIGIR-1985-Lowden #approach #multi #retrieval
An Approach to Multikey Sequencing in an Equiprobable Keyterm Retrieval Situation (BGTL), pp. 92–96.
VLDBVLDB-1984-BennR #analysis #image #relational #retrieval #sequence
Retrieval of Relational Structures for Image Sequence Analysis (WB, BR), pp. 533–536.
ICALPICALP-1984-AbiteboulG #sequence #tuple
Tuple Sequences and Indexes (SA, SG), pp. 41–50.
ICALPICALP-1984-Jerrum #complexity #generative #sequence
The Complexity of Finding Minimum-Length Generator Sequences (Extended Abstract) (MJ), pp. 270–280.
LISPLFP-1984-Bellegarde #sequence #term rewriting
Rewriting Systems on FP Expressions that Reduce the Number of Sequences They Yield (FB), pp. 63–73.
CADECADE-1982-HenschenN #database #first-order #infinity #recursion #representation #sequence
Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases (LJH, SAN), pp. 342–359.
STOCSTOC-1981-CulikH #decidability #equivalence #problem
The ω-Sequence Equivalence Problem for DOL Systems Is Decidable (KCI, TH), pp. 1–6.
ICALPICALP-1981-Shamir #encryption #generative #on the #pseudo #sequence
On the Generation of Cryptographically Strong Pseudo-Random Sequences (AS), pp. 544–550.
SOSPSOSP-1981-HerbertN #network
Sequencing Computation Steps in a Network (AJH, RMN), pp. 59–63.
STOCSTOC-1979-FlajoletFV #sequence
Computing Integrated Costs of Sequences of Operations with Application to Dictionaries (PF, JF, JV), pp. 49–61.
SIGMODSIGMOD-1978-NationsS #program analysis #sequence
Some DML Instruction Sequences for Application Program Analysis and Conversion (JN, SYWS), pp. 120–131.
ICALPICALP-1978-Mignotte #effectiveness #linear #recursion #sequence
Some Effective Results About Linear Recursive Sequences (MM), pp. 322–329.
ICSEICSE-1978-Jackson #information management #modelling
Information Systems: Modelling, Sequencing and Transformations (MJ), pp. 72–81.
ICALPICALP-1977-CulikF #decidability #equivalence #problem #sequence
The Sequence Equivalence Problem for D0L Systems is Decidable (KCI, IF), pp. 148–163.
SOSPSOSP-1977-ReedK
Synchronization with Eventcounts and Sequencers (Extended Abstract) (DPR, RKK), p. 91.
DACDAC-1975-Case #evaluation #sequence #statistics #testing
A statistical method for test sequence evaluation (GRC), pp. 257–260.

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