BibSLEIGH — interv stem

Used together with:

base (33)
logic (30)
time (29)
tempor (22)
system (19)

Stem interv$ (all stems)

195 papers:

CASE-2015-HuangCZ #modelling: Interval model based human welder’s movement control in machine assisted manual GTAW torch operation (NH, SC, YZ), pp. 395–400.
DLT-2015-MasakovaPS #word: Interval Exchange Words and the Question of Hof, Knill, and Simon (ZM, EP, SS), pp. 377–388.
ICALP-v1-2015-Cao #editing #parametricity: Unit Interval Editing is Fixed-Parameter Tractable (YC), pp. 306–317.
DHM-HM-2015-WangTTTGH #analysis #process: Motion Analysis of Interval Time During “Kana-ami” Making Process (ZW, KiT, TT, YT, AG, HH), pp. 201–211.
ICEIS-v1-2015-MeisenKMRJ #named #online #query: TIDAQL — A Query Language Enabling on-Line Analytical Processing of Time Interval Data (PM, DK, TM, MR, SJ), pp. 54–66.
ICML-2015-SerrurierP #evaluation #learning: Entropy evaluation based on confidence intervals of frequency estimates : Application to the learning of decision trees (MS, HP), pp. 1576–1584.
SIGIR-2015-KostakisG #sequence: Subsequence Search in Event-Interval Sequences (OK, AG), pp. 851–854.
CSL-2015-MolinariMP #logic #model checking: A Model Checking Procedure for Interval Temporal Logics based on Track Representatives (AM, AM, AP), pp. 193–210.
DATE-2014-FrijnsASVGSC #analysis #graph: Timing analysis of First-Come First-Served scheduled interval-timed Directed Acyclic Graphs (RF, SA, SS, JV, MCWG, RRHS, HC), pp. 1–6.
DATE-2014-SongDY #analysis #bound #multi #order #parametricity #performance #reduction: Zonotope-based nonlinear model order reduction for fast performance bound analysis of analog circuits with multiple-interval-valued parameter variations (YS, SMPD, HY), pp. 1–6.
SIGMOD-2014-DignosBG: Overlap interval partition join (AD, MHB, JG), pp. 1459–1470.
VLDB-2014-ChaPSKRL: Interval Disaggregate: A New Operator for Business Planning (SKC, KP, CS, KK, CR, SL), pp. 1381–1392.
ICALP-v1-2014-KrawczykW #game studies #graph #online: Coloring Relatives of Interval Overlap Graphs via On-line Games (TK, BW), pp. 738–750.
LATA-2014-KlaudelKD #algebra #logic #semantics: Interval Temporal Logic Semantics of Box Algebra (HK, MK, ZD), pp. 441–452.
FM-2014-SanatiMM #decidability #guidelines #logic #metric #using: Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic (MYS, WM, TSEM), pp. 611–626.
CIKM-2014-GuptaB #identification #query: Identifying Time Intervals of Interest to Queries (DG, KB), pp. 1835–1838.
CIKM-2014-LiZZW #keyword #named #performance: INK: A Cloud-Based System for Efficient Top-k Interval Keyword Search (RL, XZ, XZ, SW), pp. 2003–2005.
KR-2014-BoothAR: Interval Methods for Judgment Aggregation in Argumentation (RB, EA, IR).
MLDM-2014-UtkinZC #classification #data-driven #database #robust: A Robust One-Class Classification Model with Interval-Valued Data Based on Belief Functions and Minimax Strategy (LVU, YAZ, AIC), pp. 107–118.
ICLP-J-2014-SaadFG #constraints #reasoning #reliability: The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information (AS, TWF, CG), pp. 461–475.
IJCAR-2014-EhlersL #approximate #finite #incremental #logic #satisfiability: A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic (RE, ML), pp. 360–366.
TACAS-2013-BenediktLW #ltl #markov #model checking: LTL Model Checking of Interval Markov Chains (MB, RL, JW), pp. 32–46.
ICALP-v2-2013-GanianHKOST #graph #model checking: FO Model Checking of Interval Graphs (RG, PH, DK, JO, JS, JT), pp. 250–262.
LATA-2013-MontanariS #logic #regular expression: Interval Logics and ωB-Regular Languages (AM, PS), pp. 431–443.
CHI-2013-MonroeLOSPM #approach #challenge #query #specification #visual notation: The challenges of specifying intervals and absences in temporal queries: a graphical language approach (MM, RL, JMdO, BS, CP, JM), pp. 2349–2358.
ICML-c3-2013-HockingRVB #detection #learning #using: Learning Sparse Penalties for Change-point Detection using Max Margin Interval Regression (TH, GR, JPV, FRB), pp. 172–180.
KDD-2013-TabeiKKY #constraints #scalability #similarity: Succinct interval-splitting tree for scalable similarity search of compound-protein pairs with property constraints (YT, AK, MK, YY), pp. 176–184.
CADE-2013-LoupSCAB #algebra #composition #constraints: A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition (UL, KS, FC, EÁ, BB), pp. 193–207.
LICS-2013-MontanariS #complexity #equivalence #logic: Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness (AM, PS), pp. 193–202.
CASE-2012-DongNL #industrial #modelling: A new ELM based on interval-value for modeling in industry systems (MD, KN, ML), pp. 869–873.
CASE-2012-Kim #analysis #fuzzy #robust: Robust stability analysis of T-S fuzzy systems with interval time-varying delays via a relaxation technique (SHK), pp. 829–832.
ICALP-v1-2012-EmekHR: Space-Constrained Interval Selection (YE, MMH, AR), pp. 302–313.
CHI-2012-MoncurBKT: From death to final disposition: roles of technology in the post-mortem interval (WM, JB, EK, JT), pp. 531–540.
KDD-2012-TangLS #dependence: Discovering lag intervals for temporal dependencies (LT, TL, LS), pp. 633–641.
SIGIR-2012-ZhaoLHC: Increasing temporal diversity with purchase intervals (GZ, MLL, WH, WC), pp. 165–174.
ICST-2012-BorgesdABP #execution #metaheuristic #symbolic computation: Symbolic Execution with Interval Solving and Meta-heuristic Search (MB, Md, SA, DHB, CSP), pp. 111–120.
CASE-2011-GaoLZZWQ: Fire evacuation model with confidence intervals (YG, PBL, QZ, HZ, NW, LQ), pp. 731–736.
DAC-2011-NguyenWSK #abstraction #hardware: Formal hardware/software co-verification by interval property checking with abstraction (MDN, MW, DS, WK), pp. 510–515.
DATE-2011-BaiDDC #network #program transformation #programming #runtime: Simplified programming of faulty sensor networks via code transformation and run-time interval computation (LSB, RPD, PAD, PHC), pp. 88–93.
ICALP-v1-2011-Nonner #clique #clustering #graph: Clique Clustering Yields a PTAS for max-Coloring Interval Graphs (TN), pp. 183–194.
LATA-2011-DelahayeLLPW #markov #problem: Decision Problems for Interval Markov Chains (BD, KGL, AL, MLP, AW), pp. 274–285.
LATA-2011-Quaas #automaton #bound #on the #problem: On the Interval-Bound Problem for Weighted Timed Automata (KQ), pp. 452–464.
CIKM-2011-PimentelCS #clustering #data-driven #database #kernel #metric: A partitioning method for symbolic interval data based on kernelized metric (BAP, AFBFdC, RMCRdS), pp. 2189–2192.
KDD-2011-TorgoO #2d #predict: 2D-interval predictions for time series (LT, OO), pp. 787–794.
SAC-2011-FontugneF #adaptation #detection: A Hough-transform-based anomaly detector with an adaptive time interval (RF, KF), pp. 471–477.
LICS-2011-BresolinMSS #decidability #logic #what: What’s Decidable about Halpern and Shoham’s Interval Logic? The Maximal Fragment ABBL (DB, AM, PS, GS), pp. 387–396.
SAS-2010-BrauerK #abstraction #automation #using: Automatic Abstraction for Intervals Using Boolean Formulae (JB, AK), pp. 167–183.
SAS-2010-Chapoutot #abstract domain #float: Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables (AC), pp. 184–200.
ICALP-v1-2010-JimenezM #sorting: Interval Sorting (RMJ, CM), pp. 238–249.
ICALP-v1-2010-KoblerKLV #canonical #graph #representation: Interval Graphs: Canonical Representation in Logspace (JK, SK, BL, OV), pp. 384–395.
ICALP-v2-2010-MontanariPS #decidability #logic: Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals (AM, GP, PS), pp. 345–356.
LATA-2010-GiampaoloTN #logic #metric #parametricity: Parametric Metric Interval Temporal Logic (BDG, SLT, MN), pp. 249–260.
CIKM-2010-ChenJPL #algorithm #database #mining #performance #scalability: An efficient algorithm for mining time interval-based patterns in large database (YCC, JCJ, WCP, SYL), pp. 49–58.
ICPR-2010-GuoMR #database #performance #recognition #scalability #using: Cross-Age Face Recognition on a Very Large Database: The Performance versus Age Intervals and Improvement Using Soft Biometric Traits (GG, GM, KR), pp. 3392–3395.
KDD-2010-LiuZ #learning: Learning with cost intervals (XYL, ZHZ), pp. 403–412.
SAC-2010-TeixeiraFP #approach #distributed: Distributed discrimination of media moments and media intervals: a Watch-and-Comment approach (CACT, GBF, MdGCP), pp. 1929–1935.
HPCA-2010-GenbruggeEE #abstraction #architecture #simulation: Interval simulation: Raising the level of abstraction in architectural simulation (DG, SE, LE), pp. 1–12.
HPDC-2010-JonesDD #clustering #performance: Impact of sub-optimal checkpoint intervals on application efficiency in computational clusters (WMJ, JTD, ND), pp. 276–279.
LICS-2010-Laubner #graph #polynomial: Capturing Polynomial Time on Interval Graphs (BL), pp. 199–208.
VMCAI-2010-ChenMWC #abstract domain #linear: An Abstract Domain to Discover Interval Linear Equalities (LC, AM, JW, PC), pp. 112–128.
ESOP-2009-CraciunCHQ #parametricity: An Interval-Based Inference of Variant Parametric Types (FC, WNC, GH, SQ), pp. 112–127.
TACAS-2009-NaumovichBG #bound #named #performance #petri net: ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets (EPN, SB, MG), pp. 50–53.
SAS-2009-ChenMWC #abstract domain #linear: Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships (LC, AM, JW, PC), pp. 309–325.
SEFM-2009-BresolinGMS #constraints #integer #logic: Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths (DB, VG, AM, GS), pp. 240–249.
CHI-2009-RaoHNJ #recommendation: My Dating Site Thinks I’m a Loser: effects of personal photos and presentation intervals on perceptions of recommender systems (SR, TH, CN, NJ), pp. 221–224.
QAPL-2009-MuC #abstraction #data flow: An Interval-based Abstraction for Quantifying Information Flow (CM, DC), pp. 119–141.
SAC-2009-ChenR #adaptation #quality #realtime: Adaptive optimal checkpoint interval and its impact on system’s overall quality in soft real-time applications (NC, SR), pp. 1015–1020.
SIGMOD-2008-PatelHL #classification #mining: Mining relationships among interval-based events for classification (DP, WH, MLL), pp. 393–404.
FoSSaCS-2008-ChatterjeeSH #markov #model checking: Model-Checking ω-Regular Properties of Interval Markov Chains (KC, KS, TAH), pp. 302–317.
FM-2008-GawlitzaS #analysis #game studies #precise: Precise Interval Analysis vs. Parity Games (TG, HS), pp. 342–357.
ICPR-2008-KashimaYIS: Regression with interval output values (HK, KY, AI, HS), pp. 1–4.
ICPR-2008-RyooA #fuzzy #nondeterminism #process #using: Human activities: Handling uncertainties using fuzzy time intervals (MSR, JKA), pp. 1–5.
SAC-2008-Denner-Broser #algorithm #analysis #problem #using: An algorithm for the tracing problem using interval analysis (BDB), pp. 1832–1837.
SAC-2008-RochaO #scheduling: Strategies for QoS improvement on the time-interval scheduling (FRdlR, RSdO), pp. 320–321.
ICSE-2008-ChenDS #calculus #verification: A verification system for timed interval calculus (CC, JSD, JS), pp. 271–280.
ICSE-2008-MockusW #process #quality: Interval quality: relating customer-perceived quality to process quality (AM, DMW), pp. 723–732.
CSL-2008-HodkinsonMS #axiom #logic: Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T (IMH, AM, GS), pp. 308–322.
ICLP-2008-Montanari #logic: Back to Interval Temporal Logics (AM), pp. 11–13.
DATE-2007-CucuG #multi #scheduling: Feasibility intervals for multiprocessor fixed-priority scheduling of arbitrary deadline periodic systems (LC, JG), pp. 1635–1640.
TACAS-2007-FranzleH #logic: Deciding an Interval Logic with Accumulated Durations (MF, MRH), pp. 201–215.
STOC-2007-HeggernesPTV: Interval completion with few edges (PH, CP, JAT, YV), pp. 374–381.
ICEIS-AIDSS-2007-AlevizosKPSB #fuzzy #information retrieval #multi: Fuzzy Interval Number (FIN) Techniques for Multilingual and Cross Language Information Retrieval (TA, VGK, SEP, CS, PB), pp. 348–355.
SAC-2007-KimmSS #algorithm #evaluation #linux #mobile #scalability: Evaluation of interval-based dynamic voltage scaling algorithms on mobile Linux system (HK, SYS, COS), pp. 1141–1145.
DAC-2006-SingheeFMR #probability #statistics #tool support #towards: Probabilistic interval-valued computation: toward a practical surrogate for statistics inside CAD tools (AS, CFF, JDM, RAR), pp. 167–172.
ICEIS-AIDSS-2006-MarinagiAKS #fuzzy #information retrieval: Fuzzy Interval Number (FIN) Techniques for Cross Language Information Retrieval (CM, TA, VGK, CS), pp. 249–256.
ICEIS-AIDSS-2006-RosaGPSMLP #traceability: Frequency Calibrations with Conventional Time Interval Counters via GPS Traceability (JJGdlR, ILG, CGP, JMGS, AMM, MLR, VP), pp. 189–201.
SAC-2006-DantsinWK #algorithm #constraints #problem #quantum #towards: Quantum versions of k-CSP algorithms: a first step towards quantum algorithms for interval-related constraint satisfaction problems (ED, AW, VK), pp. 1640–1644.
SAC-2006-GraillatL #pseudo #set: Pseudozero set of interval polynomials (SG, PL), pp. 1655–1659.
SAC-2006-OrshanskyWCX #analysis #robust #statistics: Interval-based robust statistical techniques for non-negative convex functions, with application to timing analysis of computer chips (MO, WSW, MC, GX), pp. 1645–1649.
SAC-2006-TsvetinovUC #ranking: Dominance and ranking issues applying interval techniques in pre-negotiations for services (PET, AU, TC), pp. 887–888.
CAV-2006-RosuB #linear #logic #ltl #monitoring #synthesis: Allen Linear (Interval) Temporal Logic — Translation to LTL and Monitor Synthesis (GR, SB), pp. 263–277.
VLDB-2005-EnderleSS #database #query #relational #tuple: Efficiently Processing Queries on Interval-and-Value Tuples in Relational Databases (JE, NS, TS), pp. 385–396.
TACAS-2005-SharmaPC #bound #logic: Bounded Validity Checking of Interval Duration Logic (BS, PKP, SC), pp. 301–316.
CIAA-2005-Shcherbak #automaton #rank: The Interval Rank of Monotonic Automata (TS), pp. 273–281.
ICALP-2005-EpsteinL #online: Online Interval Coloring and Variants (LE, ML), pp. 602–613.
ICML-2005-StrehlL #analysis #estimation #modelling: A theoretical analysis of Model-Based Interval Estimation (ALS, MLL), pp. 856–863.
SAC-2005-ChabertTN #consistency #constraints #problem: Box-set consistency for interval-based constraint problems (GC, GT, BN), pp. 1439–1443.
SAC-2005-DuanHW #detection #network: Enhancing network intrusion detection systems with interval methods (QD, CH, HCW), pp. 1444–1448.
SAC-2005-Goualard #algorithm #constraints #on the #theorem proving: On considering an interval constraint solving algorithm as a free-steering nonlinear Gauss-Seidel procedure (FG), pp. 1434–1438.
SAC-2005-KoshelevaKMN #matrix #np-hard: Computing the cube of an interval matrix is NP-Hard (OK, VK, GM, HTN), pp. 1449–1453.
SOSP-2005-EggertT #scheduling: Idletime scheduling with preemption intervals (LE, JDT), pp. 249–262.
SIGMOD-2004-EnderleHS #database #relational: Joining Interval Data in Relational Databases (JE, MH, TS), pp. 683–694.
TACAS-2004-SuW #analysis #constraints: A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings (ZS, DW), pp. 280–295.
CIKM-2004-WuCY #performance #query: Interval query indexing for efficient stream processing (KLW, SKC, PSY), pp. 88–97.
ICPR-v3-2004-BolleRP #estimation #evaluation #fault: An Evaluation of Error Confidence Interval Estimation Methods (RMB, NKR, SP), pp. 103–106.
KR-2004-CondottaL #axiom #calculus: Axiomatizing the Cyclic Interval Calculus (JFC, GL), pp. 95–105.
SAC-2004-RodriguezA: Interval and dynamic time warping-based decision trees (JJR, CJA), pp. 548–552.
VMCAI-2004-YuX: Checking Interval Based Properties for Reactive Systems (YP, QX), pp. 122–134.
DAC-2003-JersakE #analysis #dependence #multi #scheduling: Enabling scheduling analysis of heterogeneous systems with multi-rate data dependencies and rate intervals (MJ, RE), pp. 454–459.
SIGMOD-2003-DeHaanTCO #encoding #sql #using #xquery: A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding (DD, DT, MPC, MTÖ), pp. 623–634.
ICEIS-v2-2003-HogoLS #clustering #network #using: Conventional Versus Interval Clustering Using Kohonen Networks (MH, PL, MS), pp. 250–257.
SAC-2003-Lin #mining: Mining Maximal Frequent Intervals (JLL), pp. 426–431.
CAV-2003-ChakravortyP #logic: Digitizing Interval Duration Logic (GC, PKP), pp. 167–179.
DAC-2002-WohlWPM #effectiveness: Effective diagnostics through interval unloads in a BIST environment (PW, JAW, SP, GAM), pp. 249–254.
DAC-2002-YangP #component #multi #simulation #using: Time-domain steady-state simulation of frequency-dependent components using multi-interval Chebyshev method (BY, JRP), pp. 504–509.
DATE-2002-LiuCG #identification: An Interval-Based Diagnosis Scheme for Identifying Failing Vectors in a Scan-BIST Environment (CL, KC, MG), pp. 382–386.
CAiSE-2002-LiWWJ: Auditing Interval-Based Inference (YL, LW, XSW, SJ), pp. 553–567.
ICML-2002-DeCoste #classification #distance #geometry #kernel #performance: Anytime Interval-Valued Outputs for Kernel Machines: Fast Support Vector Machine Classification via Distance Geometry (DD), pp. 99–106.
SEKE-2002-JorgensenM #development #how #predict #question #why: Combination of software development effort prediction intervals: why, when and how? (MJ, KM), pp. 425–428.
PPDP-2002-BlancE: A generic operator over discrete time intervals (JB, RE), pp. 145–155.
ICSE-2002-Padberg #empirical #fault: Empirical interval estimates for the defect content after an inspection (FP), pp. 58–68.
VLDB-2001-PapadiasT #named #query: MV3R-Tree: A Spatio-Temporal Access Method for Timestamp and Interval Queries (YT, DP), pp. 431–440.
ICALP-2001-FerencziHZ #combinator: Combinatorics of Three-Interval Exchanges (SF, CH, LQZ), pp. 567–578.
ICALP-2001-HemaspaandraKW #complexity: The Complexity of Computing the Size of an Interval (LAH, SK, KWW), pp. 1040–1051.
LCTES-OM-2001-ZiegenbeinWRJE #analysis #process: Interval-Based Analysis of Software Processes (DZ, FW, KR, MJ, RE), pp. 94–101.
CSL-2001-Rasmussen #deduction #logic: Labelled Natural Deduction for Interval Logics (TMR), pp. 308–323.
LICS-2001-EscardoS: A Universal Characterization of the Closed Euclidean Interval (MHE, AKS), pp. 115–125.
DAC-2000-YangP #multi #performance #simulation: A multi-interval Chebyshev collocation method for efficient high-accuracy RF circuit simulation (BY, JRP), pp. 178–183.
VLDB-2000-KriegelPS #database: Managing Intervals Efficiently in Object-Relational Databases (HPK, MP, TS), pp. 407–418.
STOC-2000-Boneh #integer #using: Finding smooth integers in short intervals using CRT decoding (DB), pp. 265–272.
ICALP-2000-Moszkowski #logic #proving: An Automata-Theoretic Completeness Proof for Interval Temporal Logic (BCM), pp. 223–234.
KR-2000-BalbianiO #reasoning: A Model for Reasoning about Topologic Relations between cyclic intervals (PB, AO), pp. 378–385.
KR-2000-Condotta #network: The Augmented Interval and Rectangle Networks (JFC), pp. 571–579.
PADL-2000-Hickey #constraints #named #theorem proving: CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving (TJH), pp. 200–214.
POPL-2000-Hickey #constraints #theorem proving: Analytic Constraint Solving and Interval Arithmetic (TJH), pp. 338–351.
CL-2000-HahnleHS #constraints #finite #generative #proving #theorem proving: Moder Generation Theorem Proving with Finite Interval Constraints (RH, RH, YS), pp. 285–299.
LICS-2000-Moszkowski #axiom #infinity #logic: A Complete Axiomatization of Interval Temporal Logic with Infinite Time (BCM), pp. 241–252.
DATE-1999-DhanwadaNV #constraints #synthesis #using: Hierarchical Constraint Transformation Using Directed Interval Search for Analog System Synthesis (NRD, ANA, RV), p. 328–?.
DATE-1999-StrehlT #diagrams #model checking #petri net: Interval Diagram Techniques for Symbolic Model Checking of Petri Nets (KS, LT), pp. 756–757.
FLOPS-1999-FernandezH #constraints #framework #theorem proving: An Interval Lattice-Based Constraint Solving Framework for Lattices (AJF, PMH), pp. 194–208.
CIKM-1999-KangSLL: Indexing field values in field oriented systems: interval Quadtree (MAK, SS, KJL, RL), pp. 335–342.
SAC-1999-Al-OmariM #fault tolerance #using: Fault-Tolerant Routing in Hypercubes Using Masked Interval Routing Scheme (MAO, MM), pp. 481–485.
CSL-1999-Rasmussen #logic: Signed Interval Logic (TMR), pp. 157–171.
ICALP-1998-CiceroneSF: Static and Dynamic Low-Congested Interval Routing Schemes (SC, GDS, MF), pp. 592–603.
KDD-1998-WangTL: Interestingness-Based Interval Merger for Numeric Association Rules (KW, SHWT, BL), pp. 121–128.
KR-1998-HaH #geometry: Geometric Foundations for Interval-Based Probabilities (VAH, PH), pp. 582–593.
EDTC-1997-WalrathVB #analysis #partial evaluation #performance #using #verification: Performance verification using partial evaluation and interval analysis (JW, RV, WB), p. 622.
ICDAR-1997-Horiuchi #classification: Pattern Classification Method by Integrating Interval Feature Values (TH), pp. 847–850.
SIGMOD-1997-YangM: Association Rules over Interval Data (RJM, YY), pp. 452–461.
ICALP-1997-Weihrauch #metric #probability #set: Computability on the Probability Measures on the Borel Sets of the Unit Interval (KW), pp. 166–176.
CHI-1997-PinhanezMB #design #interactive #paradigm: Interval Scripts: a Design Paradigm for Story-Based Interactive Systems (CSP, KM, AFB), pp. 287–294.
CAiSE-1997-TagashiraAAK #concept #representation: Interval-Based Representation of Spatio-Temporal Concepts (TT, TA, MA, YK), pp. 231–244.
CIKM-1997-NakayamaYK #constraints #regular expression: I-Regular Expression: Regular Expression with Continuous Interval Constraints (KN, KY, SK), pp. 40–50.
KDD-1997-ZighedRF #learning #multi: Optimal Multiple Intervals Discretization of Continuous Attributes for Supervised Learning (DAZ, RR, FF), pp. 295–298.
SAC-1997-WeiqiY #multi: Spatial index based on multiple interval segments (XW, YF), pp. 152–154.
ICSE-1997-PorterSV #comprehension #developer #process: Understanding the Effects of Developer Activities on Inspection Interval (AAP, HPS, LGV), pp. 128–138.
PODS-1996-Toman #database #query: Point vs. Interval-based Query Languages for Temporal Databases (DT), pp. 58–67.
KR-1996-JonssonDB #algebra #classification #subclass: Tractable Subclasses of the Point-Interval Algebra: A Complete Classification (PJ, TD, CB), pp. 352–363.
CAV-1996-CamposG #analysis #model checking #verification: Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System (SVAC, OG), pp. 257–268.
CAV-1996-MoserMRKD #logic #realtime #tool support #visual notation: The Real-Time Graphical Interval Logic Toolset (LEM, PMMS, YSR, GK, LKD), pp. 446–449.
JICSLP-1996-CaseauL #cumulative #scheduling: Cumulative Scheduling with Task Intervals (YC, FL), pp. 363–377.
JICSLP-1996-LhommeGRT #algorithm: Boosting the Interval Narrowing Algorithm (OL, AG, MR, PT), pp. 378–392.
DAC-1995-ChouB #embedded #fine-grained #scheduling: Interval Scheduling: Fine-Grained Code Scheduling for Embedded Systems (PHC, GB), pp. 462–467.
ICDAR-v1-1995-Yamada #recognition: Optimal sampling intervals for Gabor features and printed Japanese character recognition (KY), pp. 150–153.
ICALP-1995-BodlaenderF #graph: Intervalizing k-Colored Graphs (HLB, BdF), pp. 87–98.
ICLP-1995-ChiuL #constraints #linear #theorem proving #using: Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method (CKC, JHML), pp. 17–31.
LICS-1995-Dutertre #first-order #logic #proving: Complete Proof Systems for First Order Interval Temporal Logic (BD), pp. 36–43.
DAC-1994-JunH #automation #pipes and filters #synthesis: Automatic Synthesis of Pipeline Structures with Variable Data Initiation Intervals (HSJ, SYH), pp. 537–541.
ICLP-1994-CaseauL #scheduling: Improved CLP Scheduling with Task Intervals (YC, FL), pp. 369–383.
ILPS-1994-BenhamouMH #revisited: CLP(Intervals) Revisited (FB, DAM, PVH), pp. 124–138.
ILPS-1994-ChiuL #constraints #logic programming #theorem proving #towards: Towards Practical Interval Constraint Solving in Logic Programming (CKC, JHML), pp. 109–123.
ICALP-1993-Frederickson: Searching among Intervals and Compact Routing Tables (GNF), pp. 28–39.
CAV-1993-KuttyRMDM #concurrent #logic #tool support #verification #visual notation: A Graphical Interval Logic Toolset for Verifying Concurrent Systems (GK, YSR, LEM, LKD, PMMS), pp. 138–153.
VLDB-1992-AgrawalGIIS #classification #database #mining: An Interval Classifier for Database Mining Applications (RA, SPG, TI, BRI, ANS), pp. 560–573.
CC-1992-HendrenGAM #framework #graph: A Register Allocation Framework Based on Hierarchical Cyclic Interval Graphs (LJH, GRG, ERA, CM), pp. 176–191.
CADE-1992-Bauer #logic #multi: An Interval-based Temporal Logic in a Multivalued Setting (MB), pp. 355–369.
SIGMOD-1991-KolovsonS #multi: Segment Indexes: Dynamic Indexing Techniques for Multi-Dimensional Interval Data (CPK, MS), pp. 138–147.
ICALP-1991-RaviAK #approximate #graph #problem #scheduling: Ordering Problems Approximated: Single-Processor Scheduling and Interval Graph Completion (RR, AA, PNK), pp. 751–762.
KR-1991-DavisC #clustering: Clustering Temporal Intervals To Generate Reference Hierarchies (WSD, JRC), pp. 111–117.
LICS-1990-Lewis #logic: A Logic of Concrete Time Intervals (Extended Abstract) (HRL), pp. 380–389.
TAV-1989-RazoukG #logic #realtime #reasoning #source code: Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs (RRR, MMG), pp. 10–19.
ICALP-1988-Niemi: Maximal Dense Intervals of Grammar Forms (VN), pp. 424–438.
LFP-1988-Martini #bound #modelling #quantifier: Bounded Quantifiers Have Interval Models (SM), pp. 164–173.
CADE-1988-AabyN #logic: Propositional Temporal Interval Logic is PSPACE Complete (AAA, KTN), pp. 218–237.
CSL-1988-Lippert #logic: Interval Temporal Logic and Star-Free Expressions (DL), pp. 187–198.
VLDB-1987-NoeW #concurrent #performance: Measured Performance of Time Interval Concurrency Control Techniques (JDN, DBW), pp. 359–367.
LICS-1986-HalpernS #logic: A Propositional Model Logic of Time Intervals (JYH, YS), pp. 279–292.
POPL-1985-Cartwright: Types as Intervals (RC), pp. 22–36.
VLDB-1984-BoksenbaumCFP #certification #database #distributed: Certification by Intervals of Timestamps in Distributed Database Systems (CB, MC, JF, JFP), pp. 377–387.
VLDB-1984-GinsburgT #query: Interval Queries on Object Histories: Extended Abstract (SG, KT), pp. 208–217.
STOC-1984-FranzblauK #algorithm #generative #independence #set: An Algorithm for Constructing Regions with Rectangles: Independence and Minimum Generating Sets for Collections of Intervals (DSF, DJK), pp. 167–174.
VLDB-1983-IbarakiKM #concept: Disjoint-Interval Topological Sort: A Useful Concept in Serializability Theory (Extended Abstract) (TI, TK, TM), pp. 89–91.
ICALP-1983-HalpernMM #hardware #semantics: A Hardware Semantics Based on Temporal Intervals (JYH, ZM, BCM), pp. 278–291.
SIGMOD-1977-WongE: Interval Hierarchies and Their Application to Predicate Files (Abstract) (KCW, ME), p. 168.
STOC-1975-BoothL #algorithm #graph #linear: Linear Algorithms to Recognize Interval Graphs and Test for the Consecutive Ones Property (KSB, GSL), pp. 255–265.