42 papers:
PEPM-2015-KootH #analysis #exception #functional #higher-order #semantics #strict #type system- Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics (RK, JH), pp. 127–138.
SAC-2015-LeTN #requirements #using #verification- Verifying eventuality properties of imprecise system requirements using event-B (HAL, NTT, SN), pp. 1651–1653.
DAC-2014-ZhangPL #hardware #power management- Low Power GPGPU Computation with Imprecise Hardware (HZ, MP, JL), p. 6.
- DAC-2012-HuangLR #energy #hardware #trade-off #using
- A methodology for energy-quality tradeoff using imprecise hardware (JH, JL, GR), pp. 504–509.
TFPIE-2012-Ragde- Mathematics Is Imprecise (PR), pp. 40–49.
CIKM-2012-JinCKLZ #protocol #query- A filter-based protocol for continuous queries over imprecise location data (YJ, RC, BK, KyL, YZ), pp. 365–374.
FSE-2012-RahmanPD #fault #predict- Recalling the “imprecision” of cross-project defect prediction (FR, DP, PTD), p. 61.
VLDB-2010-ZhangDI- Recognizing Patterns in Streams with Imprecise Timestamps (HZ, YD, NI), pp. 244–255.
- CIKM-2010-GuanXZGY #analysis #classification #documentation #performance #reduction
- Fast dimension reduction for document classification based on imprecise spectrum analysis (HG, BX, JZ, MG, TY), pp. 1753–1756.
ICALP-v1-2009-AjtaiFHN #sorting- Sorting and Selection with Imprecise Comparisons (MA, VF, AH, JN), pp. 37–48.
SIGIR-2009-CormackK #evaluation- Spam filter evaluation with imprecise ground truth (GVC, AK), pp. 604–611.
TLCA-2009-StengerV #fault #haskell #parametricity #semantics- Parametricity for Haskell with Imprecise Error Semantics (FS, JV), pp. 294–308.
- DAC-2008-PangR #fixpoint #optimisation
- Optimizing imprecise fixed-point arithmetic circuits specified by Taylor Series through arithmetic transform (YP, KR), pp. 397–402.
- SAC-2008-PaulyS #database
- Spatial vagueness and imprecision in databases (AP, MS), pp. 875–879.
OSDI-2008-JainMKYDZ #consistency #metric #monitoring #network #scalability- Network Imprecision: A New Consistency Metric for Scalable Monitoring (NJ, PM, DK, PY, MD, YZ), pp. 87–102.
- VLDB-2007-BurdickDRV #constraints
- OLAP over Imprecise Data with Domain Constraints (DB, AD, RR, SV), pp. 39–50.
ICEIS-AIDSS-2007-Novacek #empirical #ontology #refinement #taxonomy- Imprecise Empirical Ontology Refinement — Application to Taxonomy Acquisition (VN), pp. 31–38.
- VLDB-2006-BurdickDJRV #algorithm #performance
- Efficient Allocation Algorithms for OLAP Over Imprecise Data (DB, PMD, TSJ, RR, SV), pp. 391–402.
ICPR-v4-2006-LandgrebePD- Precision-recall operating characteristic (P-ROC) curves in imprecise environments (TL, PP, RPWD), pp. 123–127.
- SAC-2006-BernsteinK #ontology #retrieval #similarity #towards #using
- Imprecise RDQL: towards generic retrieval in ontologies using similarity joins (AB, CK), pp. 1684–1689.
- VLDB-2005-BurdickDJRV #nondeterminism
- OLAP Over Uncertain and Imprecise Data (DB, PD, TSJ, RR, SV), pp. 970–981.
- VLDB-2005-NambiarK #database #query #web
- Answering Imprecise Queries over Web Databases (UN, SK), pp. 1350–1353.
PASTE-2004-RountevKG #static analysis- Evaluating the imprecision of static analysis (AR, SK, MG), pp. 14–16.
- ICEIS-v2-2004-CaleroDSSMS #approximate #database #dependence #experience #fuzzy
- An Experience in Management of Imprecise Soil Databases by Means of Fuzzy Association Rules and Fuzzy Approximate Dependencies (JC, GD, MSM, DS, MAVM, JMS), pp. 138–146.
LSO-2004-MelnikR #learning- Impreciseness and Its Value from the Perspective of Software Organizations and Learning (GM, MMR), pp. 122–130.
SIGMOD-2003-ChengKP #probability #query- Evaluating Probabilistic Queries over Imprecise Data (RC, DVK, SP), pp. 551–562.
- ICEIS-v1-2003-MontesiT #query
- Imprecision Based Queries Over Materialized and Virtual Integrated Views (DM, AT), pp. 407–413.
- ICEIS-v2-2003-El-SayedP
- Symbolic Management of Imprecision (MES, DP), pp. 66–73.
- SAC-2000-Reich #algorithm #difference #equation #simulation #using
- Simulation of Imprecise Ordinary Differential Equations Using Evolutionary Algorithms (CR), pp. 428–432.
DATE-1999-HuhnSKL #verification- Verifying Imprecisely Working Arithmetic Circuits (MH, KS, TK, GL), p. 65–?.
PLDI-1999-JonesRHHM #exception #semantics- A Semantics for Imprecise Exceptions (SLPJ, AR, FH, CARH, SM), pp. 25–36.
KDD-1998-McCleanSS #database #information management #nondeterminism- Aggregation of Imprecise and Uncertain Information for Knowledge Discovery in Databases (SIM, BWS, MS), pp. 269–273.
- DAC-1997-Tirat-GefenSP #design #multi
- Incorporating Imprecise Computation into System-Level Design of Application-Specific Heterogeneous Multiprocessors (YGTG, DCdSJ, ACP), pp. 58–63.
- KDD-1997-ProvostF #analysis #classification #comparison #performance #visualisation
- Analysis and Visualization of Classifier Performance: Comparison under Imprecise Class and Cost Distributions (FJP, TF), pp. 43–48.
RE-1997-YenT #analysis #requirements #trade-off- A Systematic Tradeoff Analysis for Conflicting Imprecise Requirements (JY, WAT), p. 87–?.
ICSE-1996-LiuY #framework #requirements #specification- An Analytic Framework for Specifying and Analyzing Imprecise Requirements (XFL, JY), pp. 60–69.
- DAC-1995-KarkowskiO
- Retiming Synchronous Circuitry with Imprecise Delays (IK, RHJMO), pp. 322–326.
- VLDB-1992-Lee #database #nondeterminism #relational
- An Extended Relational Database Model for Uncertain and Imprecise Information (SKL), pp. 211–220.
- VLDB-1990-Fuhr #database #framework #probability #query
- A Probabilistic Framework for Vague Queries and Imprecise Information in Databases (NF), pp. 696–707.
ML-1989-RasZ #concept #learning- Imprecise Concept Learning within a Growing Language (ZWR, MZ), pp. 314–319.
- SIGIR-1987-MorrisseyR
- A Formal Treatment of Missing and Imprecise Information (JMM, CJvR), pp. 149–156.
- VLDB-1981-MontgomeryR #analysis #data-driven #information management
- The Active Information System: A Data-Driven System for the Analysis of Imprecise Data (CAM, EHR), pp. 376–384.
