BibSLEIGH — precise tag

precise

precise

Tag #precise

404 papers:

CGO-2020-KangCP #framework #named #performance #scalability: PreScaler: an efficient system-aware precision scaling framework on heterogeneous systems (SK, KC, YP), pp. 280–292.
CGO-2020-TanejaLR #analysis #testing: Testing static analyses for precision and soundness (JT, ZL, JR), pp. 81–93.
SANER-2019-Farmahinifarahani #clone detection #detection #on the #tool support: On Precision of Code Clone Detection Tools (FF, VS, DY, HS, CVL), pp. 84–94.
CIKM-2019-HwangYKK #ambiguity #detection: Time-Series Aware Precision and Recall for Anomaly Detection: Considering Variety of Detection Result and Addressing Ambiguous Labeling (WSH, JHY, JK, HK), pp. 2241–2244.
CIKM-2019-ZhaoSSW #graph #learning #named #retrieval: GRAPHENE: A Precise Biomedical Literature Retrieval Engine with Graph Augmented Deep Learning and External Knowledge Empowerment (SZ, CS, AS, FW), pp. 149–158.
ICML-2019-SimonWR #generative #modelling: Revisiting precision recall definition for generative modeling (LS, RW, JR), pp. 5799–5808.
ICML-2019-YangZKBWS #probability: SWALP : Stochastic Weight Averaging in Low Precision Training (GY, TZ, PK, JB, AGW, CDS), pp. 7015–7024.
KDD-2019-KobrenBYHL #knowledge base: Constructing High Precision Knowledge Bases with Subjective and Factual Attributes (AK, PB0, OY, JH, IL), pp. 2050–2058.
KDD-2019-LinSQL0ZJ #process #realtime #robust: Robust Gaussian Process Regression for Real-Time High Precision GPS Signal Enhancement (ML, XS, QQ, HL, LS0, SZ, RJ), pp. 2838–2847.
OOPSLA-2019-EssertelWR #reasoning: Precise reasoning with structured time, structured heaps, and collective operations (GME, GW, TR), p. 30.
OOPSLA-2019-WuCHS0 #approach #fault #generative #learning #specification: Generating precise error specifications for C: a zero shot learning approach (BW, JPCI, YH, AS, SC0), p. 30.
PLDI-2019-GershuniAGNNRRS #kernel #linux #static analysis: Simple and precise static analysis of untrusted Linux kernel extensions (EG, NA, AG, NN, JAN, NR, LR, MS), pp. 1069–1084.
SAS-2019-LeiS #analysis #performance #pointer: Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis (YL, YS), pp. 27–47.
SAS-2019-LiLYCHZ #network #performance #towards #verification: Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification (JL, JL, PY, LC, XH0, LZ0), pp. 296–319.
ASE-2019-HuangFZZWJMP #analysis #editing #modelling #named #requirements: Prema: A Tool for Precise Requirements Editing, Modeling and Analysis (YH, JF, HZ, JZ, SW, SJ, WM, GP), pp. 1166–1169.
ICSE-2019-MotwaniB #automation #generative #natural language #specification: Automatically generating precise Oracles from structured natural language specifications (MM, YB), pp. 188–199.
ICSE-2019-SainiFLY0SBL #automation #clone detection #detection #towards: Towards automating precision studies of clone detectors (VS, FF, YL, DY, PM0, HS, PB, CVL), pp. 49–59.
ICSE-2019-XuSYX #named #null #pointer #program repair: VFix: value-flow-guided precise program repair for null pointer dereferences (XX, YS, HY, JX), pp. 512–523.
CASE-2019-HagelskjaerSKB #constraints #estimation #industrial #performance #using: Using spatial constraints for fast set-up of precise pose estimation in an industrial setting (FH, TRS, NK, AGB), pp. 1308–1314.
CASE-2019-WiggertABCVVG #delivery #low cost #named #open source: RAPID-MOLT: A Meso-scale, Open-source, Low-cost Testbed for Robot Assisted Precision Irrigation and Delivery (MW, LA, RB, SC, JV, SV, KG), pp. 1489–1496.
CASE-2019-WuZQX #learning: Deep Reinforcement Learning of Robotic Precision Insertion Skill Accelerated by Demonstrations (XW, DZ, FQ, DX), pp. 1651–1656.
ICST-2019-WuLSCX #analysis #android #detection #order: Precise Static Happens-Before Analysis for Detecting UAF Order Violations in Android (DW, JL0, YS, SC0, JX), pp. 276–287.
MSR-2018-CaiJ #analysis #android #performance: Leveraging historical versions of Android apps for efficient and precise taint analysis (HC, JJ), pp. 265–269.
SANER-2018-ZhangDZHYY0 #android #detection #library: Detecting third-party libraries in Android applications with high precision and recall (YZ0, JD, XZ, SH, ZY, MY0, HC0), pp. 141–152.
IFM-2018-ErikssonPB #array #invariant: A Precise Pictorial Language for Array Invariants (JE, MP, RJB), pp. 151–160.
ECIR-2018-ZhangWXLS #graph #predict: Discriminative Path-Based Knowledge Graph Embedding for Precise Link Prediction (MZ, QW, WX, WL, SS), pp. 276–288.
ICML-2018-ChenXW0G #estimation #matrix #optimisation: Covariate Adjusted Precision Matrix Estimation via Nonconvex Optimization (JC, PX0, LW, JM0, QG), pp. 921–930.
ICPR-2018-AntensteinerSP #3d #framework #multi: Variational Fusion of Light Field and Photometric Stereo for Precise 3D Sensing within a Multi-Line Scan Framework (DA, SS, TP), pp. 1036–1042.
ICPR-2018-MaierSSWSCF #learning #network #towards #using: Precision Learning: Towards Use of Known Operators in Neural Networks (AKM, FS, CS, TW, SS, JHC, RF), pp. 183–188.
ICPR-2018-RedaGSEEAEEKE #classification #novel: A Novel ADCs-Based CNN Classification System for Precise Diagnosis of Prostate Cancer (IR, MG, AS0, ME, AAEF, BOA, MAEG, AE, RK, AEB), pp. 3923–3928.
OOPSLA-2018-JeonJO #analysis #data-driven #points-to #scalability: Precise and scalable points-to analysis via data-driven context tunneling (MJ, SJ, HO), p. 29.
PLDI-2018-ShiXWZFZ #analysis #named #performance: Pinpoint: fast and precise sparse value flow analysis for million lines of code (QS, XX0, RW, JZ, GF, CZ), pp. 693–706.
ICSE-2018-KimCK #c #source code #testing #using: Precise concolic unit testing of C programs using extended units and symbolic alarm filtering (YK, YC, MK), pp. 315–326.
ASPLOS-2018-DavidPY #detection #named #static analysis: FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware (YD, NP, EY), pp. 392–404.
CASE-2018-BettaharCBCL #automation #novel #principle: Novel Strategy for High Precision Automated Robotic Positioning based on Fabry-Perot Interferometry Principle (HB, CC, FB, NC, PL), pp. 1441–1447.
CASE-2018-KronthalerW #framework #modelling #platform: Model based control of a high precision dual gantry platform with elastic cross coupling (PK, FW), pp. 491–498.
CASE-2018-SaadatziDWPB #novel: Precision Grasp Control with a Pneumatic Gripper and a Novel Fingertip Force Sensor (MNS, SKD, IBW, DOP, JRB), pp. 1454–1459.
CASE-2018-TsengWCMSVVCOG #automation #image #learning #towards: Towards Automating Precision Irrigation: Deep Learning to Infer Local Soil Moisture Conditions from Synthetic Aerial Agricultural Images (DT, DWLW, CC, LM, WS, JV, SV, SC, JAO, KG), pp. 284–291.
ICML-2017-SakrKS #network: Analytical Guarantees on Numerical Precision of Deep Neural Networks (CS, YK0, NRS), pp. 3007–3016.
ICML-2017-Zhang0KALZ #learning #linear #modelling #named: ZipML: Training Linear Models with End-to-End Low Precision, and a Little Bit of Deep Learning (HZ, JL0, KK, DA, JL0, CZ), pp. 4035–4043.
ECOOP-2017-HuangR #concurrent #detection #performance #perspective #what: What's the Optimal Performance of Precise Dynamic Race Detection? - A Redundancy Perspective (JH, AKR), p. 22.
OOPSLA-2017-ChaudhuriVGRL #javascript #performance #type checking: Fast and precise type checking for JavaScript (AC, PV, SG, MR, GL), p. 30.
OOPSLA-2017-SpathAB #alias #analysis #data flow #named #performance: IDEal: efficient and precise alias-aware dataflow analysis (JS, KA0, EB), p. 27.
PEPM-2017-FritzH #approximate #python #type system: Cost versus precision for approximate typing for Python (LF, JH), pp. 89–98.
PLDI-2017-TanLX #analysis #automaton #modelling #performance #points-to: Efficient and precise points-to analysis: modeling the heap by merging equivalent automata (TT0, YL0, JX), pp. 278–291.
ASE-2017-LessenichAKSS #performance: Renaming and shifted code in structured merging: looking ahead for precision and performance (OL, SA, CK, GS, JS), pp. 543–553.
ICSE-2017-LiWWWWLXH #android #detection #library #named #scalability: LibD: scalable and precise third-party library detection in android markets (ML, WW, PW0, SW0, DW, JL, RX, WH), pp. 335–346.
ICSE-2017-XiongWYZH00 #program repair #synthesis: Precise condition synthesis for program repair (YX, JW, RY, JZ, SH, GH0, LZ0), pp. 416–426.
ASPLOS-2017-ChenYGKMT #named #predict: Prophet: Precise QoS Prediction on Non-Preemptive Accelerators to Improve Utilization in Warehouse-Scale Computers (QC0, HY, MG, RSK, JM, LT), pp. 17–32.
ASPLOS-2017-MisraCGL #lightweight #transaction: Enabling Lightweight Transactions with Precision Time (PAM, JSC, JG, ARL), pp. 779–794.
CASE-2017-JeongKC #algorithm #empirical: Initial experiment of practical algorithm for precision motion control of human-like tendon-driven joint mechanism (HJ, BK, JC), pp. 1469–1474.
FASE-2017-AsenovG0O #version control: Precise Version Control of Trees with Line-Based Version Control Systems (DA, BG, PM0, MO), pp. 152–169.
VMCAI-2017-MonatM #abstract interpretation #abstraction #concurrent #relational #source code #thread #using: Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions (RM, AM), pp. 386–404.
SANER-2016-YeZMYZ #javascript #performance #slicing #source code: Efficient and Precise Dynamic Slicing for Client-Side JavaScript Programs (JY, CZ, LM0, HY0, JZ), pp. 449–459.
ICPR-2016-AiMHLL #gesture: High precision gesture sensing via quantitative characterization of the Doppler effect (HA, YM, LH, ZL, ML), pp. 973–978.
ICPR-2016-LiangSWMWSG #image #learning #optimisation #performance #retrieval #similarity: Optimizing top precision performance measure of content-based image retrieval by learning similarity function (RZL, LS, HW, JM, JJYW, QS, YG), pp. 2954–2958.
ICPR-2016-LiSH #image #segmentation: Precise hand segmentation from a single depth image (ML, LS0, QH), pp. 2398–2403.
ICPR-2016-TaxW: Class-dependent, non-convex losses to optimize precision (DMJT, FW), pp. 3314–3319.
OOPSLA-2016-BavishiPR #debugging: To be precise: regression aware debugging (RB, AP, SR), pp. 897–915.
OOPSLA-2016-HuangR #concurrent #detection: Precise and maximal race detection from incomplete traces (JH0, AKR), pp. 462–476.
PLDI-2016-YangHASFC #data flow #information management: Precise, dynamic information flow for database-backed applications (JY0, TH, THA, ASL, CF, SC), pp. 631–647.
SAS-2016-TanLX #analysis #pointer: Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting (TT0, YL0, JX), pp. 489–510.
ASE-2016-LiZRC #refinement #semantics #slicing: Precise semantic history slicing through dynamic delta refinement (YL, CZ, JR, MC), pp. 495–506.
ICSE-2016-ArztB #android #automation #data flow #framework #named #summary: StubDroid: automatic inference of precise data-flow summaries for the android framework (SA, EB), pp. 725–735.
ICSE-2016-LiuCB #detection #dynamic analysis #fault #named #performance: DoubleTake: fast and precise error detection via evidence-based dynamic analysis (TL, CC, EDB), pp. 911–922.
ICSE-2016-Rubio-Gonzalez0 #analysis #float #using: Floating-point precision tuning using blame analysis (CRG, CN0, BM, KS, JD, WK, CI, WL, DHB, DH), pp. 1074–1085.
CASE-2016-GealyMGMVVCG #automation #named: DATE: A handheld co-robotic device for automated tuning of emitters to enable precision irrigation (DVG, SM, MG, LM, SV, JV, SC, KG), pp. 922–927.
CAV-2016-NiemetzPB #modulo theories #satisfiability: Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories (AN, MP, AB), pp. 199–217.
SANER-2015-MedicherlaK #analysis #approximate #scalability: Precision vs. scalability: Context sensitive analysis with prefix approximation (RKM, RK), pp. 281–290.
LATA-2015-BoichutCR #approximate #towards: Towards More Precise Rewriting Approximations (YB, JC, PR), pp. 652–663.
ECIR-2015-FerroS: Rank-Biased Precision Reloaded: Reproducibility and Generalization (NF, GS), pp. 768–780.
ICML-2015-GuptaAGN #learning: Deep Learning with Limited Numerical Precision (SG, AA, KG, PN), pp. 1737–1746.
ICML-2015-KarN0: Surrogate Functions for Maximizing Precision at the Top (PK, HN, PJ), pp. 189–198.
SIGIR-2015-LipaniLH #anti #bias: Splitting Water: Precision and Anti-Precision to Reduce Pool Bias (AL, ML, AH), pp. 103–112.
ECOOP-2015-DimovskiBW #abstraction #analysis #variability: Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (ASD, CB, AW), pp. 247–270.
ECOOP-2015-ParkR #javascript #scalability #static analysis: Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (CP, SR), pp. 735–756.
SAS-2015-RapoportLT #analysis #correlation #data flow: Precise Data Flow Analysis in the Presence of Correlated Method Calls (MR, OL, FT), pp. 54–71.
ASE-2015-DeligiannisDR #analysis #concurrent #debugging #performance: Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T) (PD, AFD, ZR), pp. 166–177.
ASE-2015-ShermanD #analysis #data flow #performance: Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T) (ES, MBD), pp. 608–618.
ASE-2015-WilcoxFFF #array #concurrent #detection: Array Shadow State Compression for Precise Dynamic Race Detection (T) (JRW, PF, CF, SNF), pp. 155–165.
ESEC-FSE-2015-CaiC #detection #effectiveness #java #source code: Effective and precise dynamic detection of hidden races for Java programs (YC, LC), pp. 450–461.
ICSE-v2-2015-Roos #code completion #performance #statistics: Fast and Precise Statistical Code Completion (PR), pp. 757–759.
SAC-2015-CostaCFR #diagrams #modelling #uml: From UML diagrams to simulink models: a precise and verified translation (AC, SAdCC, LF, LR), pp. 1547–1552.
CASE-2015-DasCQMTMK #automation #monitoring: Devices, systems, and methods for automated monitoring enabling precision agriculture (JD, GC, CQ, AM, PT, YM, VK), pp. 462–469.
CASE-2015-TiengYC #tool support: Total precision inspection of machine tools with virtual metrology (HT, HCY, FTC), pp. 1446–1447.
DAC-2015-LiLSH #approximate #optimisation #synthesis: Joint precision optimization and high level synthesis for approximate computing (CL, WL, SSS, JH), p. 6.
DATE-2015-DoumaAP #estimation #execution #performance: Fast and precise cache performance estimation for out-of-order execution (RD, SA, ADP), pp. 1132–1137.
LCTES-2015-ZhangK #abstract interpretation #analysis #persistent: Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis (ZZ, XDK), p. 10.
TACAS-2015-ZengSLH #predict: A Method for Improving the Precision and Coverage of Atomicity Violation Predictions (RZ, ZS, SL, XH), pp. 116–130.
CAV-2015-DasLLL #verification: Angelic Verification: Precise Verification Modulo Unknowns (AD, SKL, AL, YL), pp. 324–342.
ISSTA-2015-HuangDMD #analysis #android #scalability: Scalable and precise taint analysis for Android (WH, YD, AM, JD), pp. 106–117.
SIGMOD-2014-Dev14a #community #detection #graph #privacy #social: Privacy preserving social graphs for high precision community detection (HD), pp. 1615–1616.
ICSME-2014-LiuQWM #concurrent #debugging #named: Pinso: Precise Isolation of Concurrency Bugs via Delta Triaging (BL, ZQ, BW, RM), pp. 201–210.
FM-2014-ForejtKNS #analysis #communication #predict #source code: Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs (VF, DK, GN, SS), pp. 263–278.
RTA-TLCA-2014-Dezani-CiancagliniG #type system: Preciseness of Subtyping on Intersection and Union Types (MDC, SG), pp. 194–207.
DUXU-DI-2014-BreyerVRK #named: Scissors — A Precise Pointing Widget for Touch Screen Devices (FB, LAV, AR, JK), pp. 184–192.
HCI-AIMT-2014-JakusGTS #artificial reality #evaluation: Evaluation of Leap Motion Controller with a High Precision Optical Tracking System (GJ, JG, ST, JS), pp. 254–263.
CIKM-2014-Wen0R: Enabling Precision/Recall Preferences for Semi-supervised SVM Training (ZW, RZ, KR), pp. 421–430.
ICPR-2014-AhmetovicBGM #locality #named #performance: ZebraRecognizer: Efficient and Precise Localization of Pedestrian Crossings (DA, CB, AG, SM), pp. 2566–2571.
SIGIR-2014-FerranteFM #injection #markov #modelling: Injecting user models and time into precision via Markov chains (MF, NF, MM), pp. 597–606.
PLDI-2014-ArztRFBBKTOM #analysis #android #named: FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps (SA, SR, CF, EB, AB, JK, YLT, DO, PM), p. 29.
PLDI-2014-BiswasHSB #named #performance: DoubleChecker: efficient sound and precise atomicity checking (SB, JH, AS, MDB), p. 6.
PLDI-2014-RompfSBLCO #compilation #jit: Surgical precision JIT compilers (TR, AKS, KJB, HL, HC, KO), p. 8.
PLDI-2014-Schkufza0A #float #optimisation #probability #source code: Stochastic optimization of floating-point programs with tunable precision (ES, RS, AA), p. 9.
PPDP-2014-ChenDY #on the #type system: On the Preciseness of Subtyping in Session Types (TCC, MDC, NY), pp. 135–146.
ASE-2014-CaiS #dependence #impact analysis #named #using: Diver: precise dynamic impact analysis using dependence-based trace pruning (HC, RAS), pp. 343–348.
FSE-2014-SamakR #concurrent #detection #java #library #parallel #thread: Omen+: a precise dynamic deadlock detector for multithreaded Java libraries (MS, MKR), pp. 735–738.
CGO-2014-ZengR0AJ0 #encoding #named #scalability: DeltaPath: Precise and Scalable Calling Context Encoding (QZ, JR, HZ, NA, GJ, PL), p. 109.
DATE-2014-AltmeyerD #analysis #correctness #on the #probability: On the correctness, optimality and precision of Static Probabilistic Timing Analysis (SA, RID), pp. 1–6.
STOC-2014-BerryCCKS #exponential #simulation: Exponential improvement in precision for simulating sparse Hamiltonians (DWB, AMC, RC, RK, RDS), pp. 283–292.
TACAS-2014-SlabyS #contest #slicing: Symbiotic 2: More Precise Slicing — (Competition Contribution) (JS, JS), pp. 415–417.
TACAS-2014-SoudjaniA #approximate #markov #probability #process: Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance (SEZS, AA), pp. 547–561.
VMCAI-2014-SchwarzSVA #analysis #source code: Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs (MDS, HS, VV, KA), pp. 21–38.
WCRE-2013-DaiMLC #component #specification: Leveraging specifications of subcomponents to mine precise specifications of composite components (ZD, XM, YL, LC), pp. 162–171.
PEPM-2013-SagonasST #fault #type system: Precise explanation of success typing errors (KFS, JS, ST), pp. 33–42.
PLDI-2013-BlackshearCS #named #reachability: Thresher: precise refutations for heap reachability (SB, BYEC, MS), pp. 275–286.
SAS-2013-Komondoor #abstract interpretation #imperative #slicing #source code: Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation (RK), pp. 259–282.
ASE-2013-IzsoSBHR #graph #metric #performance #predict #query #towards: Towards precise metrics for predicting graph query performance (BI, ZS, GB, ÁH, IR), pp. 421–431.
ESEC-FSE-2013-BeyerLNSW #performance #reuse #verification: Precision reuse for efficient regression verification (DB, SL, EN, AS, PW), pp. 389–399.
ESEC-FSE-2013-KumarCS #analysis #industrial #scalability: Precise range analysis on large industry code (SK, BC, US), pp. 675–678.
ASPLOS-2013-QianTSQ #consistency #detection #named #scalability: Volition: scalable and precise sequential consistency violation detection (XQ, JT, BS, DQ), pp. 535–548.
DAC-2013-AndalamGSRR #analysis: Precise timing analysis for direct-mapped caches (SA, AG, RS, PSR, JR), p. 10.
ISMM-2013-LiCK #analysis #graph #pointer #scalability: Precise and scalable context-sensitive pointer analysis via value flow graph (LL, CC, NK), pp. 85–96.
ISMM-2013-RicciGM #garbage collection: Elephant tracks: portable production of complete and precise gc traces (NPR, SZG, JEBM), pp. 109–118.
TACAS-2013-AbdullaACLR #automation: Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO (PAA, MFA, YFC, CL, AR), pp. 530–536.
WCRE-2012-JanaN #detection #dynamic analysis #using: Precise Detection of Uninitialized Variables Using Dynamic Analysis — Extending to Aggregate and Vector Types (AJ, RN), pp. 197–201.
CIKM-2012-Cummins #on the: On the inference of average precision from score distributions (RC), pp. 2435–2438.
ECIR-2012-Robertson #on the: On Smoothing Average Precision (SR), pp. 158–169.
ICPR-2012-DaiC #segmentation: Combining contrast saliency and region discontinuity for precise hand segmentation in projector-camera system (JD, RC), pp. 2161–2164.
ICPR-2012-MichaelsenS: Estimating the precision of under-water video-mosaics (EM, NSN), pp. 775–779.
ICPR-2012-MiyamotoMSS #3d #classification #estimation #realtime: Real-time and precise 3-D hand posture estimation based on classification tree trained with variations of appearances (SM, TM, NS, YS), pp. 453–456.
ICPR-2012-TanakaSM #array #estimation #visual notation: A visual marker for precise pose estimation based on a microlens array (HT, YS, YM), pp. 837–840.
TOOLS-EUROPE-2012-LilisS #debugging #fault #metaprogramming: Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs (YL, AS), pp. 155–170.
PLDI-2012-HackettG #hybrid #javascript #performance #type inference: Fast and precise hybrid type inference for JavaScript (BH, SyG), pp. 239–250.
PLDI-2012-PradelG #automation #concurrent #detection #safety #thread: Fully automatic and precise detection of thread safety violations (MP, TRG), pp. 521–530.
PLDI-2012-RamanZSVY #concurrent #detection #parallel #scalability: Scalable and precise dynamic datarace detection for structured parallelism (RR, JZ, VS, MTV, EY), pp. 531–542.
PLDI-2012-WuTHCY #analysis #parallel #source code: Sound and precise analysis of parallel programs through schedule specialization (JW, YT, GH, HC, JY), pp. 205–216.
ASE-2012-ApelLL #performance: Structured merge with auto-tuning: balancing precision and performance (SA, OL, CL), pp. 120–129.
ASE-2012-Shang0X #analysis #experience #incremental #performance #points-to #summary: Fast and precise points-to analysis with incremental CFL-reachability summarisation: preliminary experience (LS, YL, JX), pp. 270–273.
SAC-2012-DasguptaK #analysis #using: Precise shape analysis using field sensitivity (SD, AK), pp. 1300–1307.
SAC-2012-TangJ #analysis: Exploiting regularity of user-defined types to improve precision of program analyses (XT, JJ), pp. 1743–1750.
LDTA-2012-Winther #abstract syntax tree: Improving precision of generated ASTs (JW), p. 10.
CASE-2012-KimKCKH #2d: 2-DOF torque sensor for precise force control of robot hand (TKK, BSK, SyC, DHK, JHH), pp. 892–895.
DATE-2012-PrakashP #architecture #memory management: An instruction scratchpad memory allocation for the precision timed architecture (AP, HDP), pp. 659–664.
TACAS-2012-CoxSC #bound #verification: A Bit Too Precise? Bounded Verification of Quantized Digital Filters (AC, SS, BYEC), pp. 33–47.
ISSTA-2012-LiRCS #debugging #detection #predict: Residual investigation: predictive and precise bug detection (KL, CR, CC, YS), pp. 298–308.
ICPC-2011-PanchenkoKPZ #database #query #scalability #source code #using: Precise and Scalable Querying of Syntactical Source Code Patterns Using Sample Code Snippets and a Database (OP, JK, HP, AZ), pp. 41–50.
ICSM-2011-JiresalCN #cobol #detection #scalability #source code: Precise detection of un-initialized variables in large, real-life COBOL programs in presence of unrealizable paths (RJ, AC, RN), pp. 448–456.
SCAM-2011-PavluSK #alias #analysis #comparison #graph #set: Computation of Alias Sets from Shape Graphs for Comparison of Shape Analysis Precision (VP, MS, AK), pp. 25–34.
WCRE-2011-SeppMS #relational #static analysis: Precise Static Analysis of Binaries by Extracting Relational Information (AS, BM, AS), pp. 357–366.
CHI-2011-RogersWSM #3d #estimation #named #robust: AnglePose: robust, precise capacitive touch tracking via 3d orientation estimation (SR, JW, CDS, RMS), pp. 2575–2584.
CHI-2011-WigdorBPLW #gesture #interactive #multi: Rock & rails: extending multi-touch interactions with shape gestures to enable precise spatial manipulations (DW, HB, JP, JL, SW), pp. 1581–1590.
DUXU-v1-2011-Davis #image: Precise Mishandling of the Digital Image Structure (TD), pp. 211–220.
DUXU-v1-2011-KarschS #safety #usability: Terminological Precision — A Key Factor in Product Usability and Safety (BIK, GS), pp. 138–147.
CIKM-2011-SteinGH #clustering #web: Beyond precision@10: clustering the long tail of web search results (BS, TG, DH), pp. 2141–2144.
SIGIR-2011-GanjisaffarCL #modelling #ranking: Bagging gradient-boosted trees for high precision, low variance ranking models (YG, RC, CVL), pp. 85–94.
MoDELS-2011-ReggioRSCD #modelling #process: A Precise Style for Business Process Modelling: Results from Two Controlled Experiments (GR, FR, GS, FDC, GD), pp. 138–152.
OOPSLA-2011-DavidC #specification #verification: Immutable specifications for more concise and precise verification (CD, WNC), pp. 359–374.
OOPSLA-2011-LiuB #automation #detection #named: SHERIFF: precise detection and automatic mitigation of false sharing (TL, EDB), pp. 3–18.
PLDI-2011-DilligDAS #composition #source code #summary: Precise and compact modular procedure summaries for heap manipulating programs (ID, TD, AA, MS), pp. 567–577.
POPL-2011-DilligDA #reasoning #source code #using: Precise reasoning for programs using containers (ID, TD, AA), pp. 187–200.
PPDP-2011-ColazzoS #complexity #type inference #xquery: Precision and complexity of XQuery type inference (DC, CS), pp. 89–100.
SAS-2011-BlackshearCSS #analysis: The Flow-Insensitive Precision of Andersen’s Analysis in Practice (SB, BYEC, SS, MS), pp. 60–76.
ASE-2011-Ganai #analysis #scalability: Scalable and precise symbolic analysis for atomicity violations (MKG), pp. 123–132.
ASE-2011-ZiftciK #requirements #testing: Tracing requirements to tests with high precision and recall (CZ, IK), pp. 472–475.
ESEC-FSE-2011-BrunHEN11a #named: Crystal: precise and unobtrusive conflict warnings (YB, RH, MDE, DN), pp. 444–447.
ICSE-2011-XiaoXTH #generative #identification #problem #testing: Precise identification of problems for structural test generation (XX, TX, NT, JdH), pp. 611–620.
ICSE-2011-XiaoXTH11a #identification #named #problem: Covana: precise identification of problems in pex (XX, TX, NT, JdH), pp. 1004–1006.
LDTA-2011-MametjanovWL #type system: More precise typing of rewrite strategies (AM, VLW, RL), p. 3.
DATE-2011-MontagA #realtime: Precise WCET calculation in highly variant real-time systems (PM, SA), pp. 920–925.
LCTES-2011-AlthausAN #analysis #parametricity #performance: Precise and efficient parametric path analysis (EA, SA, RN), pp. 141–150.
ESOP-2011-SotinJ #analysis #interprocedural #pointer #stack: Precise Interprocedural Analysis in the Presence of Pointers to the Stack (PS, BJ), pp. 459–479.
VMCAI-2011-AlbertGM #cost analysis: More Precise Yet Widely Applicable Cost Analysis (EA, SG, ANM), pp. 38–53.
VMCAI-2011-GoubaultP #finite #static analysis: Static Analysis of Finite Precision Computations (EG, SP), pp. 232–247.
DRR-2010-PeredaT #semiparsing #using: Date of birth extraction using precise shallow parsing (RP, KT), pp. 1–10.
MSR-2010-VetroTM #java #mining: Assessing the precision of FindBugs by mining Java projects developed at a university (AV, MT, MM), pp. 110–113.
ICPR-2010-AungSN #3d: Traj Align: A Method for Precise Matching of 3-D Trajectories (ZA, KS, WSN), pp. 3818–3821.
ICPR-2010-MikulikMPC: Construction of Precise Local Affine Frames (AM, JM, MP, OC), pp. 3565–3569.
SEKE-2010-El-Attar #analysis #case study #robust #security: Developing Precise Misuse Cases with Security Robustness Analysis (MEA), pp. 571–576.
SEKE-2010-LiLK #component #ontology #semantics: Achieve Semantic-based Precise Component Selection via an Ontology Model Interlinking Application Domain and MVICS (CL, XL, JBK), pp. 692–697.
SEKE-2010-ZhangZH #model checking: Some Improvements for More Precise Model Checking (ZZ, QZ, MH), pp. 106–112.
SIGIR-2010-DupretP #behaviour: A user behavior model for average precision and its generalization to graded judgments (GD, BP), pp. 531–538.
SIGIR-2010-LeeLSR #retrieval #sentiment #using: High precision opinion retrieval using sentiment-relevance flows (SWL, JTL, YIS, HCR), pp. 817–818.
SIGIR-2010-LopesR #health #information retrieval #using: Using local precision to compare search engines in consumer health information retrieval (CTL, CR), pp. 835–836.
SIGIR-2010-RobertsonKY: Extending average precision to graded relevance judgments (SER, EK, EY), pp. 603–610.
SIGIR-2010-SmuckerJ #performance #retrieval #revisited: Human performance and retrieval precision revisited (MDS, CPJ), pp. 595–602.
ECMFA-2010-SterrittCC #behaviour #design pattern #specification: Precise Specification of Design Pattern Structure and Behaviour (AS, SC, VC), pp. 277–292.
MoDELS-v2-2010-GerthKLE #detection #process #using: Precise Detection of Conflicting Change Operations Using Process Model Terms (CG, JMK, ML, GE), pp. 93–107.
OOPSLA-2010-LiangTNS #abstraction #evaluation: A dynamic evaluation of the precision of static heap abstractions (PL, OT, MN, MS), pp. 411–427.
PPDP-2010-TekleL #analysis #complexity #datalog #performance #query: Precise complexity analysis for efficient datalog queries (KTT, YAL), pp. 35–44.
ASE-2010-Letarte #analysis #graph #interprocedural #model checking #representation: Model checking graph representation of precise boolean inter-procedural flow analysis (DL), pp. 511–516.
ICSE-2010-SumnerZWZ #encoding: Precise calling context encoding (WNS, YZ, DW, XZ), pp. 525–534.
CASE-2010-XuL: Precise tracking control of a piezoactuated micropositioning stage based on modified Prandtl-Ishlinskii hysteresis model (QX, YL), pp. 692–697.
CGO-2010-LindermanHDMN #analysis #automation #optimisation #towards: Towards program optimization through automated analysis of numerical precision (MDL, MH, DLD, THYM, GPN), pp. 230–237.
DAC-2010-NovoLFRC #data flow #finite: Exploiting finite precision information to guide data-flow mapping (DN, ML, RF, PR, FC), pp. 248–253.
ESOP-2010-AmtoftHR #array #automation #certification #contract #data flow #reasoning #source code #verification: Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays (TA, JH, ER), pp. 43–63.
CAV-2010-KahlonW #concurrent #debugging #detection #graph #source code: Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs (VK, CW), pp. 434–449.
ICDAR-2009-WangH #classification #design #fault #modelling #parametricity #using: Design Compact Recognizers of Handwritten Chinese Characters Using Precision Constrained Gaussian Models, Minimum Classification Error Training and Parameter Compression (YW, QH), pp. 36–40.
VLDB-2009-ElmeleegyECAZ #approximate #linear #online: Online Piece-wise Linear Approximation of Numerical Streams with Precision Guarantees (HE, AKE, EC, WGA, WZ), pp. 145–156.
ICPC-2009-PetrenkoR #impact analysis: Variable granularity for improving precision of impact analysis (MP, VR), pp. 10–19.
ICPC-2009-PopescuGM #analysis #dependence: Enabling more precise dependency analysis in event-based systems (DP, JG, NM), pp. 305–306.
SEFM-2009-DangG #graph #metamodelling #modelling: Precise Model-Driven Transformations Based on Graphs and Metamodels (DHD, MG), pp. 307–316.
ICEIS-ISAS-2009-ChampclauxDM #information retrieval #similarity: Enhancing High Precision by Combining Okapi BM25 with Structural Similarity in an Information Retrieval System (YC, TD, JM), pp. 279–285.
SIGIR-2009-SeoJ #graph #retrieval #using: High precision retrieval using relevance-flow graph (JS, JJ), pp. 694–695.
ECMDA-FA-2009-GarcesJCB #adaptation #detection #metamodelling: Managing Model Adaptation by Precise Detection of Metamodel Changes (KG, FJ, PC, JB), pp. 34–49.
PEPM-2009-Martel #program transformation: Program transformation for numerical precision (MM), pp. 101–110.
PLDI-2009-FlanaganF #concurrent #detection #named #performance: FastTrack: efficient and precise dynamic race detection (CF, SNF), pp. 121–133.
POPL-2009-GulwaniMC #complexity #estimation #named #performance: SPEED: precise and efficient static estimation of program computational complexity (SG, KKM, TMC), pp. 127–139.
ASE-2009-KimYS #concurrent #detection #heuristic #memory management #model checking #using: Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking (KK, TYK, BAS), pp. 495–499.
ICSE-2009-GeayPTRD #analysis #composition #string: Modular string-sensitive permission analysis with demand-driven precision (EG, MP, TT, BGR, JD), pp. 177–187.
SAC-2009-LeeBPCLN #configuration management #named: CPS-SIM: configurable and accurate clock precision solid state drive simulator (JL, EB, HP, JC, DL, SHN), pp. 318–325.
SAC-2009-SharyginaTT #abstraction #performance #verification: The synergy of precise and fast abstractions for program verification (NS, ST, AT), pp. 566–573.
SAC-2009-ShellD #simulation: Precise generalized contact point and normal determination for rigid body simulation (DAS, ED), pp. 2107–2108.
CASE-2009-MattosC #performance #visual notation: A fast and precise micropipette positioning system based on continuous camera-robot recalibration and visual servoing (LSM, DGC), pp. 609–614.
CC-2009-Grosslinger #array: Precise Management of Scratchpad Memories for Localising Array Accesses in Scientific Codes (AG), pp. 236–250.
CGO-2009-CordesFM #abstract interpretation #analysis #modelling #performance #slicing: A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models (PL, DC, HF, PM), pp. 136–146.
DATE-2009-KinsmanN #finite #modulo theories #using: Finite Precision bit-width allocation using SAT-Modulo Theory (ABK, NN), pp. 1106–1111.
DATE-2009-NovoLBPC #finite: Finite precision processing in wireless applications (DN, ML, BB, LVdP, FC), pp. 1230–1233.
ISMM-2009-RafkindWRF #c #garbage collection: Precise garbage collection for C (JR, AW, JR, MF), pp. 39–48.
CAV-2009-LahiriQR #concurrent #detection #fault #smt #using: Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers (SKL, SQ, ZR), pp. 509–524.
ISSTA-2009-ElkarabliehGL #generative #pointer #reasoning #testing: Precise pointer reasoning for dynamic test generation (BE, PG, MYL), pp. 129–140.
ISSTA-2009-HalfondAO #analysis #identification #interface #testing #web: Precise interface identification to improve testing and analysis of web applications (WGJH, SA, AO), pp. 285–296.
MSR-2008-HataMK #using: An extension of fault-prone filtering using precise training and a dynamic threshold (HH, OM, TK), pp. 89–98.
SCAM-2008-GiffhornH #analysis #java #source code #using: Precise Analysis of Java Programs Using JOANA (DG, CH), pp. 267–268.
SCAM-2008-LundbergGL #analysis #performance #points-to: Fast and Precise Points-to Analysis (JL, TG, WL), pp. 133–142.
FM-2008-GawlitzaS #analysis #game studies: Precise Interval Analysis vs. Parity Games (TG, HS), pp. 342–357.
CHI-2008-OlwalFH #agile: Rubbing and tapping for precise and rapid selection on touch-screen displays (AO, SF, SH), pp. 295–304.
CHI-2008-YamazakiYKBKK #coordination #interactive: Precision timing in human-robot interaction: coordination of head movement and utterance (AY, KY, YK, MB, MK, HK), pp. 131–140.
CIKM-2008-HuangWL #detection: Achieving both high precision and high recall in near-duplicate detection (LH, LW, XL), pp. 63–72.
ICML-2008-Corrada-EmmanuelS #estimation #fault #geometry #low level: Autonomous geometric precision error estimation in low-level computer vision tasks (ACE, HJS), pp. 168–175.
ICPR-2008-TiernyVD #3d #performance: Fast and precise kinematic skeleton extraction of 3D dynamic meshes (JT, JPV, MD), pp. 1–4.
ICPR-2008-ZhengW #detection #robust: Robust and precise eye detection based on locally selective projection (YZ, ZW), pp. 1–4.
SIGIR-2008-Robertson: A new interpretation of average precision (SR), pp. 689–690.
MoDELS-2008-BiermannET #emf #graph transformation #model transformation #semantics: Precise Semantics of EMF Model Transformations by Graph Transformation (EB, CE, GT), pp. 53–67.
MoDELS-2008-BiermannET #emf #graph transformation #model transformation #semantics: Precise Semantics of EMF Model Transformations by Graph Transformation (EB, CE, GT), pp. 53–67.
PEPM-2008-PopeeaXC #array #bound: A practical and precise inference and specializer for array bound checks elimination (CP, DNX, WNC), pp. 177–187.
POPL-2008-LahiriQ #smt #using #verification: Back to the future: revisiting precise program verification using SMT solvers (SKL, SQ), pp. 171–182.
POPL-2008-YorshYC #generative #summary: Generating precise and concise procedure summaries (GY, EY, SC), pp. 221–234.
PPDP-2008-Lu #dependence #logic programming #polymorphism #source code: Inferring precise polymorphic type dependencies in logic programs (LL), pp. 143–151.
QAPL-2008-PierroSW #abstract interpretation #analysis #probability #relational: Relational Analysis and Precision via Probabilistic Abstract Interpretation (ADP, PS, HW), pp. 23–42.
ASE-2008-BeyerHT #program analysis: Program Analysis with Dynamic Precision Adjustment (DB, TAH, GT), pp. 29–38.
ICSE-2008-BabicH #named #scalability #static analysis: Calysto: scalable and precise extended static checking (DB, AJH), pp. 211–220.
ICSE-2008-XuR #detection #java #memory management #profiling #using: Precise memory leak detection for java software using container profiling (G(X, AR), pp. 151–160.
CASE-2008-DasSPS #aspect-oriented #assembly #hybrid #on the: On the precision alignment and hybrid assembly aspects in manufacturing of a microspectrometer (AND, JS, DOP, HES), pp. 959–966.
CASE-2008-ScheitererNOSG #performance #protocol: Synchronization performance of the Precision Time Protocol in the face of slave clock frequency drift (RLS, CN, DO, GS, DG), pp. 554–559.
CC-2008-KhedkerK #analysis #data flow #interprocedural #performance #string: Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method (UPK, BK), pp. 213–228.
DAC-2008-TamPB #analysis #automation #layout #locality #using: Precise failure localization using automated layout analysis of diagnosis candidates (WCT, OP, RD(B), pp. 367–372.
VMCAI-2008-Mendez-LojoH #analysis #set #source code: Precise Set Sharing Analysis for Java-Style Programs (MML, MVH), pp. 172–187.
ICDAR-2007-SchulzMM #performance #set: Fast Selection of Small and Precise Candidate Sets from Dictionaries for Text Correction Tasks (KUS, SM, PM), pp. 471–475.
IFM-2007-AuSC #specification: Precise Scenarios — A Customer-Friendly Foundation for Formal Specifications (OA, RS, JC), pp. 21–36.
ICFP-2007-HornM #analysis #complexity #control flow: Relating complexity and precision in control flow analysis (DVH, HGM), pp. 85–96.
DHM-2007-Su #detection #performance: Enhancing Sense of Reality by Efficient and Precise Collision Detection in Virtual Environments (CJS), pp. 969–978.
HIMI-IIE-2007-KochHLP #agile #mobile: Rapid and Precise Mobile Data Processing for Fire Brigades and Rescue Services (SAFeR/GÜTER/SHARE) (RK, RH, BSL, JP), pp. 1050–1059.
HIMI-MTT-2007-SatoKF #concept #interface #verification: Basic Experimental Verification of Grasping Information Interface Concept, Grasping Force Increases in Precise Periods (SS, MK, YF), pp. 180–188.
SIGIR-2007-YueFRJ #optimisation: A support vector method for optimizing average precision (YY, TF, FR, TJ), pp. 271–278.
AdaEurope-2007-Garcia-RodriguezMG #ada #compilation #garbage collection: Incorporating Precise Garbage Collection in an Ada Compiler (FGR, JM, JFG), pp. 235–245.
PLDI-2007-WassermannS #analysis #injection #web: Sound and precise analysis of web applications for injection vulnerabilities (GW, ZS), pp. 32–41.
SAS-2007-MalkisPR #thread #verification: Precise Thread-Modular Verification (AM, AP, AR), pp. 218–232.
SAC-2007-PaulK #slicing #using: Precise dynamic slicing using execution-summary (AP, RK), pp. 1330–1331.
CASE-2007-PuSZD #operating system #realtime: An Application of Real-time Operating System in High Speed and High Precision Motion Control Systems (DP, XS, WZ, HD), pp. 997–1001.
CASE-2007-ZhouGWJFLU: Active Thermal Management for Precision Positioning (RZ, WG, JTW, MKJ, JF, GL, MU), pp. 45–50.
CASE-2007-ZimmermannS #modelling #simulation: Modeling for Simulation and Control of a X-Y High Precision Positioning Table (JZ, OS), pp. 1093–1098.
DAC-2007-EdwardsL: The Case for the Precision Timed (PRET) Machine (SAE, EAL), pp. 264–265.
HPDC-2007-LeeS #analysis #performance: Precise and realistic utility functions for user-centric performance analysis of schedulers (CBL, AS), pp. 107–116.
ESOP-2007-GawlitzaS #fixpoint: Precise Fixpoint Computation Through Strategy Iteration (TG, HS), pp. 300–315.
FASE-2007-Whittle #case study #specification: Precise Specification of Use Case Scenarios (JW), pp. 170–184.
A-MOST-2007-BouquetGLPVU #modelling #testing #uml: A subset of precise UML for model-based testing (FB, CG, BL, FP, NV, MU), pp. 95–104.
CAV-2007-WangYGI #reachability #using: Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra (CW, ZY, AG, FI), pp. 352–365.
CSL-2007-GawlitzaS #invariant #relational: Precise Relational Invariants Through Strategy Iteration (TG, HS), pp. 23–40.
VMCAI-2007-FecherH #abstraction: More Precise Partition Abstractions (HF, MH), pp. 167–181.
ICSM-2006-BreechTP #impact analysis: Integrating Influence Mechanisms into Impact Analysis for Increased Precision (BB, MT, LLP), pp. 55–65.
CHI-2006-BenkoWB #multi: Precise selection techniques for multi-touch screens (HB, ADW, PB), pp. 1263–1272.
CIKM-2006-YilmazA: Estimating average precision with incomplete and imperfect judgments (EY, JAA), pp. 102–111.
ICPR-v4-2006-JinYSLX #classification #detection #hybrid #robust: A hybrid classifier for precise and robust eye detection (LJ, XHY, SS, JL, LX), pp. 731–735.
ICPR-v4-2006-KongZK #representation: An Anatomy of IrisCode for Precise Phase Representation (AWKK, DZ, MK), pp. 429–432.
SIGIR-2006-AslamY #documentation: Inferring document relevance via average precision (JAA, EY), pp. 601–602.
SIGIR-2006-CormackL #evaluation #information retrieval #statistics: Statistical precision of information retrieval evaluation (GVC, TRL), pp. 533–540.
SIGIR-2006-Tomlinson #feedback #metric: Early precision measures: implications from the downside of blind feedback (ST), pp. 705–706.
SIGIR-2006-TurpinS #metric #performance: User performance versus precision measures for simple search tasks (AT, FS), pp. 11–18.
FSE-2006-CobleighAC #specification: User guidance for creating precise and accessible property specifications (RLC, GSA, LAC), pp. 208–218.
SAC-2006-ErshovNM #architecture: Quad and correctly rounded double precision math functions: portable and optimized for Intel architectures (AE, AN, SM), pp. 1310–1317.
SAC-2006-LuHS #algorithm #realtime #scheduling: A precise schedulability test algorithm for scheduling periodic tasks in real-time systems (WCL, JWH, WKS), pp. 1451–1455.
CAV-2006-Lev-AmiIS #abstraction #analysis #performance: Abstraction for Shape Analysis with Fast and Precise Transformers (TLA, NI, SS), pp. 547–561.
LICS-2006-ShohamG #abstraction: 3-Valued Abstraction: More Precision at Less Cost (SS, OG), pp. 399–410.
VMCAI-2006-Mine #abstract domain: Symbolic Methods to Enhance the Precision of Numerical Abstract Domains (AM), pp. 348–363.
ICDAR-2005-ZanibbiBC: Historical Recall and Precision: Summarizing Generated Hypotheses (RZ, DB, JRC), pp. 202–206.
ICSM-2005-MilanovaR #analysis #constraints: Annotated Inclusion Constraints for Precise Flow Analysis (AM, BGR), pp. 187–196.
SEFM-2005-BarthePS #analysis #logic #memory management #using: Precise Analysis of Memory Consumption using Program Logics (GB, MP, GS), pp. 86–95.
CAiSE-2005-StasiuHS #database #query: Estimating Recall and Precision for Vague Queries in Databases (RKS, CAH, RdS), pp. 187–200.
ECIR-2005-GoutteG #evaluation #probability: A Probabilistic Interpretation of Precision, Recall and F-Score, with Implication for Evaluation (CG, ÉG), pp. 345–359.
SIGIR-2005-AslamYP05a #correlation #geometry: A geometric interpretation of r-precision and its correlation with average precision (JAA, EY, VP), pp. 573–574.
SIGIR-2005-BeitzelJFCP: Surrogate scoring for improved metasearch precision (SMB, ECJ, OF, AC, GP), pp. 583–584.
POPL-2005-GulwaniN #analysis #interprocedural #random #using: Precise interprocedural analysis using random interpretation (SG, GCN), pp. 324–337.
ASE-2005-Milanova #composition #diagrams #identification #uml: Precise identification of composition relationships for UML class diagrams (AM), pp. 76–85.
ICSE-2005-ApiwattanapongOH #impact analysis #performance #sequence #using: Efficient and precise dynamic impact analysis using execute-after sequences (TA, AO, MJH), pp. 432–441.
CASE-2005-GongHYL: Experimental-model-based precision control of a piezoelectric actuated flexure stage (ZG, EHLH, GY, WL), pp. 124–129.
DATE-2005-AmatoCMP: Realization of a Virtual Lambda Sensor on a Fixed Precision System (PA, NC, MDM, FP), pp. 192–197.
LCTES-2005-StaschulatE #analysis #scalability #scheduling: Scalable precision cache analysis for preemptive scheduling (JS, RE), pp. 157–165.
LCTES-2005-TitzerP: Nonintrusive precision instrumentation of microcontroller software (BT, JP), pp. 59–68.
VLDB-2004-KrishnamurthyFHJ: The Case for Precision Sharing (SK, MJF, JMH, GJ), pp. 972–986.
ICSM-2004-Gueheneuc #diagrams #uml: Abstract and Precise Recovery of UML Diagram Constituents (YGG), p. 523.
ICSM-2004-Rountev #identification #java: Precise Identification of Side-Effect-Free Methods in Java (AR), pp. 82–91.
ICPR-v1-2004-MallonW #image: Precise Radial Un-Distortion of Images (JM, PFW), pp. 18–21.
ICPR-v1-2004-OmachiSA #estimation #recognition: Precise Estimation of High-Dimensional Distribution and Its Application to Face Recognition (SO, FS, HA), pp. 220–223.
SIGIR-2004-DiazJ #predict #query #using: Using temporal profiles of queries for precision prediction (FD, RJ), pp. 18–24.
UML-2004-GoniE #concurrent #ocl #uml #using: Building Precise UML Constructs to Model Concurrency Using OCL (AG, YE), pp. 212–225.
ECOOP-2004-SpoonS #scalability #type inference: Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability (SAS, OS), pp. 51–74.
PLDI-2004-VenetB #array #bound #c #embedded #performance #scalability #source code: Precise and efficient static array bound checking for large embedded C programs (AV, GPB), pp. 231–242.
POPL-2004-Muller-OlmS #algebra #analysis #interprocedural #linear: Precise interprocedural analysis through linear algebra (MMO, HS), pp. 330–341.
RE-2004-CorreaW #specification #transaction #validation: Precise Specification and Validation of Transactional Business Software (ALC, CMLW), pp. 16–25.
ICSE-2004-MakCL #design pattern #modelling #uml: Precise Modeling of Design Patterns in UML (JKHM, CSTC, DPKL), pp. 252–261.
ICSE-2004-SkeneLE: Precise Service Level Agreements (JS, DDL, WE), pp. 179–188.
DATE-DF-2004-Horsky: A 16 Bit + Sign Monotonic Precise Current DAC for Sensor Applications (PH), pp. 34–38.
DATE-v1-2004-ChoiSP #energy #fine-grained #performance #scalability #trade-off: Fine-Grained Dynamic Voltage and Frequency Scaling for Precise Energy and Performance Trade-Off Based on the Ratio of Off-Chip Access to On-Chip Computation Times (KC, RS, MP), pp. 4–9.
LICS-2004-AlfaroGJ #abstraction #game studies #nondeterminism: Three-Valued Abstractions of Games: Uncertainty, but with Precision (LdA, PG, RJ), pp. 170–179.
JCDL-2003-DavisEK: Methods for Precise Named Entity Matching in Digital Collections (PTD, DKE, JK), pp. 125–127.
CHI-2003-AlbinssonZ #interactive: High precision touch screen interaction (PAA, SZ), pp. 105–112.
ICEIS-v1-2003-AmantonSH #database #distributed #realtime: Tradding Precision for Timeliness in Distributed Real-Time Databases (LA, BS, JH), pp. 558–561.
CIKM-2003-BerraniAG #approximate: Approximate searches: k-neighbors + precision (SAB, LA, PG), pp. 24–31.
SAS-2003-BagnaraHRZ: Precise Widening Operators for Convex Polyhedra (RB, PMH, ER, EZ), pp. 337–354.
SAS-2003-ChristensenMS #analysis #string: Precise Analysis of String Expressions (ASC, AM, MIS), pp. 1–18.
ICSE-2003-Lamsweerde #modelling #requirements #specification #uml: Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications (AvL), pp. 744–745.
ICSE-2003-ZhangGZ #algorithm #slicing: Precise Dynamic Slicing Algorithms (XZ, RG, YZ), pp. 319–329.
CC-2003-LeagueST #compilation #java: Precision in Practice: A Type-Preserving Java Compiler (CL, ZS, VT), pp. 106–120.
CC-2003-Ryder #analysis #object-oriented #programming language: Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages (BGR), pp. 126–137.
DATE-2003-CarbognaniLICB #modelling #standard #using #verification: Qualifying Precision of Abstract SystemC Models Using the SystemC Verification Standard (FC, CKL, CNI, AC, PB), pp. 20088–20094.
PDP-2003-DaneseLLSS #float: An Accelerator for Double Precision Floating Point Operations (GD, IDL, FL, MS, AS), p. 57–?.
CSMR-2002-HajnalF #algorithm: A Precise Demand-Driven Def-Use Chaining Algorithm (ÁH, IF), p. 77–?.
ICSM-2002-MilanovaRR #diagrams: Constructing Precise Object Relation Diagrams (AM, AR, BGR), pp. 586–595.
SCAM-2002-MilanovaRR #graph #pointer: Precise Call Graph Construction in the Presence of Function Pointers (AM, AR, BGR), pp. 155–162.
ICPR-v1-2002-FleuretG #detection #estimation #performance: Fast Face Detection with Precise Pose Estimation (FF, DG), p. 235–?.
ICPR-v3-2002-MarugameSYMFYKKTT #metric #performance: A Fast and Precise System for Taking High-Density Human Head Measurements with Surrounding Range Finders (AM, SS, TY, KM, OF, YY, YK, HK, WT, JT), pp. 978–982.
SIGIR-2002-Kwok #query: Higher precision for two-word queries (KLK), pp. 395–396.
UML-2002-VarroP #framework #metamodelling #modelling #semantics #uml #visual notation: Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models (DV, AP), pp. 18–33.
PLDI-2002-ChoiLLOSS #concurrent #detection #object-oriented #parallel #performance #source code #thread: Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs (JDC, KL, AL, RO, VS, MS), pp. 258–269.
PPDP-2002-LagoonS #analysis #logic programming #source code: Precise pair-sharing analysis of logic programs (VL, PJS), pp. 99–108.
SAS-2002-Ruf #analysis #data flow: Improving the Precision of Equality-Based Dataflow Analyses (ER), pp. 247–262.
SAS-2002-VaucheretB #logic programming #performance #source code #type inference: More Precise Yet Efficient Type Inference for Logic Programs (CV, FB), pp. 102–116.
CC-2002-GschwindA #compilation #exception #semantics: Precise Exception Semantics in Dynamic Compilation (MG, ERA), pp. 95–110.
ESOP-2002-GoubaultMP #float #interpreter: Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter (EG, MM, SP), pp. 209–212.
ESOP-2002-Martel #approach #fault #finite #semantics: Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach (MM), pp. 194–208.
FASE-2002-BelaundeP #component #specification: From EDOC Components to CCM Components: A Precise Mapping Specification (MB, MP), pp. 143–158.
FASE-2002-ClarkEK #approach #metamodelling #modelling: Engineering Modelling Languages: A Precise Meta-Modelling Approach (TC, AE, SK), pp. 159–173.
ISSTA-2002-LiangPH #analysis #profiling #using: Evaluating the precision of static reference analysis using profiling (DL, MP, MJH), pp. 22–32.
ECOOP-2001-WangS #constraints #java #type inference: Precise Constraint-Based Type Inference for Java (TW, SFS), pp. 99–117.
SAS-2001-Goubault #analysis #float: Static Analyses of the Precision of Floating-Point Operations (EG), pp. 234–259.
ASE-2001-BezivinG #framework #towards: Towards a Precise Definition of the OMG/MDA Framework (JB, OG), pp. 273–280.
DAC-2001-MathurS #analysis #using: Improved Merging of Datapath Operators using Information Content and Required Precision Analysis (AM, SS), pp. 462–467.
DATE-2001-NayakHCB #analysis #automation #fault #hardware #matlab #synthesis: Precision and error analysis of MATLAB applications during automated hardware synthesis for FPGAs (AN, MH, ANC, PB), pp. 722–728.
ICPR-v2-2000-KatoOA #modelling #recognition #using: Precise Hand-printed Character Recognition Using Elastic Models via Nonlinear Transformation (TK, SO, HA), pp. 2364–2367.
ICPR-v4-2000-HuangM #detection: Face Detection and Precise Eyes Location (WH, RM), pp. 4722–4727.
ICPR-v4-2000-KyrkiK #2d #geometry: High Precision 2-D Geometrical Inspection (VK, HK), pp. 4779–4782.
SIGIR-2000-Ando #metric #scalability #semantics #similarity: Latent semantic-space: iterative scaling improves precision of inter-document similarity measurement (RKA), pp. 216–223.
UML-2000-GuennecSJ #design pattern #modelling: Precise Modeling of Design Patterns (ALG, GS, JMJ), pp. 482–496.
LOPSTR-2000-PierroW #abstract interpretation #on the: On the precision of abstract interpretations (ADP, HW).
LOPSTR-J-2000-PierroW #abstract interpretation: Measuring the Precision of Abstract Interpretations (ADP, HW), pp. 147–164.
PLDI-2000-HeydonLY #dependence #using: Caching function calls using precise dependencies (AH, RL, YY), pp. 311–320.
PPDP-2000-Lu #analysis #logic programming #source code: A precise type analysis of logic programs (LL), pp. 214–225.
STOC-2000-OrlinSS #combinator #optimisation: epsilon-optimization schemes and L-bit precision: alternative perspectives in combinatorial optimization (JBO, ASS, SS), pp. 565–572.
ISSTA-2000-SiegelA: Improving the precision of INCA by preventing spurious cycles (SFS, GSA), pp. 191–200.
ICDAR-1999-JunkerDH #analysis #component #documentation #evaluation #on the: On the Evaluation of Document Analysis Components by Recall, Precision, and Accuracy (MJ, AD, RH), pp. 713–716.
PASTE-1999-ChoiGHS #analysis #exception #java #modelling #performance #source code: Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs (JDC, DG, MH, VS), pp. 21–31.
CHI-1999-GuiardBM #multi #navigation: Navigation as Multiscale Pointing: Extending Fitts’ Model to Very High Precision Tasks (YG, MBL, DM), pp. 450–457.
TOOLS-EUROPE-1999-Wills #component #design #modelling #named: Catalysis: Precision Modeling and Design for Components (ACW), p. 400.
SAS-1999-RuthingKS #detection #performance: Detecting Equalities of Variables: Combining Efficiency with Precision (OR, JK, BS), pp. 232–247.
SAS-1999-Soffa #analysis #data flow #named #scalability #tutorial: Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis (MLS), pp. 355–356.
ICSE-1999-YehL #metric #normalisation #towards #using: Toward Precise Measurements Using Software Normalization (PLY, JCL), pp. 736–737.
DAC-1999-ErcegovacKP #behaviour #multi #optimisation #power management #synthesis #using: Low-Power Behavioral Synthesis Optimization Using Multiple Precision Arithmetic (MDE, DK, MP), pp. 568–573.
SIGIR-1998-Montebello #information retrieval #optimisation: Optimizing Recall/Precision Scores in IR over the WWW (MM), pp. 361–362.
UML-1998-MellorTAL #execution #semantics #uml: An Action Language for UML: Proposal for a Precise Execution Semantics (SJM, SRT, RA, PL), pp. 307–318.
ECOOP-1998-LauderK #design pattern #specification #visual notation: Precise Visual Specification of Design Patterns (AL, SK), pp. 114–134.
SAC-1998-MachucaM #data mining #database #mining #relational #set: Enhancing the exploitation of data mining in relational database systems via the rough sets theory including precision variables (FM, MM), pp. 70–73.
ASPLOS-1998-GhoshMM #analysis #program transformation: Precise Miss Analysis for Program Transformations with Caches of Arbitrary Associativity (SG, MM, SM), pp. 228–239.
CAV-1998-SawadaH #execution #verification: Processor Verification with Precise Exeptions and Speculative Execution (JS, WAHJ), pp. 135–146.
CSMR-1997-JarzabekW #reverse engineering #tool support #towards: Towards a precise description of reverse engineering methods and tools (SJ, IW), pp. 3–9.
CSMR-1997-TonellaAFM #analysis #maintenance: Variable Precision Reaching Definitions Analysis for Software Maintenance (PT, GA, RF, EM), pp. 60–67.
WIA-1997-Trahtman #automaton #estimation #finite #order #testing: A Precise Estimation of the Order of Local Testability of a Deterministic Finite Automaton (ANT), pp. 198–212.
SAS-1997-ShapiroH #analysis #pointer: The Effects of the Precision of Pointer Analysis (MS, SH), pp. 16–34.
ASE-1997-EdenYG #automation #design pattern #specification: Precise Specification and Automatic Application of Design Patterns (AHE, AY, JYG), pp. 143–152.
STOC-1997-BuhlerSS #fourier #integer #performance #using: Fast and Precise Computations of Discrete Fourier Transforms Using Cyclotomic Integers (JB, MAS, VS), pp. 40–47.
ILPS-1997-TanL #analysis #logic programming #recursion #source code: Recursive Modes for Precise Analysis of Logic Programs (JT, IPL), pp. 277–290.
PLILP-1996-Fecht #logic programming #performance #source code: An Efficient and Precise Sharing Domain for Logic Programs (CF), pp. 469–470.
TAPSOFT-J-1995-SagivRH96 #analysis #constant #data flow #interprocedural: Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation (SS, TWR, SH), pp. 131–170.
ECOOP-1995-Agesen #algorithm #morphism #parametricity #polymorphism #type inference: The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism (OA), pp. 2–26.
POPL-1995-RepsHS #analysis #data flow #graph #interprocedural #reachability: Precise Interprocedural Dataflow Analysis via Graph Reachability (TWR, SH, SS), pp. 49–61.
FSE-1995-RepsR #interprocedural: Precise Interprocedural Chopping (TWR, GR), pp. 41–52.
TAPSOFT-1995-SagivRH #analysis #constant #data flow #interprocedural: Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation (SS, TWR, SH), pp. 651–665.
ICSM-1994-CanforaCTM #data type #identification #reuse: A Precise Method for Identifying Reusable Abstract Data Types in Code (GC, AC, MT, MM), pp. 404–413.
FME-1994-RossL #behaviour #modelling #process: A Precise Examination of the Behaviour of Process Models (KJR, PAL), pp. 251–270.
OOPSLA-1994-PlevyakC #object-oriented #type inference: Precise Concrete Type Inference for Object-Oriented Languages (JP, AAC), pp. 324–340.
PLDI-1994-Wang #performance #predict: Precise Compile-Time Performance Prediction for Superscalar-Based Computers (KYW), pp. 73–84.
ICLP-1994-GallagherW #approximate #logic programming #performance #source code: Fast and Precise Regular Approximations of Logic Programs (JPG, DAdW), pp. 599–613.
CIKM-1993-Lee #algorithm #transaction: Precision Locking Algorithm for Nested Transactions Systems (JKL), pp. 674–683.
ICRE-1993-Beeck #analysis #execution #realtime #specification: Improving Structured Analysis — Achieving Preciseness, Executability, and Real-Time Specification (MvdB), pp. 227–245.
LFP-1992-NeubergerM #analysis #deduction #power of #strict: A Precise Relationship Between the Deductive Power of Forward and Backward Strictness Analysis (MN, PM), pp. 127–138.
SIGIR-1989-RaghavanBJ #evaluation #problem #retrieval #using: Retrieval System Evaluation Using Recall and Precision: Problems and Answers (VVR, PB, GSJ), pp. 59–68.
ASPLOS-1987-MagenheimerPPZ #architecture #integer #multi: Integer Multiplication and Division on the HP Precision Architecture (DJM, LP, KP, DZ), pp. 90–99.
ICLP-1987-Somogyi87 #logic programming #modelling #source code: A System of Precise Models for Logic Programs (ZS), pp. 769–787.
STOC-1985-HalpernMM #nondeterminism: Optimal Precision in the Presence of Uncertainty (JYH, NM, AAM), pp. 346–355.
POPL-1983-Kieburtz #data type #specification #type system: Precise Typing of Abstract Data Type Specifications (RBK), pp. 109–116.
DAC-1982-InoueAF #design #layout: A layout system for high precision design of progressive die (KI, MA, TF), pp. 246–252.
SIGMOD-1981-JordanBB: Precision Locks (JRJ, JB, RBB), pp. 143–147.
POPL-1981-Myers #algorithm #data flow #interprocedural: A Precise Interprocedural Data Flow Algorithm (EWM), pp. 219–230.
DAC-1968-Taxin #agile #generative: A facility for rapid computer-aided generation of precision graphics (HMT).