BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
precise
Google precise

Tag #precise

404 papers:

CGOCGO-2020-KangCP #framework #named #performance #scalability
PreScaler: an efficient system-aware precision scaling framework on heterogeneous systems (SK, KC, YP), pp. 280–292.
CGOCGO-2020-TanejaLR #analysis #testing
Testing static analyses for precision and soundness (JT, ZL, JR), pp. 81–93.
SANERSANER-2019-Farmahinifarahani #clone detection #detection #on the #tool support
On Precision of Code Clone Detection Tools (FF, VS, DY, HS, CVL), pp. 84–94.
CIKMCIKM-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.
CIKMCIKM-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.
ICMLICML-2019-SimonWR #generative #modelling
Revisiting precision recall definition for generative modeling (LS, RW, JR), pp. 5799–5808.
ICMLICML-2019-YangZKBWS #probability
SWALP : Stochastic Weight Averaging in Low Precision Training (GY, TZ, PK, JB, AGW, CDS), pp. 7015–7024.
KDDKDD-2019-KobrenBYHL #knowledge base
Constructing High Precision Knowledge Bases with Subjective and Factual Attributes (AK, PB0, OY, JH, IL), pp. 2050–2058.
KDDKDD-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.
OOPSLAOOPSLA-2019-EssertelWR #reasoning
Precise reasoning with structured time, structured heaps, and collective operations (GME, GW, TR), p. 30.
OOPSLAOOPSLA-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.
PLDIPLDI-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.
SASSAS-2019-LeiS #analysis #performance #pointer
Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis (YL, YS), pp. 27–47.
SASSAS-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.
ASEASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-2019-WuZQX #learning
Deep Reinforcement Learning of Robotic Precision Insertion Skill Accelerated by Demonstrations (XW, DZ, FQ, DX), pp. 1651–1656.
ICSTICST-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.
MSRMSR-2018-CaiJ #analysis #android #performance
Leveraging historical versions of Android apps for efficient and precise taint analysis (HC, JJ), pp. 265–269.
SANERSANER-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.
ECIRECIR-2018-ZhangWXLS #graph #predict
Discriminative Path-Based Knowledge Graph Embedding for Precise Link Prediction (MZ, QW, WX, WL, SS), pp. 276–288.
ICMLICML-2018-ChenXW0G #estimation #matrix #optimisation
Covariate Adjusted Precision Matrix Estimation via Nonconvex Optimization (JC, PX0, LW, JM0, QG), pp. 921–930.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-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.
OOPSLAOOPSLA-2018-JeonJO #analysis #data-driven #points-to #scalability
Precise and scalable points-to analysis via data-driven context tunneling (MJ, SJ, HO), p. 29.
PLDIPLDI-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.
ASPLOSASPLOS-2018-DavidPY #detection #named #static analysis
FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware (YD, NP, EY), pp. 392–404.
CASECASE-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.
CASECASE-2018-KronthalerW #framework #modelling #platform
Model based control of a high precision dual gantry platform with elastic cross coupling (PK, FW), pp. 491–498.
CASECASE-2018-SaadatziDWPB #novel
Precision Grasp Control with a Pneumatic Gripper and a Novel Fingertip Force Sensor (MNS, SKD, IBW, DOP, JRB), pp. 1454–1459.
CASECASE-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.
ICMLICML-2017-SakrKS #network
Analytical Guarantees on Numerical Precision of Deep Neural Networks (CS, YK0, NRS), pp. 3007–3016.
ICMLICML-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.
ECOOPECOOP-2017-HuangR #concurrent #detection #performance #perspective #what
What's the Optimal Performance of Precise Dynamic Race Detection? - A Redundancy Perspective (JH, AKR), p. 22.
OOPSLAOOPSLA-2017-ChaudhuriVGRL #javascript #performance #type checking
Fast and precise type checking for JavaScript (AC, PV, SG, MR, GL), p. 30.
OOPSLAOOPSLA-2017-SpathAB #alias #analysis #data flow #named #performance
IDEal: efficient and precise alias-aware dataflow analysis (JS, KA0, EB), p. 27.
PEPMPEPM-2017-FritzH #approximate #python #type system
Cost versus precision for approximate typing for Python (LF, JH), pp. 89–98.
PLDIPLDI-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.
ASEASE-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.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2017-MisraCGL #lightweight #transaction
Enabling Lightweight Transactions with Precision Time (PAM, JSC, JG, ARL), pp. 779–794.
CASECASE-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.
FASEFASE-2017-AsenovG0O #version control
Precise Version Control of Trees with Line-Based Version Control Systems (DA, BG, PM0, MO), pp. 152–169.
VMCAIVMCAI-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.
SANERSANER-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.
ICPRICPR-2016-AiMHLL #gesture
High precision gesture sensing via quantitative characterization of the Doppler effect (HA, YM, LH, ZL, ML), pp. 973–978.
ICPRICPR-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.
ICPRICPR-2016-LiSH #image #segmentation
Precise hand segmentation from a single depth image (ML, LS0, QH), pp. 2398–2403.
ICPRICPR-2016-TaxW
Class-dependent, non-convex losses to optimize precision (DMJT, FW), pp. 3314–3319.
OOPSLAOOPSLA-2016-BavishiPR #debugging
To be precise: regression aware debugging (RB, AP, SR), pp. 897–915.
OOPSLAOOPSLA-2016-HuangR #concurrent #detection
Precise and maximal race detection from incomplete traces (JH0, AKR), pp. 462–476.
PLDIPLDI-2016-YangHASFC #data flow #information management
Precise, dynamic information flow for database-backed applications (JY0, TH, THA, ASL, CF, SC), pp. 631–647.
SASSAS-2016-TanLX #analysis #pointer
Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting (TT0, YL0, JX), pp. 489–510.
ASEASE-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.
CASECASE-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.
CAVCAV-2016-NiemetzPB #modulo theories #satisfiability
Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories (AN, MP, AB), pp. 199–217.
SANERSANER-2015-MedicherlaK #analysis #approximate #scalability
Precision vs. scalability: Context sensitive analysis with prefix approximation (RKM, RK), pp. 281–290.
LATALATA-2015-BoichutCR #approximate #towards
Towards More Precise Rewriting Approximations (YB, JC, PR), pp. 652–663.
ECIRECIR-2015-FerroS
Rank-Biased Precision Reloaded: Reproducibility and Generalization (NF, GS), pp. 768–780.
ICMLICML-2015-GuptaAGN #learning
Deep Learning with Limited Numerical Precision (SG, AA, KG, PN), pp. 1737–1746.
ICMLICML-2015-KarN0
Surrogate Functions for Maximizing Precision at the Top (PK, HN, PJ), pp. 189–198.
SIGIRSIGIR-2015-LipaniLH #anti #bias
Splitting Water: Precision and Anti-Precision to Reduce Pool Bias (AL, ML, AH), pp. 103–112.
ECOOPECOOP-2015-DimovskiBW #abstraction #analysis #variability
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (ASD, CB, AW), pp. 247–270.
ECOOPECOOP-2015-ParkR #javascript #scalability #static analysis
Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (CP, SR), pp. 735–756.
SASSAS-2015-RapoportLT #analysis #correlation #data flow
Precise Data Flow Analysis in the Presence of Correlated Method Calls (MR, OL, FT), pp. 54–71.
ASEASE-2015-DeligiannisDR #analysis #concurrent #debugging #performance
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T) (PD, AFD, ZR), pp. 166–177.
ASEASE-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.
ASEASE-2015-WilcoxFFF #array #concurrent #detection
Array Shadow State Compression for Precise Dynamic Race Detection (T) (JRW, PF, CF, SNF), pp. 155–165.
ESEC-FSEESEC-FSE-2015-CaiC #detection #effectiveness #java #source code
Effective and precise dynamic detection of hidden races for Java programs (YC, LC), pp. 450–461.
ICSEICSE-v2-2015-Roos #code completion #performance #statistics
Fast and Precise Statistical Code Completion (PR), pp. 757–759.
SACSAC-2015-CostaCFR #diagrams #modelling #uml
From UML diagrams to simulink models: a precise and verified translation (AC, SAdCC, LF, LR), pp. 1547–1552.
CASECASE-2015-DasCQMTMK #automation #monitoring
Devices, systems, and methods for automated monitoring enabling precision agriculture (JD, GC, CQ, AM, PT, YM, VK), pp. 462–469.
CASECASE-2015-TiengYC #tool support
Total precision inspection of machine tools with virtual metrology (HT, HCY, FTC), pp. 1446–1447.
DACDAC-2015-LiLSH #approximate #optimisation #synthesis
Joint precision optimization and high level synthesis for approximate computing (CL, WL, SSS, JH), p. 6.
DATEDATE-2015-DoumaAP #estimation #execution #performance
Fast and precise cache performance estimation for out-of-order execution (RD, SA, ADP), pp. 1132–1137.
LCTESLCTES-2015-ZhangK #abstract interpretation #analysis #persistent
Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis (ZZ, XDK), p. 10.
TACASTACAS-2015-ZengSLH #predict
A Method for Improving the Precision and Coverage of Atomicity Violation Predictions (RZ, ZS, SL, XH), pp. 116–130.
CAVCAV-2015-DasLLL #verification
Angelic Verification: Precise Verification Modulo Unknowns (AD, SKL, AL, YL), pp. 324–342.
ISSTAISSTA-2015-HuangDMD #analysis #android #scalability
Scalable and precise taint analysis for Android (WH, YD, AM, JD), pp. 106–117.
SIGMODSIGMOD-2014-Dev14a #community #detection #graph #privacy #social
Privacy preserving social graphs for high precision community detection (HD), pp. 1615–1616.
ICSMEICSME-2014-LiuQWM #concurrent #debugging #named
Pinso: Precise Isolation of Concurrency Bugs via Delta Triaging (BL, ZQ, BW, RM), pp. 201–210.
FMFM-2014-ForejtKNS #analysis #communication #predict #source code
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs (VF, DK, GN, SS), pp. 263–278.
RTARTA-TLCA-2014-Dezani-CiancagliniG #type system
Preciseness of Subtyping on Intersection and Union Types (MDC, SG), pp. 194–207.
HCIDUXU-DI-2014-BreyerVRK #named
Scissors — A Precise Pointing Widget for Touch Screen Devices (FB, LAV, AR, JK), pp. 184–192.
HCIHCI-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.
CIKMCIKM-2014-Wen0R
Enabling Precision/Recall Preferences for Semi-supervised SVM Training (ZW, RZ, KR), pp. 421–430.
ICPRICPR-2014-AhmetovicBGM #locality #named #performance
ZebraRecognizer: Efficient and Precise Localization of Pedestrian Crossings (DA, CB, AG, SM), pp. 2566–2571.
SIGIRSIGIR-2014-FerranteFM #injection #markov #modelling
Injecting user models and time into precision via Markov chains (MF, NF, MM), pp. 597–606.
PLDIPLDI-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.
PLDIPLDI-2014-BiswasHSB #named #performance
DoubleChecker: efficient sound and precise atomicity checking (SB, JH, AS, MDB), p. 6.
PLDIPLDI-2014-RompfSBLCO #compilation #jit
Surgical precision JIT compilers (TR, AKS, KJB, HL, HC, KO), p. 8.
PLDIPLDI-2014-Schkufza0A #float #optimisation #probability #source code
Stochastic optimization of floating-point programs with tunable precision (ES, RS, AA), p. 9.
PPDPPPDP-2014-ChenDY #on the #type system
On the Preciseness of Subtyping in Session Types (TCC, MDC, NY), pp. 135–146.
ASEASE-2014-CaiS #dependence #impact analysis #named #using
Diver: precise dynamic impact analysis using dependence-based trace pruning (HC, RAS), pp. 343–348.
FSEFSE-2014-SamakR #concurrent #detection #java #library #parallel #thread
Omen+: a precise dynamic deadlock detector for multithreaded Java libraries (MS, MKR), pp. 735–738.
CGOCGO-2014-ZengR0AJ0 #encoding #named #scalability
DeltaPath: Precise and Scalable Calling Context Encoding (QZ, JR, HZ, NA, GJ, PL), p. 109.
DATEDATE-2014-AltmeyerD #analysis #correctness #on the #probability
On the correctness, optimality and precision of Static Probabilistic Timing Analysis (SA, RID), pp. 1–6.
STOCSTOC-2014-BerryCCKS #exponential #simulation
Exponential improvement in precision for simulating sparse Hamiltonians (DWB, AMC, RC, RK, RDS), pp. 283–292.
TACASTACAS-2014-SlabyS #contest #slicing
Symbiotic 2: More Precise Slicing — (Competition Contribution) (JS, JS), pp. 415–417.
TACASTACAS-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.
VMCAIVMCAI-2014-SchwarzSVA #analysis #source code
Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs (MDS, HS, VV, KA), pp. 21–38.
WCREWCRE-2013-DaiMLC #component #specification
Leveraging specifications of subcomponents to mine precise specifications of composite components (ZD, XM, YL, LC), pp. 162–171.
PEPMPEPM-2013-SagonasST #fault #type system
Precise explanation of success typing errors (KFS, JS, ST), pp. 33–42.
PLDIPLDI-2013-BlackshearCS #named #reachability
Thresher: precise refutations for heap reachability (SB, BYEC, MS), pp. 275–286.
SASSAS-2013-Komondoor #abstract interpretation #imperative #slicing #source code
Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation (RK), pp. 259–282.
ASEASE-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-FSEESEC-FSE-2013-BeyerLNSW #performance #reuse #verification
Precision reuse for efficient regression verification (DB, SL, EN, AS, PW), pp. 389–399.
ESEC-FSEESEC-FSE-2013-KumarCS #analysis #industrial #scalability
Precise range analysis on large industry code (SK, BC, US), pp. 675–678.
ASPLOSASPLOS-2013-QianTSQ #consistency #detection #named #scalability
Volition: scalable and precise sequential consistency violation detection (XQ, JT, BS, DQ), pp. 535–548.
DACDAC-2013-AndalamGSRR #analysis
Precise timing analysis for direct-mapped caches (SA, AG, RS, PSR, JR), p. 10.
ISMMISMM-2013-LiCK #analysis #graph #pointer #scalability
Precise and scalable context-sensitive pointer analysis via value flow graph (LL, CC, NK), pp. 85–96.
ISMMISMM-2013-RicciGM #garbage collection
Elephant tracks: portable production of complete and precise gc traces (NPR, SZG, JEBM), pp. 109–118.
TACASTACAS-2013-AbdullaACLR #automation
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO (PAA, MFA, YFC, CL, AR), pp. 530–536.
WCREWCRE-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.
CIKMCIKM-2012-Cummins #on the
On the inference of average precision from score distributions (RC), pp. 2435–2438.
ECIRECIR-2012-Robertson #on the
On Smoothing Average Precision (SR), pp. 158–169.
ICPRICPR-2012-DaiC #segmentation
Combining contrast saliency and region discontinuity for precise hand segmentation in projector-camera system (JD, RC), pp. 2161–2164.
ICPRICPR-2012-MichaelsenS
Estimating the precision of under-water video-mosaics (EM, NSN), pp. 775–779.
ICPRICPR-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.
ICPRICPR-2012-TanakaSM #array #estimation #visual notation
A visual marker for precise pose estimation based on a microlens array (HT, YS, YM), pp. 837–840.
TOOLSTOOLS-EUROPE-2012-LilisS #debugging #fault #metaprogramming
Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs (YL, AS), pp. 155–170.
PLDIPLDI-2012-HackettG #hybrid #javascript #performance #type inference
Fast and precise hybrid type inference for JavaScript (BH, SyG), pp. 239–250.
PLDIPLDI-2012-PradelG #automation #concurrent #detection #safety #thread
Fully automatic and precise detection of thread safety violations (MP, TRG), pp. 521–530.
PLDIPLDI-2012-RamanZSVY #concurrent #detection #parallel #scalability
Scalable and precise dynamic datarace detection for structured parallelism (RR, JZ, VS, MTV, EY), pp. 531–542.
PLDIPLDI-2012-WuTHCY #analysis #parallel #source code
Sound and precise analysis of parallel programs through schedule specialization (JW, YT, GH, HC, JY), pp. 205–216.
ASEASE-2012-ApelLL #performance
Structured merge with auto-tuning: balancing precision and performance (SA, OL, CL), pp. 120–129.
ASEASE-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.
SACSAC-2012-DasguptaK #analysis #using
Precise shape analysis using field sensitivity (SD, AK), pp. 1300–1307.
SACSAC-2012-TangJ #analysis
Exploiting regularity of user-defined types to improve precision of program analyses (XT, JJ), pp. 1743–1750.
LDTALDTA-2012-Winther #abstract syntax tree
Improving precision of generated ASTs (JW), p. 10.
CASECASE-2012-KimKCKH #2d
2-DOF torque sensor for precise force control of robot hand (TKK, BSK, SyC, DHK, JHH), pp. 892–895.
DATEDATE-2012-PrakashP #architecture #memory management
An instruction scratchpad memory allocation for the precision timed architecture (AP, HDP), pp. 659–664.
TACASTACAS-2012-CoxSC #bound #verification
A Bit Too Precise? Bounded Verification of Quantized Digital Filters (AC, SS, BYEC), pp. 33–47.
ISSTAISSTA-2012-LiRCS #debugging #detection #predict
Residual investigation: predictive and precise bug detection (KL, CR, CC, YS), pp. 298–308.
ICPCICPC-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.
ICSMEICSM-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.
SCAMSCAM-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.
WCREWCRE-2011-SeppMS #relational #static analysis
Precise Static Analysis of Binaries by Extracting Relational Information (AS, BM, AS), pp. 357–366.
CHICHI-2011-RogersWSM #3d #estimation #named #robust
AnglePose: robust, precise capacitive touch tracking via 3d orientation estimation (SR, JW, CDS, RMS), pp. 2575–2584.
CHICHI-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.
HCIDUXU-v1-2011-Davis #image
Precise Mishandling of the Digital Image Structure (TD), pp. 211–220.
HCIDUXU-v1-2011-KarschS #safety #usability
Terminological Precision — A Key Factor in Product Usability and Safety (BIK, GS), pp. 138–147.
CIKMCIKM-2011-SteinGH #clustering #web
Beyond precision@10: clustering the long tail of web search results (BS, TG, DH), pp. 2141–2144.
SIGIRSIGIR-2011-GanjisaffarCL #modelling #ranking
Bagging gradient-boosted trees for high precision, low variance ranking models (YG, RC, CVL), pp. 85–94.
MODELSMoDELS-2011-ReggioRSCD #modelling #process
A Precise Style for Business Process Modelling: Results from Two Controlled Experiments (GR, FR, GS, FDC, GD), pp. 138–152.
OOPSLAOOPSLA-2011-DavidC #specification #verification
Immutable specifications for more concise and precise verification (CD, WNC), pp. 359–374.
OOPSLAOOPSLA-2011-LiuB #automation #detection #named
SHERIFF: precise detection and automatic mitigation of false sharing (TL, EDB), pp. 3–18.
PLDIPLDI-2011-DilligDAS #composition #source code #summary
Precise and compact modular procedure summaries for heap manipulating programs (ID, TD, AA, MS), pp. 567–577.
POPLPOPL-2011-DilligDA #reasoning #source code #using
Precise reasoning for programs using containers (ID, TD, AA), pp. 187–200.
PPDPPPDP-2011-ColazzoS #complexity #type inference #xquery
Precision and complexity of XQuery type inference (DC, CS), pp. 89–100.
SASSAS-2011-BlackshearCSS #analysis
The Flow-Insensitive Precision of Andersen’s Analysis in Practice (SB, BYEC, SS, MS), pp. 60–76.
ASEASE-2011-Ganai #analysis #scalability
Scalable and precise symbolic analysis for atomicity violations (MKG), pp. 123–132.
ASEASE-2011-ZiftciK #requirements #testing
Tracing requirements to tests with high precision and recall (CZ, IK), pp. 472–475.
ESEC-FSEESEC-FSE-2011-BrunHEN11a #named
Crystal: precise and unobtrusive conflict warnings (YB, RH, MDE, DN), pp. 444–447.
ICSEICSE-2011-XiaoXTH #generative #identification #problem #testing
Precise identification of problems for structural test generation (XX, TX, NT, JdH), pp. 611–620.
ICSEICSE-2011-XiaoXTH11a #identification #named #problem
Covana: precise identification of problems in pex (XX, TX, NT, JdH), pp. 1004–1006.
LDTALDTA-2011-MametjanovWL #type system
More precise typing of rewrite strategies (AM, VLW, RL), p. 3.
DATEDATE-2011-MontagA #realtime
Precise WCET calculation in highly variant real-time systems (PM, SA), pp. 920–925.
LCTESLCTES-2011-AlthausAN #analysis #parametricity #performance
Precise and efficient parametric path analysis (EA, SA, RN), pp. 141–150.
ESOPESOP-2011-SotinJ #analysis #interprocedural #pointer #stack
Precise Interprocedural Analysis in the Presence of Pointers to the Stack (PS, BJ), pp. 459–479.
VMCAIVMCAI-2011-AlbertGM #cost analysis
More Precise Yet Widely Applicable Cost Analysis (EA, SG, ANM), pp. 38–53.
VMCAIVMCAI-2011-GoubaultP #finite #static analysis
Static Analysis of Finite Precision Computations (EG, SP), pp. 232–247.
DRRDRR-2010-PeredaT #semiparsing #using
Date of birth extraction using precise shallow parsing (RP, KT), pp. 1–10.
MSRMSR-2010-VetroTM #java #mining
Assessing the precision of FindBugs by mining Java projects developed at a university (AV, MT, MM), pp. 110–113.
ICPRICPR-2010-AungSN #3d
Traj Align: A Method for Precise Matching of 3-D Trajectories (ZA, KS, WSN), pp. 3818–3821.
ICPRICPR-2010-MikulikMPC
Construction of Precise Local Affine Frames (AM, JM, MP, OC), pp. 3565–3569.
SEKESEKE-2010-El-Attar #analysis #case study #robust #security
Developing Precise Misuse Cases with Security Robustness Analysis (MEA), pp. 571–576.
SEKESEKE-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.
SEKESEKE-2010-ZhangZH #model checking
Some Improvements for More Precise Model Checking (ZZ, QZ, MH), pp. 106–112.
SIGIRSIGIR-2010-DupretP #behaviour
A user behavior model for average precision and its generalization to graded judgments (GD, BP), pp. 531–538.
SIGIRSIGIR-2010-LeeLSR #retrieval #sentiment #using
High precision opinion retrieval using sentiment-relevance flows (SWL, JTL, YIS, HCR), pp. 817–818.
SIGIRSIGIR-2010-LopesR #health #information retrieval #using
Using local precision to compare search engines in consumer health information retrieval (CTL, CR), pp. 835–836.
SIGIRSIGIR-2010-RobertsonKY
Extending average precision to graded relevance judgments (SER, EK, EY), pp. 603–610.
SIGIRSIGIR-2010-SmuckerJ #performance #retrieval #revisited
Human performance and retrieval precision revisited (MDS, CPJ), pp. 595–602.
ECMFAECMFA-2010-SterrittCC #behaviour #design pattern #specification
Precise Specification of Design Pattern Structure and Behaviour (AS, SC, VC), pp. 277–292.
MODELSMoDELS-v2-2010-GerthKLE #detection #process #using
Precise Detection of Conflicting Change Operations Using Process Model Terms (CG, JMK, ML, GE), pp. 93–107.
OOPSLAOOPSLA-2010-LiangTNS #abstraction #evaluation
A dynamic evaluation of the precision of static heap abstractions (PL, OT, MN, MS), pp. 411–427.
PPDPPPDP-2010-TekleL #analysis #complexity #datalog #performance #query
Precise complexity analysis for efficient datalog queries (KTT, YAL), pp. 35–44.
ASEASE-2010-Letarte #analysis #graph #interprocedural #model checking #representation
Model checking graph representation of precise boolean inter-procedural flow analysis (DL), pp. 511–516.
ICSEICSE-2010-SumnerZWZ #encoding
Precise calling context encoding (WNS, YZ, DW, XZ), pp. 525–534.
CASECASE-2010-XuL
Precise tracking control of a piezoactuated micropositioning stage based on modified Prandtl-Ishlinskii hysteresis model (QX, YL), pp. 692–697.
CGOCGO-2010-LindermanHDMN #analysis #automation #optimisation #towards
Towards program optimization through automated analysis of numerical precision (MDL, MH, DLD, THYM, GPN), pp. 230–237.
DACDAC-2010-NovoLFRC #data flow #finite
Exploiting finite precision information to guide data-flow mapping (DN, ML, RF, PR, FC), pp. 248–253.
ESOPESOP-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.
CAVCAV-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.
ICDARICDAR-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.
VLDBVLDB-2009-ElmeleegyECAZ #approximate #linear #online
Online Piece-wise Linear Approximation of Numerical Streams with Precision Guarantees (HE, AKE, EC, WGA, WZ), pp. 145–156.
ICPCICPC-2009-PetrenkoR #impact analysis
Variable granularity for improving precision of impact analysis (MP, VR), pp. 10–19.
ICPCICPC-2009-PopescuGM #analysis #dependence
Enabling more precise dependency analysis in event-based systems (DP, JG, NM), pp. 305–306.
SEFMSEFM-2009-DangG #graph #metamodelling #modelling
Precise Model-Driven Transformations Based on Graphs and Metamodels (DHD, MG), pp. 307–316.
ICEISICEIS-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.
SIGIRSIGIR-2009-SeoJ #graph #retrieval #using
High precision retrieval using relevance-flow graph (JS, JJ), pp. 694–695.
ECMFAECMDA-FA-2009-GarcesJCB #adaptation #detection #metamodelling
Managing Model Adaptation by Precise Detection of Metamodel Changes (KG, FJ, PC, JB), pp. 34–49.
PEPMPEPM-2009-Martel #program transformation
Program transformation for numerical precision (MM), pp. 101–110.
PLDIPLDI-2009-FlanaganF #concurrent #detection #named #performance
FastTrack: efficient and precise dynamic race detection (CF, SNF), pp. 121–133.
POPLPOPL-2009-GulwaniMC #complexity #estimation #named #performance
SPEED: precise and efficient static estimation of program computational complexity (SG, KKM, TMC), pp. 127–139.
ASEASE-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.
ICSEICSE-2009-GeayPTRD #analysis #composition #string
Modular string-sensitive permission analysis with demand-driven precision (EG, MP, TT, BGR, JD), pp. 177–187.
SACSAC-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.
SACSAC-2009-SharyginaTT #abstraction #performance #verification
The synergy of precise and fast abstractions for program verification (NS, ST, AT), pp. 566–573.
SACSAC-2009-ShellD #simulation
Precise generalized contact point and normal determination for rigid body simulation (DAS, ED), pp. 2107–2108.
CASECASE-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.
CCCC-2009-Grosslinger #array
Precise Management of Scratchpad Memories for Localising Array Accesses in Scientific Codes (AG), pp. 236–250.
CGOCGO-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.
DATEDATE-2009-KinsmanN #finite #modulo theories #using
Finite Precision bit-width allocation using SAT-Modulo Theory (ABK, NN), pp. 1106–1111.
DATEDATE-2009-NovoLBPC #finite
Finite precision processing in wireless applications (DN, ML, BB, LVdP, FC), pp. 1230–1233.
ISMMISMM-2009-RafkindWRF #c #garbage collection
Precise garbage collection for C (JR, AW, JR, MF), pp. 39–48.
CAVCAV-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.
ISSTAISSTA-2009-ElkarabliehGL #generative #pointer #reasoning #testing
Precise pointer reasoning for dynamic test generation (BE, PG, MYL), pp. 129–140.
ISSTAISSTA-2009-HalfondAO #analysis #identification #interface #testing #web
Precise interface identification to improve testing and analysis of web applications (WGJH, SA, AO), pp. 285–296.
MSRMSR-2008-HataMK #using
An extension of fault-prone filtering using precise training and a dynamic threshold (HH, OM, TK), pp. 89–98.
SCAMSCAM-2008-GiffhornH #analysis #java #source code #using
Precise Analysis of Java Programs Using JOANA (DG, CH), pp. 267–268.
SCAMSCAM-2008-LundbergGL #analysis #performance #points-to
Fast and Precise Points-to Analysis (JL, TG, WL), pp. 133–142.
FMFM-2008-GawlitzaS #analysis #game studies
Precise Interval Analysis vs. Parity Games (TG, HS), pp. 342–357.
CHICHI-2008-OlwalFH #agile
Rubbing and tapping for precise and rapid selection on touch-screen displays (AO, SF, SH), pp. 295–304.
CHICHI-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.
CIKMCIKM-2008-HuangWL #detection
Achieving both high precision and high recall in near-duplicate detection (LH, LW, XL), pp. 63–72.
ICMLICML-2008-Corrada-EmmanuelS #estimation #fault #geometry #low level
Autonomous geometric precision error estimation in low-level computer vision tasks (ACE, HJS), pp. 168–175.
ICPRICPR-2008-TiernyVD #3d #performance
Fast and precise kinematic skeleton extraction of 3D dynamic meshes (JT, JPV, MD), pp. 1–4.
ICPRICPR-2008-ZhengW #detection #robust
Robust and precise eye detection based on locally selective projection (YZ, ZW), pp. 1–4.
SIGIRSIGIR-2008-Robertson
A new interpretation of average precision (SR), pp. 689–690.
MODELSMoDELS-2008-BiermannET #emf #graph transformation #model transformation #semantics
Precise Semantics of EMF Model Transformations by Graph Transformation (EB, CE, GT), pp. 53–67.
MODELSMoDELS-2008-BiermannET #emf #graph transformation #model transformation #semantics
Precise Semantics of EMF Model Transformations by Graph Transformation (EB, CE, GT), pp. 53–67.
PEPMPEPM-2008-PopeeaXC #array #bound
A practical and precise inference and specializer for array bound checks elimination (CP, DNX, WNC), pp. 177–187.
POPLPOPL-2008-LahiriQ #smt #using #verification
Back to the future: revisiting precise program verification using SMT solvers (SKL, SQ), pp. 171–182.
POPLPOPL-2008-YorshYC #generative #summary
Generating precise and concise procedure summaries (GY, EY, SC), pp. 221–234.
PPDPPPDP-2008-Lu #dependence #logic programming #polymorphism #source code
Inferring precise polymorphic type dependencies in logic programs (LL), pp. 143–151.
QAPLQAPL-2008-PierroSW #abstract interpretation #analysis #probability #relational
Relational Analysis and Precision via Probabilistic Abstract Interpretation (ADP, PS, HW), pp. 23–42.
ASEASE-2008-BeyerHT #program analysis
Program Analysis with Dynamic Precision Adjustment (DB, TAH, GT), pp. 29–38.
ICSEICSE-2008-BabicH #named #scalability #static analysis
Calysto: scalable and precise extended static checking (DB, AJH), pp. 211–220.
ICSEICSE-2008-XuR #detection #java #memory management #profiling #using
Precise memory leak detection for java software using container profiling (G(X, AR), pp. 151–160.
CASECASE-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.
CASECASE-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.
CCCC-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.
DACDAC-2008-TamPB #analysis #automation #layout #locality #using
Precise failure localization using automated layout analysis of diagnosis candidates (WCT, OP, RD(B), pp. 367–372.
VMCAIVMCAI-2008-Mendez-LojoH #analysis #set #source code
Precise Set Sharing Analysis for Java-Style Programs (MML, MVH), pp. 172–187.
ICDARICDAR-2007-SchulzMM #performance #set
Fast Selection of Small and Precise Candidate Sets from Dictionaries for Text Correction Tasks (KUS, SM, PM), pp. 471–475.
IFMIFM-2007-AuSC #specification
Precise Scenarios — A Customer-Friendly Foundation for Formal Specifications (OA, RS, JC), pp. 21–36.
ICFPICFP-2007-HornM #analysis #complexity #control flow
Relating complexity and precision in control flow analysis (DVH, HGM), pp. 85–96.
HCIDHM-2007-Su #detection #performance
Enhancing Sense of Reality by Efficient and Precise Collision Detection in Virtual Environments (CJS), pp. 969–978.
HCIHIMI-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.
HCIHIMI-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.
SIGIRSIGIR-2007-YueFRJ #optimisation
A support vector method for optimizing average precision (YY, TF, FR, TJ), pp. 271–278.
AdaEuropeAdaEurope-2007-Garcia-RodriguezMG #ada #compilation #garbage collection
Incorporating Precise Garbage Collection in an Ada Compiler (FGR, JM, JFG), pp. 235–245.
PLDIPLDI-2007-WassermannS #analysis #injection #web
Sound and precise analysis of web applications for injection vulnerabilities (GW, ZS), pp. 32–41.
SASSAS-2007-MalkisPR #thread #verification
Precise Thread-Modular Verification (AM, AP, AR), pp. 218–232.
SACSAC-2007-PaulK #slicing #using
Precise dynamic slicing using execution-summary (AP, RK), pp. 1330–1331.
CASECASE-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.
CASECASE-2007-ZhouGWJFLU
Active Thermal Management for Precision Positioning (RZ, WG, JTW, MKJ, JF, GL, MU), pp. 45–50.
CASECASE-2007-ZimmermannS #modelling #simulation
Modeling for Simulation and Control of a X-Y High Precision Positioning Table (JZ, OS), pp. 1093–1098.
DACDAC-2007-EdwardsL
The Case for the Precision Timed (PRET) Machine (SAE, EAL), pp. 264–265.
HPDCHPDC-2007-LeeS #analysis #performance
Precise and realistic utility functions for user-centric performance analysis of schedulers (CBL, AS), pp. 107–116.
ESOPESOP-2007-GawlitzaS #fixpoint
Precise Fixpoint Computation Through Strategy Iteration (TG, HS), pp. 300–315.
FASEFASE-2007-Whittle #case study #specification
Precise Specification of Use Case Scenarios (JW), pp. 170–184.
AMOSTA-MOST-2007-BouquetGLPVU #modelling #testing #uml
A subset of precise UML for model-based testing (FB, CG, BL, FP, NV, MU), pp. 95–104.
CAVCAV-2007-WangYGI #reachability #using
Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra (CW, ZY, AG, FI), pp. 352–365.
CSLCSL-2007-GawlitzaS #invariant #relational
Precise Relational Invariants Through Strategy Iteration (TG, HS), pp. 23–40.
VMCAIVMCAI-2007-FecherH #abstraction
More Precise Partition Abstractions (HF, MH), pp. 167–181.
ICSMEICSM-2006-BreechTP #impact analysis
Integrating Influence Mechanisms into Impact Analysis for Increased Precision (BB, MT, LLP), pp. 55–65.
CHICHI-2006-BenkoWB #multi
Precise selection techniques for multi-touch screens (HB, ADW, PB), pp. 1263–1272.
CIKMCIKM-2006-YilmazA
Estimating average precision with incomplete and imperfect judgments (EY, JAA), pp. 102–111.
ICPRICPR-v4-2006-JinYSLX #classification #detection #hybrid #robust
A hybrid classifier for precise and robust eye detection (LJ, XHY, SS, JL, LX), pp. 731–735.
ICPRICPR-v4-2006-KongZK #representation
An Anatomy of IrisCode for Precise Phase Representation (AWKK, DZ, MK), pp. 429–432.
SIGIRSIGIR-2006-AslamY #documentation
Inferring document relevance via average precision (JAA, EY), pp. 601–602.
SIGIRSIGIR-2006-CormackL #evaluation #information retrieval #statistics
Statistical precision of information retrieval evaluation (GVC, TRL), pp. 533–540.
SIGIRSIGIR-2006-Tomlinson #feedback #metric
Early precision measures: implications from the downside of blind feedback (ST), pp. 705–706.
SIGIRSIGIR-2006-TurpinS #metric #performance
User performance versus precision measures for simple search tasks (AT, FS), pp. 11–18.
FSEFSE-2006-CobleighAC #specification
User guidance for creating precise and accessible property specifications (RLC, GSA, LAC), pp. 208–218.
SACSAC-2006-ErshovNM #architecture
Quad and correctly rounded double precision math functions: portable and optimized for Intel architectures (AE, AN, SM), pp. 1310–1317.
SACSAC-2006-LuHS #algorithm #realtime #scheduling
A precise schedulability test algorithm for scheduling periodic tasks in real-time systems (WCL, JWH, WKS), pp. 1451–1455.
CAVCAV-2006-Lev-AmiIS #abstraction #analysis #performance
Abstraction for Shape Analysis with Fast and Precise Transformers (TLA, NI, SS), pp. 547–561.
LICSLICS-2006-ShohamG #abstraction
3-Valued Abstraction: More Precision at Less Cost (SS, OG), pp. 399–410.
VMCAIVMCAI-2006-Mine #abstract domain
Symbolic Methods to Enhance the Precision of Numerical Abstract Domains (AM), pp. 348–363.
ICDARICDAR-2005-ZanibbiBC
Historical Recall and Precision: Summarizing Generated Hypotheses (RZ, DB, JRC), pp. 202–206.
ICSMEICSM-2005-MilanovaR #analysis #constraints
Annotated Inclusion Constraints for Precise Flow Analysis (AM, BGR), pp. 187–196.
SEFMSEFM-2005-BarthePS #analysis #logic #memory management #using
Precise Analysis of Memory Consumption using Program Logics (GB, MP, GS), pp. 86–95.
CAiSECAiSE-2005-StasiuHS #database #query
Estimating Recall and Precision for Vague Queries in Databases (RKS, CAH, RdS), pp. 187–200.
ECIRECIR-2005-GoutteG #evaluation #probability
A Probabilistic Interpretation of Precision, Recall and F-Score, with Implication for Evaluation (CG, ÉG), pp. 345–359.
SIGIRSIGIR-2005-AslamYP05a #correlation #geometry
A geometric interpretation of r-precision and its correlation with average precision (JAA, EY, VP), pp. 573–574.
SIGIRSIGIR-2005-BeitzelJFCP
Surrogate scoring for improved metasearch precision (SMB, ECJ, OF, AC, GP), pp. 583–584.
POPLPOPL-2005-GulwaniN #analysis #interprocedural #random #using
Precise interprocedural analysis using random interpretation (SG, GCN), pp. 324–337.
ASEASE-2005-Milanova #composition #diagrams #identification #uml
Precise identification of composition relationships for UML class diagrams (AM), pp. 76–85.
ICSEICSE-2005-ApiwattanapongOH #impact analysis #performance #sequence #using
Efficient and precise dynamic impact analysis using execute-after sequences (TA, AO, MJH), pp. 432–441.
CASECASE-2005-GongHYL
Experimental-model-based precision control of a piezoelectric actuated flexure stage (ZG, EHLH, GY, WL), pp. 124–129.
DATEDATE-2005-AmatoCMP
Realization of a Virtual Lambda Sensor on a Fixed Precision System (PA, NC, MDM, FP), pp. 192–197.
LCTESLCTES-2005-StaschulatE #analysis #scalability #scheduling
Scalable precision cache analysis for preemptive scheduling (JS, RE), pp. 157–165.
LCTESLCTES-2005-TitzerP
Nonintrusive precision instrumentation of microcontroller software (BT, JP), pp. 59–68.
VLDBVLDB-2004-KrishnamurthyFHJ
The Case for Precision Sharing (SK, MJF, JMH, GJ), pp. 972–986.
ICSMEICSM-2004-Gueheneuc #diagrams #uml
Abstract and Precise Recovery of UML Diagram Constituents (YGG), p. 523.
ICSMEICSM-2004-Rountev #identification #java
Precise Identification of Side-Effect-Free Methods in Java (AR), pp. 82–91.
ICPRICPR-v1-2004-MallonW #image
Precise Radial Un-Distortion of Images (JM, PFW), pp. 18–21.
ICPRICPR-v1-2004-OmachiSA #estimation #recognition
Precise Estimation of High-Dimensional Distribution and Its Application to Face Recognition (SO, FS, HA), pp. 220–223.
SIGIRSIGIR-2004-DiazJ #predict #query #using
Using temporal profiles of queries for precision prediction (FD, RJ), pp. 18–24.
UMLUML-2004-GoniE #concurrent #ocl #uml #using
Building Precise UML Constructs to Model Concurrency Using OCL (AG, YE), pp. 212–225.
ECOOPECOOP-2004-SpoonS #scalability #type inference
Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability (SAS, OS), pp. 51–74.
PLDIPLDI-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.
POPLPOPL-2004-Muller-OlmS #algebra #analysis #interprocedural #linear
Precise interprocedural analysis through linear algebra (MMO, HS), pp. 330–341.
RERE-2004-CorreaW #specification #transaction #validation
Precise Specification and Validation of Transactional Business Software (ALC, CMLW), pp. 16–25.
ICSEICSE-2004-MakCL #design pattern #modelling #uml
Precise Modeling of Design Patterns in UML (JKHM, CSTC, DPKL), pp. 252–261.
ICSEICSE-2004-SkeneLE
Precise Service Level Agreements (JS, DDL, WE), pp. 179–188.
DATEDATE-DF-2004-Horsky
A 16 Bit + Sign Monotonic Precise Current DAC for Sensor Applications (PH), pp. 34–38.
DATEDATE-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.
LICSLICS-2004-AlfaroGJ #abstraction #game studies #nondeterminism
Three-Valued Abstractions of Games: Uncertainty, but with Precision (LdA, PG, RJ), pp. 170–179.
JCDLJCDL-2003-DavisEK
Methods for Precise Named Entity Matching in Digital Collections (PTD, DKE, JK), pp. 125–127.
CHICHI-2003-AlbinssonZ #interactive
High precision touch screen interaction (PAA, SZ), pp. 105–112.
ICEISICEIS-v1-2003-AmantonSH #database #distributed #realtime
Tradding Precision for Timeliness in Distributed Real-Time Databases (LA, BS, JH), pp. 558–561.
CIKMCIKM-2003-BerraniAG #approximate
Approximate searches: k-neighbors + precision (SAB, LA, PG), pp. 24–31.
SASSAS-2003-BagnaraHRZ
Precise Widening Operators for Convex Polyhedra (RB, PMH, ER, EZ), pp. 337–354.
SASSAS-2003-ChristensenMS #analysis #string
Precise Analysis of String Expressions (ASC, AM, MIS), pp. 1–18.
ICSEICSE-2003-Lamsweerde #modelling #requirements #specification #uml
Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications (AvL), pp. 744–745.
ICSEICSE-2003-ZhangGZ #algorithm #slicing
Precise Dynamic Slicing Algorithms (XZ, RG, YZ), pp. 319–329.
CCCC-2003-LeagueST #compilation #java
Precision in Practice: A Type-Preserving Java Compiler (CL, ZS, VT), pp. 106–120.
CCCC-2003-Ryder #analysis #object-oriented #programming language
Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages (BGR), pp. 126–137.
DATEDATE-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.
PDPPDP-2003-DaneseLLSS #float
An Accelerator for Double Precision Floating Point Operations (GD, IDL, FL, MS, AS), p. 57–?.
CSMRCSMR-2002-HajnalF #algorithm
A Precise Demand-Driven Def-Use Chaining Algorithm (ÁH, IF), p. 77–?.
ICSMEICSM-2002-MilanovaRR #diagrams
Constructing Precise Object Relation Diagrams (AM, AR, BGR), pp. 586–595.
SCAMSCAM-2002-MilanovaRR #graph #pointer
Precise Call Graph Construction in the Presence of Function Pointers (AM, AR, BGR), pp. 155–162.
ICPRICPR-v1-2002-FleuretG #detection #estimation #performance
Fast Face Detection with Precise Pose Estimation (FF, DG), p. 235–?.
ICPRICPR-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.
SIGIRSIGIR-2002-Kwok #query
Higher precision for two-word queries (KLK), pp. 395–396.
UMLUML-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.
PLDIPLDI-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.
PPDPPPDP-2002-LagoonS #analysis #logic programming #source code
Precise pair-sharing analysis of logic programs (VL, PJS), pp. 99–108.
SASSAS-2002-Ruf #analysis #data flow
Improving the Precision of Equality-Based Dataflow Analyses (ER), pp. 247–262.
SASSAS-2002-VaucheretB #logic programming #performance #source code #type inference
More Precise Yet Efficient Type Inference for Logic Programs (CV, FB), pp. 102–116.
CCCC-2002-GschwindA #compilation #exception #semantics
Precise Exception Semantics in Dynamic Compilation (MG, ERA), pp. 95–110.
ESOPESOP-2002-GoubaultMP #float #interpreter
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter (EG, MM, SP), pp. 209–212.
ESOPESOP-2002-Martel #approach #fault #finite #semantics
Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach (MM), pp. 194–208.
FASEFASE-2002-BelaundeP #component #specification
From EDOC Components to CCM Components: A Precise Mapping Specification (MB, MP), pp. 143–158.
FASEFASE-2002-ClarkEK #approach #metamodelling #modelling
Engineering Modelling Languages: A Precise Meta-Modelling Approach (TC, AE, SK), pp. 159–173.
ISSTAISSTA-2002-LiangPH #analysis #profiling #using
Evaluating the precision of static reference analysis using profiling (DL, MP, MJH), pp. 22–32.
ECOOPECOOP-2001-WangS #constraints #java #type inference
Precise Constraint-Based Type Inference for Java (TW, SFS), pp. 99–117.
SASSAS-2001-Goubault #analysis #float
Static Analyses of the Precision of Floating-Point Operations (EG), pp. 234–259.
ASEASE-2001-BezivinG #framework #towards
Towards a Precise Definition of the OMG/MDA Framework (JB, OG), pp. 273–280.
DACDAC-2001-MathurS #analysis #using
Improved Merging of Datapath Operators using Information Content and Required Precision Analysis (AM, SS), pp. 462–467.
DATEDATE-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.
ICPRICPR-v2-2000-KatoOA #modelling #recognition #using
Precise Hand-printed Character Recognition Using Elastic Models via Nonlinear Transformation (TK, SO, HA), pp. 2364–2367.
ICPRICPR-v4-2000-HuangM #detection
Face Detection and Precise Eyes Location (WH, RM), pp. 4722–4727.
ICPRICPR-v4-2000-KyrkiK #2d #geometry
High Precision 2-D Geometrical Inspection (VK, HK), pp. 4779–4782.
SIGIRSIGIR-2000-Ando #metric #scalability #semantics #similarity
Latent semantic-space: iterative scaling improves precision of inter-document similarity measurement (RKA), pp. 216–223.
UMLUML-2000-GuennecSJ #design pattern #modelling
Precise Modeling of Design Patterns (ALG, GS, JMJ), pp. 482–496.
LOPSTRLOPSTR-2000-PierroW #abstract interpretation #on the
On the precision of abstract interpretations (ADP, HW).
LOPSTRLOPSTR-J-2000-PierroW #abstract interpretation
Measuring the Precision of Abstract Interpretations (ADP, HW), pp. 147–164.
PLDIPLDI-2000-HeydonLY #dependence #using
Caching function calls using precise dependencies (AH, RL, YY), pp. 311–320.
PPDPPPDP-2000-Lu #analysis #logic programming #source code
A precise type analysis of logic programs (LL), pp. 214–225.
STOCSTOC-2000-OrlinSS #combinator #optimisation
epsilon-optimization schemes and L-bit precision: alternative perspectives in combinatorial optimization (JBO, ASS, SS), pp. 565–572.
ISSTAISSTA-2000-SiegelA
Improving the precision of INCA by preventing spurious cycles (SFS, GSA), pp. 191–200.
ICDARICDAR-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.
PASTEPASTE-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.
CHICHI-1999-GuiardBM #multi #navigation
Navigation as Multiscale Pointing: Extending Fitts’ Model to Very High Precision Tasks (YG, MBL, DM), pp. 450–457.
TOOLSTOOLS-EUROPE-1999-Wills #component #design #modelling #named
Catalysis: Precision Modeling and Design for Components (ACW), p. 400.
SASSAS-1999-RuthingKS #detection #performance
Detecting Equalities of Variables: Combining Efficiency with Precision (OR, JK, BS), pp. 232–247.
SASSAS-1999-Soffa #analysis #data flow #named #scalability #tutorial
Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis (MLS), pp. 355–356.
ICSEICSE-1999-YehL #metric #normalisation #towards #using
Toward Precise Measurements Using Software Normalization (PLY, JCL), pp. 736–737.
DACDAC-1999-ErcegovacKP #behaviour #multi #optimisation #power management #synthesis #using
Low-Power Behavioral Synthesis Optimization Using Multiple Precision Arithmetic (MDE, DK, MP), pp. 568–573.
SIGIRSIGIR-1998-Montebello #information retrieval #optimisation
Optimizing Recall/Precision Scores in IR over the WWW (MM), pp. 361–362.
UMLUML-1998-MellorTAL #execution #semantics #uml
An Action Language for UML: Proposal for a Precise Execution Semantics (SJM, SRT, RA, PL), pp. 307–318.
ECOOPECOOP-1998-LauderK #design pattern #specification #visual notation
Precise Visual Specification of Design Patterns (AL, SK), pp. 114–134.
SACSAC-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.
ASPLOSASPLOS-1998-GhoshMM #analysis #program transformation
Precise Miss Analysis for Program Transformations with Caches of Arbitrary Associativity (SG, MM, SM), pp. 228–239.
CAVCAV-1998-SawadaH #execution #verification
Processor Verification with Precise Exeptions and Speculative Execution (JS, WAHJ), pp. 135–146.
CSMRCSMR-1997-JarzabekW #reverse engineering #tool support #towards
Towards a precise description of reverse engineering methods and tools (SJ, IW), pp. 3–9.
CSMRCSMR-1997-TonellaAFM #analysis #maintenance
Variable Precision Reaching Definitions Analysis for Software Maintenance (PT, GA, RF, EM), pp. 60–67.
CIAAWIA-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.
SASSAS-1997-ShapiroH #analysis #pointer
The Effects of the Precision of Pointer Analysis (MS, SH), pp. 16–34.
ASEASE-1997-EdenYG #automation #design pattern #specification
Precise Specification and Automatic Application of Design Patterns (AHE, AY, JYG), pp. 143–152.
STOCSTOC-1997-BuhlerSS #fourier #integer #performance #using
Fast and Precise Computations of Discrete Fourier Transforms Using Cyclotomic Integers (JB, MAS, VS), pp. 40–47.
ICLPILPS-1997-TanL #analysis #logic programming #recursion #source code
Recursive Modes for Precise Analysis of Logic Programs (JT, IPL), pp. 277–290.
PPDPPLILP-1996-Fecht #logic programming #performance #source code
An Efficient and Precise Sharing Domain for Logic Programs (CF), pp. 469–470.
TAPSOFTTAPSOFT-J-1995-SagivRH96 #analysis #constant #data flow #interprocedural
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation (SS, TWR, SH), pp. 131–170.
ECOOPECOOP-1995-Agesen #algorithm #morphism #parametricity #polymorphism #type inference
The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism (OA), pp. 2–26.
POPLPOPL-1995-RepsHS #analysis #data flow #graph #interprocedural #reachability
Precise Interprocedural Dataflow Analysis via Graph Reachability (TWR, SH, SS), pp. 49–61.
FSEFSE-1995-RepsR #interprocedural
Precise Interprocedural Chopping (TWR, GR), pp. 41–52.
TAPSOFTTAPSOFT-1995-SagivRH #analysis #constant #data flow #interprocedural
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation (SS, TWR, SH), pp. 651–665.
ICSMEICSM-1994-CanforaCTM #data type #identification #reuse
A Precise Method for Identifying Reusable Abstract Data Types in Code (GC, AC, MT, MM), pp. 404–413.
FMFME-1994-RossL #behaviour #modelling #process
A Precise Examination of the Behaviour of Process Models (KJR, PAL), pp. 251–270.
OOPSLAOOPSLA-1994-PlevyakC #object-oriented #type inference
Precise Concrete Type Inference for Object-Oriented Languages (JP, AAC), pp. 324–340.
PLDIPLDI-1994-Wang #performance #predict
Precise Compile-Time Performance Prediction for Superscalar-Based Computers (KYW), pp. 73–84.
ICLPICLP-1994-GallagherW #approximate #logic programming #performance #source code
Fast and Precise Regular Approximations of Logic Programs (JPG, DAdW), pp. 599–613.
CIKMCIKM-1993-Lee #algorithm #transaction
Precision Locking Algorithm for Nested Transactions Systems (JKL), pp. 674–683.
REICRE-1993-Beeck #analysis #execution #realtime #specification
Improving Structured Analysis — Achieving Preciseness, Executability, and Real-Time Specification (MvdB), pp. 227–245.
LISPLFP-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.
SIGIRSIGIR-1989-RaghavanBJ #evaluation #problem #retrieval #using
Retrieval System Evaluation Using Recall and Precision: Problems and Answers (VVR, PB, GSJ), pp. 59–68.
ASPLOSASPLOS-1987-MagenheimerPPZ #architecture #integer #multi
Integer Multiplication and Division on the HP Precision Architecture (DJM, LP, KP, DZ), pp. 90–99.
ICLPICLP-1987-Somogyi87 #logic programming #modelling #source code
A System of Precise Models for Logic Programs (ZS), pp. 769–787.
STOCSTOC-1985-HalpernMM #nondeterminism
Optimal Precision in the Presence of Uncertainty (JYH, NM, AAM), pp. 346–355.
POPLPOPL-1983-Kieburtz #data type #specification #type system
Precise Typing of Abstract Data Type Specifications (RBK), pp. 109–116.
DACDAC-1982-InoueAF #design #layout
A layout system for high precision design of progressive die (KI, MA, TF), pp. 246–252.
SIGMODSIGMOD-1981-JordanBB
Precision Locks (JRJ, JB, RBB), pp. 143–147.
POPLPOPL-1981-Myers #algorithm #data flow #interprocedural
A Precise Interprocedural Data Flow Algorithm (EWM), pp. 219–230.
DACDAC-1968-Taxin #agile #generative
A facility for rapid computer-aided generation of precision graphics (HMT).

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.