Stem incomplet$ (all stems)

161 papers:

ICALP-v2-2015-Finkel #automaton #infinity #scalability #theorem #word

Incompleteness Theorems, Large Cardinals, and Automata over Infinite Words (OF), pp. 222–233.

ICML-2015-SibonyCJ #learning #ranking #statistics

MRA-based Statistical Learning from Incomplete Rankings (ES, SC, JJ), pp. 1432–1441.

ESEC-FSE-2015-RajagopalanH #concurrent #detection #named

RDIT: race detection from incomplete traces (AKR, JH), pp. 914–917.

SPLC-2015-SoutoGdMKB #debugging #detection #feature model #modelling #performance #product line

Faster bug detection for software product lines with incomplete feature models (SS, DG, Md, DM, SK, DSB), pp. 151–160.

DAC-2014-YuSHEAB #metric #parametricity #using

Remembrance of Transistors Past: Compact Model Parameter Extraction Using Bayesian Inference and Incomplete New Measurements (LY, SS, CH, IAME, DAA, DSB), p. 6.

PODS-2014-Libkin #how #semistructured data #what

Incomplete data: what went wrong, and how to fix it (LL), pp. 1–13.

VLDB-2014-LiagourisT #identification #knowledge base #owl #performance

Efficient Identification of Implicit Facts in Incomplete OWL2-EL Knowledge Bases (JL, MT), pp. 1993–2004.

FASE-2014-GomesPG #bytecode #control flow #graph #java #source code

Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs (PdCG, AP, DG), pp. 215–229.

AFL-2014-Valmari #proving #string

Character Strings and Gödel’s Incompleteness Proof (AV), pp. 355–369.

ICML-c2-2014-RaiWGCDC #composition #multi #rank #scalability

Scalable Bayesian Low-Rank Decomposition of Incomplete Multiway Tensors (PR, YW, SG, GC, DBD, LC), pp. 1800–1808.

ICPR-2014-ChaudhariM #clustering #matrix #semistructured data #symmetry #using

Average Overlap for Clustering Incomplete Data Using Symmetric Non-negative Matrix Factorization (SC, MNM), pp. 1431–1436.

ICPR-2014-GarciaO #realtime

CPU-Based Real-Time Surface and Solid Voxelization for Incomplete Point Cloud (FG, BEO), pp. 2757–2762.

VLDB-2013-SavkovicPTN #approximate #query

Complete Approximations of Incomplete Queries (OS, PM, AT, WN), pp. 1378–1381.

CIAA-2013-MaiaMR #complexity #finite

Incomplete Transition Complexity of Basic Operations on Finite Languages (EM, NM, RR), pp. 349–356.

ICEIS-v1-2013-ZaamouneBPB #analysis #approach #multi #relational

A New Relational Spatial OLAP Approach for Multi-resolution and Spatio-multidimensional Analysis of Incomplete Field Data (MZ, SB, FP, PB), pp. 145–152.

KEOD-2013-NogueiraG #multi #nondeterminism #programming #set

Supply Chain Tracing of Multiple Products under Uncertainty and Incomplete Information — An Application of Answer Set Programming (MLN, NPG), pp. 399–406.

ICST-2013-GraslandBGP #approach #functional #hybrid #safety #testing

A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information (YG, LdB, RG, IP), pp. 104–113.

VLDB-2012-SunAH #clustering #network

Relation Strength-Aware Clustering of Heterogeneous Information Networks with Incomplete Attributes (YS, CCA, JH), pp. 394–405.

SAS-2012-GiacobazziM #abstract interpretation #modelling #obfuscation

Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation (RG, IM), pp. 129–145.

ICPR-2012-IkedaOSS #estimation

Illumination estimation from shadow and incomplete object shape captured by an RGB-D camera (TI, YO, MS, HS), pp. 165–169.

KDD-2012-LiWH #mining

Mining event periodicity from incomplete observations (ZL, JW, JH), pp. 444–452.

KDD-2012-YuanWTNY #analysis #learning #multi

Multi-source learning for joint analysis of incomplete multi-modality neuroimaging data (LY, YW, PMT, VAN, JY), pp. 1149–1157.

SAC-2012-DayehH #biology #network #using

Analyzing incomplete biological pathways using network motifs (MED, MH), pp. 1355–1360.

SAC-2012-DrumondRS #information management #knowledge base #predict #rdf

