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.