193 papers:
CASE-2015-LiS #parallel- A parallel computing model for container terminal logistics (BL, WS), pp. 267–273.
PODS-2015-CzerwinskiMPP- The (Almost) Complete Guide to Tree Pattern Containment (WC, WM, PP, MP), pp. 117–130.
ICALP-v2-2015-BojanczykMW #bound #clique #datalog #monad #source code- Containment of Monadic Datalog Programs via Bounded Clique-Width (MB, FM, AW), pp. 427–439.
FM-2015-PolikarpovaTF #library- A Fully Verified Container Library (NP, JT, CAF), pp. 414–434.
CASE-2014-MingMT #optimisation- Reducing carbon emission of ocean shipments by optimizing container size selection (ECLM, NLM, KWT), pp. 480–485.
CASE-2014-VaskeviciusMBTSFPLB0 #locality #recognition #robust- Object recognition and localization for robust grasping with a dexterous gripper in the context of container unloading (NV, CAM, MB, VT, TS, GF, KP, AJL, AB, AB), pp. 1270–1277.
CASE-2014-VaskeviciusP0 #locality #low cost #recognition- Fitting superquadrics in noisy, partial views from a low-cost RGBD sensor for recognition and localization of sacks in autonomous unloading of shipping containers (NV, KP, AB), pp. 255–262.
DAC-2014-KosmidisQAFWC #certification #hardware- Containing Timing-Related Certification Cost in Automotive Systems Deploying Complex Hardware (LK, EQ, JA, GF, FW, FJC), p. 6.
DATE-2014-KordesVDW #detection #fault #hybrid #network #robust- Startup error detection and containment to improve the robustness of hybrid FlexRay networks (AK, BV, AKD, MGW), pp. 1–6.
PODS-2014-Barcelo0V #evaluation #query #question- Does query evaluation tractability help query containment? (PB, MR, MYV), pp. 188–199.
PODS-2014-PichlerS #equivalence- Containment and equivalence of well-designed SPARQL (RP, SS), pp. 39–50.
PLDI-2014-LongSR #automation #fault #runtime- Automatic runtime error repair and containment via recovery shepherding (FL, SSD, MCR), p. 26.
FLOPS-2014-Parys #how #question- How Many Numbers Can a λ-Term Contain? (PP), pp. 302–318.
KDIR-2014-OkumuraYSO #identification #twitter- Identifying Tweets that Contain a “Heartwarming Story” (MO, YY, MS, HO), pp. 323–326.
OSDI-2014-LuZDAAA #file system #physics- Physical Disentanglement in a Container-Based File System (LL, YZ, TD, SAK, ACAD, RHAD), pp. 81–96.
DAC-2013-ColmenaresEHBMCGRBMAK #adaptation #named #refactoring- Tessellation: refactoring the OS around explicit resource containers with continuous adaptation (JAC, GE, SAH, SB, MM, DC, BG, ER, DBB, NM, KA, JK), p. 10.
ICDAR-2013-FurukoriYMSO #documentation- An OCR System with OCRopus for Scientific Documents Containing Mathematical Formulas (FF, SY, TM, KS, MO), pp. 1175–1179.
SIGMOD-2013-RullBSKMT #query #sql- Query containment in entity SQL (GR, PAB, IGdS, YK, SM, ET), pp. 1169–1172.
FoSSaCS-2013-AvniK- Parameterized Weighted Containment (GA, OK), pp. 369–384.
ICEIS-v1-2013-ZouhaierKSS #multi #simulation- Multi-Agent System Model for Container Management Simulation (HZ, FK, FS, LBS), pp. 498–505.
MoDELS-2013-FamelisSSC #modelling #nondeterminism- Transformation of Models Containing Uncertainty (MF, RS, ADS, MC), pp. 673–689.
MoDELS-2013-FamelisSSC #modelling #nondeterminism- Transformation of Models Containing Uncertainty (MF, RS, ADS, MC), pp. 673–689.
ECOOP-2013-CoxCS #generative #graph #invariant #relational- QUIC Graphs: Relational Invariant Generation for Containers (AC, BYEC, SS), pp. 401–425.
Onward-2013-Steimann #multi #object-oriented #programming- Content over container: object-oriented programming with multiplicities (FS), pp. 173–186.
ESEC-FSE-2013-LiuL0ZWD #model checking #named #self #state machine #uml- USMMC: a self-contained model checker for UML state machines (SL, YL, JS, MZ, BW, JSD), pp. 623–626.
ASPLOS-2013-ShenSDZC #energy #fine-grained #manycore- Power containers: an OS facility for fine-grained power and energy management on multicore servers (KS, AS, SD, XZ, ZC), pp. 65–76.
PODS-2012-KostylevRS #classification #query- Classification of annotation semirings over query containment (EVK, JLR, AZS), pp. 237–248.
FoSSaCS-2012-AhmanCU #monad #question- When Is a Container a Comonad? (DA, JC, TU), pp. 74–88.
CSMR-2012-KarusD #predict #xml- Predicting Coding Effort in Projects Containing XML (SK, MD), pp. 203–212.
ICALP-v2-2012-BenediktBS #datalog #monad- Monadic Datalog Containment (MB, PB, PS), pp. 79–91.
CIKM-2012-LiuSJL #web- An unsupervised method for author extraction from web pages containing user-generated content (JL, XS, JJ, CYL), pp. 2387–2390.
KR-2012-BienvenuLW #logic #query- Query Containment in Description Logics Reconsidered (MB, CL, FW).
SAC-2012-ChoeYYR #algorithm #automation #realtime #scheduling #search-based #using- Real-time scheduling of twin stacking cranes in an automated container terminal using a genetic algorithm (RC, HY, YY, KRR), pp. 238–243.
ICSE-2012-IwamaNT #industrial #natural language #parsing #specification- Constructing parser for industrial software specifications containing formal and natural language description (FI, TN, HT), pp. 1012–1021.
IJCAR-2012-ChekolEGL #query- SPARQL Query Containment under RDFS Entailment Regime (MWC, JE, PG, NL), pp. 134–148.
CASE-2011-AmbrosinoBPSS #modelling #problem- Modeling and solving the train load planning problem in seaport container terminals (DA, AB, MP, SS, SS), pp. 208–213.
CASE-2011-HuangG #deployment #heuristic- An improved Least Cost Heuristic for dynamic yard crane deployment in container terminals (SYH, XG), pp. 84–89.
CASE-2011-PerboliCT #metaheuristic #multi #performance- An efficient metaheuristic for multi-dimensional multi-container packing (GP, TGC, RT), pp. 563–568.
ICDAR-2011-IndermuhleFFB #documentation #keyword #network #online #using- Keyword Spotting in Online Handwritten Documents Containing Text and Non-text Using BLSTM Neural Networks (EI, VF, AF, HB), pp. 73–77.
FASE-2011-SharmaGAFM #question #random #testing- Testing Container Classes: Random or Systematic? (RS, MG, AA, GF, DM), pp. 262–277.
CIAA-2011-Ibarra #equivalence #linear #on the #problem #transducer- On the Containment and Equivalence Problems for GSMs, Transducers, and Linear CFGs (OHI), pp. 190–202.
LATA-2011-Leroux #problem #proving #reachability #self- Vector Addition System Reachability Problem: A Short Self-contained Proof (JL), pp. 41–64.
ICEIS-v4-2011-CuiZH- The Impact of the Concentration Rate of the International Container Liner Market on Chinese Container Freight Index (LC, YZ, MH), pp. 611–616.
CIKM-2011-VarolCAK #corpus #detection #named- CoDet: sentence-based containment detection in news corpora (EV, FC, CA, OK), pp. 2049–2052.
CIKM-2011-ZhuangLF #xml- Insert-friendly XML containment labeling scheme (CZ, ZL, SF), pp. 2449–2452.
ECIR-2011-ShiLH #collaboration #multi #ranking #self- Reranking Collaborative Filtering with Multiple Self-contained Modalities (YS, ML, AH), pp. 699–703.
PLATEAU-2011-GilGM #how #metric #question- How much information do software metrics contain? (JYG, MG, DM), pp. 57–64.
POPL-2011-DilligDA #precise #reasoning #source code #using- Precise reasoning for programs using containers (ID, TD, AA), pp. 187–200.
POPL-2011-HengleinN #axiom #induction #regular expression- Regular expression containment: coinductive axiomatization and computational interpretation (FH, LN), pp. 385–398.
POPL-2011-Leroux #problem #proving #reachability #self- Vector addition system reachability problem: a short self-contained proof (JL), pp. 307–316.
PPoPP-2011-TanaseBFHPPSTXMVBAR #framework #parallel- The STAPL parallel container framework (GT, AAB, AF, H, IP, OP, TGS, NT, XX, NM, JV, MB, NMA, LR), pp. 235–246.
TAP-2011-DrossFM- Correct Code Containing Containers (CD, JCF, YM), pp. 102–118.
SIGMOD-2010-AgrawalAK #on the #set- On indexing error-tolerant set containment (PA, AA, RK), pp. 927–938.
VLDB-2010-BenediktG- The Impact of Virtual Views on Containment (MB, GG), pp. 297–308.
PLDI-2010-XuR #detection- Detecting inefficiently-used containers to avoid bloat (G(X, AR), pp. 160–173.
ICGT-2010-Jurack #emf #graph #inheritance #modelling- Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures (SJ), pp. 397–399.
ICGT-2010-JurackT #component #concept #graph #inheritance- A Component Concept for Typed Graphs with Inheritance and Containment Structures (SJ, GT), pp. 187–202.
CIKM-2010-SongLCLH #automation #web- Automatic extraction of web data records containing user-generated content (XS, JL, YC, CYL, HWH), pp. 39–48.
RE-2010-BittnerRGW #multi #requirements #using- Manufacturer-Supplier Requirements Synchronization Using Exchange Containers and Multi-Level Systems (MB, MOR, HG, MW), pp. 325–330.
SAC-2010-GuoH #algorithm #clustering- A two stage yard crane workload partitioning and job sequencing algorithm for container terminals (XG, SYH), pp. 2383–2388.
WICSA-ECSA-2009-KuhnMKSBT #aspect-oriented #performance- Introducing Aspect-oriented Space Containers for efficient publish/subscribe scenarios in Intelligent Transportation Systems (EK, RM, LK, CS, SB, ST), pp. 313–316.
CASE-2009-BukkapatnamMKSK #monitoring #realtime #using- Real-time monitoring of container stability loss using wireless vibration sensor tags (STSB, SM, JK, VS, RK), pp. 221–226.
LATA-2009-Blanchet-SadriABM #how #question #word- How Many Holes Can an Unbordered Partial Word Contain? (FBS, EA, CB, RM), pp. 176–187.
SIGAda-2009-DinhB #design pattern #distributed #fault tolerance- Distributed container: a design pattern for fault tolerance and high speed data exchange (TD, SB), pp. 115–118.
CIKM-2009-WangYPL- Minimal common container of tree patterns (JW, JXY, CP, CL), pp. 1409–1412.
SAC-2009-ParkPR #algorithm #automation #using- Planning for remarshaling in an automated container terminal using cooperative coevolutionary algorithms (KP, TP, KRR), pp. 1098–1105.
LICS-2009-AltenkirchM- Indexed Containers (TA, PM), pp. 277–285.
FLOPS-2008-PrinceGM #proving #using- Proving Properties about Lists Using Containers (RP, NG, CM), pp. 97–112.
SIGAda-2008-Moore #ada #using- A buffer container class hierarchy using Ada 2005 (BJM), pp. 57–74.
CIKM-2008-PlacekTSDS #approach #heuristic #query- A heuristic approach for checking containment of generalized tree-pattern queries (PP, DT, SS, TD, TKS), pp. 551–560.
ICPR-2008-RohithSKG #estimation #image #scalability #towards- Towards estimation of dense disparities from stereo images containing large textureless regions (MVR, GS, CK, CAG), pp. 1–5.
SEKE-2008-LiuLW #component #development #process #product line- Improving Component Container Development Process through Product Line Engineering (GL, YL, JW), pp. 238–243.
ICSE-2008-XuR #detection #java #memory management #precise #profiling #using- Precise memory leak detection for java software using container profiling (G(X, AR), pp. 151–160.
LICS-2008-ChenMM #constraints #problem #quantifier- Quantified Constraints and Containment Problems (HC, FRM, BM), pp. 317–328.
ASE-2007-BlancGK #abstraction #c++ #verification- Verifying C++ with STL containers via predicate abstraction (NB, AG, DK), pp. 521–524.
CASE-2007-BukkapatnamK #monitoring #using- Container Integrity and Condition Monitoring using RF Vibration Sensor Tags (STSB, RK), pp. 585–590.
CASE-2007-HoshinoO #design #performance- Performance Design of Operating Robots in a Seaport Container-Handling System (SH, JO), pp. 692–697.
DATE-2007-IndrusiakTG #behaviour #execution #interactive #modelling #specification #uml- Interactive presentation: Executable system-level specification models containing UML-based behavioral patterns (LSI, AT, MG), pp. 301–306.
PODS-2007-CateL #complexity #query #xpath- The complexity of query containment in expressive fragments of XPath 2.0 (BtC, CL), pp. 73–82.
VLDB-2007-ChenYYHZG #graph #towards- Towards Graph Containment Search and Indexing (CC, XY, PSY, JH, DQZ, XG), pp. 926–937.
GT-VMT-2007-KohlerLT #constraints #graph #model transformation- Ensuring Containment Constraints in Graph-based Model Transformation Approaches (CK, HL, GT).
HIMI-IIE-2007-Chou- A Decision Making Model for the Taiwanese Shipping Logistics Company in China to Select the Container Distribution Center Location (CCC), pp. 844–854.
ESEC-FSE-2007-SherriffHLW #identification #static analysis #using- Using groupings of static analysis alerts to identify files likely to contain field failures (MS, SSH, JML, LAW), pp. 565–568.
DocEng-2006-HurstMM- Minimum sized text containment shapes (NH, KM, PM), pp. 3–12.
PODS-2006-JayramKV #problem #query- The containment problem for REAL conjunctive queries with inequalities (TSJ, PGK, EV), pp. 80–89.
VLDB-2006-CaliK- Containment of Conjunctive Object Meta-Queries (AC, MK), pp. 942–952.
FASE-2006-SridharH #behaviour- A Behavioral Model for Software Containers (NS, JOH), pp. 139–154.
CIKM-2006-TheodoratosSDPS #graph #heuristic #query- Heuristic containment check of partial tree-pattern queries in the presence of index graphs (DT, SS, TD, PP, TKS), pp. 445–454.
ICPR-v1-2006-SkelleyFSH #database- Recognizing Expressions in a New Database Containing Played and Natural Expressions (JS, RF, AS, BH), pp. 1220–1225.
SEKE-2006-SridharHS #case study #component #deployment- Container-Based Component Deployment: A Case Study (NS, JOH, PAGS), pp. 274–277.
SEKE-2006-ZhangCWH #component #evaluation #middleware #performance- Performance Evaluation of Component System based on Container style Middleware (YZ, NC, JW, TH), pp. 730–736.
MoDELS-2006-AlanenP #modelling #set- Basic Operations over Models Containing Subset and Union Properties (MA, IP), pp. 469–483.
MoDELS-2006-AlanenP #modelling #set- Basic Operations over Models Containing Subset and Union Properties (MA, IP), pp. 469–483.
GPCE-2006-Moreno #generative- Creating custom containers with generative techniques (GAM), pp. 29–38.
ICSE-2006-HeineL #detection #polymorphism #static analysis- Static detection of leaks in polymorphic containers (DLH, MSL), pp. 252–261.
ISSTA-2006-VisserPP #generative #java #using- Test input generation for java containers using state matching (WV, CSP, RP), pp. 37–48.
DATE-2005-NolletMAM #configuration management #hardware #resource management #runtime- Centralized Run-Time Resource Management in a Network-on-Chip Containing Reconfigurable Hardware Tiles (VN, TM, PA, JYM), pp. 234–239.
CIAA-2005-SudaH #algorithm #automaton #backtracking #top-down- Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment (TS, HH), pp. 294–306.
ICFP-2005-Remy #system f- Simple, partial type-inference for System F based on type-containment (DR), pp. 130–143.
ICEIS-v2-2005-LokugeA #hybrid #learning #multi- Handling Multiple Events in Hybrid BDI Agents with Reinforcement Learning: A Container Application (PL, DA), pp. 83–90.
GPCE-2005-HirschkoffHPSS #component #programming- Component-Oriented Programming with Sharing: Containment is Not Ownership (DH, TH, DP, AS, JBS), pp. 389–404.
SAC-2005-LimZ #problem- The container loading problem (AL, XZ), pp. 913–917.
HPDC-2005-Thain #grid- Identity boxing: secure user-level containment for the grid (DT), pp. 299–300.
SOSP-2005-CostaCCRZZB #internet #named- Vigilante: end-to-end containment of internet worms (MC, JC, MC, AITR, LZ, LZ, PB), pp. 133–147.
SOSP-2005-VrableMCMVSVS #scalability- Scalability, fidelity, and containment in the potemkin virtual honeyfarm (MV, JM, JC, DM, EV, ACS, GMV, SS), pp. 148–162.
CBSE-2004-SimonsS #assembly #exception #named #robust- CMEH: Container Managed Exception Handling for Increased Assembly Robustness (KS, JAS), pp. 122–129.
WICSA-2004-GobelPAPRZ #architecture #component- The COMQUAD Component Container Architecture (SG, CP, RA, MP, SR, SZ), pp. 315–320.
DATE-v1-2004-BenabdenbiGPVT #named #testing- STEPS: Experimenting a New Software-Based Strategy for Testing SoCs Containing P1500-Compliant IP Cores (MB, AG, FP, EV, MT), pp. 712–713.
DATE-v2-2004-MillbergNTJ #network #using- Guaranteed Bandwidth Using Looped Containers in Temporally Disjoint Networks within the Nostrum Network on Chip (MM, EN, RT, AJ), pp. 890–895.
PODS-2004-Bonatti #datalog #decidability #on the #query #recursion- On the Decidability of Containment of Recursive Datalog Queries — Preliminary report (PAB), pp. 297–306.
VLDB-2004-DongHT #query #xml- Containment of Nested XML Queries (XD, AYH, IT), pp. 132–143.
AdaEurope-2004-Alves #ada #formal method #persistent- A Theory of Persistent Containers and Its Application to Ada (MAA), pp. 297–308.
ICEIS-v2-2004-LokugeAD #fuzzy #memory management- BDI Agents with Fuzzy Associative Memory for Vessel Berthing in Container Ports (PL, DA, PD), pp. 315–320.
ICPR-v1-2004-Kazanov04a #image- Modification of Watershed Transformation for Images, Containing Small Objects (MK), pp. 612–615.
TOOLS-USA-2003-HallstromSSAL04 #approach #object-oriented #product line- A Container-Based Approach to Object-Oriented Product Lines (JOH, NS, PAGS, AA, WL), pp. 161–175.
ICDAR-2003-GocciaBSD #classification #feature model #optimisation #recognition- Recognition of Container Code Characters through Gray-Level Feature Extraction and Gradient-Based Classifier Optimization (MG, MB, CS, SGD), p. 973–?.
PODS-2003-CalvaneseGLV #query- View-based query containment (DC, GDG, ML, MYV), pp. 56–67.
PODS-2003-GrahneT #constraints #query #using- Query containment and rewriting using views for regular path queries under constraints (GG, AT), pp. 111–122.
SIGMOD-2003-WangJLY #estimation #modelling- Containment Join Size Estimation: Models and Methods (WW, HJ, HL, JXY), pp. 145–156.
FoSSaCS-2003-AbbottAG #category theory- Categories of Containers (MA, TA, NG), pp. 23–38.
CIAA-2003-TozawaH #xml- XML Schema Containment Checking Based on Semi-implicit Techniques (AT, MH), pp. 213–225.
AdaEurope-2003-FranchM #ada #library #quality #standard- A Quality Model for the Ada Standard Container Library (XF, JM), pp. 283–296.
SIGAda-2003-MarcoF #ada #design #framework #implementation #library #standard- A framework for designing and implementing the Ada standard container library (JM, XF), pp. 49–61.
MLDM-2003-Craw #learning #reasoning- Introspective Learning to Build Case-Based Reasoning (CBR) Knowledge Containers (SC), pp. 1–6.
ECOOP-2003-PopoviciAG- Spontaneous Container Services (AP, GA, TRG), pp. 29–53.
TLCA-2003-AbbottAGM- Derivatives of Containers (MA, TA, NG, CM), pp. 16–30.
CBSE-2002-VecellioTS #behaviour #component #predict- Containers for Predictable Behavior of Component-based Software (GJV, WMT, RMS), p. 2.
CBSE-2003-SridharH #component #configuration management #generative- Generating Configurable Containers for Component-Based Software (NS, JOH), p. 11.
HT-2002-Whitehead #comparison #modelling #using- Uniform comparison of data models using containment modeling (EJWJ), pp. 182–191.
PODS-2002-MiklauS #equivalence #xpath- Containment and Equivalence for an XPath Fragment (GM, DS), pp. 65–76.
ICPR-v3-2002-IgualGJ #preprocessor #recognition- Preprocessing and Recognition of Characters in Container Codes (ISI, GAG, AJPJ), pp. 143–146.
FSE-2002-CobleighOWL #adaptation #architecture #composition- Containment units: a hierarchically composable architecture for adaptive systems (JMC, LJO, AEW, BSL), pp. 159–165.
TACAS-2001-Finkbeiner #nondeterminism- Language Containment Checking with Nondeterministic BDDs (BF), pp. 24–38.
ICSM-2001-TonellaP #c++ #diagrams #reverse engineering #uml- Reverse Engineering of the UML Class Diagram from C++ Code in Presence of Weakly Typed Containers (PT, AP), pp. 376–385.
WCRE-2001-Anquetil #information management- Characterizing the Informal Knowledge Contained in Systems (NA), pp. 166–175.
ICEIS-v1-2001-Rao #algorithm #clustering #multi- An Algorithm for Determining Subspaces Containing Clusters with Multiple Minimum Density Thresholds for Numerical Data (PRR), pp. 530–532.
ECOOP-2001-ClarkeNP- Simple Ownership Types for Object Containment (DGC, JN, JP), pp. 53–76.
PODS-2000-MillsteinLF #integration #query- Query Containment for Data Integration Systems (TDM, AYL, MF), pp. 67–75.
VLDB-2000-RamasamyPNK #set- Set Containment Joins: The Good, The Bad and The Ugly (KR, JMP, JFN, RK), pp. 351–362.
CIKM-2000-LawrenceCFPKNKG #persistent #research #web- Persistence of information on the web: Analyzing citations contained in research articles (SL, FC, GWF, DMP, RK, FÅN, AK, CLG), pp. 235–242.
ICPR-v1-2000-LourakisTAO #3d #constraints #geometry #using- Using Geometric Constraints for Matching Disparate Stereo Views of 3D Scenes Containing Planes (MIAL, SVT, AAA, SCO), pp. 1419–1422.
KR-2000-CalvaneseGLV #query- Containment of Conjunctive Regular Path Queries with Inverse (DC, GDG, ML, MYV), pp. 176–185.
TOOLS-PACIFIC-2000-Silva-LepeCNF #architecture #component #java #message passing- Container-Managed Messaging: An Architecture for Integrating Java Components and Message-Oriented Applications (ISL, CFC, PN, DFF), pp. 228–241.
TOOLS-USA-2000-LorenzP #assembly #component #runtime- Design-Time Assembly of Runtime Containment Components (DHL, PP), pp. 195–204.
ICDAR-1999-SuralD #algorithm #documentation #generative #image #parallel #segmentation- A Two-step Algorithm and its Parallelization for the Generation of Minimum Containing Rectangles for Document Image Segmentation (SS, PKD), pp. 173–176.
ITiCSE-1999-English #self- Building self-contained websites on CD-ROM (JE), pp. 159–162.
CHI-1999-YarinI #design #interactive #named #physics- TouchCounters: Designing Interactive Electronic Labels for Physical Containers (PY, HI), pp. 362–369.
HCI-EI-1999-RavidB #prototype #requirements #user interface- A Method for Extracting Requirements that a User Interface Prototype Contains (AR, DMB), pp. 900–904.
SAC-1999-Raidl #algorithm #multi #problem #search-based- A Weight-Coded Genetic Algorithm for the Multiple Container Packing Problem (GRR), pp. 291–296.
OSDI-1999-BangaDM #resource management- Resource Containers: A New Facility for Resource Management in Server Systems (GB, PD, JCM), pp. 45–58.
CSL-1999-Tobies #logic #strict- A NExpTime-Complete Description Logic Strictly Contained in C2 (ST), pp. 292–306.
ASE-1998-McDonaldHS #library #standard #testing- Programmatic Testing of the Standard Template Library Containers (JM, DH, PAS), pp. 147–156.
PODS-1998-CalvaneseGL #constraints #decidability #on the #query- On the Decidability of Query Containment under Constraints (DC, GDG, ML), pp. 149–158.
PODS-1998-FlorescuLS #query #regular expression- Query Containment for Conjunctive Queries with Regular Expressions (DF, AYL, DS), pp. 139–148.
PODS-1998-KolaitisMT #complexity #on the #problem #query- On the Complexity of the Containment Problem for Conjunctive Queries with Built-in Predicates (PGK, DLM, MNT), pp. 197–204.
PODS-1998-KolaitisV #constraints- Conjunctive-Query Containment and Constraint Satisfaction (PGK, MYV), pp. 205–213.
PODS-1998-NevenBGV #database #query- Typed Query Languages for Databases Containing Queries (FN, JVdB, DVG, GV), pp. 189–196.
SAC-1998-StanskiGZ #documentation #migration #mobile #replication #web- Document archiving, replication and migration container for mobile Web users (PS, SG, ABZ), pp. 400–404.
HPCA-1998-GhoshC #communication- Communication Across Fault-Containment Firewalls on the SGI Origin (KG, AJC), pp. 277–287.
DAC-1997-LiuSAS #black box #design #optimisation- Optimizing Designs Containing Black Boxes (THL, KS, AA, VS), pp. 113–116.
PODS-1997-IbarraS #constraints #database #equivalence #linear #on the #query- On the Containment and Equivalence of Database Queries with Linear Constraints (OHI, JS), pp. 32–43.
PODS-1997-LevyS #query- Deciding Containment for Queries with Complex Objects (AYL, DS), pp. 20–31.
SAC-1997-GhoshGP #network #protocol- Fault-containing network protocols (SG, AG, SVP), pp. 431–437.
SAC-1997-PerrizoZK #multi #query- A query processing method for data warehouses which contain multimedia (WP, ZZ, SK), pp. 323–327.
CAV-1997-Fisler #decidability #diagrams #regular expression- Containing of Regular Languages in Non-Regular Timing Diagram Languages is Decidable (KF), pp. 155–166.
STOC-1996-Milenkovic #linear #programming #strict #using- Translational Polygon Containment and Minimal Enclosure using Linear Programming Based Restriction (VM), pp. 109–118.
ICML-1996-EngelsonK #identification- Identifying the Information Contained in a Flawed Theory (SPE, MK), pp. 131–138.
ICPR-1996-BasriGJ #image #multi #performance- Efficient determination of shape from multiple images containing partial information (RB, AJG, DWJ), pp. 268–274.
ICDAR-v2-1995-StubberudKK #adaptation #image- Adaptive image restoration of text images that contain touching or broken characters (PAS, JK, VK), pp. 778–781.
SOSP-1995-AndersonP #performance- The Performance of the Container Shipping I/O System (EWA, JP), p. 229.
SOSP-1995-ChapinRDLTG #fault #multi #named- Hive: Fault Containment for Shared-Memory Multiprocessors (JC, MR, SD, TL, DT, AG), pp. 12–25.
KDD-1994-Siebes #database #scalability- Homogeneous Discoveries Contain No Surprises: Inferring Risk Profiles from Large Databases (AS), pp. 97–108.
CAV-1994-HojatiMB #graph #using- Improving Language Containment Using Fairness Graphs (RH, RBMT, RKB), pp. 391–403.
DAC-1993-HojatiSBK #approach #model checking- A Unified Approach to Language Containment and Fair CTL Model Checking (RH, TRS, RKB, RPK), pp. 475–481.
CIKM-1993-Xie #encapsulation #optimisation #query- Optimization of Object Queries Containing Encapsulated Methods (ZX), pp. 451–460.
CAV-1993-BalarinS #approach- An Iterative Approach to Language Containment (FB, ALSV), pp. 29–40.
CAV-1993-HojatiBK #debugging #design #using- BDD-Based Debugging Of Design Using Language Containment and Fair CTL (RH, RKB, RPK), pp. 41–58.
DAC-1992-GuptaCM #component #hardware #simulation #synthesis- Synthesis and Simulation of Digital Systems Containing Interacting Hardware and Software Components (RKG, CJNCJ, GDM), pp. 225–230.
PODS-1992-Chan #query- Containment and Minimization of Positive Conjunctive Queries in OODB’s (EPFC), pp. 202–211.
CAV-1992-HojatiTKB #performance #regular expression- Efficient ω-Regular Language Containment (RH, HJT, RPK, RKB), pp. 396–409.
TOOLS-USA-1991-Horstmann #c++ #design #library #standard- Design Considerations for a Standard C++ Container Class Library (CSH), pp. 327–338.
ICSE-1990-Thomas #safety- Assessing Failure Probabilities in Safety-Critical Systems Containing Software (MT), p. 227.
CADE-1990-Basin #commutative #morphism #similarity- Equality of Terms Containing Associative-Commutative Functions and Commutative Binding Operators in Isomorphism Complete (DAB), pp. 251–260.
VLDB-1989-CasanovaTFB #dependence #optimisation #relational- Optimization of Relational Schemas Containing Inclusion Dependencies (MAC, LT, ALF, APB), pp. 317–325.
PODS-1988-ShmueliTZ #logic #set- Rewriting of Rules Containing Set Terms in a Logic Data Model (LDL) (OS, ST, CZ), pp. 15–28.
VLDB-1987-ChristensenZ #comparison #database #embedded #self- A Comparison of Self-Contained and Embedded Database Languages (AC, TUZ), pp. 209–216.
VLDB-1987-Dayal #approach #quantifier #query- Of Nests and Trees: A Unified Approach to Processing Queries That Contain Nested Subqueries, Aggregates, and Quantifiers (UD), pp. 197–208.
ICALP-1987-HowellR #equivalence #reachability- Completeness Rules for Reachability, Containment, and Equivalence, with Respect to Conflict-Free Vector Replacement Systems (RRH, LER), pp. 509–520.
ICALP-1986-HartmanisLY #complexity #set- Containment, Separation, Complete Sets, and Immunity of Complexity Classes (JH, ML, YY), pp. 136–145.
ICALP-1985-Fortune #algorithm #performance- A Fast Algorithm for Polygon Containment by Translation (Extended Abstract) (SF), pp. 189–198.
PODS-1982-JohnsonK #dependence #functional #query #testing- Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (DSJ, ACK), pp. 164–169.
ICALP-1978-FortuneHS #complexity #equivalence #for free- The Complexity of Equivalence and Containment for Free Single Variable Program Schemes (SF, JEH, EMS), pp. 227–240.
DAC-1970-Farlow #design- Machine aids to the design of ceramic substrates containing integrated circuit chips (CWF), pp. 274–285.