Predicting RDF triples in incomplete knowledge bases with tensor factorization (LD, SR, LST), pp. 326–331.

ICSE-2012-Stolee #lightweight #semantics #source code #specification

Finding suitable programs: Semantic search with incomplete and lightweight specifications (KTS), pp. 1571–1574.

DATE-2011-ButtrickK #3d #network #on the #testing #using

On testing prebond dies with incomplete clock networks in a 3D IC using DLLs (MB, SK), pp. 1418–1423.

PODS-2011-Libkin #modelling

Incomplete information and certain answers in general data models (LL), pp. 59–70.

VLDB-2011-RazniewskiN #database #query #semistructured data

Completeness of Queries over Incomplete Databases (SR, WN), pp. 749–760.

CHI-2011-YiJB #design #experience #online

Enticing consumers via incomplete product experience: an investigation of online product interactivity designs (CY, ZJ, IB), pp. 2679–2688.

ICEIS-v2-2011-RenW #perspective

Declare Value Transportation — An Incomplete Contracting View (YR, QW), pp. 373–377.

ICEIS-v3-2011-Liu

The Impact of Display Incompleteness on Customers’ Choice (ZL), pp. 550–553.

CIKM-2011-NiuLX #graph #named #ranking #using

DIGRank: using global degree to facilitate ranking in an incomplete graph (XN, LL, KX), pp. 2297–2300.

CSL-2011-Kopczynski #consistency #question

Trees in Trees: Is the Incomplete Information about a Tree Consistent? (EK), pp. 367–380.

CIKM-2010-EatondJ #clustering #constraints #learning #multi

Multi-view clustering with constraint propagation for learning with an incomplete mapping between views (EE, Md, SJ), pp. 389–398.

CIKM-2010-LiQKG #automation #constraints #model merging #using

Automatic schema merging using mapping constraints among incomplete sources (XL, CQ, DK, SG), pp. 299–308.

ICPR-2010-GriptonL #kernel #semistructured data #using

Kernel Domain Description with Incomplete Data: Using Instance-Specific Margins to Avoid Imputation (AG, WL), pp. 2921–2924.

SIGIR-2010-HauffJ #automation #evaluation #retrieval

Retrieval system evaluation: automatic evaluation versus incomplete judgments (CH, FdJ), pp. 863–864.

SLE-2010-BarrocaLAFS #model transformation #named

DSLTrans: A Turing Incomplete Transformation Language (BB, LL, VA, RF, VS), pp. 296–305.

ICST-2010-KimSGSHN #analysis #automation #debugging #identification

Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes (MK, SS, CG, HS, MJH, MGN), pp. 383–392.

SAT-2010-MillerKLB #bound #design #encoding #model checking

Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs (CM, SK, MDTL, BB), pp. 194–208.

PODS-2009-BarceloLPS #modelling #query #xml

XML with incomplete information: models, properties, and query answering (PB, LL, AP, CS), pp. 237–246.

CIKM-2009-HaghaniMA #data type #query #semistructured data

Evaluating top-k queries over incomplete data streams (PH, SM, KA), pp. 877–886.

VLDB-2008-KharlamovN #integration

Incompleteness in information integration (EK, WN), pp. 1652–1658.

ICEIS-ISAS2-2008-FahadQN #consistency #fault #nondeterminism #ontology

Ontological Errors — Inconsistency, Incompleteness and Redundancy (MF, MAQ, MWN), pp. 253–285.

ICML-2008-DickHS #infinity #learning #semistructured data

Learning from incomplete data with infinite imputations (UD, PH, TS), pp. 232–239.

ICML-2008-HaffariWWMJ

Boosting with incomplete information (GH, YW, SW, GM, FJ), pp. 368–375.

ICPR-2008-LiaoJ #learning #network #parametricity #semistructured data

Exploiting qualitative domain knowledge for learning Bayesian network parameters with incomplete data (WL, QJ), pp. 1–4.

ICPR-2008-ToyouraIFKM #3d #multi #re-engineering

3D shape reconstruction from incomplete silhouettes in multiple frames (MT, MI, TF, KK, MM), pp. 1–4.

KR-2008-PiniRVW #nondeterminism

Dealing with Incomplete Agents’ Preferences and an Uncertain Agenda in Group Decision Making via Sequential Majority Voting (MSP, FR, KBV, TW), pp. 571–578.

TOOLS-EUROPE-2008-BettiniBV #composition #java

