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:
base (33)
logic (30)
time (29)
tempor (22)
system (19)

Stem interv$ (all stems)

195 papers:

CASECASE-2015-HuangCZ #modelling
Interval model based human welder’s movement control in machine assisted manual GTAW torch operation (NH, SC, YZ), pp. 395–400.
DLTDLT-2015-MasakovaPS #word
Interval Exchange Words and the Question of Hof, Knill, and Simon (ZM, EP, SS), pp. 377–388.
ICALPICALP-v1-2015-Cao #editing #parametricity
Unit Interval Editing is Fixed-Parameter Tractable (YC), pp. 306–317.
HCIDHM-HM-2015-WangTTTGH #analysis #process
Motion Analysis of Interval Time During “Kana-ami” Making Process (ZW, KiT, TT, YT, AG, HH), pp. 201–211.
ICEISICEIS-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.
ICMLICML-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.
SIGIRSIGIR-2015-KostakisG #sequence
Subsequence Search in Event-Interval Sequences (OK, AG), pp. 851–854.
CSLCSL-2015-MolinariMP #logic #model checking
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives (AM, AM, AP), pp. 193–210.
DATEDATE-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.
DATEDATE-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.
SIGMODSIGMOD-2014-DignosBG
Overlap interval partition join (AD, MHB, JG), pp. 1459–1470.
VLDBVLDB-2014-ChaPSKRL
Interval Disaggregate: A New Operator for Business Planning (SKC, KP, CS, KK, CR, SL), pp. 1381–1392.
ICALPICALP-v1-2014-KrawczykW #game studies #graph #online
Coloring Relatives of Interval Overlap Graphs via On-line Games (TK, BW), pp. 738–750.
LATALATA-2014-KlaudelKD #algebra #logic #semantics
Interval Temporal Logic Semantics of Box Algebra (HK, MK, ZD), pp. 441–452.
FMFM-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.
CIKMCIKM-2014-GuptaB #identification #query
Identifying Time Intervals of Interest to Queries (DG, KB), pp. 1835–1838.
CIKMCIKM-2014-LiZZW #keyword #named #performance
INK: A Cloud-Based System for Efficient Top-k Interval Keyword Search (RL, XZ, XZ, SW), pp. 2003–2005.
KRKR-2014-BoothAR
Interval Methods for Judgment Aggregation in Argumentation (RB, EA, IR).
MLDMMLDM-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.
ICLPICLP-J-2014-SaadFG #constraints #reasoning #reliability
The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information (AS, TWF, CG), pp. 461–475.
IJCARIJCAR-2014-EhlersL #approximate #finite #incremental #logic #satisfiability
A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic (RE, ML), pp. 360–366.
TACASTACAS-2013-BenediktLW #ltl #markov #model checking
LTL Model Checking of Interval Markov Chains (MB, RL, JW), pp. 32–46.
ICALPICALP-v2-2013-GanianHKOST #graph #model checking
FO Model Checking of Interval Graphs (RG, PH, DK, JO, JS, JT), pp. 250–262.
LATALATA-2013-MontanariS #logic #regular expression
Interval Logics and ωB-Regular Languages (AM, PS), pp. 431–443.
CHICHI-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.
ICMLICML-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.
KDDKDD-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.
CADECADE-2013-LoupSCAB #algebra #composition #constraints
A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition (UL, KS, FC, , BB), pp. 193–207.
LICSLICS-2013-MontanariS #complexity #equivalence #logic
Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness (AM, PS), pp. 193–202.
CASECASE-2012-DongNL #industrial #modelling
A new ELM based on interval-value for modeling in industry systems (MD, KN, ML), pp. 869–873.
CASECASE-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.
ICALPICALP-v1-2012-EmekHR
Space-Constrained Interval Selection (YE, MMH, AR), pp. 302–313.
CHICHI-2012-MoncurBKT
From death to final disposition: roles of technology in the post-mortem interval (WM, JB, EK, JT), pp. 531–540.
KDDKDD-2012-TangLS #dependence
Discovering lag intervals for temporal dependencies (LT, TL, LS), pp. 633–641.
SIGIRSIGIR-2012-ZhaoLHC
Increasing temporal diversity with purchase intervals (GZ, MLL, WH, WC), pp. 165–174.
ICSTICST-2012-BorgesdABP #execution #metaheuristic #symbolic computation
Symbolic Execution with Interval Solving and Meta-heuristic Search (MB, Md, SA, DHB, CSP), pp. 111–120.
CASECASE-2011-GaoLZZWQ
Fire evacuation model with confidence intervals (YG, PBL, QZ, HZ, NW, LQ), pp. 731–736.
DACDAC-2011-NguyenWSK #abstraction #hardware
Formal hardware/software co-verification by interval property checking with abstraction (MDN, MW, DS, WK), pp. 510–515.
DATEDATE-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.
ICALPICALP-v1-2011-Nonner #clique #clustering #graph
Clique Clustering Yields a PTAS for max-Coloring Interval Graphs (TN), pp. 183–194.
LATALATA-2011-DelahayeLLPW #markov #problem
Decision Problems for Interval Markov Chains (BD, KGL, AL, MLP, AW), pp. 274–285.
LATALATA-2011-Quaas #automaton #bound #on the #problem
On the Interval-Bound Problem for Weighted Timed Automata (KQ), pp. 452–464.
CIKMCIKM-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.
KDDKDD-2011-TorgoO #2d #predict
2D-interval predictions for time series (LT, OO), pp. 787–794.
SACSAC-2011-FontugneF #adaptation #detection
A Hough-transform-based anomaly detector with an adaptive time interval (RF, KF), pp. 471–477.
LICSLICS-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.
SASSAS-2010-BrauerK #abstraction #automation #using
Automatic Abstraction for Intervals Using Boolean Formulae (JB, AK), pp. 167–183.
SASSAS-2010-Chapoutot #abstract domain #float
Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables (AC), pp. 184–200.
ICALPICALP-v1-2010-JimenezM #sorting
Interval Sorting (RMJ, CM), pp. 238–249.
ICALPICALP-v1-2010-KoblerKLV #canonical #graph #representation
Interval Graphs: Canonical Representation in Logspace (JK, SK, BL, OV), pp. 384–395.
ICALPICALP-v2-2010-MontanariPS #decidability #logic
Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals (AM, GP, PS), pp. 345–356.
LATALATA-2010-GiampaoloTN #logic #metric #parametricity
Parametric Metric Interval Temporal Logic (BDG, SLT, MN), pp. 249–260.
CIKMCIKM-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.
ICPRICPR-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.
KDDKDD-2010-LiuZ #learning
Learning with cost intervals (XYL, ZHZ), pp. 403–412.
SACSAC-2010-TeixeiraFP #approach #distributed
Distributed discrimination of media moments and media intervals: a Watch-and-Comment approach (CACT, GBF, MdGCP), pp. 1929–1935.
HPCAHPCA-2010-GenbruggeEE #abstraction #architecture #simulation
Interval simulation: Raising the level of abstraction in architectural simulation (DG, SE, LE), pp. 1–12.
HPDCHPDC-2010-JonesDD #clustering #performance
Impact of sub-optimal checkpoint intervals on application efficiency in computational clusters (WMJ, JTD, ND), pp. 276–279.
LICSLICS-2010-Laubner #graph #polynomial
Capturing Polynomial Time on Interval Graphs (BL), pp. 199–208.
VMCAIVMCAI-2010-ChenMWC #abstract domain #linear
An Abstract Domain to Discover Interval Linear Equalities (LC, AM, JW, PC), pp. 112–128.
ESOPESOP-2009-CraciunCHQ #parametricity
An Interval-Based Inference of Variant Parametric Types (FC, WNC, GH, SQ), pp. 112–127.
TACASTACAS-2009-NaumovichBG #bound #named #performance #petri net
ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets (EPN, SB, MG), pp. 50–53.
SASSAS-2009-ChenMWC #abstract domain #linear
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships (LC, AM, JW, PC), pp. 309–325.
SEFMSEFM-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.
CHICHI-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.
QAPLQAPL-2009-MuC #abstraction #data flow
An Interval-based Abstraction for Quantifying Information Flow (CM, DC), pp. 119–141.
SACSAC-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.
SIGMODSIGMOD-2008-PatelHL #classification #mining
Mining relationships among interval-based events for classification (DP, WH, MLL), pp. 393–404.
FoSSaCSFoSSaCS-2008-ChatterjeeSH #markov #model checking
Model-Checking ω-Regular Properties of Interval Markov Chains (KC, KS, TAH), pp. 302–317.
FMFM-2008-GawlitzaS #analysis #game studies #precise
Precise Interval Analysis vs. Parity Games (TG, HS), pp. 342–357.
ICPRICPR-2008-KashimaYIS
Regression with interval output values (HK, KY, AI, HS), pp. 1–4.
ICPRICPR-2008-RyooA #fuzzy #nondeterminism #process #using
Human activities: Handling uncertainties using fuzzy time intervals (MSR, JKA), pp. 1–5.
SACSAC-2008-Denner-Broser #algorithm #analysis #problem #using
An algorithm for the tracing problem using interval analysis (BDB), pp. 1832–1837.
SACSAC-2008-RochaO #scheduling
Strategies for QoS improvement on the time-interval scheduling (FRdlR, RSdO), pp. 320–321.
ICSEICSE-2008-ChenDS #calculus #verification
A verification system for timed interval calculus (CC, JSD, JS), pp. 271–280.
ICSEICSE-2008-MockusW #process #quality
Interval quality: relating customer-perceived quality to process quality (AM, DMW), pp. 723–732.
CSLCSL-2008-HodkinsonMS #axiom #logic
Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T (IMH, AM, GS), pp. 308–322.
ICLPICLP-2008-Montanari #logic
Back to Interval Temporal Logics (AM), pp. 11–13.
DATEDATE-2007-CucuG #multi #scheduling
Feasibility intervals for multiprocessor fixed-priority scheduling of arbitrary deadline periodic systems (LC, JG), pp. 1635–1640.
TACASTACAS-2007-FranzleH #logic
Deciding an Interval Logic with Accumulated Durations (MF, MRH), pp. 201–215.
STOCSTOC-2007-HeggernesPTV
Interval completion with few edges (PH, CP, JAT, YV), pp. 374–381.
ICEISICEIS-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.
SACSAC-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.
DACDAC-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.
ICEISICEIS-AIDSS-2006-MarinagiAKS #fuzzy #information retrieval
Fuzzy Interval Number (FIN) Techniques for Cross Language Information Retrieval (CM, TA, VGK, CS), pp. 249–256.
ICEISICEIS-AIDSS-2006-RosaGPSMLP #traceability
Frequency Calibrations with Conventional Time Interval Counters via GPS Traceability (JJGdlR, ILG, CGP, JMGS, AMM, MLR, VP), pp. 189–201.
SACSAC-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.
SACSAC-2006-GraillatL #pseudo #set
Pseudozero set of interval polynomials (SG, PL), pp. 1655–1659.
SACSAC-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.
SACSAC-2006-TsvetinovUC #ranking
Dominance and ranking issues applying interval techniques in pre-negotiations for services (PET, AU, TC), pp. 887–888.
CAVCAV-2006-RosuB #linear #logic #ltl #monitoring #synthesis
Allen Linear (Interval) Temporal Logic — Translation to LTL and Monitor Synthesis (GR, SB), pp. 263–277.
VLDBVLDB-2005-EnderleSS #database #query #relational #tuple
Efficiently Processing Queries on Interval-and-Value Tuples in Relational Databases (JE, NS, TS), pp. 385–396.
TACASTACAS-2005-SharmaPC #bound #logic
Bounded Validity Checking of Interval Duration Logic (BS, PKP, SC), pp. 301–316.
CIAACIAA-2005-Shcherbak #automaton #rank
The Interval Rank of Monotonic Automata (TS), pp. 273–281.
ICALPICALP-2005-EpsteinL #online
Online Interval Coloring and Variants (LE, ML), pp. 602–613.
ICMLICML-2005-StrehlL #analysis #estimation #modelling
A theoretical analysis of Model-Based Interval Estimation (ALS, MLL), pp. 856–863.
SACSAC-2005-ChabertTN #consistency #constraints #problem
Box-set consistency for interval-based constraint problems (GC, GT, BN), pp. 1439–1443.
SACSAC-2005-DuanHW #detection #network
Enhancing network intrusion detection systems with interval methods (QD, CH, HCW), pp. 1444–1448.
SACSAC-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.
SACSAC-2005-KoshelevaKMN #matrix #np-hard
Computing the cube of an interval matrix is NP-Hard (OK, VK, GM, HTN), pp. 1449–1453.
SOSPSOSP-2005-EggertT #scheduling
Idletime scheduling with preemption intervals (LE, JDT), pp. 249–262.
SIGMODSIGMOD-2004-EnderleHS #database #relational
Joining Interval Data in Relational Databases (JE, MH, TS), pp. 683–694.
TACASTACAS-2004-SuW #analysis #constraints
A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings (ZS, DW), pp. 280–295.
CIKMCIKM-2004-WuCY #performance #query
Interval query indexing for efficient stream processing (KLW, SKC, PSY), pp. 88–97.
ICPRICPR-v3-2004-BolleRP #estimation #evaluation #fault
An Evaluation of Error Confidence Interval Estimation Methods (RMB, NKR, SP), pp. 103–106.
KRKR-2004-CondottaL #axiom #calculus
Axiomatizing the Cyclic Interval Calculus (JFC, GL), pp. 95–105.
SACSAC-2004-RodriguezA
Interval and dynamic time warping-based decision trees (JJR, CJA), pp. 548–552.
VMCAIVMCAI-2004-YuX
Checking Interval Based Properties for Reactive Systems (YP, QX), pp. 122–134.
DACDAC-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.
SIGMODSIGMOD-2003-DeHaanTCO #encoding #sql #using #xquery
A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding (DD, DT, MPC, MTÖ), pp. 623–634.
ICEISICEIS-v2-2003-HogoLS #clustering #network #using
Conventional Versus Interval Clustering Using Kohonen Networks (MH, PL, MS), pp. 250–257.
SACSAC-2003-Lin #mining
Mining Maximal Frequent Intervals (JLL), pp. 426–431.
CAVCAV-2003-ChakravortyP #logic
Digitizing Interval Duration Logic (GC, PKP), pp. 167–179.
DACDAC-2002-WohlWPM #effectiveness
Effective diagnostics through interval unloads in a BIST environment (PW, JAW, SP, GAM), pp. 249–254.
DACDAC-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.
DATEDATE-2002-LiuCG #identification
An Interval-Based Diagnosis Scheme for Identifying Failing Vectors in a Scan-BIST Environment (CL, KC, MG), pp. 382–386.
CAiSECAiSE-2002-LiWWJ
Auditing Interval-Based Inference (YL, LW, XSW, SJ), pp. 553–567.
ICMLICML-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.
SEKESEKE-2002-JorgensenM #development #how #predict #question #why
Combination of software development effort prediction intervals: why, when and how? (MJ, KM), pp. 425–428.
PPDPPPDP-2002-BlancE
A generic operator over discrete time intervals (JB, RE), pp. 145–155.
ICSEICSE-2002-Padberg #empirical #fault
Empirical interval estimates for the defect content after an inspection (FP), pp. 58–68.
VLDBVLDB-2001-PapadiasT #named #query
MV3R-Tree: A Spatio-Temporal Access Method for Timestamp and Interval Queries (YT, DP), pp. 431–440.
ICALPICALP-2001-FerencziHZ #combinator
Combinatorics of Three-Interval Exchanges (SF, CH, LQZ), pp. 567–578.
ICALPICALP-2001-HemaspaandraKW #complexity
The Complexity of Computing the Size of an Interval (LAH, SK, KWW), pp. 1040–1051.
LCTESLCTES-OM-2001-ZiegenbeinWRJE #analysis #process
Interval-Based Analysis of Software Processes (DZ, FW, KR, MJ, RE), pp. 94–101.
CSLCSL-2001-Rasmussen #deduction #logic
Labelled Natural Deduction for Interval Logics (TMR), pp. 308–323.
LICSLICS-2001-EscardoS
A Universal Characterization of the Closed Euclidean Interval (MHE, AKS), pp. 115–125.
DACDAC-2000-YangP #multi #performance #simulation
A multi-interval Chebyshev collocation method for efficient high-accuracy RF circuit simulation (BY, JRP), pp. 178–183.
VLDBVLDB-2000-KriegelPS #database
Managing Intervals Efficiently in Object-Relational Databases (HPK, MP, TS), pp. 407–418.
STOCSTOC-2000-Boneh #integer #using
Finding smooth integers in short intervals using CRT decoding (DB), pp. 265–272.
ICALPICALP-2000-Moszkowski #logic #proving
An Automata-Theoretic Completeness Proof for Interval Temporal Logic (BCM), pp. 223–234.
KRKR-2000-BalbianiO #reasoning
A Model for Reasoning about Topologic Relations between cyclic intervals (PB, AO), pp. 378–385.
KRKR-2000-Condotta #network
The Augmented Interval and Rectangle Networks (JFC), pp. 571–579.
PADLPADL-2000-Hickey #constraints #named #theorem proving
CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving (TJH), pp. 200–214.
POPLPOPL-2000-Hickey #constraints #theorem proving
Analytic Constraint Solving and Interval Arithmetic (TJH), pp. 338–351.
ICLPCL-2000-HahnleHS #constraints #finite #generative #proving #theorem proving
Moder Generation Theorem Proving with Finite Interval Constraints (RH, RH, YS), pp. 285–299.
LICSLICS-2000-Moszkowski #axiom #infinity #logic
A Complete Axiomatization of Interval Temporal Logic with Infinite Time (BCM), pp. 241–252.
DATEDATE-1999-DhanwadaNV #constraints #synthesis #using
Hierarchical Constraint Transformation Using Directed Interval Search for Analog System Synthesis (NRD, ANA, RV), p. 328–?.
DATEDATE-1999-StrehlT #diagrams #model checking #petri net
Interval Diagram Techniques for Symbolic Model Checking of Petri Nets (KS, LT), pp. 756–757.
FLOPSFLOPS-1999-FernandezH #constraints #framework #theorem proving
An Interval Lattice-Based Constraint Solving Framework for Lattices (AJF, PMH), pp. 194–208.
CIKMCIKM-1999-KangSLL
Indexing field values in field oriented systems: interval Quadtree (MAK, SS, KJL, RL), pp. 335–342.
SACSAC-1999-Al-OmariM #fault tolerance #using
Fault-Tolerant Routing in Hypercubes Using Masked Interval Routing Scheme (MAO, MM), pp. 481–485.
CSLCSL-1999-Rasmussen #logic
Signed Interval Logic (TMR), pp. 157–171.
ICALPICALP-1998-CiceroneSF
Static and Dynamic Low-Congested Interval Routing Schemes (SC, GDS, MF), pp. 592–603.
KDDKDD-1998-WangTL
Interestingness-Based Interval Merger for Numeric Association Rules (KW, SHWT, BL), pp. 121–128.
KRKR-1998-HaH #geometry
Geometric Foundations for Interval-Based Probabilities (VAH, PH), pp. 582–593.
DATEEDTC-1997-WalrathVB #analysis #partial evaluation #performance #using #verification
Performance verification using partial evaluation and interval analysis (JW, RV, WB), p. 622.
ICDARICDAR-1997-Horiuchi #classification
Pattern Classification Method by Integrating Interval Feature Values (TH), pp. 847–850.
SIGMODSIGMOD-1997-YangM
Association Rules over Interval Data (RJM, YY), pp. 452–461.
ICALPICALP-1997-Weihrauch #metric #probability #set
Computability on the Probability Measures on the Borel Sets of the Unit Interval (KW), pp. 166–176.
CHICHI-1997-PinhanezMB #design #interactive #paradigm
Interval Scripts: a Design Paradigm for Story-Based Interactive Systems (CSP, KM, AFB), pp. 287–294.
CAiSECAiSE-1997-TagashiraAAK #concept #representation
Interval-Based Representation of Spatio-Temporal Concepts (TT, TA, MA, YK), pp. 231–244.
CIKMCIKM-1997-NakayamaYK #constraints #regular expression
I-Regular Expression: Regular Expression with Continuous Interval Constraints (KN, KY, SK), pp. 40–50.
KDDKDD-1997-ZighedRF #learning #multi
Optimal Multiple Intervals Discretization of Continuous Attributes for Supervised Learning (DAZ, RR, FF), pp. 295–298.
SACSAC-1997-WeiqiY #multi
Spatial index based on multiple interval segments (XW, YF), pp. 152–154.
ICSEICSE-1997-PorterSV #comprehension #developer #process
Understanding the Effects of Developer Activities on Inspection Interval (AAP, HPS, LGV), pp. 128–138.
PODSPODS-1996-Toman #database #query
Point vs. Interval-based Query Languages for Temporal Databases (DT), pp. 58–67.
KRKR-1996-JonssonDB #algebra #classification #subclass
Tractable Subclasses of the Point-Interval Algebra: A Complete Classification (PJ, TD, CB), pp. 352–363.
CAVCAV-1996-CamposG #analysis #model checking #verification
Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System (SVAC, OG), pp. 257–268.
CAVCAV-1996-MoserMRKD #logic #realtime #tool support #visual notation
The Real-Time Graphical Interval Logic Toolset (LEM, PMMS, YSR, GK, LKD), pp. 446–449.
ICLPJICSLP-1996-CaseauL #cumulative #scheduling
Cumulative Scheduling with Task Intervals (YC, FL), pp. 363–377.
ICLPJICSLP-1996-LhommeGRT #algorithm
Boosting the Interval Narrowing Algorithm (OL, AG, MR, PT), pp. 378–392.
DACDAC-1995-ChouB #embedded #fine-grained #scheduling
Interval Scheduling: Fine-Grained Code Scheduling for Embedded Systems (PHC, GB), pp. 462–467.
ICDARICDAR-v1-1995-Yamada #recognition
Optimal sampling intervals for Gabor features and printed Japanese character recognition (KY), pp. 150–153.
ICALPICALP-1995-BodlaenderF #graph
Intervalizing k-Colored Graphs (HLB, BdF), pp. 87–98.
ICLPICLP-1995-ChiuL #constraints #linear #theorem proving #using
Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method (CKC, JHML), pp. 17–31.
LICSLICS-1995-Dutertre #first-order #logic #proving
Complete Proof Systems for First Order Interval Temporal Logic (BD), pp. 36–43.
DACDAC-1994-JunH #automation #pipes and filters #synthesis
Automatic Synthesis of Pipeline Structures with Variable Data Initiation Intervals (HSJ, SYH), pp. 537–541.
ICLPICLP-1994-CaseauL #scheduling
Improved CLP Scheduling with Task Intervals (YC, FL), pp. 369–383.
ICLPILPS-1994-BenhamouMH #revisited
CLP(Intervals) Revisited (FB, DAM, PVH), pp. 124–138.
ICLPILPS-1994-ChiuL #constraints #logic programming #theorem proving #towards
Towards Practical Interval Constraint Solving in Logic Programming (CKC, JHML), pp. 109–123.
ICALPICALP-1993-Frederickson
Searching among Intervals and Compact Routing Tables (GNF), pp. 28–39.
CAVCAV-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.
VLDBVLDB-1992-AgrawalGIIS #classification #database #mining
An Interval Classifier for Database Mining Applications (RA, SPG, TI, BRI, ANS), pp. 560–573.
CCCC-1992-HendrenGAM #framework #graph
A Register Allocation Framework Based on Hierarchical Cyclic Interval Graphs (LJH, GRG, ERA, CM), pp. 176–191.
CADECADE-1992-Bauer #logic #multi
An Interval-based Temporal Logic in a Multivalued Setting (MB), pp. 355–369.
SIGMODSIGMOD-1991-KolovsonS #multi
Segment Indexes: Dynamic Indexing Techniques for Multi-Dimensional Interval Data (CPK, MS), pp. 138–147.
ICALPICALP-1991-RaviAK #approximate #graph #problem #scheduling
Ordering Problems Approximated: Single-Processor Scheduling and Interval Graph Completion (RR, AA, PNK), pp. 751–762.
KRKR-1991-DavisC #clustering
Clustering Temporal Intervals To Generate Reference Hierarchies (WSD, JRC), pp. 111–117.
LICSLICS-1990-Lewis #logic
A Logic of Concrete Time Intervals (Extended Abstract) (HRL), pp. 380–389.
ISSTATAV-1989-RazoukG #logic #realtime #reasoning #source code
Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs (RRR, MMG), pp. 10–19.
ICALPICALP-1988-Niemi
Maximal Dense Intervals of Grammar Forms (VN), pp. 424–438.
LISPLFP-1988-Martini #bound #modelling #quantifier
Bounded Quantifiers Have Interval Models (SM), pp. 164–173.
CADECADE-1988-AabyN #logic
Propositional Temporal Interval Logic is PSPACE Complete (AAA, KTN), pp. 218–237.
CSLCSL-1988-Lippert #logic
Interval Temporal Logic and Star-Free Expressions (DL), pp. 187–198.
VLDBVLDB-1987-NoeW #concurrent #performance
Measured Performance of Time Interval Concurrency Control Techniques (JDN, DBW), pp. 359–367.
LICSLICS-1986-HalpernS #logic
A Propositional Model Logic of Time Intervals (JYH, YS), pp. 279–292.
POPLPOPL-1985-Cartwright
Types as Intervals (RC), pp. 22–36.
VLDBVLDB-1984-BoksenbaumCFP #certification #database #distributed
Certification by Intervals of Timestamps in Distributed Database Systems (CB, MC, JF, JFP), pp. 377–387.
VLDBVLDB-1984-GinsburgT #query
Interval Queries on Object Histories: Extended Abstract (SG, KT), pp. 208–217.
STOCSTOC-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.
VLDBVLDB-1983-IbarakiKM #concept
Disjoint-Interval Topological Sort: A Useful Concept in Serializability Theory (Extended Abstract) (TI, TK, TM), pp. 89–91.
ICALPICALP-1983-HalpernMM #hardware #semantics
A Hardware Semantics Based on Temporal Intervals (JYH, ZM, BCM), pp. 278–291.
SIGMODSIGMOD-1977-WongE
Interval Hierarchies and Their Application to Predicate Files (Abstract) (KCW, ME), p. 168.
STOCSTOC-1975-BoothL #algorithm #graph #linear
Linear Algorithms to Recognize Interval Graphs and Test for the Consecutive Ones Property (KSB, GSL), pp. 255–265.

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.