Object Incompleteness and Dynamic Composition in Java-Like Languages (LB, VB, BV), pp. 198–217.

SIGMOD-2007-AntovaKO

From complete to incomplete information and back (LA, CK, DO), pp. 713–724.

VLDB-2007-AntovaKO #query

Query language support for incomplete information in the MayBMS system (LA, CK, DO), pp. 1422–1425.

VLDB-2007-WolfKCFCK #database #query

Query Processing over Incomplete Autonomous Databases (GW, HK, BC, JF, YC, SK), pp. 651–662.

ICEIS-EIS-2007-PetersT #workflow

Making Incomplete Information Visible in Workflow Systems (GP, RT), pp. 434–440.

CIKM-2007-AslamY #documentation

Inferring document relevance from incomplete information (JAA, EY), pp. 633–642.

CIKM-2007-CarteretteS #testing

Hypothesis testing with incomplete relevance judgments (BC, MDS), pp. 643–652.

ECIR-2007-BaillieAR #evaluation #retrieval

A Retrieval Evaluation Methodology for Incomplete Relevance Assessments (MB, LA, IR), pp. 271–282.

ICML-2007-LiaoLC #classification #semistructured data

Quadratically gated mixture of experts for incomplete data classification (XL, HL, LC), pp. 553–560.

SIGIR-2007-BompadaCCKS #metric #on the #robust

On the robustness of relevance measures with incomplete judgments (TB, CCC, JC, RK, RS), pp. 359–366.

SIGIR-2007-ButtcherCYS #evaluation #information retrieval #reliability

Reliable information retrieval evaluation with incomplete and biased judgements (SB, CLAC, PCKY, IS), pp. 63–70.

ASE-2006-Sabetzadeh #consistency

Management of Incomplete and Inconsistent Views (MS), pp. 339–342.

DAC-2006-WangKO #nondeterminism #parametricity #probability #statistics

Statistical timing based on incomplete probabilistic descriptions of parameter uncertainty (WSW, VK, MO), pp. 161–166.

PODS-2006-Libkin

Data exchange and incomplete information (LL), pp. 60–69.

PODS-2006-Rosati #database #decidability #finite #on the #query

On the decidability and finite controllability of query processing in databases with incomplete information (RR), pp. 356–365.

CIKM-2006-AhlgrenG #case study #comparative #evaluation #metric #retrieval

Retrieval evaluation with incomplete relevance data: a comparative study of three measures (PA, LG), pp. 872–873.

CIKM-2006-YilmazA #precise

Estimating average precision with incomplete and imperfect judgments (EY, JAA), pp. 102–111.

KR-2006-SonT #approximate #on the #reasoning

On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information (TCS, PHT), pp. 481–491.

SIGIR-2006-AslamPY #evaluation #statistics #using

A statistical method for system evaluation using incomplete judgments (JAA, VP, EY), pp. 541–548.

ICLP-2006-Rocha #logic programming #source code

Handling Incomplete and Complete Tables in Tabled Logic Programs (RR), pp. 427–428.

ICLP-2006-Tu #performance #reasoning

Efficient Reasoning About Action and Change in the Presence of Incomplete Information and Its Application in Planning (PHT), pp. 469–470.

DAC-2005-SasaoM #composition #functional #logic #multi #representation

BDD representation for incompletely specifiedvmultiple-output logic functions and its applications to functional decomposition (TS, MM), pp. 373–378.

SIGMOD-2005-LeoneGILTEFFGRLLRKNS #consistency #integration

The INFOMIX system for advanced integration of incomplete and inconsistent data (NL, GG, GI, VL, GT, TE, WF, MF, GG, RR, DL, ML, MR, EK, BN, WS), pp. 915–917.

ICML-2005-RamakrishnanCKB #approximate #classification

A model for handling approximate, noisy or incomplete labeling in text classification (GR, KPC, RK, PB), pp. 681–688.

ICML-2005-WilliamsLXC #classification #using

Incomplete-data classification using logistic regression (DW, XL, YX, LC), pp. 972–979.

RE-2005-SabetzadehE #algebra #consistency #framework

An Algebraic Framework for Merging Incomplete and Inconsistent Views (MS, SME), pp. 306–318.

RE-2005-SabetzadehE05a #consistency #named

iVuBlender: A Tool for Merging Incomplete and Inconsistent Views (MS, SME), pp. 453–454.

SAC-2005-BartakR

Limited assignments: a new cutoff strategy for incomplete depth-first search (RB, HR), pp. 388–392.

CC-2005-XueN #analysis #object-oriented #source code

Completeness Analysis for Incomplete Object-Oriented Programs (JX, PHN), pp. 271–286.

DAC-2004-WangC #detection #symmetry

Symmetry detection for incompletely specified functions (KHW, JHC), pp. 434–437.

TACAS-2004-LeueMW #bound #modelling #scalability #uml

A Scalable Incomplete Test for the Boundedness of UML RT Models (SL, RM, WW), pp. 327–341.

ICEIS-v4-2004-VoG #information management #programming language

Agent Programming Language with Incomplete Knowledge — Agentspeak(I) (DV, AG), pp. 356–363.

ICPR-v1-2004-LiuLJ #approach

A Structural Approach to Recognizing Incomplete Graphic Objects (YL, WL, CJ), pp. 371–375.

ICPR-v4-2004-TanakaOKK #locality #mobile #probability #using

Probabilistic Localization for Mobile Robots using Incomplete Maps (KT, NO, EK, YK), pp. 709–712.

KR-2004-PetrickB #approach #knowledge-based

Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing (RPAP, FB), pp. 613–622.

SIGIR-2004-BuckleyV #evaluation #retrieval

Retrieval evaluation with incomplete information (CB, EMV), pp. 25–32.

PODS-2003-CaliLR #complexity #consistency #database #decidability #on the #query #semistructured data

On the decidability and complexity of query answering over inconsistent and incomplete databases (AC, DL, RR), pp. 260–271.

SIGMOD-2003-Dyreson

Temporal Coalescing with Now, Granularity, and Incomplete Information (CED), pp. 169–180.

ECIR-2003-AunimoHKMPV #semistructured data

Question Answering System for Incomplete and Noisy Data (LA, OH, RK, JM, RP, OV), pp. 193–206.

SEKE-2003-Ngo-TheR #nondeterminism #requirements

Requirements Negotiation under Incompleteness and Uncertainty (ANT, GR), pp. 586–593.

DATE-2002-GorenF #finite #heuristic #named #reduction #state machine

CHESMIN: A Heuristic for State Reduction in Incompletely Specified Finite State Machines (SG, FJF), pp. 248–254.

ICSM-2002-RedondoAVB #approximate #retrieval #reuse #specification

Approximate Retrieval of Incomplete and Formal Specifications Applied to Vertical Reuse (RPDR, JJPA, AFV, ABBM), pp. 618–627.

ICALP-2002-Brattka #random #recursion #set

Random Numbers and an Incomplete Immune Recursive Set (VB), pp. 950–961.

ICSE-2002-Raz #detection #research #semantics #specification

Research abstract for semantic detection in dynamic data feeds with incomplete specifications (OR), pp. 733–734.

OSDI-2002-AdyaBCCCDHLTW #named #reliability

FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment (AA, WJB, MC, GC, RC, JRD, JH, JRL, MT, RW), pp. 1–14.

SAT-2002-GentP #encoding #problem #satisfiability

SAT encodings of the stable marriage problem with ties and incomplete lists (IG, PP), p. 19.

PODS-2001-AbiteboulSV #query #representation #xml

Representing and Querying XML with Incomplete Information (SA, LS, VV).

SAS-2001-GiacobazziQ #model checking

Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking (RG, EQ), pp. 356–373.

DLT-2001-Csuhaj-VarjuV #communication #parallel

Parallel Communicating Grammar Systems with Incomplete Information Communication (ECV, GV), pp. 359–368.

KDD-2001-AggarwalP #concept #mining #re-engineering #semistructured data #set

Mining massively incomplete data sets by conceptual reconstruction (CCA, SP), pp. 227–232.

KDD-2001-PadmanabhanZK #personalisation #semistructured data #what

Personalization from incomplete data: what you don’t know can hurt (BP, Z(Z, SOK), pp. 154–163.

ICSE-2001-RedondoA #incremental #process #reuse #specification

Reuse of Verificatino Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process (RPDR, JJPA), pp. 801–802.

CL-2000-EiterFLPP #information management

Planning under Incomplete Knowledge (TE, WF, NL, GP, AP), pp. 807–821.

PODS-1999-KanzaNS #query #semistructured data

Queries with Incomplete Answers over Semistructured Data (YK, WN, YS), pp. 227–236.

ICALP-1999-IwamaMMM

Stable Marriage with Incomplete Lists and Ties (KI, DM, SM, YM), pp. 443–452.

DAC-1998-WangBS #named #semistructured data

Potential-NRG: Placement with Incomplete Data (MW, PB, MS), pp. 279–282.

VLDB-1998-OoiGT #database #performance #semistructured data

Fast High-Dimensional Data Search in Incomplete Databases (BCO, CHG, KLT), pp. 357–367.

TAGT-1998-EhrigHLOPR #framework #graph #rule-based

Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information (HE, RH, ML, FO, JP, GR), pp. 85–102.

KR-1998-BacchusP #execution #information management #modelling

Modeling an Agent’s Incomplete Knowledge During Planning and During Execution (FB, RPAP), pp. 432–443.

KR-1998-Levesque #first-order #knowledge base #reasoning

A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases (HJL), pp. 14–23.

EDTC-1997-SchollMHM #symmetry

Minimizing ROBDD sizes of incompletely specified Boolean functionsby exploiting strong symmetries (CS, SM, GH, PM), pp. 229–234.

ILPS-1997-BaralS #approximate #reasoning

Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information (CB, TCS), pp. 387–401.

DAC-1996-HiguchiM #algorithm #finite #performance #reduction #state machine

A Fast State Reduction Algorithm for Incompletely Specified Finite State Machines (HH, YM), pp. 463–466.

VLDB-1996-Dyreson #information retrieval #semistructured data

Information Retrieval from an Incomplete Data Cube (CED), pp. 532–543.

VLDB-1996-Levy #database #semistructured data

Obtaining Complete Answers from Incomplete Databases (AYL), pp. 402–412.

ICPR-1996-KasprzakC #analysis #component #image #independence

Hidden image separation from incomplete image mixtures by independent component analysis (WK, AC), pp. 394–398.

LICS-1996-Selinger #finite #modelling

Order-Incompleteness and Finite λ Models (Extended Abstract) (PS), pp. 432–439.

DAC-1995-WangH

Boolean Matching for Incompletely Specified Functions (KHW, TH), pp. 48–53.

PODS-1995-Libkin #database #normalisation #semistructured data

Normalizing Incomplete Databases (LL), pp. 219–230.

KDD-1995-Thiesson #network #quantifier #semistructured data

Accelerated Quantification of Bayesian Networks with Incomplete Data (BT), pp. 306–311.

SAC-1995-AbualiWS #encoding #graph #representation

Determinant factorization and cycle basis: encoding schemes for the representation of spanning trees on incomplete graphs (FNA, RLW, DAS), pp. 305–312.

EDAC-1994-ChangCM #multi

Minimizing ROBDD Size of Incompletely Specified Multiple Output Functions (SCC, DIC, MMS), pp. 620–624.

SIGMOD-1994-IoannidisL #ambiguity

Incomplete Path Expressions and their Disambiguation (YEI, YL), pp. 138–149.

ICML-1994-Gil #incremental #learning #refinement

Learning by Experimentation: Incremental Refinement of Incomplete Planning Domains (YG), pp. 87–95.

CIKM-1993-Shum #approach #semantics

Quick and Incomplete Responses: The Semantic Approach (CDS), pp. 39–48.

ICML-1993-McCallum #memory management

Overcoming Incomplete Perception with Util Distinction Memory (AM), pp. 190–196.

SEKE-1993-LiuWN #documentation #query #retrieval

An OI5ce Document Retrieval System with the Capability of Processing Incomplete and Vague Queries (QL, JTLW, PAN), pp. 11–17.

ICLP-1993-LauO #deduction #logic programming #source code #synthesis

An Incompleteness Result for Deductive Synthesis of Logic Programs (KKL, MO), pp. 456–477.

ILPS-1993-DeneckerS #abduction #information management #logic programming #representation

Representing Incomplete Knowledge in Abductive Logic Programming (MD, DDS), pp. 147–163.

VLDB-1992-GadiaNP #database #relational

Incomplete Information in Relational Temporal Databases (SKG, SSN, YCP), pp. 395–406.

KR-1992-EtzioniHWDLW #approach

An Approach to Planning with Incomplete Information (OE, SH, DSW, DD, NL, MW), pp. 115–125.

ML-1992-Bhatnagar #learning

Learning by Incomplete Explanation-Based Learning (NB), pp. 37–42.

CADE-1992-MannaW

The Special-Relation Rules are Incomplete (ZM, RJW), pp. 492–506.

JICSLP-1992-DongL #database #deduction

Deductive Databases with Incomplete Information (FD, LVSL), pp. 303–317.

SIGMOD-1991-ImielinskiNV #design

Incomplete Objects — A Data Model for Design and Planning Applications (TI, SAN, KVV), pp. 288–297.

ML-1990-GenestMP #approach #learning

Explanation-Based Learning with Incomplete Theories: A Three-step Approach (JG, SM, BP), pp. 286–294.

PODS-1989-Grahne #database #performance

Horn Tables — An Efficient Tool for Handling Incomplete Information in Databases (GG), pp. 75–82.

VLDB-1989-OlaO #database #modelling #product line #relational

A Family of Incomplete Relational Database Models (AO, GÖ), pp. 23–31.

ML-1989-Danyluk #bias #induction #information management

Finding New Rules for Incomplete Theories: Explicit Biases for Induction with Contextual Information (APD), pp. 34–36.

ML-1989-Mahadevan #problem #using

Using Determinations in EBL: A Solution to the incomplete Theory Problem (SM), pp. 320–325.

ML-1989-WilkinsT #consistency #knowledge base #refinement

Knowledge Base Refinement as Improving an Incorrect, Inconsistent and Incomplete Domain Theory (DCW, KWT), pp. 332–339.

SIGMOD-1988-LaurentS #database #relational #semantics

Partition Semantics for Incomplete Information in Relational Databases (DL, NS), pp. 66–73.

ML-1988-MahadevanT #learning #on the

On the Tractability of Learning from Incomplete Theories (SM, PT), pp. 235–241.

ML-1988-Pazzani #learning

Integrated Learning with Incorrect and Incomplete Theories (MJP), pp. 291–297.

ALP-1988-Dahn #modelling #specification

Boolean Valued Models and Incomplete Specifications (BID), pp. 119–126.

PODS-1987-Hegner #database #implementation #source code #specification

Specification and Implementation of Programs for Updating Incomplete Information Databases (SJH), pp. 146–158.

POPL-1987-WidomGS #network #proving

Completeness and Incompleteness of Trace-Based Network Proof Systems (JW, DG, FBS), pp. 27–38.

PODS-1986-Vardi #database #on the

On the Integrity of Databases with Incomplete Information (MYV), pp. 252–266.

SIGMOD-1986-Imielinski #database #deduction #query

Query Processing in Deductive Databases with Incomplete Information (TI), pp. 268–280.

LICS-1986-KapurM #induction #reasoning #specification

Inductive Reasoning with Incomplete Specifications (Preliminary Report) (DK, DRM), pp. 367–377.

VLDB-1985-AbiteboulG #database #semantics #semistructured data

Update Semantics for Incomplete Databases (SA, GG), pp. 1–12.

VLDB-1984-Grahne #database #dependence

Dependency Satisfaction in Databases with Incomplete Information (GG), pp. 37–45.

POPL-1984-Thiel #data type #semistructured data #specification

Stop Losing Sleep Over Incomplete Data Type Specifications (JJT), pp. 76–82.

SIGMOD-1983-ImielinskiL #database #dependence #relational

Incomplete Information and Dependencies in Relational Databases (TI, WLJ), pp. 178–184.

VLDB-1981-ImielinskiL #database #on the #relational #representation

On Representing Incomplete Information in a Relational Data Base (TI, WLJ), pp. 388–397.

VLDB-1980-Vassiliou #dependence #functional

Functional Dependencies and Incomplete Information (YV), pp. 260–269.

POPL-1980-ReifP #logic #multi

A Dynamic Logic of Multiprocessing with Incomplete Information (JHR, GLP), pp. 193–202.

CADE-1980-GuihoG #synthesis

Program Synthesis from Incomplete Specifiactions (GDG, CG), pp. 53–62.

STOC-1979-Reif #game studies

Universal Games of Incomplete Information (JHR), pp. 288–308.

VLDB-1977-Lipski #database #on the #semantics

On Semantic Issues Connected with Incomplete Information Data Bases (Abstract) (WLJ), p. 491.

STOC-1976-Wand #hoare

A New Incompleteness Result for Hoare’s System (MW), pp. 87–91.

ICALP-1976-Lipski #information management

Informational Systems with Incomplete Information (WLJ), pp. 120–130.