BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
algorithm (197)
problem (116)
use (90)
time (78)
optim (69)

Stem approxim$ (all stems)

1131 papers:

CASECASE-2015-NetoCHS #approximate #optimisation
A piecewise linear-quadratic approximation for production optimization of gas-lifted oil fields (LRN, EC, RH, TLS), pp. 793–798.
DACDAC-2015-LiLSH #approximate #optimisation #precise #synthesis
Joint precision optimization and high level synthesis for approximate computing (CL, WL, SSS, JH), p. 6.
DACDAC-2015-RanjanVFRR #approximate #energy #performance
Approximate storage for energy efficient spintronic memories (AR, SV, XF, KR, AR), p. 6.
DACDAC-2015-VenkataramaniCR #approximate #performance
Approximate computing and the quest for computing efficiency (SV, STC, KR, AR), p. 6.
DATEDATE-2015-ChenLH #approximate #reliability
An approximate voting scheme for reliable computing (KC, FL, JH), pp. 293–296.
DATEDATE-2015-DarkeCVSM #approximate #bound #model checking #using
Over-approximating loops to prove properties using bounded model checking (PD, BC, RV, US, RM), pp. 1407–1412.
DATEDATE-2015-HuQ #approximate #fault
A new approximate adder with low relative error and correct sign calculation (JH, WQ), pp. 1449–1454.
DATEDATE-2015-RahaVRR #approximate #configuration management #energy #performance #quality
Quality configurable reduce-and-rank for energy efficient approximate computing (AR, SV, VR, AR), pp. 665–670.
DATEDATE-2015-RahimiGCBG #approximate #energy #memory management
Approximate associative memristive memory for energy-efficient GPUs (AR, AG, KTC, LB, RKG), pp. 1497–1502.
DATEDATE-2015-RustLP #approximate #architecture
QR-decomposition architecture based on two-variable numeric function approximation (JR, FL, SP), pp. 892–895.
DATEDATE-2015-RustP #approximate #design #multi
Design method for multiplier-less two-variable numeric function approximation (JR, SP), pp. 948–953.
DATEDATE-2015-VenkataramaniCR #approximate
Computing approximately, and efficiently (SV, STC, KR, AR), pp. 748–751.
DATEDATE-2015-YazdanbakhshMTP #approximate #design #hardware #named
Axilog: language support for approximate hardware design (AY, DM, BT, JP, AN, SS, KR, NR, RJ, AR, HE, KB), pp. 812–817.
DATEDATE-2015-ZhangWTYX #approximate #framework #named #network
ApproxANN: an approximate computing framework for artificial neural network (QZ, TW, YT, FY, QX), pp. 701–706.
PODSPODS-2015-AcharyaDHLS #algorithm #approximate #performance
Fast and Near-Optimal Algorithms for Approximating Distributions by Histograms (JA, ID, CH, JZL, LS), pp. 249–263.
PODSPODS-2015-BarceloPS #approximate #evaluation #performance
Efficient Evaluation and Approximation of Well-designed Pattern Trees (PB, RP, SS), pp. 131–144.
PODSPODS-2015-IndykLR #approximate #testing
Erratum for: Approximating and Testing k-Histogram Distributions in Sub-linear Time (PI, RL, RR), p. 343.
SIGMODSIGMOD-2015-CochezM #approximate #clustering #distance #linear
Twister Tries: Approximate Hierarchical Agglomerative Clustering for Average Distance in Linear Time (MC, HM), pp. 505–517.
SIGMODSIGMOD-2015-GanT #approximate
DBSCAN Revisited: Mis-Claim, Un-Fixability, and Approximation (JG, YT), pp. 519–530.
SIGMODSIGMOD-2015-YangWWW #approximate #performance #query #string
Local Filtering: Improving the Performance of Approximate Queries on String Collections (XY, YW, BW, WW), pp. 377–392.
VLDBVLDB-2015-GatterbauerS #approximate #database #probability
Approximate Lifted Inference with Probabilistic Databases (WG, DS), pp. 629–640.
VLDBVLDB-2015-MitliagkasBDC #approximate #exclamation #graph #performance #rank
FrogWild! — Fast PageRank Approximations on Graph Engines (IM, MB, AGD, CC), pp. 874–885.
VLDBVLDB-2015-PottiP #approximate #named #paradigm #query
DAQ: A New Paradigm for Approximate Query Processing (NP, JMP), pp. 898–909.
TACASTACAS-2015-ChistikovDM #approximate #estimation #probability #smt #source code
Approximate Counting in SMT and Value Estimation for Probabilistic Programs (DVC, RD, RM), pp. 320–334.
SANERSANER-2015-MedicherlaK #analysis #approximate #precise #scalability
Precision vs. scalability: Context sensitive analysis with prefix approximation (RKM, RK), pp. 281–290.
STOCSTOC-2015-AndoniR #approximate
Optimal Data-Dependent Hashing for Approximate Near Neighbors (AA, IR), pp. 793–801.
STOCSTOC-2015-Barman #approximate #nash #theorem
Approximating Nash Equilibria and Dense Bipartite Subgraphs via an Approximate Version of Caratheodory’s Theorem (SB), pp. 361–369.
STOCSTOC-2015-Chechik #approximate #bound #distance
Approximate Distance Oracles with Improved Bounds (SC), pp. 1–10.
STOCSTOC-2015-CohenEMMP #approximate #clustering #rank #reduction
Dimensionality Reduction for k-Means Clustering and Low Rank Approximation (MBC, SE, CM, CM, MP), pp. 163–172.
STOCSTOC-2015-ColeG #approximate #nash #social
Approximating the Nash Social Welfare with Indivisible Items (RC, VG), pp. 371–380.
STOCSTOC-2015-FoxKM #approximate #polynomial
A Polynomial-time Bicriteria Approximation Scheme for Planar Bisection (KF, PNK, SM), pp. 841–850.
STOCSTOC-2015-KawarabayashiS #approximate #graph
Beyond the Euler Characteristic: Approximating the Genus of General Graphs (KiK, AS), pp. 675–682.
STOCSTOC-2015-Louis #algorithm #approximate #markov
Hypergraph Markov Operators, Eigenvalues and Approximation Algorithms (AL), pp. 713–722.
STOCSTOC-2015-MulzerNSS #approximate #nearest neighbour
Approximate k-flat Nearest Neighbor Search (WM, HLN, PS, YS), pp. 783–792.
DLTDLT-2015-NgRS #approximate #complexity #pattern matching
State Complexity of Neighbourhoods and Approximate Pattern Matching (TN, DR, KS), pp. 389–400.
ICALPICALP-v1-2015-AmanatidisMNS #algorithm #approximate
Approximation Algorithms for Computing Maximin Share Allocations (GA, EM, AN, AS), pp. 39–51.
ICALPICALP-v1-2015-AnshelevichKS #approximate #scalability
Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare (EA, KK, SS), pp. 52–64.
ICALPICALP-v1-2015-BehsazFSS #algorithm #approximate #clustering
Approximation Algorithms for Min-Sum k-Clustering and Balanced k-Median (BB, ZF, MRS, RS), pp. 116–128.
ICALPICALP-v1-2015-BhangaleKS #approximate #constraints #problem
Simultaneous Approximation of Constraint Satisfaction Problems (AB, SK, SS), pp. 193–205.
ICALPICALP-v1-2015-BunT #approximate
Hardness Amplification and the Approximate Degree of Constant-Depth Circuits (MB, JT), pp. 268–280.
ICALPICALP-v1-2015-CoudronV #approximate #interactive #proving
Interactive Proofs with Approximately Commuting Provers (MC, TV), pp. 355–366.
ICALPICALP-v1-2015-DoronT #approximate #graph #on the #probability #problem
On the Problem of Approximating the Eigenvalues of Undirected Graphs in Probabilistic Logspace (DD, ATS), pp. 419–431.
ICALPICALP-v1-2015-GalanisGJ #approximate
Approximately Counting H-Colourings is BIS-Hard (AG, LAG, MJ), pp. 529–541.
ICALPICALP-v1-2015-GoldbergGL #approximate
Approximately Counting Locally-Optimal Structures (LAG, RG, JL), pp. 654–665.
ICALPICALP-v1-2015-HuangL #approximate #combinator #optimisation #probability #problem
Approximating the Expected Values for Combinatorial Optimization Problems over Stochastic Points (LH, JL), pp. 910–921.
ICALPICALP-v1-2015-KhotS #approximate #using
Approximating CSPs Using LP Relaxation (SK, RS), pp. 822–833.
ICALPICALP-v1-2015-KunnemannM #approximate #comprehension #heuristic #towards
Towards Understanding the Smoothed Approximation Ratio of the 2-Opt Heuristic (MK, BM), pp. 859–871.
ICALPICALP-v1-2015-MomkeW #algorithm #approximate #problem
A (2+ε)-Approximation Algorithm for the Storage Allocation Problem (TM, AW), pp. 973–984.
ICALPICALP-v2-2015-Boreale #analysis #approximate #generative #probability
Analysis of Probabilistic Systems via Generating Functions and Padé Approximation (MB), pp. 82–94.
ICALPICALP-v2-2015-Charron-BostFN #algorithm #approximate #network
Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms (BCB, MF, TN), pp. 528–539.
ICALPICALP-v2-2015-Feldmann #approximate #graph #parametricity #problem
Fixed Parameter Approximations for k-Center Problems in Low Highway Dimension Graphs (AEF), pp. 588–600.
LATALATA-2015-BartonIP #approximate #string
Average-Case Optimal Approximate Circular String Matching (CB, CSI, SPP), pp. 85–96.
LATALATA-2015-BoichutCR #approximate #precise #towards
Towards More Precise Rewriting Approximations (YB, JC, PR), pp. 652–663.
CHICHI-2015-FuccellaC #approximate #gesture #recognition
Unistroke Gesture Recognition Through Polyline Approximation and Alignment (VF, GC), pp. 3351–3354.
ECIRECIR-2015-ChappellGZ #approximate #nearest neighbour #slicing
Approximate Nearest-Neighbour Search with Inverted Signature Slice Lists (TC, SG, GZ), pp. 147–158.
ECIRECIR-2015-Dutta #approximate #mining #named #statistics #string #using
MIST: Top-k Approximate Sub-string Mining Using Triplet Statistical Significance (SD), pp. 284–290.
ECIRECIR-2015-TsaiKH #approximate #distance #multi #probability
Approximating Weighted Hamming Distance by Probabilistic Selection for Multiple Hash Tables (CYT, YHK, WHH), pp. 123–134.
ICMLICML-2015-BlechschmidtGL #approximate #multi #optimisation #parametricity #problem
Tracking Approximate Solutions of Parameterized Optimization Problems over Multi-Dimensional (Hyper-)Parameter Domains (KB, JG, SL), pp. 438–447.
ICMLICML-2015-FrostigGKS #algorithm #approximate #empirical #named #performance #probability
Un-regularizing: approximate proximal point and faster stochastic algorithms for empirical risk minimization (RF, RG, SK, AS), pp. 2540–2548.
ICMLICML-2015-GalT #approximate #nondeterminism #process #representation
Improving the Gaussian Process Sparse Spectrum Approximation by Representing Uncertainty in Frequency Inputs (YG, RT), pp. 655–664.
ICMLICML-2015-KordaA #approximate #bound #convergence #exponential #on the
On TD(0) with function approximation: Concentration bounds and a centered variant with exponential convergence (NK, PLA), pp. 626–634.
ICMLICML-2015-LesnerS #approximate #policy
Non-Stationary Approximate Modified Policy Iteration (BL, BS), pp. 1567–1575.
ICMLICML-2015-LondonHG #approximate #learning
The Benefits of Learning with Strongly Convex Approximate Inference (BL, BH, LG), pp. 410–418.
ICMLICML-2015-ManoelKTZ #approximate #estimation #message passing
Swept Approximate Message Passing for Sparse Estimation (AM, FK, EWT, LZ), pp. 1123–1132.
ICMLICML-2015-MartensG #approximate #network #optimisation
Optimizing Neural Networks with Kronecker-factored Approximate Curvature (JM, RBG), pp. 2408–2417.
ICMLICML-2015-PerolatSPP #approximate #game studies #markov #programming
Approximate Dynamic Programming for Two-Player Zero-Sum Markov Games (JP, BS, BP, OP), pp. 1321–1329.
ICMLICML-2015-SchaulHGS #approximate
Universal Value Function Approximators (TS, DH, KG, DS), pp. 1312–1320.
ICMLICML-2015-UbaruMS #approximate #fault #matrix #rank #using
Low Rank Approximation using Error Correcting Coding Matrices (SU, AM, YS), pp. 702–710.
KDDKDD-2015-FeldmanT #approximate #big data #constraints #matrix
More Constraints, Smaller Coresets: Constrained Matrix Approximation of Sparse Big Data (DF, TT), pp. 249–258.
KDDKDD-2015-MarchXTYB #approximate #kernel #robust
Robust Treecode Approximation for Kernel Machines (WBM, BX, ST, CDY, GB), pp. 775–784.
KDDKDD-2015-PengKLC #approximate #clustering #rank #using
Subspace Clustering Using Log-determinant Rank Approximation (CP, ZK, HL, QC), pp. 925–934.
MLDMMLDM-2015-FerrerSR #approximate #distance #edit distance #graph #heuristic #learning
Learning Heuristics to Reduce the Overestimation of Bipartite Graph Edit Distance Approximation (MF, FS, KR), pp. 17–31.
SIGIRSIGIR-2015-ChenLZLS #approximate #matrix #named #recommendation #scalability
WEMAREC: Accurate and Scalable Recommendation through Weighted and Ensemble Matrix Approximation (CC, DL, YZ, QL, LS), pp. 303–312.
OOPSLAOOPSLA-2015-AchourR #approximate #detection
Approximate computation with outlier detection in Topaz (SA, MCR), pp. 711–730.
OOPSLAOOPSLA-2015-BostonSGC #approximate #flexibility #probability #programming #type inference
Probability type inference for flexible approximate programming (BB, AS, DG, LC), pp. 470–487.
POPLPOPL-2015-BartheGAHRS #approximate #design #difference #higher-order #privacy #refinement #relational
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy (GB, MG, EJGA, JH, AR, PYS), pp. 55–68.
SACSAC-2015-BrideJM #approximate #generative #testing
Tri-modal under-approximation of event systems for test generation (HB, JJ, PAM), pp. 1737–1744.
SACSAC-2015-CharuvakaR #approximate #classification #coordination #scalability
Approximate block coordinate descent for large scale hierarchical classification (AC, HR), pp. 837–844.
SACSAC-2015-HsiehNKC #approximate #performance #query #recommendation
Efficient approximate thompson sampling for search query recommendation (CCH, JN, TK, JC), pp. 740–746.
ESEC-FSEESEC-FSE-2015-ParkEZNH #approximate #composition #named #programming
FlexJava: language support for safe and modular approximate programming (JP, HE, XZ, MN, WH), pp. 745–757.
ESEC-FSEESEC-FSE-2015-Theisen #approximate #automation
Automated attack surface approximation (CT), pp. 1063–1065.
ICSEICSE-v2-2015-TheisenHMMW #approximate #stack
Approximating Attack Surfaces with Stack Traces (CT, KH, PM, BM, LAW), pp. 199–208.
ASPLOSASPLOS-2015-GoiriBNN #approximate #framework #named #pipes and filters
ApproxHadoop: Bringing Approximations to MapReduce Frameworks (IG, RB, SN, TDN), pp. 383–397.
ASPLOSASPLOS-2015-RingenburgSACG #approximate #debugging #monitoring #quality #source code
Monitoring and Debugging the Quality of Results in Approximate Programs (MFR, AS, IA, LC, DG), pp. 399–411.
CCCC-2015-DarteI #approximate #optimisation #parametricity
Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes (AD, AI), pp. 151–170.
CGOCGO-2015-NagarajG #analysis #approximate #mining #pointer #using
Approximating flow-sensitive pointer analysis using frequent itemset mining (VN, RG), pp. 225–234.
HPCAHPCA-2015-GrigorianFR #approximate #named #reliability
BRAINIAC: Bringing reliable accuracy into neurally-implemented approximate computing (BG, NF, GR), pp. 615–626.
HPCAHPCA-2015-MoreauWNSECO #approximate #named #programmable
SNNAP: Approximate computing on programmable SoCs via neural acceleration (TM, MW, JN, AS, HE, LC, MO), pp. 603–614.
SOSPSOSP-2015-Hoffmann #approximate #energy #named
JouleGuard: energy guarantees for approximate applications (HH), pp. 198–214.
CAVCAV-2015-DesaiSQBE #abstraction #approximate #distributed
Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems (AD, SAS, SQ, DB, JCE), pp. 429–448.
ICLPICLP-J-2015-BogaertsB #approximate #compilation #fixpoint #logic programming #source code #using
Knowledge compilation of logic programs using approximation fixpoint theory (BB, GVdB), pp. 464–480.
LICSLICS-2015-BallePP #approximate #automaton #canonical
A Canonical Form for Weighted Automata and Applications to Approximate Minimization (BB, PP, DP), pp. 701–712.
ASEASE-2014-LuckowPDFV #approximate #execution #nondeterminism #probability #source code #symbolic computation
Exact and approximate probabilistic symbolic execution for nondeterministic programs (KSL, CSP, MBD, AF, WV), pp. 575–586.
CASECASE-2014-LiuXL #approximate #capacity
A queuing approximation method for capacity planning of emergency department with time-varying demand (QL, XX, RL), pp. 558–563.
CASECASE-2014-ShiWS #approximate #matrix
Approximation method to rank-one binary matrix factorization (ZS, LW, LS), pp. 800–805.
DACDAC-2014-MukherjeeAL #approximate
Approximate property checking of mixed-signal circuits (PM, CSA, PL), p. 6.
DACDAC-2014-SchaffnerGSKB #approximate #complexity #linear #realtime #video
An Approximate Computing Technique for Reducing the Complexity of a Direct-Solver for Sparse Linear Systems in Real-Time Video Processing (MS, FKG, AS, HK, LB), p. 6.
DACDAC-2014-ZhangYYX #approximate #framework #named
ApproxIt: An Approximate Computing Framework for Iterative Methods (QZ, FY, RY, QX), p. 6.
DATEDATE-2014-CabodiPQV #approximate #reachability #satisfiability
Tightening BDD-based approximate reachability with SAT-based clause generalization∗ (GC, PP, SQ, DV), pp. 1–6.
DATEDATE-2014-ChangOSK #approximate #estimation #statistics
Approximating the age of RF/analog circuits through re-characterization and statistical estimation (DC, SO, OS, RK), pp. 1–4.
DATEDATE-2014-KamalGAP #approximate #performance #using
Improving efficiency of extensible processors by using approximate custom instructions (MK, AG, AAK, MP), pp. 1–4.
DATEDATE-2014-LiuHL #approximate #configuration management #fault #multi #power management
A low-power, high-performance approximate multiplier with configurable partial error recovery (CL, JH, FL), pp. 1–4.
DATEDATE-2014-NepalLBR #approximate #automation #behaviour #named #synthesis
ABACUS: A technique for automated behavioral synthesis of approximate computing circuits (KN, YL, RIB, SR), pp. 1–6.
DATEDATE-2014-NovoFIAC #approximate #case study #energy #performance #runtime
Energy efficient MIMO processing: A case study of opportunistic run-time approximations (DN, NF, PI, UA, FC), pp. 1–6.
DATEDATE-2014-RanjanRVRR #approximate #named #synthesis
ASLAN: Synthesis of approximate sequential circuits (AR, AR, SV, KR, AR), pp. 1–6.
SIGMODSIGMOD-2014-AgarwalMKTJMMS #approximate #performance #query #reliability
Knowing when you’re wrong: building fast and reliable approximate query processing systems (SA, HM, AK, AT, MIJ, SM, BM, IS), pp. 481–492.
SIGMODSIGMOD-2014-TrummerK #approximate #optimisation #query
Approximation schemes for many-objective query optimization (IT, CK), pp. 1299–1310.
SIGMODSIGMOD-2014-YamamotoIF #approximate #data type #mining
Resource-oriented approximation for frequent itemset mining from bursty data streams (YY, KI, SF), pp. 205–216.
SIGMODSIGMOD-2014-ZengGGMZ #approximate #named #query #scalability
ABS: a system for scalable approximate queries with accuracy guarantees (KZ, SG, JG, BM, CZ), pp. 1067–1070.
SIGMODSIGMOD-2014-ZengGMZ #approximate #estimation #fault #performance #query
The analytical bootstrap: a new method for fast error estimation in approximate query processing (KZ, SG, BM, CZ), pp. 277–288.
VLDBVLDB-2014-AthanassoulisA #approximate #named
BF-Tree: Approximate Tree Indexing (MA, AA), pp. 1881–1892.
VLDBVLDB-2014-GhashamiPL #approximate #distributed #matrix
Continuous Matrix Approximation on Distributed Data (MG, JMP, FL), pp. 809–820.
VLDBVLDB-2014-He #approximate #challenge #data transformation #hardware
When Data Management Systems Meet Approximate Hardware: Challenges and Opportunities (BH), pp. 877–880.
VLDBVLDB-2014-LiuCHLS #approximate #named #nearest neighbour #performance
SK-LSH: An Efficient Index Structure for Approximate Nearest Neighbor Search (YL, JC, ZH, HL, HTS), pp. 745–756.
VLDBVLDB-2014-ShangY #approximate #graph
Auto-Approximation of Graph Computing (ZS, JXY), pp. 1833–1844.
VLDBVLDB-2015-SunWQZL14 #approximate #named #nearest neighbour #query
SRS: Solving c-Approximate Nearest Neighbor Queries in High Dimensional Euclidean Space with a Tiny Index (YS, WW, JQ, YZ, XL), pp. 1–12.
TACASTACAS-2014-SoudjaniA #approximate #markov #precise #probability #process
Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance (SEZS, AA), pp. 547–561.
SASSAS-2014-BakhirkinBP #abstraction #analysis #approximate
Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction (AB, JB, NP), pp. 34–50.
STOCSTOC-2014-AgarwalS #algorithm #approximate #geometry #metric
Approximation algorithms for bipartite matching with metric and geometric costs (PKA, RS), pp. 555–564.
STOCSTOC-2014-Babichenko #approximate #complexity #nash #query
Query complexity of approximate nash equilibria (YB), pp. 535–544.
STOCSTOC-2014-BunUV #approximate #difference #privacy
Fingerprinting codes and the price of approximate differential privacy (MB, JU, SPV), pp. 1–10.
STOCSTOC-2014-ChanDSS #approximate #estimation #performance #polynomial
Efficient density estimation via piecewise polynomial approximation (SoC, ID, RAS, XS), pp. 604–613.
STOCSTOC-2014-Chechik #approximate #constant #distance #query
Approximate distance oracles with constant query time (SC), pp. 654–663.
STOCSTOC-2014-DeS #approximate #performance #polynomial
Efficient deterministic approximate counting for low-degree polynomial threshold functions (AD, RAS), pp. 832–841.
STOCSTOC-2014-EneV #algorithm #approximate #bound #design #network #problem #requirements
Improved approximation algorithms for degree-bounded network design problems with node connectivity requirements (AE, AV), pp. 754–763.
STOCSTOC-2014-FriggstadS #algorithm #approximate #bound
Approximation algorithms for regret-bounded vehicle routing and applications to distance-constrained vehicle routing (ZF, CS), pp. 744–753.
STOCSTOC-2014-KhotTW #approximate
A characterization of strong approximation resistance (SK, MT, PW), pp. 634–643.
STOCSTOC-2014-KrishnaswamyNPS #approximate #clustering #design #energy #network #performance
Cluster before you hallucinate: approximating node-capacitated network design and energy efficient routing (RK, VN, KP, CS), pp. 734–743.
STOCSTOC-2014-MakarychevMV #approximate #constant
Constant factor approximation for balanced cut in the PIE model (KM, YM, AV), pp. 41–49.
STOCSTOC-2014-Nanongkai #algorithm #approximate #distributed
Distributed approximation algorithms for weighted shortest paths (DN), pp. 565–573.
ICALPICALP-v1-2014-BlaisHST #approximate #on the
On DNF Approximators for Monotone Boolean Functions (EB, JH, RAS, LYT), pp. 235–246.
ICALPICALP-v1-2014-BrietDHS #approximate #bound
Lower Bounds for Approximate LDCs (JB, ZD, GH, SS), pp. 259–270.
ICALPICALP-v1-2014-KhotTW #approximate #complexity
The Complexity of Somewhat Approximation Resistant Predicates (SK, MT, PW), pp. 689–700.
ICALPICALP-v1-2014-KolMSY #approximate #bound #rank
Approximate Nonnegative Rank Is Equivalent to the Smooth Rectangle Bound (GK, SM, AS, AY), pp. 701–712.
ICALPICALP-v1-2014-Lampis #approximate #graph #using
Parameterized Approximation Schemes Using Graph Widths (ML), pp. 775–786.
ICALPICALP-v1-2014-Wulff-Nilsen #approximate #distance #graph #performance
Faster Separators for Shallow Minor-Free Graphs via Dynamic Approximate Distance Oracles (CWN), pp. 1063–1074.
ICALPICALP-v2-2014-Ghaffari #approximate #distributed #set
Near-Optimal Distributed Approximation of Minimum-Weight Connected Dominating Set (MG), pp. 483–494.
ICALPICALP-v2-2014-NikzadR #algorithm #approximate #multi #problem
Sending Secrets Swiftly: Approximation Algorithms for Generalized Multicast Problems (AN, RR), pp. 568–607.
ICEISICEIS-v1-2014-PengM #approximate #string
Approximate String Matching Techniques (TP, CM), pp. 217–224.
CIKMCIKM-2014-MengCS #analysis #approximate #keyword #query #semantics
Semantic Approximate Keyword Query Based on Keyword and Query Coupling Relationship Analysis (XM, LC, JS), pp. 529–538.
CIKMCIKM-2014-UysalBSS #approximate #database #distance #multi #performance #scalability #using
Efficient Filter Approximation Using the Earth Mover’s Distance in Very Large Multimedia Databases with Feature Signatures (MSU, CB, JS, TS), pp. 979–988.
ICMLICML-c1-2014-LiuJL #approximate #kernel #performance #using
Efficient Approximation of Cross-Validation for Kernel Methods using Bouligand Influence Function (YL, SJ, SL), pp. 324–332.
ICMLICML-c1-2014-MannM #approximate #policy #scalability
Scaling Up Approximate Value Iteration with Options: Better Policies with Fewer Iterations (TAM, SM), pp. 127–135.
ICMLICML-c1-2014-SiHD #approximate #kernel #memory management #performance
Memory Efficient Kernel Approximation (SS, CJH, ISD), pp. 701–709.
ICMLICML-c2-2014-BachmanFP #approximate
Sample-based approximate regularization (PB, AMF, DP), pp. 1926–1934.
ICMLICML-c2-2014-GleichM #algorithm #approximate #case study
Anti-differentiating approximation algorithms: A case study with min-cuts, spectral, and flow (DG, MWM), pp. 1018–1025.
ICMLICML-c2-2014-LiuSD #approximate #modelling #visual notation
Gaussian Approximation of Collective Graphical Models (LPL, DS, TGD), pp. 1602–1610.
ICMLICML-c2-2014-NiuDPS #approximate #learning #multi
Transductive Learning with Multi-class Volume Approximation (GN, BD, MCdP, MS), pp. 1377–1385.
ICMLICML-c2-2014-RezendeMW #approximate #generative #modelling #probability
Stochastic Backpropagation and Approximate Inference in Deep Generative Models (DJR, SM, DW), pp. 1278–1286.
ICMLICML-c2-2014-SatoN #analysis #approximate #equation #probability #process #using
Approximation Analysis of Stochastic Gradient Langevin Dynamics by using Fokker-Planck Equation and Ito Process (IS, HN), pp. 982–990.
ICMLICML-c2-2014-Scherrer #approximate #comparison #policy
Approximate Policy Iteration Schemes: A Comparison (BS), pp. 1314–1322.
ICMLICML-c2-2014-ShamirS0 #approximate #distributed #optimisation #using
Communication-Efficient Distributed Optimization using an Approximate Newton-type Method (OS, NS, TZ), pp. 1000–1008.
ICMLICML-c2-2014-TamarMX #approximate #robust #scalability #using
Scaling Up Robust MDPs using Function Approximation (AT, SM, HX), pp. 181–189.
ICMLICML-c2-2014-TaylorGP #analysis #approximate #linear #programming
An Analysis of State-Relevance Weights and Sampling Distributions on L1-Regularized Approximate Linear Programming Approximation Accuracy (GT, CG, DP), pp. 451–459.
ICMLICML-c2-2014-ZhangDW #approximate #nearest neighbour
Composite Quantization for Approximate Nearest Neighbor Search (TZ, CD, JW), pp. 838–846.
ICPRICPR-2014-AkhtarSM #algorithm #approximate #named
SUnGP: A Greedy Sparse Approximation Algorithm for Hyperspectral Unmixing (NA, FS, ASM), pp. 3726–3731.
ICPRICPR-2014-LuZXGW #approximate #morphism #quantum
Approximate Maximum Common Sub-graph Isomorphism Based on Discrete-Time Quantum Walk (KL, YZ, KX, YG, RCW), pp. 1413–1418.
ICPRICPR-2014-MatveevG #approximate #detection #segmentation
Iris Segmentation System Based on Approximate Feature Detection with Subsequent Refinements (IM, KG), pp. 1704–1709.
ICPRICPR-2014-QuachDB #approximate #rank #recognition #representation #robust
Sparse Representation and Low-Rank Approximation for Robust Face Recognition (KGQ, CND, TDB), pp. 1330–1335.
ICPRICPR-2014-RiesenBF #approximate #distance #edit distance #graph #metric
Improving Graph Edit Distance Approximation by Centrality Measures (KR, HB, AF), pp. 3910–3914.
ICPRICPR-2014-TaoIWS #approximate #data transformation #rank #representation
Ensemble Manifold Structured Low Rank Approximation for Data Representation (LT, HHSI, YW, XS), pp. 744–749.
ICPRICPR-2014-TasdemirMY #approximate #clustering
Geodesic Based Similarities for Approximate Spectral Clustering (KT, YM, IY), pp. 1360–1364.
KDDKDD-2014-Ting #approximate
Streamed approximate counting of distinct elements: beating optimal batch methods (DT), pp. 442–451.
KRKR-2014-StrassW #approximate #complexity #fixpoint #framework
Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory (HS, JPW).
SEKESEKE-2014-Otunba0 #approximate #detection #named
APT: Approximate Period Detection in Time Series (RO, JL), pp. 490–494.
AMTAMT-2014-TroyaWBV #approximate #model transformation #towards
Towards Approximate Model Transformations (JT, MW, LB, AV), pp. 44–53.
OOPSLAOOPSLA-2014-MisailovicCAQR #approximate #kernel #named #optimisation
Chisel: reliability- and accuracy-aware optimization of approximate computational kernels (SM, MC, SA, ZQ, MCR), pp. 309–328.
LOPSTRLOPSTR-2014-ChowdhuryLCKY #approximate #case study #logic programming #polynomial #semantics #source code
Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies (MSC, FL, WC, AK, JHY), pp. 279–296.
SACSAC-2014-FanC #approximate #framework #network #scalability #social
An approximate framework for scaling social influence computation in large networks (YCF, HC), pp. 610–615.
SPLCSPLC-2014-OlaecheaRGC #approximate #comparison #multi #optimisation #product line
Comparison of exact and approximate multi-objective optimization for software product lines (RO, DR, JG, KC), pp. 92–101.
ASPLOSASPLOS-2014-SamadiJLM #approximate #named #parallel
Paraprox: pattern-based approximation for data parallel applications (MS, DAJ, JL, SAM), pp. 35–50.
LCTESLCTES-2014-RoyRWW #analysis #approximate #automation #named
ASAC: automatic sensitivity analysis for approximate computing (PR, RR, CW, WFW), pp. 95–104.
CAVCAV-2014-LeeS #abstraction #approximate #bound #reachability #scalability #verification
Unbounded Scalable Verification Based on Approximate Property-Directed Reachability and Datapath Abstraction (SL, KAS), pp. 849–865.
IJCARIJCAR-2014-EhlersL #approximate #finite #incremental #logic #satisfiability
A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic (RE, ML), pp. 360–366.
IJCARIJCAR-2014-ZeljicWR #approximate
Approximations for Model Construction (AZ, CMW, PR), pp. 344–359.
ICSTSAT-2014-Bulatov0 #approximate #random #satisfiability
Approximating Highly Satisfiable Random 2-SAT (AAB, CW), pp. 384–398.
CASECASE-2013-JeongMS #approximate #assessment #design #lifecycle #reasoning #using
Approximate life cycle assessment using case-based reasoning for the eco design of products (MGJ, JRM, HWS), pp. 486–491.
DACDAC-2013-ChippaCRR #analysis #approximate
Analysis and characterization of inherent application resilience for approximate computing (VKC, STC, KR, AR), p. 9.
DACDAC-2013-KarthikR #approximate #linear #modelling #named #using
ABCD-L: approximating continuous linear systems using boolean models (KVA, JSR), p. 9.
DATEDATE-2013-VenkataramaniRR #approximate #configuration management #design #named #paradigm #quality
Substitute-and-simplify: a unified design paradigm for approximate and quality configurable circuits (SV, KR, AR), pp. 1367–1372.
ICDARICDAR-2013-0001LBP #approximate #documentation #graph #string #visual notation
Near Convex Region Adjacency Graph and Approximate Neighborhood String Matching for Symbol Spotting in Graphical Documents (AD, JL, HB, UP), pp. 1078–1082.
ICDARICDAR-2013-RazafindramananaRV #approximate #recognition
Alpha*-Approximated Delaunay Triangulation Based Descriptors for Handwritten Character Recognition (OR, FR, GV), pp. 440–444.
SIGMODSIGMOD-2013-KimS #algorithm #approximate #performance #string
Efficient top-k algorithms for approximate substring matching (YK, KS), pp. 385–396.
VLDBVLDB-2013-DuttaNB #approach #approximate #data type #detection #streaming
Streaming Quotient Filter: A Near Optimal Approximate Duplicate Detection Approach for Data Streams (SD, AN, SKB), pp. 589–600.
VLDBVLDB-2013-KimelfeldVW #approximate #complexity #multi
Multi-Tuple Deletion Propagation: Approximations and Complexity (BK, JV, DPW), pp. 1558–1569.
VLDBVLDB-2013-SavkovicPTN #approximate #query
Complete Approximations of Incomplete Queries (OS, PM, AT, WN), pp. 1378–1381.
VLDBVLDB-2013-SimoesGG #algorithm #approximate #information management #performance #using
When Speed Has a Price: Fast Information Extraction Using Approximate Algorithms (GS, HG, LG), pp. 1462–1473.
VLDBVLDB-2013-TaoHCC #approximate #database
Approximate MaxRS in Spatial Databases (YT, XH, DWC, CWC), pp. 1546–1557.
VLDBVLDB-2013-ZhuFCY #approximate #incremental #personalisation #rank
Incremental and Accuracy-Aware Personalized PageRank through Scheduled Approximation (FZ, YF, KCCC, JY), pp. 481–492.
VLDBVLDB-2014-WangDTZ13 #approximate #effectiveness #n-gram #performance #sequence
Efficient and Effective KNN Sequence Search with Approximate n-grams (XW, XD, AKHT, ZZ), pp. 1–12.
PEPMPEPM-2013-CarbinKMR #approximate #program transformation
Verified integrity properties for safe approximate program transformations (MC, DK, SM, MCR), pp. 63–66.
STOCSTOC-2013-AlonLSV #algorithm #approximate #matrix #rank
The approximate rank of a matrix and its algorithmic applications: approximate rank (NA, TL, AS, SV), pp. 675–684.
STOCSTOC-2013-BitanskyP #approximate #encryption #obfuscation #on the
On the impossibility of approximate obfuscation and applications to resettable cryptography (NB, OP), pp. 241–250.
STOCSTOC-2013-BrandaoH13a #approximate #quantum
Product-state approximations to quantum ground states (FGSLB, AWH), pp. 871–880.
STOCSTOC-2013-Chan #approximate #independence
Approximation resistance from pairwise independent subgroups (SOC), pp. 447–456.
STOCSTOC-2013-ClarksonW #approximate #rank
Low rank approximation and regression in input sparsity time (KLC, DPW), pp. 81–90.
STOCSTOC-2013-Huang #approximate #satisfiability
Approximation resistance on satisfiable instances for predicates with few accepting inputs (SH), pp. 457–466.
STOCSTOC-2013-LiS #approximate #pseudo
Approximating k-median via pseudo-approximation (SL, OS), pp. 901–910.
STOCSTOC-2013-LiY #approximate #combinator #optimisation #probability
Stochastic combinatorial optimization via poisson approximation (JL, WY), pp. 971–980.
STOCSTOC-2013-MendesH #approximate #multi
Multidimensional approximate agreement in Byzantine asynchronous systems (HM, MH), pp. 391–400.
STOCSTOC-2013-NikolovTZ #approximate #difference #geometry #privacy
The geometry of differential privacy: the sparse and approximate cases (AN, KT, LZ), pp. 351–360.
STOCSTOC-2013-RodittyW #algorithm #approximate #graph #performance
Fast approximation algorithms for the diameter and radius of sparse graphs (LR, VVW), pp. 515–524.
CIAACIAA-2013-DreyfusHK #analysis #approximate #reachability
Enhancing Approximations for Regular Reachability Analysis (AD, PCH, OK), pp. 331–339.
CIAACIAA-2013-HanKS #approximate #automaton #context-free grammar #finite
Approximate Matching between a Context-Free Grammar and a Finite-State Automaton (YSH, SKK, KS), pp. 146–157.
ICALPICALP-v1-2013-BateniHL #algorithm #approximate #problem
Improved Approximation Algorithms for (Budgeted) Node-Weighted Steiner Problems (MB, MH, VL), pp. 81–92.
ICALPICALP-v1-2013-BienkowskiBCDNSSY #algorithm #approximate #problem
Approximation Algorithms for the Joint Replenishment Problem with Deadlines (MB, JB, MC, NBD, TN, MS, GS, NEY), pp. 135–147.
ICALPICALP-v1-2013-BunT #approximate #bound
Dual Lower Bounds for Approximate Degree and Markov-Bernstein Inequalities (MB, JT), pp. 303–314.
ICALPICALP-v1-2013-KonradR #approximate #communication #streaming
Approximating Semi-matchings in Streaming and in Two-Party Communication (CK, AR), pp. 637–649.
ICALPICALP-v1-2013-WeimannY #approximate #graph #linear
Approximating the Diameter of Planar Graphs in Near Linear Time (OW, RY), pp. 828–839.
SEFMSEFM-2013-SargolzaeiSAA #approximate #behaviour #web #web service
A Tool for Behaviour-Based Discovery of Approximately Matching Web Services (MS, FS, FA, HA), pp. 152–166.
SFMSFM-2013-BortolussiH #approximate #behaviour #markov #modelling
Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation (LB, JH), pp. 113–149.
ICEISICEIS-J-2013-RudraGA13a #approximate #query
Estimating Sufficient Sample Sizes for Approximate Decision Support Queries (AR, RPG, NRA), pp. 85–99.
ICEISICEIS-v1-2013-RudraGA #approximate #query
Selecting Adequate Samples for Approximate Decision Support Queries (AR, RPG, NRA), pp. 46–55.
CIKMCIKM-2013-Caruana #approximate #clustering #named #question
Clustering: probably approximately useless? (RC), pp. 1259–1260.
ICMLICML-c1-2013-GilboaSCG #approximate #multi #process #scalability #using
Scaling Multidimensional Gaussian Processes using Projected Additive Approximations (EG, YS, JPC, EG), pp. 454–461.
ICMLICML-c1-2013-KrauseFGI #approximate
Approximation properties of DBNs with binary hidden units and real-valued visible units (OK, AF, TG, CI), pp. 419–426.
ICMLICML-c2-2013-KimVS #approximate #corpus #modelling #topic
A Variational Approximation for Topic Modeling of Hierarchical Corpora (DkK, GMV, LKS), pp. 55–63.
ICMLICML-c2-2013-LeeKLS #approximate #matrix #rank
Local Low-Rank Matrix Approximation (JL, SK, GL, YS), pp. 82–90.
ICMLICML-c3-2013-KimS #approximate #modelling #topic
Manifold Preserving Hierarchical Topic Models for Quantization and Approximation (MK, PS), pp. 1373–1381.
ICMLICML-c3-2013-PapailiopoulosDK #approximate #rank
Sparse PCA through Low-rank Approximations (DSP, AGD, SK), pp. 747–755.
ICMLICML-c3-2013-SheldonSKD #approximate #modelling #visual notation
Approximate Inference in Collective Graphical Models (DS, TS, AK, TGD), pp. 1004–1012.
KDDKDD-2013-AnchuriZBGS #approximate #graph #mining
Approximate graph mining with label costs (PA, MJZ, OB, SG, MS), pp. 518–526.
OOPSLAOOPSLA-2013-ChoiNS #android #approximate #learning #testing #user interface
Guided GUI testing of android apps with minimal restart and approximate learning (WC, GCN, KS), pp. 623–640.
ICSEICSE-2013-FeldthausSSDT #approximate #graph #ide #javascript #performance
Efficient construction of approximate call graphs for JavaScript IDE services (AF, MS, MS, JD, FT), pp. 752–761.
CAVCAV-2013-KroeningLW #approximate #c #detection #performance #source code
Under-Approximating Loops in C Programs for Fast Counterexample Detection (DK, ML, GW), pp. 381–396.
CAVCAV-2013-PauleveAK #approximate #automaton #network #reachability #scalability #set
Under-Approximating Cut Sets for Reachability in Large Scale Automata Networks (LP, GA, HK), pp. 69–84.
CSLCSL-2013-BulatovDT #approximate #complexity
Descriptive complexity of approximate counting CSPs (AAB, VD, MT), pp. 149–164.
ICLPICLP-J-2013-AlvianoP #approximate #fuzzy #set
Fuzzy answer sets approximations (MA, RP), pp. 753–767.
RTARTA-2013-BoichutCR #approximate
Over-approximating Descendants by Synchronized Tree Languages (YB, JC, PR), pp. 128–142.
DACDAC-2012-KahngK #approximate #configuration management #design
Accuracy-configurable adder for approximate arithmetic designs (ABK, SK), pp. 820–825.
DACDAC-2012-VenkataramaniSKRR #approximate #logic #named #synthesis
SALSA: systematic logic synthesis of approximate circuits (SV, AS, VJK, KR, AR), pp. 796–801.
DATEDATE-2012-MammoCPNZMB #approximate #simulation
Approximating checkers for simulation acceleration (BM, DC, DP, AN, AZ, RM, VB), pp. 153–158.
DATEDATE-2012-StripfKB #approximate #architecture
A cycle-approximate, mixed-ISA simulator for the KAHRISMA architecture (TS, RK, JB), pp. 21–26.
DATEDATE-2012-TodorovMRS #approximate #automation #memory management #transaction
Automated construction of a cycle-approximate transaction level model of a memory controller (VT, DMG, HR, US), pp. 1066–1071.
PODSPODS-2012-BarceloLR #approximate #performance #query
Efficient approximations of conjunctive queries (PB, LL, MR), pp. 249–260.
PODSPODS-2012-IndykLR #approximate #testing
Approximating and testing k-histogram distributions in sub-linear time (PI, RL, RR), pp. 15–22.
PODSPODS-2012-Mahoney #approximate #data analysis #scalability
Approximate computation and implicit regularization for very large-scale data analysis (MWM), pp. 143–154.
VLDBVLDB-2012-MankuM #approximate #data type
Approximate Frequency Counts over Data Streams (GSM, RM), p. 1699.
TACASTACAS-2012-AlbarghouthiGC #approximate
From Under-Approximations to Over-Approximations and Back (AA, AG, MC), pp. 157–172.
PLDIPLDI-2012-CarbinKMR #approximate #nondeterminism #proving #source code
Proving acceptability properties of relaxed nondeterministic approximate programs (MC, DK, SM, MCR), pp. 169–180.
STOCSTOC-2012-AbrahamCG #approximate #distance #graph
Fully dynamic approximate distance oracles for planar graphs via forbidden-set distance labels (IA, SC, CG), pp. 1199–1218.
STOCSTOC-2012-BartalGK #approximate #polynomial #problem
The traveling salesman problem: low-dimensionality implies a polynomial time approximation scheme (YB, LAG, RK), pp. 663–672.
STOCSTOC-2012-ChalermsookCEL #algorithm #approximate #concurrent
Approximation algorithms and hardness of integral concurrent flow (PC, JC, AE, SL), pp. 689–708.
STOCSTOC-2012-DeDFS #approximate #parametricity #problem
Nearly optimal solutions for the chow parameters problem and low-weight approximation of halfspaces (AD, ID, VF, RAS), pp. 729–746.
STOCSTOC-2012-KelnerMP #approximate #multi #performance #using
Faster approximate multicommodity flow using quadratically coupled flows (JAK, GLM, RP), pp. 1–18.
STOCSTOC-2012-MakarychevMV #algorithm #approximate #clustering #problem
Approximation algorithms for semi-random partitioning problems (KM, YM, AV), pp. 367–384.
STOCSTOC-2012-OrecchiaSV #algorithm #approximate #exponential
Approximating the exponential, the lanczos method and an Õ(m)-time spectral algorithm for balanced separator (LO, SS, NKV), pp. 1141–1160.
STOCSTOC-2012-SharathkumarA #algorithm #approximate #geometry
A near-linear time ε-approximation algorithm for geometric bipartite matching (RS, PKA), pp. 385–394.
DLTDLT-J-2011-GaoY12 #approximate #complexity
State Complexity and Approximation (YG, SY), pp. 1085–1098.
ICALPICALP-v1-2012-BuchbinderNRS #algorithm #approximate #constraints #online #rank
Approximation Algorithms for Online Weighted Rank Function Maximization under Matroid Constraints (NB, JN, RR, MS), pp. 145–156.
ICALPICALP-v1-2012-ByrkaR #algorithm #approximate
Improved LP-Rounding Approximation Algorithm for k-level Uncapacitated Facility Location (JB, BR), pp. 157–169.
ICALPICALP-v1-2012-DinitzKR #approximate #scalability
Label Cover Instances with Large Girth and the Hardness of Approximating Basic k-Spanner (MD, GK, RR), pp. 290–301.
ICALPICALP-v1-2012-FellowsKRS #approximate
Parameterized Approximation via Fidelity Preserving Transformations (MRF, AK, FAR, HS), pp. 351–362.
ICALPICALP-v1-2012-GharibianK #approximate #problem #quantum
Hardness of Approximation for Quantum Problems (SG, JK), pp. 387–398.
ICALPICALP-v1-2012-GoldbergJ #approximate #complexity #polynomial
The Complexity of Computing the Sign of the Tutte Polynomial (and Consequent #P-hardness of Approximation) (LAG, MJ), pp. 399–410.
ICALPICALP-v1-2012-GuptaN #approximate #integer #online #source code
Approximating Sparse Covering Integer Programs Online (AG, VN), pp. 436–448.
ICALPICALP-v1-2012-HalldorssonSSW #approximate #clique #communication #complexity #streaming
Streaming and Communication Complexity of Clique Approximation (MMH, XS, MS, CW), pp. 449–460.
ICALPICALP-v2-2012-AtseriasD #approximate #bound #quantifier
Degree Lower Bounds of Tower-Type for Approximating Formulas with Parity Quantifiers (AA, AD), pp. 67–78.
LATALATA-2012-ChamparnaudJM #approximate #regular expression
Approximate Regular Expressions and Their Derivatives (JMC, HJ, LM), pp. 179–191.
ICGTICGT-2012-GadducciLV #approximate #infinity #modelling
Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models (FG, ALL, AV), pp. 51–65.
ICEISICEIS-v1-2012-RudraGA #approximate #performance #query
An Efficient Sampling Scheme for Approximate Processing of Decision Support Queries (AR, RPG, NA), pp. 16–26.
CIKMCIKM-2012-GubichevN #approximate #graph #performance #scalability
Fast approximation of steiner trees in large graphs (AG, TN), pp. 1497–1501.
CIKMCIKM-2012-KimC #approximate #composition #dependence #functional #performance
Decomposition-by-normalization (DBN): leveraging approximate functional dependencies for efficient tensor decomposition (MK, KSC), pp. 355–364.
CIKMCIKM-2012-RahmanBH #algorithm #analysis #approximate #graph #named #scalability
GRAFT: an approximate graphlet counting algorithm for large graph analysis (MR, MB, MAH), pp. 1467–1471.
CIKMCIKM-2012-RiondatoDFU #algorithm #approximate #mining #named #parallel #pipes and filters #random
PARMA: a parallel randomized algorithm for approximate association rules mining in MapReduce (MR, JAD, RF, EU), pp. 85–94.
ICMLICML-2012-MahoneyDMW #approximate #matrix #performance #statistics
Fast approximation of matrix coherence and statistical leverage (MWM, PD, MMI, DPW), p. 137.
ICMLICML-2012-McCartin-LimMW #approximate
Approximate Principal Direction Trees (MML, AM, RW), p. 209.
ICMLICML-2012-Petrik #approximate #bound #programming #robust
Approximate Dynamic Programming By Minimizing Distributionally Robust Bounds (MP), p. 207.
ICMLICML-2012-RavanbakhshYG #approximate #modelling #visual notation
A Generalized Loop Correction Method for Approximate Inference in Graphical Models (S(R, CNY, RG), p. 84.
ICMLICML-2012-ScherrerGGG #approximate #policy
Approximate Modified Policy Iteration (BS, VG, MG, MG), p. 245.
ICMLICML-2012-ZhongG #approach #approximate #matrix
A Bayesian Approach to Approximate Joint Diagonalization of Square Matrices (MZ, MAG), p. 87.
ICPRICPR-2012-ChenXF #approximate #using
Compression of GPS trajectories using optimized approximation (MC, MX, PF), pp. 3180–3183.
ICPRICPR-2012-Havens #approximate #kernel #streaming
Approximation of kernel k-means for streaming data (TCH), pp. 509–512.
ICPRICPR-2012-LinCKLL #adaptation #approximate
Adaptive support-window approximation to bilateral filtering (GSL, CYC, CTK, WNL, KCL), pp. 2013–2016.
ICPRICPR-2012-LiuZR #algorithm #approximate
A direction Change-based algorithm for polygonal approximation (HL, XZ, AR), pp. 3586–3589.
ICPRICPR-2012-SchleifZGH #approximate #clustering #kernel #performance #relational
Fast approximated relational and kernel clustering (FMS, XZ, AG, BH), pp. 1229–1232.
KDDKDD-2012-PhamP #algorithm #approximate #detection
A near-linear time approximation algorithm for angle-based outlier detection in high-dimensional data (NP, RP), pp. 877–885.
KRKR-2012-ConitzerX #approach #approximate #multi
Paradoxes of Multiple Elections: An Approximation Approach (VC, LX).
KRKR-2012-LutzSW #approach #approximate #logic
An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL (CL, IS, FW).
PADLPADL-2012-CampagnaSS #approximate #constraints #datalog #difference #optimisation
Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation (DC, BSS, TS), pp. 108–122.
POPLPOPL-2012-ZhuMKR #approximate #performance #program transformation #random
Randomized accuracy-aware program transformations for efficient approximate computations (ZAZ, SM, JAK, MCR), pp. 441–454.
SACSAC-2012-HuangHYY #algorithm #approximate #correlation #network
An in-network approximate data gathering algorithm exploiting spatial correlation in wireless sensor networks (CCH, JLH, JAY, LYY), pp. 550–555.
SACSAC-2012-LassaigneP #approximate #markov #process #scalability #verification
Approximate planning and verification for large markov decision processes (RL, SP), pp. 1314–1319.
SACSAC-2012-LibermanL #approximate
Approximately optimal facet selection (SL, RL), pp. 702–708.
SACSAC-2012-TriaLT #approximate #evaluation #metric #query
Metrics for approximate query engine evaluation (FDT, EL, FT), pp. 885–887.
SACSAC-2012-VirgilioR #approximate #biology #graph #rdf
Approximate matching over biological RDF graphs (RDV, SER), pp. 1413–1414.
ASPLOSASPLOS-2012-EsmaeilzadehSCB #approximate #architecture #programming
Architecture support for disciplined approximate programming (HE, AS, LC, DB), pp. 301–312.
HPDCHPDC-2012-HefeedaGA #approximate #clustering #dataset #distributed #scalability
Distributed approximate spectral clustering for large-scale datasets (MH, FG, WAA), pp. 223–234.
CAVCAV-2012-MajumdarZ #approximate #modelling
Approximately Bisimilar Symbolic Models for Digital Control Systems (RM, MZ), pp. 362–377.
ICSTICST-2012-TonellaMNJLH #approximate #execution #modelling
Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs (PT, AM, DCN, YJ, KL, MH), pp. 21–30.
LICSLICS-2012-AgrawalAGT #approximate #markov #verification
Approximate Verification of the Symbolic Dynamics of Markov Chains (MA, SA, BG, PST), pp. 55–64.
DACDAC-2011-LiuDPC #approximate #composition #design #set
Supervised design space exploration by compositional approximation of Pareto sets (HYL, ID, MP, LPC), pp. 399–404.
DACDAC-2011-SunLT #analysis #approximate #grid #incremental #performance #power management
Efficient incremental analysis of on-chip power grid via sparse approximation (PS, XL, MYT), pp. 676–681.
DATEDATE-2011-MohapatraCRR #approximate #design
Design of voltage-scalable meta-functions for approximate computing (DM, VKC, AR, KR), pp. 950–955.
SIGMODSIGMOD-2011-LiDF #algorithm #approximate #named #performance
Faerie: efficient filtering algorithms for approximate dictionary-based entity extraction (GL, DD, JF), pp. 529–540.
SIGMODSIGMOD-2011-SenellartS #approximate #lightweight #named #probability #query
ProApproX: a lightweight approximation query processor over probabilistic trees (PS, AS), pp. 1295–1298.
VLDBVLDB-2011-GeL #approximate #nondeterminism #string
Approximate Substring Matching over Uncertain Strings (TG, ZL), pp. 772–782.
CSMRCSMR-2011-VanyaPV #approximate #case study #set
Approximating Change Sets at Philips Healthcare: A Case Study (AV, RP, HvV), pp. 121–130.
WCREWCRE-2011-BazrafshanKG #approximate #code search
Approximate Code Search in Program Histories (SB, RK, NG), pp. 109–118.
PLDIPLDI-2011-SampsonDFGCG #approximate #data type #named #power management
EnerJ: approximate data types for safe and general low-power computation (AS, WD, EF, DG, LC, DG), pp. 164–174.
STOCSTOC-2011-AryaFM #approximate #query
Approximate polytope membership queries (SA, GDdF, DMM), pp. 579–586.
STOCSTOC-2011-ChristianoKMST #approximate #graph #performance
Electrical flows, laplacian systems, and faster approximation of maximum flow in undirected graphs (PC, JAK, AM, DAS, SHT), pp. 273–282.
STOCSTOC-2011-FeldmanL #approximate #clustering #framework
A unified framework for approximating and clustering data (DF, ML), pp. 569–578.
STOCSTOC-2011-KawarabayashiK #algorithm #approximate #problem
Breaking o(n1/2)-approximation algorithms for the edge-disjoint paths problem with congestion two (KiK, YK), pp. 81–88.
STOCSTOC-2011-KhotM #approximate #equation #linear #np-hard
NP-hardness of approximately solving linear equations over reals (SK, DM), pp. 413–420.
STOCSTOC-2011-SarmaHKKNPPW #approximate #distributed #verification
Distributed verification and hardness of distributed approximation (ADS, SH, LK, AK, DN, GP, DP, RW), pp. 363–372.
STOCSTOC-2011-Woodruff #approximate #black box #protocol
Near-optimal private approximation protocols via a black box transformation (DPW), pp. 735–744.
STOCSTOC-2011-Yoshida #algorithm #approximate #bound #csp
Optimal constant-time approximation algorithms and (unconditional) inapproximability results for every bounded-degree CSP (YY), pp. 665–674.
STOCSTOC-2011-ZewiB #approximate
From affine to two-source extractors via approximate duality (NZ, EBS), pp. 177–186.
CIAACIAA-J-2010-CzumajCGJLZ11 #algorithm #approximate #design #geometry #network
Approximation Algorithms for Buy-at-Bulk Geometric Network Design (AC, JC, LG, JJ, AL, PZ), pp. 1949–1969.
DLTDLT-2011-YuG #approximate #complexity #research
State Complexity Research and Approximation (SY, YG), pp. 46–57.
ICALPICALP-v1-2011-AdamaszekCLW #approximate #design #geometry #network
Approximation Schemes for Capacitated Geometric Network Design (AA, AC, AL, JOW), pp. 25–36.
ICALPICALP-v1-2011-BermanBMRY #approximate #problem
Improved Approximation for the Directed Spanner Problem (PB, AB, KM, SR, GY), pp. 1–12.
ICALPICALP-v1-2011-BorosEFGMM #analysis #approximate #game studies #probability
Stochastic Mean Payoff Games: Smoothed Analysis and Approximation Schemes (EB, KME, MF, VG, KM, BM), pp. 147–158.
ICALPICALP-v1-2011-ChimaniH #approximate
A Tighter Insertion-Based Approximation of the Crossing Number (MC, PH), pp. 122–134.
ICALPICALP-v1-2011-KawarabayashiKS #approximate #bound #distance #graph
Linear-Space Approximate Distance Oracles for Planar, Bounded-Genus and Minor-Free Graphs (KiK, PNK, CS), pp. 135–146.
ICALPICALP-v1-2011-Laekhanukit #algorithm #approximate #low cost #set
An Improved Approximation Algorithm for Minimum-Cost Subset k-Connectivity — (Extended Abstract) (BL), pp. 13–24.
ICALPICALP-v1-2011-Moldenhauer #algorithm #approximate #graph
Primal-Dual Approximation Algorithms for Node-Weighted Steiner Forest on Planar Graphs (CM), pp. 748–759.
ICALPICALP-v1-2011-Varadaraja #approximate #problem
Buyback Problem — Approximate Matroid Intersection with Cancellation Costs (ABV), pp. 379–390.
ICALPICALP-v2-2011-BrazdilBEK #approximate #game studies #probability #termination
Approximating the Termination Value of One-Counter MDPs and Stochastic Games (TB, VB, KE, AK), pp. 332–343.
ICALPICALP-v2-2011-Li #algorithm #approximate #problem
A 1.488 Approximation Algorithm for the Uncapacitated Facility Location Problem (SL), pp. 77–88.
CIKMCIKM-2011-ElsayedLM #approximate #performance #retrieval
When close enough is good enough: approximate positional indexes for efficient ranked retrieval (TE, JJL, DM), pp. 1993–1996.
CIKMCIKM-2011-JangKFP #approximate #distance #linear
A linear-time approximation of the earth mover’s distance (MHJ, SWK, CF, SP), pp. 505–514.
CIKMCIKM-2011-KimC #algebra #approximate #composition #framework
Approximate tensor decomposition within a tensor-relational algebraic framework (MK, KSC), pp. 1737–1742.
CIKMCIKM-2011-TeodoroVMTM #adaptation #approximate #parallel #retrieval #similarity
Adaptive parallel approximate similarity search for responsive multimedia retrieval (GT, EV, NM, RdST, WMJ), pp. 495–504.
ICMLICML-2011-CossalterYZ #adaptation #approximate #kernel #predict #scalability
Adaptive Kernel Approximation for Large-Scale Non-Linear SVM Prediction (MC, RY, LZ), pp. 409–416.
ICMLICML-2011-DasK #algorithm #approximate #set #taxonomy
Submodular meets Spectral: Greedy Algorithms for Subset Selection, Sparse Approximation and Dictionary Selection (AD, DK), pp. 1057–1064.
ICMLICML-2011-HannahD #approximate #problem #programming
Approximate Dynamic Programming for Storage Problems (LH, DBD), pp. 337–344.
ICMLICML-2011-JegelkaB11a #approximate #bound #using
Approximation Bounds for Inference using Cooperative Cuts (SJ, JAB), pp. 577–584.
ICMLICML-2011-KamisettyXL #approximate #correlation #using
Approximating Correlated Equilibria using Relaxations on the Marginal Polytope (HK, EPX, CJL), pp. 1153–1160.
ICMLICML-2011-MahoneyO #approximate #implementation
Implementing regularization implicitly via approximate eigenvector computation (MWM, LO), pp. 121–128.
KDDKDD-2011-AoyamaSSU #approximate #graph #performance #similarity
Fast approximate similarity search based on degree-reduced neighborhood graphs (KA, KS, HS, NU), pp. 1055–1063.
KDDKDD-2011-ChittaJHJ #approximate #clustering #kernel #scalability
Approximate kernel k-means: solution to large scale kernel clustering (RC, RJ, TCH, AKJ), pp. 895–903.
SIGIRSIGIR-2011-LinZD #approximate #documentation #optimisation
Best document selection based on approximate utility optimization (HHL, YZ, JD), pp. 1215–1216.
SIGIRSIGIR-2011-ZhouCZ #algorithm #approximate #named #performance #string #towards
SEJoin: an optimized algorithm towards efficient approximate string searches (JZ, ZC, JZ), pp. 1249–1250.
OOPSLAOOPSLA-2011-MadhavanK #analysis #approximate #null #verification
Null dereference verification via over-approximated weakest pre-conditions analysis (RM, RK), pp. 1033–1052.
ASPLOSASPLOS-2011-FarhadKBS #approximate #architecture #distributed #manycore #source code
Orchestration by approximation: mapping stream programs onto multicore architectures (SMF, YK, BB, BS), pp. 357–368.
CADECADE-2011-FredriksonCJ #algorithm #analysis #approximate #behaviour #complexity
Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms (MF, MC, SJ), pp. 252–267.
LICSLICS-2011-AminofKL #approximate #automaton
Rigorous Approximated Determinization of Weighted Automata (BA, OK, RL), pp. 345–354.
TAPTAP-2011-BueJM #approximate #generative #modelling #testing
Association of Under-Approximation Techniques for Generating Tests from Models (PCB, JJ, PAM), pp. 51–68.
TLCATLCA-2011-RoweB #approximate #object-oriented #programming #semantics
Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming — (Extended Abstract) (RNSR, SvB), pp. 229–244.
DACDAC-2010-WangM #approximate #named #realtime #scalability #using
PreDVS: preemptive dynamic voltage scaling for real-time systems using approximation scheme (WW, PM), pp. 705–710.
DATEDATE-2010-ShinG #approximate #fault #logic #synthesis
Approximate logic synthesis for error tolerant applications (DS, SKG), pp. 957–960.
PODSPODS-2010-GeladeIMN #approximate #xml
Simplifying XML schema: single-type approximations of regular tree languages (WG, TI, WM, FN), pp. 251–260.
SIGMODSIGMOD-2010-GiatrakosKDVT #approximate #named #network
TACO: tunable approximate computation of outliers in wireless sensor networks (NG, YK, AD, VV, YT), pp. 279–290.
SIGMODSIGMOD-2010-MueenNL #approximate #correlation #performance
Fast approximate correlation for massive time-series data (AM, SN, JL), pp. 171–182.
VLDBVLDB-2010-ZhangYJ #approximate #graph #named #scalability
SAPPER: Subgraph Indexing and Approximate Matching in Large Graphs (SZ, JY, WJ), pp. 1185–1194.
TACASTACAS-2010-LegrielGCM #approximate #multi #optimisation #problem
Approximating the Pareto Front of Multi-criteria Optimization Problems (JL, CLG, SC, OM), pp. 69–83.
CSMRCSMR-2010-MarchettoTR #ajax #approximate #modelling
Under and Over Approximation of State Models Recovered for Ajax Applications (AM, PT, FR), pp. 236–239.
PEPMPEPM-2010-AndersonK #approximate #bound #termination
Regular approximation and bounded domains for size-change termination (HA, SCK), pp. 53–62.
PLDIPLDI-2010-BaekC #approximate #energy #framework #named #programming #using
Green: a framework for supporting energy-conscious programming using controlled approximation (WB, TMC), pp. 198–209.
STOCSTOC-2010-BateniHM #approximate #bound #graph
Approximation schemes for steiner forest on planar graphs and graphs of bounded treewidth (MB, MH, DM), pp. 211–220.
STOCSTOC-2010-BhaskaraCCFV #approximate #detection
Detecting high log-densities: an O(n1/4) approximation for densest k-subgraph (AB, MC, EC, UF, AV), pp. 201–210.
STOCSTOC-2010-ByrkaGRS #approximate
An improved LP-based approximation for steiner tree (JB, FG, TR, LS), pp. 583–592.
STOCSTOC-2010-GilbertLPS #approximate #metric #optimisation
Approximate sparse recovery: optimizing time and measurements (ACG, YL, EP, MJS), pp. 475–484.
STOCSTOC-2010-Madry #algorithm #approximate #graph #multi #performance #problem
Faster approximation schemes for fractional multicommodity flow problems via dynamic graph algorithms (AM), pp. 121–130.
STOCSTOC-2010-RaghavendraST #approximate #graph #parametricity
Approximations for the isoperimetric and spectral profile of graphs and related parameters (PR, DS, PT), pp. 631–640.
CIAACIAA-2010-GerbushH #approximate #sequence
Approximating Minimum Reset Sequences (MG, BH), pp. 154–162.
ICALPICALP-v1-2010-BhattacharyaDMT #approximate #on the
On Approximate Horn Formula Minimization (AB, BD, DM, GT), pp. 438–450.
ICALPICALP-v1-2010-GamzuS #approximate
A Sublogarithmic Approximation for Highway and Tollbooth Pricing (IG, DS), pp. 582–593.
ICALPICALP-v1-2010-GoldbergJ #approximate
Approximating the Partition Function of the Ferromagnetic Potts Model (LAG, MJ), pp. 396–407.
ICALPICALP-v1-2010-GreveJLT #approximate #bound
Cell Probe Lower Bounds and Approximations for Range Mode (MG, AGJ, KDL, JT), pp. 605–616.
ICALPICALP-v1-2010-GuptaNR10a #adaptation #algorithm #approximate #problem
Approximation Algorithms for Optimal Decision Trees and Adaptive TSP Problems (AG, VN, RR), pp. 690–701.
ICALPICALP-v1-2010-Ito #approximate #proving
Polynomial-Space Approximation of No-Signaling Provers (TI), pp. 140–151.
ICALPICALP-v1-2010-MakarychevMS #algorithm #approximate #polynomial #problem #reduction
Maximum Quadratic Assignment Problem: Reduction from Maximum Label Cover and LP-Based Approximation Algorithm (KM, RM, MS), pp. 594–604.
ICALPICALP-v2-2010-BansalJKN #algorithm #approximate #ranking
Approximation Algorithms for Diversified Search Ranking (NB, KJ, AK, JN), pp. 273–284.
CIKMCIKM-2010-CartrightALM #approximate #modelling #performance #query #using
Fast query expansion using approximations of relevance models (MAC, JA, VL, AM), pp. 1573–1576.
CIKMCIKM-2010-FangS #approximate #information retrieval #matrix #multi
Hypergraph-based multilevel matrix approximation for text information retrieval (HrF, YS), pp. 1597–1600.
CIKMCIKM-2010-LiSWZD #approximate #locality
Approximate membership localization (AML) for web-based join (ZL, LS, LW, XZ, XD), pp. 1321–1324.
ECIRECIR-2010-CoxZFH #approximate #correctness #query #using
Improving Query Correctness Using Centralized Probably Approximately Correct (PAC) Search (IJC, JZ, RF, LKH), pp. 265–280.
ICMLICML-2010-DinculescuP #approximate #predict
Approximate Predictive Representations of Partially Observable Systems (MD, DP), pp. 895–902.
ICMLICML-2010-GregorL #approximate #learning #performance
Learning Fast Approximations of Sparse Coding (KG, YL), pp. 399–406.
ICMLICML-2010-LiKL #approximate #scalability
Making Large-Scale Nyström Approximation Possible (ML, JTK, BLL), pp. 631–638.
ICMLICML-2010-LongS #approximate #simulation #strict
Restricted Boltzmann Machines are Hard to Approximately Evaluate or Simulate (PML, RAS), pp. 703–710.
ICMLICML-2010-MaeiSBS #approximate #learning #towards
Toward Off-Policy Learning Control with Function Approximation (HRM, CS, SB, RSS), pp. 719–726.
ICMLICML-2010-MeshiSJG #approximate #learning
Learning Efficiently with Approximate Inference via Dual Losses (OM, DS, TSJ, AG), pp. 783–790.
ICMLICML-2010-MorimuraSKHT #approximate #learning #parametricity
Nonparametric Return Distribution Approximation for Reinforcement Learning (TM, MS, HK, HH, TT), pp. 799–806.
ICMLICML-2010-PetrikTPZ #approximate #feature model #linear #markov #process #source code #using
Feature Selection Using Regularization in Approximate Linear Programs for Markov Decision Processes (MP, GT, RP, SZ), pp. 871–878.
ICPRICPR-2010-Artigas-FuentesGB #approximate #mining #similarity
A High-Dimensional Access Method for Approximated Similarity Search in Text Mining (FJAF, RGG, JMBC), pp. 3155–3158.
ICPRICPR-2010-Coeurjolly #approximate #performance
Fast and Accurate Approximation of the Euclidean Opening Function in Arbitrary Dimension (DC), pp. 229–232.
ICPRICPR-2010-FausserS #approximate #learning
Learning a Strategy with Neural Approximated Temporal-Difference Methods in English Draughts (SF, FS), pp. 2925–2928.
ICPRICPR-2010-FerrerB #algorithm #approximate #graph
An Iterative Algorithm for Approximate Median Graph Computation (MF, HB), pp. 1562–1565.
ICPRICPR-2010-Ogawara #approximate
Approximate Belief Propagation by Hierarchical Averaging of Outgoing Messages (KO), pp. 1368–1372.
ICPRICPR-2010-TakahashiK #approximate #classification
Margin Preserved Approximate Convex Hulls for Classification (TT, MK), pp. 4052–4055.
ICPRICPR-2010-ZhouL #approximate #monte carlo #optimisation #performance
Efficient Polygonal Approximation of Digital Curves via Monte Carlo Optimization (XZ, YL), pp. 3513–3516.
KDIRKDIR-2010-ParviainenRML #approximate #infinity #learning #network
Interpreting Extreme Learning Machine as an Approximation to an Infinite Neural Network (EP, JR, YM, AL), pp. 65–73.
KEODKEOD-2010-MazakSL #approximate #heuristic #ontology
align++ — A Heuristic-based Method for Approximating the Mismatch-at-Risk in Schema-based Ontology Alignment (AM, BS, ML), pp. 17–26.
SIGIRSIGIR-2010-Huerta #approach #approximate #stack #string
A stack decoder approach to approximate string matching (JMH), pp. 823–824.
QAPLQAPL-2010-Aldini #approximate #behaviour #equivalence #probability #testing
Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior (AA), pp. 1–15.
POPLPOPL-2010-HoborDA #approximate #formal method
A theory of indirection via approximation (AH, RD, AWA), pp. 171–184.
SACSAC-2010-MarascuML #approximate #performance #set #streaming
A fast approximation strategy for summarizing a set of streaming time series (AM, FM, YL), pp. 1617–1621.
SACSAC-2010-ZhouSS #approximate #design #geometry
Blade geometry design with kinematic ruled surface approximation (YZ, JS, SS), pp. 1266–1267.
LCTESLCTES-2010-LiXLZ #analysis #approximate #architecture #memory management
Analysis and approximation for bank selection instruction minimization on partitioned memory architecture (ML, CJX, TL, YZ), pp. 1–8.
ICLPICLP-2010-Maher10 #approximate #constraints
Contractibility and Contractible Approximations of Soft Global Constraints (MJM), pp. 114–123.
DACDAC-2009-GhaniN #approximate #grid #performance #power management #using #verification
Fast vectorless power grid verification using an approximate inverse technique (NHAG, FNN), pp. 184–189.
DACDAC-2009-HuLA #approximate #polynomial
A fully polynomial time approximation scheme for timing driven minimum cost buffer insertion (SH, ZL, CJA), pp. 424–429.
DATEDATE-2009-YangCKT #approximate #energy #multi #realtime #scheduling
An approximation scheme for energy-efficient scheduling of real-time tasks in heterogeneous multiprocessor systems (CYY, JJC, TWK, LT), pp. 694–699.
DATEDATE-2009-YangSVBS #approximate #logic
Sequential logic rectifications with approximate SPFDs (YSY, SS, AGV, RKB, DES), pp. 1698–1703.
ICDARICDAR-2009-Takasu #approximate #estimation #similarity
Bayesian Similarity Model Estimation for Approximate Recognized Text Search (AT), pp. 611–615.
SIGMODSIGMOD-2009-HadjieleftheriouKS #approximate #incremental #maintenance #normalisation #string
Incremental maintenance of length normalized indexes for approximate string matching (MH, NK, DS), pp. 429–440.
SIGMODSIGMOD-2009-WangXLZ #approximate #constraints #distance #edit distance #performance
Efficient approximate entity extraction with edit distance constraints (WW, CX, XL, CZ), pp. 759–770.
VLDBVLDB-2009-ChaudhuriGX #approximate #documentation #mining
Mining Document Collections to Facilitate Accurate Approximate Entity Matching (SC, VG, DX), pp. 395–406.
VLDBVLDB-2009-ElmeleegyECAZ #approximate #linear #online #precise
Online Piece-wise Linear Approximation of Numerical Streams with Precision Guarantees (HE, AKE, EC, WGA, WZ), pp. 145–156.
VLDBVLDB-2009-HadjieleftheriouL #approximate #performance #string
Efficient Approximate Search on String Collections (MH, CL), pp. 1660–1661.
VLDBVLDB-2009-LiuLGF #approximate #network #query
Enabling epsilon-Approximate Querying in Sensor Networks (YL, JL, HG, XF), pp. 169–180.
VLDBVLDB-2009-ZengTWFZ #approximate #distance #edit distance #graph
Comparing Stars: On Approximating Graph Edit Distance (ZZ, AKHT, JW, JF, LZ), pp. 25–36.
WCREWCRE-1999-Kpodjedo99a #approximate #graph #re-engineering
Approximate Graph Matching in Software Engineering (SK), pp. 295–298.
PEPMPEPM-2009-SimmonsP #approximate #linear #logic
Linear logical approximations (RJS, FP), pp. 9–20.
STOCSTOC-2009-AndoniO #approximate #distance #edit distance
Approximating edit distance in near-linear time (AA, KO), pp. 199–204.
STOCSTOC-2009-GuptaK #approximate #probability
A constant-factor approximation for stochastic Steiner forest (AG, AK), pp. 659–668.
STOCSTOC-2009-KarpinskiS #approximate #game studies #linear #problem
Linear time approximation schemes for the Gale-Berlekamp game and related minimization problems (MK, WS), pp. 313–322.
STOCSTOC-2009-NguyenDT #algorithm #approximate #matrix #performance #rank
A fast and efficient algorithm for low-rank approximation of a matrix (NHN, TTD, TDT), pp. 215–224.
STOCSTOC-2009-YoshidaYI #algorithm #approximate
An improved constant-time approximation algorithm for maximum~matchings (YY, MY, HI), pp. 225–234.
CIAACIAA-2009-CourbisHK #approximate #model checking
TAGED Approximations for Temporal Properties Model-Checking (RC, PCH, OK), pp. 135–144.
DLTDLT-2009-Egecioglu #approximate #context-free grammar
Strongly Regular Grammars and Regular Approximation of Context-Free Languages (ÖE), pp. 207–220.
ICALPICALP-v1-2009-Amano #approximate #bound
Bounds on the Size of Small Depth Circuits for Approximating Majority (KA), pp. 59–70.
ICALPICALP-v1-2009-ChakaravarthyPRS #approximate #branch #multi
Approximating Decision Trees with Multiway Branches (VTC, VP, SR, YS), pp. 210–221.
ICALPICALP-v1-2009-ChenIKMR #approximate
Approximating Matches Made in Heaven (NC, NI, ARK, MM, AR), pp. 266–278.
ICALPICALP-v1-2009-CyganP #approximate
Exact and Approximate Bandwidth (MC, MP), pp. 304–315.
ICALPICALP-v1-2009-DemaineHK #algorithm #approximate #graph
Approximation Algorithms via Structural Results for Apex-Minor-Free Graphs (EDD, MH, KiK), pp. 316–327.
ICALPICALP-v1-2009-KoufogiannakisY #algorithm #approximate #constraints
Greedy Δ-Approximation Algorithm for Covering with Arbitrary Constraints and Submodular Cost (CK, NEY), pp. 634–652.
ICALPICALP-v1-2009-McDermid #algorithm #approximate
A 3/2-Approximation Algorithm for General Stable Marriage (EM), pp. 689–700.
ICALPICALP-v2-2009-ChaputDPP #approximate #markov #process
Approximating Markov Processes by Averaging (PC, VD, PP, GDP), pp. 127–138.
ICEISICEIS-J-2009-Cuzzocrea #approximate #evaluation #named #probability #query #reduction #scalability
s-OLAP: Approximate OLAP Query Evaluation on Very Large Data Warehouses via Dimensionality Reduction and Probabilistic Synopses (AC), pp. 248–262.
CIKMCIKM-2009-LuHM #algorithm #approximate #performance #using
Efficient algorithms for approximate member extraction using signature-based inverted lists (JL, JH, XM), pp. 315–324.
ICMLICML-2009-KumarMT #approximate #composition #on the
On sampling-based approximate spectral decomposition (SK, MM, AT), pp. 553–560.
ICMLICML-2009-LangT #approximate #probability #relational
Approximate inference for planning in stochastic relational worlds (TL, MT), pp. 585–592.
ICMLICML-2009-MartinsSX #approximate #natural language #parsing
Polyhedral outer approximations with application to natural language parsing (AFTM, NAS, EPX), pp. 713–720.
ICMLICML-2009-PetrikZ #approximate #constraints #linear #source code
Constraint relaxation in approximate linear programs (MP, SZ), pp. 809–816.
ICMLICML-2009-SuttonMPBSSW #approximate #learning #linear #performance
Fast gradient-descent methods for temporal-difference learning with linear function approximation (RSS, HRM, DP, SB, DS, CS, EW), pp. 993–1000.
ICMLICML-2009-TaylorP #approximate #kernel #learning
Kernelized value function approximation for reinforcement learning (GT, RP), pp. 1017–1024.
ICMLICML-2009-Toussaint #approximate #optimisation #using
Robot trajectory optimization using approximate inference (MT), pp. 1049–1056.
KDDKDD-2009-TantipathananandhB #algorithm #approximate #community #identification
Constant-factor approximation algorithms for identifying dynamic communities (CT, TYBW), pp. 827–836.
KDDKDD-2009-YanHJ #approximate #clustering #performance
Fast approximate spectral clustering (DY, LH, MIJ), pp. 907–916.
KEODKEOD-2009-TsalapatiSK #approximate #ontology #problem #reuse
A Method for Approximation to Ontology Reuse Problem (ET, GBS, GK), pp. 416–419.
SIGIRSIGIR-2009-ZhangHS #approximate #modelling
Approximating true relevance distribution from a mixture model based on irrelevance data (PZ, YH, DS), pp. 107–114.
SACSAC-2009-LeeKLY #approximate #database #network
Approximate indexing in road network databases (SCL, SWK, JL, JSY), pp. 1568–1572.
SACSAC-2009-ShenU #approximate #composition #concept #matrix #multi
A class of multistep sparse matrix strategies for concept decomposition matrix approximation (CS, MU), pp. 1714–1718.
SACSAC-2009-YangLLW #approach #approximate #constraints #theorem proving
An approximate approach to constraint solving in soft sensing (TY, ZL, XL, HW), pp. 1415–1416.
ASPLOSASPLOS-2009-TamASS #approximate #named #online #optimisation
RapidMRC: approximating L2 miss rate curves on commodity systems for online optimizations (DKT, RA, LS, MS), pp. 121–132.
CGOCGO-2009-SerranoZ #approximate
Building Approximate Calling Context from Partial Call Traces (MJS, XZ), pp. 221–230.
LICSLICS-2009-GhicaB #approximate #named #semantics
Clipping: A Semantics-Directed Syntactic Approximation (DRG, AB), pp. 189–198.
DATEDATE-2008-ChoudhuryM #approximate #concurrent #detection #fault #logic
Approximate logic circuits for low overhead, non-intrusive concurrent error detection (MRC, KM), pp. 903–908.
DATEDATE-2008-FangH #algorithm #approximate #performance #satisfiability
A Fast Approximation Algorithm for MIN-ONE SAT (LF, MSH), pp. 1087–1090.
DATEDATE-2008-HashemiG #algorithm #approximate #pipes and filters #synthesis
Exact and Approximate Task Assignment Algorithms for Pipelined Software Synthesis (MH, SG), pp. 746–751.
DATEDATE-2008-HwangAG #approximate #estimation #performance #transaction
Cycle-approximate Retargetable Performance Estimation at the Transaction Level (YH, SA, DG), pp. 3–8.
DATEDATE-2008-KazmierskiZA #approximate #mobile #modelling #performance #using
Efficient circuit-level modelling of ballistic CNT using piecewise non-linear approximation of mobile charge density (TJK, DZ, BMAH), pp. 146–151.
PODSPODS-2008-AnagnostopoulosDK #algorithm #approximate #clustering
Approximation algorithms for co-clustering (AA, AD, RK), pp. 201–210.
PODSPODS-2008-CormodeM #algorithm #approximate #clustering #nondeterminism
Approximation algorithms for clustering uncertain data (GC, AM), pp. 191–200.
PODSPODS-2008-Koch #approximate #database #probability #query
Approximating predicates and expressive queries on probabilistic databases (CK), pp. 99–108.
SIGMODSIGMOD-2008-AthitsosPPKG #approximate #sequence
Approximate embedding-based subsequence matching of time series (VA, PP, MP, GK, DG), pp. 365–378.
SIGMODSIGMOD-2008-ChakrabartiCGX #approximate #performance
An efficient filter for approximate membership checking (KC, SC, VG, DX), pp. 805–818.
SIGMODSIGMOD-2008-YangWL #approximate #cost analysis #query #string
Cost-based variable-length-gram selection for string collections to support approximate queries efficiently (XY, BW, CL), pp. 353–364.
VLDBVLDB-2008-DeyBDH #approximate #diagrams #query
Efficiently approximating query optimizer plan diagrams (AD, SB, HD, JRH), pp. 1325–1336.
VLDBVLDB-2008-ReS #approximate #database #probability
Approximate lineage for probabilistic databases (CR, DS), pp. 797–808.
STOCSTOC-2008-DaitchS #algorithm #approximate #performance
Faster approximate lossy generalized flow via interior point algorithms (SID, DAS), pp. 451–460.
STOCSTOC-2008-FakcharoenpholL #algorithm #approximate #problem
An o(log2 k)-approximation algorithm for the k-vertex connected spanning subgraph problem (JF, BL), pp. 153–158.
STOCSTOC-2008-LauS #approximate #bound #design #network
Additive approximation for bounded degree survivable network design (LCL, MS), pp. 759–768.
STOCSTOC-2008-Vondrak #approximate #problem
Optimal approximation for the submodular welfare problem in the value oracle model (JV), pp. 67–74.
DLTDLT-J-2007-BertoniR08 #approximate #monad
Approximating the Mean Speedup in Trace Monoids (AB, RR), pp. 497–511.
DLTDLT-J-2007-OchemRS08 #approximate
Avoiding Approximate Squares (PO, NR, JS), pp. 633–648.
CIAACIAA-2008-SimunekM #approximate #distance
Approximate Periods with Levenshtein Distance (MS, BM), pp. 286–287.
ICALPICALP-A-2008-AzarBKMN #algorithm #approximate
Improved Approximation Algorithms for Budgeted Allocations (YA, BEB, ARK, CM, CTN), pp. 186–197.
ICALPICALP-A-2008-DietzfelbingerP #approximate #data type #retrieval
Succinct Data Structures for Retrieval and Approximate Membership (Extended Abstract) (MD, RP), pp. 385–396.
ICALPICALP-A-2008-EsparzaGKS #approximate #equation
Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations (JE, TG, SK, HS), pp. 698–710.
ICALPICALP-A-2008-JansenT #algorithm #approximate #parallel #scheduling
Approximation Algorithms for Scheduling Parallel Jobs: Breaking the Approximation Ratio of 2 (KJ, RT), pp. 234–245.
ICALPICALP-A-2008-KaoS #approximate #random #self
Randomized Self-assembly for Approximate Shapes (MYK, RTS), pp. 370–384.
ICALPICALP-A-2008-Kawarabayashi #approximate
Approximating List-Coloring on a Fixed Surface (KiK), pp. 333–344.
ICALPICALP-A-2008-LaberM #algorithm #approximate
An Approximation Algorithm for Binary Searching in Trees (ESL, MM), pp. 459–471.
ICALPICALP-A-2008-Phillips #algorithm #approximate
Algorithms for epsilon-Approximations of Terrains (JMP), pp. 447–458.
FMFM-2008-FuriaPR #approximate #automation #specification #verification
Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation (CAF, MP, MR), pp. 132–147.
SEFMSEFM-2008-FranzleH #approximate #calculus #model checking #performance
Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations (MF, MRH), pp. 63–72.
GT-VCGT-VC-2007-Pennemann08 #algorithm #approximate #problem #satisfiability
An Algorithm for Approximating the Satisfiability Problem of High-level Conditions (KHP), pp. 75–94.
ICEISICEIS-AIDSS-2008-AjroudOBY #algorithm #approximate #network
An Approximate Propagation Algorithm for Product-Based Possibilistic Networks (AA, MNO, SB, HY), pp. 321–326.
CIKMCIKM-2008-Bar-YossefM #approximate #rank
Local approximation of pagerank and reverse pagerank (ZBY, LTM), pp. 279–288.
CIKMCIKM-2008-ShawXG #approximate #dataset
Deriving non-redundant approximate association rules from hierarchical datasets (GS, YX, SG), pp. 1451–1452.
CIKMCIKM-2008-StroeBNP #approach #approximate #string
An approximate string matching approach for handling incorrectly typed urls (MS, RB, CN, DP), pp. 1339–1340.
ICMLICML-2008-Li #approximate #comparison #difference #linear #worst-case
A worst-case comparison between temporal difference and residual gradient with linear function approximation (LL), pp. 560–567.
ICMLICML-2008-LoeffFR #approximate #learning #named
ManifoldBoost: stagewise function approximation for fully-, semi- and un-supervised learning (NL, DAF, DR), pp. 600–607.
ICMLICML-2008-MeloMR #analysis #approximate #learning
An analysis of reinforcement learning with function approximation (FSM, SPM, MIR), pp. 664–671.
ICMLICML-2008-ParrLTPL #analysis #approximate #feature model #learning #linear #modelling
An analysis of linear models, linear value-function approximation, and feature selection for reinforcement learning (RP, LL, GT, CPW, MLL), pp. 752–759.
ICMLICML-2008-Tieleman #approximate #strict #using
Training restricted Boltzmann machines using approximations to the likelihood gradient (TT), pp. 1064–1071.
ICMLICML-2008-YamanWLd #approximate #modelling
Democratic approximation of lexicographic preference models (FY, TJW, MLL, Md), pp. 1200–1207.
ICMLICML-2008-ZhangTK #analysis #approximate #fault #rank
Improved Nyström low-rank approximation and error analysis (KZ, IWT, JTK), pp. 1232–1239.
ICPRICPR-2008-FerrerVSRB #algorithm #approximate #graph #using
An approximate algorithm for median graph computation using graph embedding (MF, EV, FS, KR, HB), pp. 1–4.
ICPRICPR-2008-GorisseCPP #approximate #image #kernel #performance #retrieval #similarity
Fast approximate kernel-based similarity search for image retrieval task (DG, MC, FP, SPF), pp. 1–4.
ICPRICPR-2008-HautamakiNF #approximate #clustering #prototype
Time-series clustering by approximate prototypes (VH, PN, PF), pp. 1–4.
ICPRICPR-2008-HuangST08a #approximate
Approximation of salient contours in cluttered scenes (RH, NS, QT), pp. 1–4.
KDDKDD-2008-GuptaFFSK #algorithm #approximate #evaluation #mining
Quantitative evaluation of approximate frequent pattern mining algorithms (RG, GF, BF, MS, VK), pp. 301–309.
KRKR-2008-Cortes-CalabuigDAB #approximate #database #fixpoint #performance #query
Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases (ACC, MD, OA, MB), pp. 81–91.
KRKR-2008-WittocxMD #approximate #first-order #logic #reasoning
Approximate Reasoning in First-Order Logic Theories (JW, MM, MD), pp. 103–112.
SIGIRSIGIR-2008-Bar-YossefM #approximate #rank
Local approximation of PageRank and reverse PageRank (ZBY, LTM), pp. 865–866.
SIGIRSIGIR-2008-ZimmerTW #approximate #correlation #information management #keyword
Exploiting correlated keywords to improve approximate information filtering (CZ, CT, GW), pp. 323–330.
QAPLQAPL-2008-Bortolussi #approximate #concurrent #constraints #equation #on the #probability #programming
On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation (LB), pp. 163–180.
SACSAC-2008-DornS #3d #approximate #named #predict
CReF: a central-residue-fragment-based method for predicting approximate 3-D polypeptides structures (MD, ONdS), pp. 1261–1267.
SACSAC-2008-GoldsztejnMR #algorithm #approximate #performance #quantifier
An efficient algorithm for a sharp approximation of universally quantified inequalities (AG, CM, MR), pp. 134–139.
SACSAC-2008-MowatSSC #approximate #network #peer-to-peer
Extending peer-to-peer networks for approximate search (AM, RS, MS, IC), pp. 455–459.
HPDCHPDC-2008-HeSWF #approximate #automation #performance #recognition #test coverage
Code coverage, performance approximation and automatic recognition of idioms in scientific applications (JH, AS, RFVdW, MAF), pp. 223–224.
ISMMISMM-2008-ZhongC #approximate #locality
Sampling-based program locality approximation (YZ, WC), pp. 91–100.
RTARTA-2008-BoichutCHK #abstraction #approximate #refinement
Finer Is Better: Abstraction Refinement for Rewriting Approximations (YB, RC, PCH, OK), pp. 48–62.
VMCAIVMCAI-2008-DSilvaPK #approximate #model checking #refinement
Approximation Refinement for Interpolation-Based Model Checking (VD, MP, DK), pp. 68–82.
CASECASE-2007-Gonzalez-CastoloL #approximate #fuzzy #petri net #using
Approximating State of DES Using Fuzzy Timed Petri Nets (JCGC, ELM), pp. 722–728.
CASECASE-2007-WangL #analysis #approximate #modelling #reliability
Approximate Analysis of Re-Entrant Lines with Bernoulli Reliability Models (CW, JL), pp. 398–403.
DACDAC-2007-LiuLC #algorithm #approximate #multi #optimisation #using
A Provably Good Approximation Algorithm for Power Optimization Using Multiple Supply Voltages (HYL, WPL, YWC), pp. 887–890.
DACDAC-2007-OstlerC #algorithm #approximate #architecture #concurrent #multi #network #thread
Approximation Algorithm for Data Mapping on Block Multi-threaded Network Processor Architectures (CO, KSC), pp. 801–804.
DocEngDocEng-2007-HurstM #approximate
Approximating text by its area (NH, KM), pp. 147–150.
ICDARICDAR-2007-CharW #approximate #functional #representation
Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation (BWC, SMW), pp. 1198–1202.
PODSPODS-2007-ChakaravarthyPRAM #algorithm #approximate #identification
Decision trees for entity identification: approximation algorithms and hardness results (VTC, VP, SR, PA, MKM), pp. 53–62.
SIGMODSIGMOD-2007-ChandelHKSS #approximate #benchmark #declarative #metric
Benchmarking declarative approximate selection predicates (AC, OH, NK, MS, DS), pp. 353–364.
SIGMODSIGMOD-2007-JermaineAPD #approximate #query #scalability
Scalable approximate query processing with the DBO engine (CMJ, SA, AP, AD), pp. 725–736.
SIGMODSIGMOD-2007-ParkS #algorithm #approximate
Approximate algorithms for K-anonymity (HP, KS), pp. 67–78.
VLDBVLDB-2007-LiH #approximate #mining #multi
Mining Approximate Top-K Subspace Anomalies in Multi-Dimensional Time-Series Data (XL, JH), pp. 447–458.
VLDBVLDB-2007-LiWY #approximate #named #performance #query #string #using
VGRAM: Improving Performance of Approximate Queries on String Collections Using Variable-Length Grams (CL, BW, XY), pp. 303–314.
FoSSaCSFoSSaCS-2007-BreugelSW #approximate #behaviour #probability #pseudo
Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems (FvB, BS, JW), pp. 123–137.
SCAMSCAM-2007-MolinaS #approximate #open source #performance #source code #using
Fast Approximate Matching of Programs for Protecting Libre/Open Source Software by Using Spatial Indexes (AJMM, TS), pp. 111–122.
SASSAS-2007-GoubaultP #approximate
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic (EG, SP), pp. 137–152.
STOCSTOC-2007-AgarwalAC #approximate #problem
Improved approximation for directed cut problems (AA, NA, MC), pp. 671–680.
STOCSTOC-2007-AsadpourS #algorithm #approximate
An approximation algorithm for max-min fair allocation of indivisible goods (AA, AS), pp. 114–121.
STOCSTOC-2007-BayatiGKNT #algorithm #approximate
Simple deterministic approximation algorithms for counting matchings (MB, DG, DAK, CN, PT), pp. 122–127.
STOCSTOC-2007-DeshpandeV #approximate #reduction
Sampling-based dimension reduction for subspace approximation (AD, KRV), pp. 641–650.
STOCSTOC-2007-GuhaM #algorithm #approximate #learning #problem
Approximation algorithms for budgeted learning problems (SG, KM), pp. 104–113.
STOCSTOC-2007-KakadeKL #algorithm #approximate #game studies
Playing games with approximation algorithms (SMK, ATK, KL), pp. 546–555.
STOCSTOC-2007-SinghL #approximate #bound
Approximating minimum bounded degree spanning trees to within one of optimal (MS, LCL), pp. 661–670.
DLTDLT-2007-BertoniR #monad
Approximability and Non-approximability Results in Computing the Mean Speedup of Trace Monoids (AB, RR), pp. 72–83.
DLTDLT-2007-KriegerORS #approximate
Avoiding Approximate Squares (DK, PO, NR, JS), pp. 278–289.
ICALPICALP-2007-GroheG #problem
Parameterized Approximability of the Disjoint Cycle Problem (MG, MG), pp. 363–374.
ICALPICALP-2007-IshaiMSW #approximate #multi
Private Multiparty Sampling and Approximation of Vector Combinations (YI, TM, MJS, RNW), pp. 243–254.
ICALPICALP-2007-KontogiannisS #algorithm #approximate #constant #game studies #performance
Efficient Algorithms for Constant Well Supported Approximate Equilibria in Bimatrix Games (SCK, PGS), pp. 595–606.
ICALPICALP-2007-ODonnellW #approximate
Approximation by DNF: Examples and Counterexamples (RO, KW), pp. 195–206.
LATALATA-2007-IliopoulosJMS #approximate #pattern matching
Weighted Degenerated Approximate Pattern Matching (CSI, IJ, BM, JS), pp. 285–296.
LATALATA-2007-OgasawaraK #approximate #performance #product line
Stochastically Approximating Tree Grammars by Regular Grammars and Its Application to Faster ncRNA Family Annotation (KO, SK), pp. 461–472.
CIKMCIKM-2007-DornelesHOSM #approximate
A strategy for allowing meaningful and comparable scores in approximate matching (CFD, CAH, VMO, ASdS, ESdM), pp. 303–312.
CIKMCIKM-2007-ZhangW #algorithm #approximate #data type #performance
An efficient algorithm for approximate biased quantile computation in data streams (QZ, WW), pp. 1023–1026.
ICMLICML-2007-JohnsM #approximate #graph
Constructing basis functions from directed graphs for value function approximation (JJ, SM), pp. 385–392.
ICMLICML-2007-ParrPLL #approximate #generative
Analyzing feature generation for value-function approximation (RP, CPW, LL, MLL), pp. 737–744.
ICMLICML-2007-PhuaF #approximate #learning #linear
Tracking value function dynamics to improve reinforcement learning with piecewise linear function approximation (CWP, RF), pp. 751–758.
ICMLICML-2007-TsampoukaS #algorithm #approximate
Approximate maximum margin algorithms with rules controlled by the number of mistakes (PT, JST), pp. 903–910.
POPLPOPL-2007-ShenSMD #approximate #locality #using
Locality approximation using time (XS, JS, BM, CD), pp. 55–61.
SACSAC-2007-JohnsB #approximate #automation #injection #named #web
SMask: preventing injection attacks in web applications by approximating automatic data/code separation (MJ, CB), pp. 284–291.
SACSAC-2007-PigeauNG #approximate #image #performance
Fast tracking of hierarchical partitions with approximate kl-divergence for geo-temporal organization of personal images (AP, AN, MG), pp. 1088–1089.
SACSAC-2007-XingXE #approximate #automation #documentation #using #xml
Building automatic mapping between XML documents using approximate tree matching (GX, ZX, AE), pp. 525–526.
ICLPICLP-2007-Nguyen #approximate #complexity #knowledge base #logic
Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity (LAN), pp. 438–439.
RTARTA-2007-BoichutGJR #approximate #performance #prototype
Rewriting Approximations for Fast Prototyping of Static Analyzers (YB, TG, TPJ, LLR), pp. 48–62.
VMCAIVMCAI-2007-BallK #approximate #source code
Better Under-Approximation of Programs by Hiding Variables (TB, OK), pp. 314–328.
CASECASE-2006-LopatinY #algorithm #approximate #polynomial #using
Using the forward search and the polynomial approximation algorithms in the exact algorithm for manipulator’s control in an unknown environment (PKL, ASY), pp. 206–211.
PODSPODS-2006-GuhaM #approximate #order
Approximate quantiles and the order of the stream (SG, AM), pp. 273–279.
PODSPODS-2006-KimelfeldS #approximate #keyword #proximity
Finding and approximating top-k answers in keyword proximity search (BK, YS), pp. 173–182.
SIGMODSIGMOD-2006-DengR #approximate #detection #streaming #using
Approximately detecting duplicates for streaming data using stable bloom filters (FD, DR), pp. 25–36.
SIGMODSIGMOD-2006-ZuzarteY #approximate #performance #statistics
Fast approximate computation of statistics on views (CZ, XY), p. 724.
VLDBVLDB-2006-ApaydinCFT #approximate #encoding #query
Approximate Encoding for Direct Access and Query Processing over Compressed Bitmaps (TA, GC, HF, AST), pp. 846–857.
VLDBVLDB-2006-AugstenBG #approximate #incremental
An Incrementally Maintainable Index for Approximate Lookups in Hierarchical Data (NA, MHB, JG), pp. 247–258.
VLDBVLDB-2006-KanneM #algorithm #approximate #clustering #linear
A Linear Time Algorithm for Optimal Tree Sibling Partitioning and Approximation Algorithms in Natix (CCK, GM), pp. 91–102.
VLDBVLDB-2006-PandaRPGC #approximate
Indexing for Function Approximation (BP, MR, SBP, JG, LPC), pp. 523–534.
VLDBVLDB-2006-ParreiraDMW #approximate #distributed #network #peer-to-peer #performance #rank #web
Efficient and Decentralized PageRank Approximation in a Peer-to-Peer Web Search Network (JXP, DD, SM, GW), pp. 415–426.
VLDBVLDB-2006-SpiegelPBP #approximate #named #query #xml
AQAX: A System for Approximate XML Query Answers (JS, EDP, SB, NP), pp. 1159–1162.
TACASTACAS-2006-KroeningS #approximate #image #logic
Approximating Predicate Images for Bit-Vector Logic (DK, NS), pp. 242–256.
SCAMSCAM-2006-BinkleyHK #animation #approximate #static analysis
Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation (DB, MH, JK), pp. 43–52.
STOCSTOC-2006-AharonovJL #algorithm #approximate #polynomial #quantum
A polynomial quantum algorithm for approximating the Jones polynomial (DA, VJ, ZL), pp. 427–436.
STOCSTOC-2006-AilonC #approximate #nearest neighbour #performance
Approximate nearest neighbors and the fast Johnson-Lindenstrauss transform (NA, BC), pp. 557–563.
STOCSTOC-2006-AroraC #approximate
New approximation guarantee for chromatic number (SA, EC), pp. 215–224.
STOCSTOC-2006-BeimelCNW #approximate #problem
Private approximation of search problems (AB, PC, KN, EW), pp. 119–128.
STOCSTOC-2006-DinurMR #approximate
Conditional hardness for approximate coloring (ID, EM, OR), pp. 344–353.
STOCSTOC-2006-Feldman #approximate #learning #logic #query
Hardness of approximate two-level logic minimization and PAC learning with membership queries (VF), pp. 363–372.
STOCSTOC-2006-KawarabayashiM #approximate #graph
Approximating the list-chromatic number and the chromatic number in minor-closed and odd-minor-closed classes of graphs (KiK, BM), pp. 401–416.
STOCSTOC-2006-RemyS #approximate
A quasi-polynomial time approximation scheme for minimum weight triangulation (JR, AS), pp. 316–325.
CIAACIAA-2006-Hyyro #approximate #automaton #nondeterminism #string
Tighter Packed Bit-Parallel NFA for Approximate String Matching (HH), pp. 287–289.
ICALPICALP-v1-2006-AlonSS #approximate #problem
Additive Approximation for Edge-Deletion Problems (Abstract) (NA, AS, BS), pp. 1–2.
ICALPICALP-v1-2006-BordewichDK #approximate #metric
Stopping Times, Metrics and Approximate Counting (MB, MED, MK), pp. 108–119.
ICALPICALP-v1-2006-ChaudhuriRRT #algorithm #approximate #bound
A Push-Relabel Algorithm for Approximating Degree Bounded MSTs (KC, SR, SR, KT), pp. 191–201.
ICALPICALP-v1-2006-Fujito #algorithm #approximate #how
How to Trim an MST: A 2-Approximation Algorithm for Minimum Cost Tree Cover (TF), pp. 431–442.
ICALPICALP-v1-2006-Harren #approximate #orthogonal #problem
Approximating the Orthogonal Knapsack Problem for Hypercubes (RH), pp. 238–249.
ICALPICALP-v1-2006-KortsarzN #algorithm #approximate #problem
Tight Approximation Algorithm for Connectivity Augmentation Problems (GK, ZN), pp. 443–452.
ICALPICALP-v1-2006-RaviS #algorithm #approximate
Delegate and Conquer: An LP-Based Approximation Algorithm for Minimum Degree MSTs (RR, MS), pp. 169–180.
FMFM-2006-DonaldsonM #approximate #model checking #reduction #symmetry
Exact and Approximate Strategies for Symmetry Reduction in Model Checking (AFD, AM), pp. 541–556.
CIKMCIKM-2006-AchtertBKKPR #approximate #metric #nearest neighbour #query
Approximate reverse k-nearest neighbor queries in general metric spaces (EA, CB, PK, PK, AP, MR), pp. 788–789.
CIKMCIKM-2006-GollapudiP06a #approximate #string #taxonomy
A dictionary for approximate string search and longest prefix search (SG, RP), pp. 768–775.
CIKMCIKM-2006-OjewoleZH #approximate #data type #semantics
Window join approximation over data streams with importance semantics (AO, QZ, WCH), pp. 112–121.
CIKMCIKM-2006-Takasu #algorithm #approximate #documentation #multi #retrieval #robust
An approximate multi-word matching algorithm for robust document retrieval (AT), pp. 34–42.
ECIRECIR-2006-Osinski #approximate #clustering #matrix #quality
Improving Quality of Search Results Clustering with Approximate Matrix Factorisations (SO), pp. 167–178.
ICMLICML-2006-Elkan #approximate #clustering #documentation #multi
Clustering documents with an exponential-family approximation of the Dirichlet compound multinomial distribution (CE), pp. 289–296.
ICMLICML-2006-GeJ #approximate #consistency #multi
A note on mixtures of experts for multiclass responses: approximation rate and Consistent Bayesian Inference (YG, WJ), pp. 329–335.
ICMLICML-2006-KellerMP #approximate #automation #learning #programming
Automatic basis function construction for approximate dynamic programming and reinforcement learning (PWK, SM, DP), pp. 449–456.
ICMLICML-2006-LeordeanuH #approximate #energy #performance
Efficient MAP approximation for dense energy functions (ML, MH), pp. 545–552.
ICPRICPR-v2-2006-LocteauRALHT #algorithm #approximate #multi #search-based #using
Approximation of Digital Curves using a Multi-Objective Genetic Algorithm (HL, RR, SA, YL, PH, ÉT), pp. 716–719.
ICPRICPR-v2-2006-Mainar-RuizP #approximate #multi #nearest neighbour #using
Approximate Nearest Neighbor Search using a Single Space-filling Curve and Multiple Representations of the Data Points (GMR, JCPC), pp. 502–505.
ICPRICPR-v3-2006-ChanL #algorithm #approximate #fault #multi #performance
Multiplierless Fast DCT Algorithms with Minimal Approximation Errors (RKWC, MCL), pp. 921–925.
ICPRICPR-v3-2006-ShiG #approximate #image
Fingerprint Image Enhancement Based on Skin Profile Approximation (ZS, VG), pp. 714–717.
ICPRICPR-v4-2006-PhamS #approximate #classification #clustering #metric #performance
Metric tree partitioning and Taylor approximation for fast support vector classification (TVP, AWMS), pp. 132–135.
KDDKDD-2006-AgarwalMPVZ #approximate #performance #statistics
Spatial scan statistics: approximations and performance study (DA, AM, JMP, SV, ZZ), pp. 24–33.
KDDKDD-2006-RattiganMJ #approximate #network #performance #using
Using structure indices for efficient approximation of network properties (MJR, MEM, DJ), pp. 357–366.
KDDKDD-2006-WuCCH #approximate #incremental #matrix
Incremental approximate matrix factorization for speeding up support vector machines (GW, EYC, YKC, CJH), pp. 760–766.
KRKR-2006-SonT #approximate #on the #reasoning
On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information (TCS, PHT), pp. 481–491.
SACSAC-2006-Goldsztejn #algorithm #approximate #branch #set
A branch and prune algorithm for the approximation of non-linear AE-solution sets (AG), pp. 1650–1654.
SACSAC-2006-GrandonG #approximate #constraints #distance #parametricity #quantifier
Inner approximation of distance constraints with existential quantification of parameters (CG, AG), pp. 1660–1661.
HPDCHPDC-2006-GaoSC #approximate
Path Grammar Guided Trace Compression and Trace Approximation (XG, AS, LC), pp. 57–68.
CSLCSL-2006-HarwoodMS #bisimulation
Weak Bisimulation Approximants (WH, FM, AS), pp. 365–379.
LICSLICS-2006-DawarGKS #approximate #first-order #optimisation #problem
Approximation Schemes for First-Order Definable Optimisation Problems (AD, MG, SK, NS), pp. 411–420.
LICSLICS-2006-FischerMR #approximate #equivalence #satisfiability
Approximate Satisfiability and Equivalence (EF, FM, MdR), pp. 421–430.
RTARTA-2006-BoichutG #approximate #re-engineering
Feasible Trace Reconstruction for Rewriting Approximations (YB, TG), pp. 123–135.
DACDAC-2005-AminID #approximate #using
Piece-wise approximations of RLCK circuit responses using moment matching (CSA, YII, FD), pp. 927–932.
DACDAC-2005-LiuCO #approximate #design #multi
Approximate VCCs: a new characterization of multimedia workloads for system-level MpSoC design (YL, SC, WTO), pp. 248–253.
DATEDATE-2005-WangM #approximate #modelling
EM Wave Coupling Noise Modeling Based on Chebyshev Approximation and Exact Moment Formulation (BW, PM), pp. 976–981.
DATEDATE-2005-YangCK #algorithm #approximate #energy #multi #scheduling
An Approximation Algorithm for Energy-Efficient Scheduling on A Chip Multiprocessor (CYY, JJC, TWK), pp. 468–473.
PODSPODS-2005-Dobra #approximate #question
Histograms revisited: when are histograms the best approximation method for aggregates over joins? (AD), pp. 228–237.
SIGMODSIGMOD-2005-CormodeGMR #approximate #distributed
Holistic Aggregates in a Networked World: Distributed Tracking of Approximate Quantiles (GC, MNG, SM, RR), pp. 25–36.
SIGMODSIGMOD-2005-GovindarajuRM #approximate #mining #performance #using
Fast and Approximate Stream Mining of Quantiles and Frequencies Using Graphics Processors (NKG, NR, DM), pp. 611–622.
VLDBVLDB-2005-AugstenBG #approximate #using
Approximate Matching of Hierarchical Data Using pq-Grams (NA, MHB, JG), pp. 301–312.
VLDBVLDB-2005-CormodeG #approximate #distributed #query #sketching
Sketching Streams Through the Net: Distributed Approximate Query Tracking (GC, MNG), pp. 13–24.
VLDBVLDB-2005-JinKLT #approximate #retrieval
Indexing Mixed Types for Approximate Retrieval (LJ, NK, CL, AKHT), pp. 793–804.
VLDBVLDB-2005-KoudasS #approximate #concept
Approximate Joins: Concepts and Techniques (NK, DS), p. 1363.
TACASTACAS-2005-JeannetJRZ #analysis #approximate #testing
Symbolic Test Selection Based on Approximate Analysis (BJ, TJ, VR, EZ), pp. 349–364.
STOCSTOC-2005-AgarwalCMM #algorithm #approximate #problem
O(sqrt(log n)) approximation algorithms for min UnCut, min 2CNF deletion, and directed cut problems (AA, MC, KM, YM), pp. 573–581.
STOCSTOC-2005-BriestKV #approximate #design
Approximation techniques for utilitarian mechanism design (PB, PK, BV), pp. 39–48.
STOCSTOC-2005-ChenD #algorithm #approximate #fixpoint #on the
On algorithms for discrete and approximate brouwer fixed points (XC, XD), pp. 323–330.
STOCSTOC-2005-CheriyanV #algorithm #approximate #design #metric #network
Approximation algorithms for network design with metric costs (JC, AV), pp. 167–175.
STOCSTOC-2005-CryanDR #approximate #bound
Approximately counting integral flows and cell-bounded contingency tables (MC, MED, DR), pp. 413–422.
STOCSTOC-2005-DobzinskiNS #algorithm #approximate #combinator
Approximation algorithms for combinatorial auctions with complement-free bidders (SD, NN, MS), pp. 610–618.
STOCSTOC-2005-FeigeHL #algorithm #approximate
Improved approximation algorithms for minimum-weight vertex separators (UF, MTH, JRL), pp. 563–572.
STOCSTOC-2005-FlaxmanFV #algorithm #approximate #on the #performance #problem
On the average case performance of some greedy approximation algorithms for the uncapacitated facility location problem (AF, AMF, JCV), pp. 441–449.
STOCSTOC-2005-Garg #approximate #graph #problem
Saving an epsilon: a 2-approximation for the k-MST problem in graphs (NG), pp. 396–402.
STOCSTOC-2005-Hastad #approximate
Every 2-CSP allows nontrivial approximation (JH), pp. 740–746.
STOCSTOC-2005-IndykW #approximate #data type
Optimal approximations of the frequency moments of data streams (PI, DPW), pp. 202–208.
STOCSTOC-2005-JiaLNRS #approximate #set
Universal approximations for TSP, Steiner tree, and set cover (LJ, GL, GN, RR, RS), pp. 386–395.
STOCSTOC-2005-VegaKKV #approximate #composition #constraints #problem
Tensor decomposition and approximation schemes for constraint satisfaction problems (WFdlV, MK, RK, SV), pp. 747–754.
CIAACIAA-J-2004-Yli-Jyra05 #approximate #dependence #regular expression
Approximating dependency grammars through intersection of star-free regular languages (AYJ), pp. 565–579.
DLTDLT-2005-BatuS #approximate #consistency #parsing #string
Locally Consistent Parsing and Applications to Approximate String Comparisons (TB, SCS), pp. 22–35.
DLTDLT-2005-EpifanioGM #approximate
Languages with Mismatches and an Application to Approximate Indexing (CE, AG, FM), pp. 224–235.
ICALPICALP-2005-ElbassioniFMS #algorithm #approximate
Approximation Algorithms for Euclidean Group TSP (KME, AVF, NHM, RS), pp. 1115–1126.
ICALPICALP-2005-Farach-ColtonLST #approximate #performance #string
Optimal Spaced Seeds for Faster Approximate String Matching (MFC, GML, SCS, DT), pp. 1251–1262.
ICALPICALP-2005-GairingMW #algorithm #approximate #combinator #parallel #performance #scheduling
A Faster Combinatorial Approximation Algorithm for Scheduling Unrelated Parallel Machines (MG, BM, AW), pp. 828–839.
ICALPICALP-2005-Hast #approximate #linear #named #random
Approximating — Outperforming a Random Assignment with Almost a Linear Factor (GH), pp. 956–968.
ICALPICALP-2005-Karakostas #approximate #problem
A Better Approximation Ratio for the Vertex Cover Problem (GK), pp. 1043–1050.
ICALPICALP-2005-Nilsson #approximate
Approximate Guarding of Monotone and Rectilinear Polygons (BJN), pp. 1362–1373.
ICALPICALP-2005-PemmarajuR #algorithm #approximate #problem
Approximation Algorithms for the Max-coloring Problem (SVP, RR), pp. 1064–1075.
ICALPICALP-2005-RodittyTZ #approximate #distance
Deterministic Constructions of Approximate Distance Oracles and Spanners (LR, MT, UZ), pp. 261–272.
FMFM-2005-Gaudel #approximate #correctness #formal method #testing
Formal Methods and Testing: Hypotheses, and Correctness Approximations (MCG), pp. 2–8.
CIKMCIKM-2005-HsiehCY #approximate
Integrating DCT and DWT for approximating cube streams (MJH, MSC, PSY), pp. 179–186.
ICMLICML-2005-DaumeM #approximate #learning #optimisation #predict #scalability
Learning as search optimization: approximate large margin methods for structured prediction (HDI, DM), pp. 169–176.
ICMLICML-2005-IlghamiMNA #approximate #learning
Learning approximate preconditions for methods in hierarchical plans (OI, HMA, DSN, DWA), pp. 337–344.
ICMLICML-2005-RamakrishnanCKB #approximate #classification
A model for handling approximate, noisy or incomplete labeling in text classification (GR, KPC, RK, PB), pp. 681–688.
ICMLICML-2005-SnelsonG #approximate #predict
Compact approximations to Bayesian predictive distributions (ES, ZG), pp. 840–847.
SEKESEKE-2005-HuangC #approximate #case study #distance
A Study of the Approximate Shortest Distance Route for the Construction Walk of Welding Robot (CJH, BKC), pp. 550–555.
SACSAC-2005-BuenoTT #algorithm #approximate #query #search-based #similarity #using
Accelerating approximate similarity queries using genetic algorithms (RB, AJMT, CTJ), pp. 617–622.
SACSAC-2005-CanfieldX #approximate #documentation #xml
Approximate XML document matching (ERC, GX), pp. 787–788.
SACSAC-2005-HuangCC #algorithm #approximate #type inference
An approximation algorithm for haplotype inference by maximum parsimony (YTH, KMC, TC), pp. 146–150.
SACSAC-2005-SilvestriO #approximate #distributed #mining
Distributed approximate mining of frequent patterns (CS, SO), pp. 529–536.
ICSTSAT-J-2004-Interian05 #algorithm #approximate #random
Approximation Algorithm for Random MAX- kSAT (YI), pp. 173–182.
CAVCAV-2005-JhalaM #approximate
Interpolant-Based Transition Relation Approximation (RJ, KLM), pp. 39–51.
DACDAC-2004-SalujaK #algorithm #approximate #robust
A robust algorithm for approximate compatible observability don’t care (CODC) computation (NS, SPK), pp. 422–427.
PODSPODS-2004-ArasuM #approximate
Approximate Counts and Quantiles over Sliding Windows (AA, GSM), pp. 286–296.
SIGMODSIGMOD-2004-DasGR #approximate
Approximation Techniques for Spatial Data (AD, JG, MR), pp. 695–706.
SIGMODSIGMOD-2004-PolyzotisGI #approximate #query #xml
Approximate XML Query Answers (NP, MNG, YEI), pp. 263–274.
VLDBVLDB-2004-GuhaKMS #approximate
Merging the Results of Approximate Match Operations (SG, NK, AM, DS), pp. 636–647.
VLDBVLDB-2004-GuhaKS #approximate #named #streaming
XWAVE: Approximate Extended Wavelets for Streaming Data (SG, CK, KS), pp. 288–299.
VLDBVLDB-2004-KoudasOT0 #approximate #bound #fault #performance #query
Approximate NN queries on Streams with Guaranteed Error/performance Bounds (NK, BCO, KLT, RZ), pp. 804–815.
ITiCSEITiCSE-2004-FisherLS #approximate
Curve and surface interpolation and approximation: knowledge unit and software tool (JF, JLL, CKS), pp. 146–150.
ITiCSEITiCSE-WGR-2004-MatosG #approximate #dependence #functional
SQL-based discovery of exact and approximate functional dependencies (VM, BG), pp. 58–63.
TACASTACAS-2004-BallCDR #abstraction #approximate
Refining Approximations in Software Predicate Abstraction (TB, BC, SD, SKR), pp. 388–403.
SASSAS-2004-Colon #algebra #approximate #imperative #relational #semantics #source code
Approximating the Algebraic Relational Semantics of Imperative Programs (MC), pp. 296–311.
SASSAS-2004-Schmidt #approximate #logic
Closed and Logical Relations for Over- and Under-Approximation of Powersets (DAS), pp. 22–37.
STOCSTOC-2004-AlonN #approximate #difference
Approximating the cut-norm via Grothendieck’s inequality (NA, AN), pp. 72–80.
STOCSTOC-2004-BansalBCM #algorithm #approximate
Approximation algorithms for deadline-TSP and vehicle routing with time-windows (NB, AB, SC, AM), pp. 166–174.
STOCSTOC-2004-ChuzhoyGHKKN #approximate #symmetry
Asymmetric k-center is log* n-hard to approximate (JC, SG, EH, SK, GK, JN), pp. 21–27.
STOCSTOC-2004-CorreaG #approximate #graph #theorem
An approximate König’s theorem for edge-coloring weighted bipartite graphs (JRC, MXG), pp. 398–406.
STOCSTOC-2004-Elkin #approximate #bound #distributed #problem #trade-off
Unconditional lower bounds on the time-approximation tradeoffs for the distributed minimum spanning tree problem (ME), pp. 331–340.
STOCSTOC-2004-GuptaPRS #algorithm #approximate #optimisation #probability
Boosted sampling: approximation algorithms for stochastic optimization (AG, MP, RR, AS), pp. 417–426.
STOCSTOC-2004-KortsarzN #algorithm #approximate #graph
Approximation algorithm for k-node connected subgraphs via critical graphs (GK, ZN), pp. 138–145.
STOCSTOC-2004-Obata #approximate #multi #theorem
Approximate max-integral-flow/min-multicut theorems (KO), pp. 539–545.
CIAACIAA-2004-DelgadoM #approximate #regular expression
Approximation to the Smallest Regular Expression for a Given Regular Language (MD, JM), pp. 312–314.
CIAACIAA-2004-Yli-Jyra #approximate #dependence #regular expression
Approximating Dependency Grammars Through Intersection of Regular Languages (AYJ), pp. 281–292.
ICALPICALP-2004-BjorklundHK #approximate
Approximating Longest Directed Paths and Cycles (AB, TH, SK), pp. 222–233.
ICALPICALP-2004-CzumajS #approximate #clustering #random
Sublinear-Time Approximation for Clustering Via Random Sampling (AC, CS), pp. 396–407.
ICALPICALP-2004-JothiR #algorithm #approximate #design #network #problem
Approximation Algorithms for the Capacitated Minimum Spanning Tree Problem and Its Variants in Network Design (RJ, BR), pp. 805–818.
ICALPICALP-2004-Paluch #algorithm #approximate
A 2(1/8)-Approximation Algorithm for Rectangle Tiling (KEP), pp. 1054–1065.
ICEISICEIS-v2-2004-CaleroDSSMS #approximate #database #dependence #experience #fuzzy
An Experience in Management of Imprecise Soil Databases by Means of Fuzzy Association Rules and Fuzzy Approximate Dependencies (JC, GD, MSM, DS, MAVM, JMS), pp. 138–146.
ICEISICEIS-v2-2004-Kabiri #approximate #comparison #learning #network
A Comparison Between the Proportional Keen Approximator and the Neural Networks Learning Methods (PK), pp. 159–164.
CIKMCIKM-2004-ClarkeT #approximate #parallel
Approximating the top-m passages in a parallel question answering system (CLAC, ELT), pp. 454–462.
ICMLICML-2004-MerkeS #approximate #convergence #learning #linear
Convergence of synchronous reinforcement learning with linear function approximation (AM, RS).
ICMLICML-2004-TaoSVO #approximate #learning #multi
SVM-based generalized multiple-instance learning via approximate box counting (QT, SDS, NVV, TTO).
ICMLICML-2004-WellingRT #approximate #markov
Approximate inference by Markov chains on union spaces (MW, MRZ, YWT).
ICMLICML-2004-Ye #approximate #matrix #rank
Generalized low rank approximations of matrices (JY).
ICPRICPR-v1-2004-BhowmickB #approximate #using
Approximate Fingerprint Matching Using Kd-Tree (PB, BBB), pp. 544–547.
ICPRICPR-v1-2004-Debled-RennessonTW #approximate #performance
Fast Polygonal Approximation of Digital Curves (IDR, ST, LW), pp. 465–468.
ICPRICPR-v1-2004-KangD #approximate #bound #classification #fault
Product Approximation by Minimizing the Upper Bound of Bayes Error Rate for Bayesian Combination of Classifiers (HJK, DSD), pp. 252–255.
ICPRICPR-v2-2004-AltmuellerH #approximate #probability
Approximating High Dimensional Probability Distributions (SA, RMH), pp. 299–302.
ICPRICPR-v2-2004-Ikeda #approximate #re-engineering #using
An Accurate Shape Reconstruction from Photometric Stereo Using Four Approximations of Surface Normal (OI), pp. 220–223.
ICPRICPR-v2-2004-KolesnikovFW #approximate #multi
Multiresolution Polygonal Approximation of Digital Curves (AK, PF, XW), pp. 855–858.
ICPRICPR-v2-2004-Srinivasan #approximate #segmentation
Small-world Approximations in Spectral Segmentation (SHS), pp. 36–39.
ICPRICPR-v3-2004-FurukawaKMSMT #3d #approximate #estimation #image #physics #using
Spine Posture Estimation Method from Human Images Using 3D Spine Model — Computation of the rough approximation of the physical forces working on vertebral bodies (DF, TK, KM, YS, KM, TT), pp. 322–325.
ICPRICPR-v4-2004-BoubchirFB #approximate #using
Bayesian Denoising in the Wavelet-Domain Using an Analytical Approximate a-Stable Prior (LB, MJF, DB), pp. 889–892.
ICPRICPR-v4-2004-MizukamiWT #approximate #architecture #network
A Proposal of Neural Network Architecture for Non-Linear Function Approximation (YM, YW, KT), pp. 605–608.
KDDKDD-2004-AfratiGM #approximate #set
Approximating a collection of frequent sets (FNA, AG, HM), pp. 12–19.
KDDKDD-2004-BanerjeeDGMM #approach #approximate #clustering #matrix
A generalized maximum entropy approach to bregman co-clustering and matrix approximation (AB, ISD, JG, SM, DSM), pp. 509–514.
KRKR-2004-DohertySL #approximate #ontology #query
Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities (PD, AS, WL), pp. 459–468.
KRKR-2004-GrootTH #analysis #approximate #case study #classification #problem #towards
Towards a Structured Analysis of Approximate Problem Solving: A Case Study in Classification (PG, AtT, FvH), pp. 399–406.
SACSAC-2004-Logozzo #approximate #constraints #semantics
Approximating module semantics with constraints (FL), pp. 1490–1495.
ICSEICSE-2004-Kang #analysis #approximate #embedded #parametricity #realtime
Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation (EYK), pp. 39–41.
CCCC-2004-OzerNG #approximate #probability #using
Stochastic Bit-Width Approximation Using Extreme Value Theory for Customizable Processors (, AN, DG), pp. 250–264.
RTARTA-2004-Blom #approach #approximate #λ-calculus
An Approximation Based Approach to Infinitary λ Calculi (SB), pp. 221–232.
SATSAT-2004-Interian #algorithm #approximate #random
Approximation Algorithm for Random MAX-kSAT (YI), pp. 64–68.
VMCAIVMCAI-2004-HeraultLMP #approximate #model checking #probability
Approximate Probabilistic Model Checking (TH, RL, FM, SP), pp. 73–84.
DATEDATE-2003-CabodiNQ #approximate #bound #model checking #satisfiability #traversal
Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals (GC, SN, SQ), pp. 10898–10905.
DATEDATE-2003-GouraryRUZGM #approach #approximate
Approximation Approach for Timing Jitter Characterization in Circuit Simulators (MMG, SGR, SLU, MMZ, KKG, BJM), pp. 10156–10161.
SIGMODSIGMOD-2003-Amer-YahiaFSX #approximate #named #xml
PIX: Exact and Approximate Phrase Matching in XML (SAY, MFF, DS, YX), p. 664.
SIGMODSIGMOD-2003-BabcockCD #approximate #query
Dynamic Sample Selection for Approximate Query Processing (BB, SC, GD), pp. 539–550.
SIGMODSIGMOD-2003-DasGR #approximate #data type
Approximate Join Processing Over Data Streams (AD, JG, MR), pp. 40–51.
VLDBVLDB-2003-Jermaine #approximate #estimation #robust
Robust Estimation With Sampling and Approximate Pre-Aggregation (CJ), pp. 886–897.
VLDBVLDB-2003-KoudasGGSV #approximate #constraints #optimisation #parametricity #performance #query
Efficient Approximation Of Optimization Queries Under Parametric Aggregation Constraints (SG, DG, NK, DS, MV), pp. 778–789.
ESOPESOP-2003-CastroW #approximate #logic programming
Approximate Pruning in Tabled Logic Programming (LFC, DSW), pp. 69–83.
FoSSaCSFoSSaCS-2003-BreugelMOW #approximate #probability #similarity
An Intrinsic Characterization of Approximate Probabilistic Bisimilarity (FvB, MWM, JO, JW), pp. 200–215.
IWPCIWPC-2003-CoxC #analysis #approximate #semiparsing #using
Syntactic Approximation Using Iterative Lexical Analysis (AC, CLAC), pp. 154–164.
SASSAS-2003-KremenekE #approximate #named #static analysis #statistics #using
Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations (TK, DRE), pp. 295–315.
STOCSTOC-2003-Ajtai #algorithm #approximate #behaviour #worst-case
The worst-case behavior of schnorr’s algorithm approximating the shortest nonzero vector in a lattice (MA), pp. 396–406.
STOCSTOC-2003-AmirKR #approximate #constant #graph
Constant factor approximation of vertex-cuts in planar graphs (EA, RK, SR), pp. 90–99.
STOCSTOC-2003-BatuEKMRRS #algorithm #approximate #distance #edit distance #sublinear
A sublinear algorithm for weakly approximating edit distance (TB, FE, JK, AM, SR, RR, RS), pp. 316–324.
STOCSTOC-2003-ChenRS #algorithm #approximate #confluence
Meet and merge: approximation algorithms for confluent flows (JC, RR, RS), pp. 373–382.
STOCSTOC-2003-Dyer #approximate #programming
Approximate counting by dynamic programming (MED), pp. 693–699.
STOCSTOC-2003-FakcharoenpholRT #approximate #bound #metric
A tight bound on approximating arbitrary metrics by tree metrics (JF, SR, KT), pp. 448–455.
STOCSTOC-2003-GuptaKR #algorithm #approximate #design #network
Simpler and better approximation algorithms for network design (AG, AK, TR), pp. 365–372.
STOCSTOC-2003-KonemannR #approximate #bound
Primal-dual meets local search: approximating MST’s with nonuniform degree bounds (JK, RR), pp. 389–395.
STOCSTOC-2003-Plaxton #algorithm #approximate #problem
Approximation algorithms for hierarchical location problems (CGP), pp. 40–49.
STOCSTOC-2003-VegaKKR #approximate #clustering #problem
Approximation schemes for clustering problems (WFdlV, MK, CK, YR), pp. 50–58.
ICALPICALP-2003-AgeevYZ #algorithm #approximate #combinator #problem
Improved Combinatorial Approximation Algorithms for the k-Level Facility Location Problem (AAA, YY, JZ), pp. 145–156.
ICALPICALP-2003-AroraC #approximate #problem #strict
Approximation Schemes for Degree-Restricted MST and Red-Blue Separation Problem (SA, KLC), pp. 176–188.
ICALPICALP-2003-BespamyatnikhS #algorithm #approximate
Dynamic Algorithms for Approximating Interdistances (SB, MS), pp. 1169–1180.
ICALPICALP-2003-Blaser #algorithm #approximate #difference #symmetry
An Improved Approximation Algorithm for the Asymmetric TSP with Strengthened Triangle Inequality (MB), pp. 157–163.
ICALPICALP-2003-ChekuriGN #approximate
Approximating Steiner k-Cuts (CC, SG, JN), pp. 189–199.
ICALPICALP-2003-Coja-OghlanMS #approximate #graph #random
MAX k-CUT and Approximating the Chromatic Number of Random Graphs (ACO, CM, VS), pp. 200–211.
ICALPICALP-2003-DeanG #algorithm #approximate #scheduling
Improved Approximation Algorithms for Minimum-Space Advertisement Scheduling (BCD, MXG), pp. 1138–1152.
ICALPICALP-2003-ElkinK #algorithm #approximate #multi #problem
Approximation Algorithm for Directed Telephone Multicast Problem (ME, GK), pp. 212–223.
ICALPICALP-2003-GandhiHKKS #algorithm #approximate
An Improved Approximation Algorithm for Vertex Cover with Hard Capacities (RG, EH, SK, GK, AS), pp. 164–175.
CIKMCIKM-2003-BerraniAG #approximate #precise
Approximate searches: k-neighbors + precision (SAB, LA, PG), pp. 24–31.
CIKMCIKM-2003-OgrasF #approximate #reduction #using
Dimensionality reduction using magnitude and shape approximations (ÜYO, HF), pp. 99–107.
ICMLICML-2003-DeCosteM #approximate #classification #incremental #kernel #performance
Fast Query-Optimized Kernel Machine Classification Via Incremental Approximate Nearest Support Vectors (DD, DM), pp. 115–122.
ICMLICML-2003-Duff03a #approximate #markov
Diffusion Approximation for Bayesian Markov Chains (MOD), pp. 139–146.
ICMLICML-2003-Munos #approximate #bound #fault #policy
Error Bounds for Approximate Policy Iteration (RM), pp. 560–567.
ICMLICML-2003-SrebroJ #approximate #rank
Weighted Low-Rank Approximations (NS, TSJ), pp. 720–727.
ICMLICML-2003-YanDMW #approximate #classification #optimisation #performance #statistics
Optimizing Classifier Performance via an Approximation to the Wilcoxon-Mann-Whitney Statistic (LY, RHD, MM, RHW), pp. 848–855.
ICMLICML-2003-ZhangJYH #approximate #categorisation #scalability
Modified Logistic Regression: An Approximation to SVM and Its Applications in Large-Scale Text Categorization (JZ, RJ, YY, AGH), pp. 888–895.
MLDMMLDM-2003-MiteranBB #approximate #bound #classification #image #realtime #segmentation #using
Classification Boundary Approximation by Using Combination of Training Steps for Real-Time Image Segmentation (JM, SB, EBB), pp. 141–155.
LOPSTRLOPSTR-2003-BerghammerM #algorithm #approximate #development #using #verification
Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables (RB, MMO), pp. 59–74.
LICSLICS-2003-DanosD #approximate #markov #performance #process
Labelled Markov Processes: Stronger and Faster Approximations (VD, JD), pp. 341–350.
DATEDATE-2002-CoelhoSP #algorithm #approximate #using
Passive Constrained Rational Approximation Algorithm Using Nevanlinna-Pick Interpolation (CPC, LMS, JRP), pp. 923–930.
PODSPODS-2002-ChatterjiEGY #approximate #complexity #on the #optimisation #query
On the Complexity of Approximate Query Optimization (SC, SSKE, SG, MDY), pp. 282–292.
SIGMODSIGMOD-2002-GuhaJKSY #approximate #xml
Approximate XML joins (SG, HVJ, NK, DS, TY), pp. 287–298.
VLDBVLDB-2002-LiuJ #approximate #named
A-TOPSS — A Publish/Subscribe System Supporting Approximate Matching (HL, HAJ), pp. 1107–1110.
VLDBVLDB-2002-MankuM #approximate #data type
Approximate Frequency Counts over Data Streams (GSM, RM), pp. 346–357.
FoSSaCSFoSSaCS-2002-SchoppS #process #using #verification
Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes (US, AKS), pp. 372–386.
ICSMEICSM-2002-RedondoAVB #approximate #retrieval #reuse #specification
Approximate Retrieval of Incomplete and Formal Specifications Applied to Vertical Reuse (RPDR, JJPA, AFV, ABBM), pp. 618–627.
SASSAS-2002-Jeannet #abstract interpretation #approximate #data type #representation
Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes (BJ), pp. 52–68.
SASSAS-2002-PierroHW #approximate
Analysing Approximate Confinement under Uniform Attacks (ADP, CH, HW), pp. 310–325.
STOCSTOC-2002-AjtaiJKS #approximate #data type
Approximate counting of inversions in a data stream (MA, TSJ, RK, DS), pp. 370–379.
STOCSTOC-2002-AlonVKK #approximate #problem #random
Random sampling and approximation of MAX-CSP problems (NA, WFdlV, RK, MK), pp. 232–239.
STOCSTOC-2002-AryaMM #approximate #diagrams
Space-efficient approximate Voronoi diagrams (SA, TM, DMM), pp. 721–730.
STOCSTOC-2002-BadoiuHI #approximate #clustering
Approximate clustering via core-sets (MB, SHP, PI), pp. 250–257.
STOCSTOC-2002-BatuDKR #approximate #complexity
The complexity of approximating entropy (TB, SD, RK, RR), pp. 678–687.
STOCSTOC-2002-CharikarLLPPRSS #approximate #complexity #modelling
Approximating the smallest grammar: Kolmogorov complexity in natural models (MC, EL, DL, RP, MP, AR, AS, AS), pp. 792–801.
STOCSTOC-2002-ChekuriK #approximate
Approximation schemes for preemptive weighted flow time (CC, SK), pp. 297–305.
STOCSTOC-2002-CheriyanVV #algorithm #approximate #low cost
Approximation algorithms for minimum-cost k-vertex connected subgraphs (JC, SV, AV), pp. 306–312.
STOCSTOC-2002-ChienRS #algebra #approximate
Clifford algebras and approximating the permanent (SC, LER, AS), pp. 222–231.
STOCSTOC-2002-CryanD #algorithm #approximate #constant #polynomial
A polynomial-time algorithm to approximately count contingency tables when the number of rows is constant (MC, MED), pp. 240–249.
STOCSTOC-2002-ElkinK #algorithm #approximate #combinator #problem
Combinatorial logarithmic approximation algorithm for directed telephone broadcast problem (ME, GK), pp. 438–447.
STOCSTOC-2002-Feige #approximate #complexity
Relations between average case complexity and approximation complexity (UF), pp. 534–543.
STOCSTOC-2002-GilbertGIKMS #algorithm #approximate #maintenance #performance
Fast, small-space algorithms for approximate histogram maintenance (ACG, SG, PI, YK, SM, MS), pp. 389–398.
STOCSTOC-2002-Holmerin #approximate
Vertex cover on 4-regular hyper-graphs is hard to approximate within 2-epsilon (JH), pp. 544–552.
STOCSTOC-2002-Khot #approximate
Hardness results for approximate hypergraph coloring (SK), pp. 351–359.
STOCSTOC-2002-SaksS #approximate #bound #data type #distance
Space lower bounds for distance approximation in the data stream model (MES, XS), pp. 360–369.
CIAACIAA-J-2000-BergeronH02 #algorithm #approximate #string
Vector Algorithms for Approximate String Matching (AB, SH), pp. 53–66.
ICALPICALP-2002-BermanK #approximate #bound
Approximation Hardness of Bounded Degree MIN-CSP and MIN-BISECTION (PB, MK), pp. 623–632.
ICALPICALP-2002-BermanKN #approximate #parallel
Approximating Huffman Codes in Parallel (PB, MK, YN), pp. 845–855.
ICALPICALP-2002-CzumajLZ #approximate #design #network #polynomial #problem
Polynomial-Time Approximation Schemes for the Euclidean Survivable Network Design Problem (AC, AL, HZ), pp. 973–984.
ICALPICALP-2002-HermenegildoPBL #approximate #debugging #semantics #specification #using #validation
Program Debugging and Validation Using Semantic Approximations and Partial Specifications (MVH, GP, FB, PLG), pp. 69–72.
ICALPICALP-2002-Nisan #approximate #communication #complexity #set
The Communication Complexity of Approximate Set Packing and Covering (NN), pp. 868–875.
ICGTICGT-2002-BaldanK #approximate #behaviour #graph transformation
Approximating the Behaviour of Graph Transformation Systems (PB, BK), pp. 14–29.
CIKMCIKM-2002-GrahneZ #approximate #xml
Discovering approximate keys in XML data (GG, JZ), pp. 453–460.
ICMLICML-2002-FitzgibbonDA #approximate #monte carlo #polynomial
Univariate Polynomial Inference by Monte Carlo Message Length Approximation (LJF, DLD, LA), pp. 147–154.
ICMLICML-2002-KakadeL #approximate #learning
Approximately Optimal Approximate Reinforcement Learning (SK, JL), pp. 267–274.
ICMLICML-2002-MerkeS #approximate #convergence #learning
A Necessary Condition of Convergence for Reinforcement Learning with Function Approximation (AM, RS), pp. 411–418.
ICPRICPR-v1-2002-YuK #3d #approximate #estimation
An Approximative Calculation of Relative Convex Hulls for Surface Area Estimation of 3D Digital Objects (LY, RK), pp. 131–134.
ICPRICPR-v2-2002-Robles-KellySH #approximate #performance #segmentation
A Fast Leading Eigenvector Approximation for Segmentation and Grouping (ARK, SS, ERH), pp. 639–642.
ICPRICPR-v2-2002-YangBS #approximate #recognition
An Application of Nonlinear Wavelet Approximation to Face Recognition (LY, TDB, CYS), p. 48–?.
ICPRICPR-v4-2002-KolesnikovF #algorithm #approximate #performance
A Fast Near-Optimal Algorithm for Approximation of Polygonal Curves (AK, PF), pp. 335–338.
ICPRICPR-v4-2002-MollinedaVC #approach #approximate #string
A Windowed Weighted Approach for Approximate Cyclic String Matching (RAM, EV, FC), pp. 188–191.
KRKR-2002-BrandtKT #approximate #difference #logic
Approximation and Difference in Description Logics (SB, RK, AYT), pp. 203–214.
KRKR-2002-DeneckerMT #approximate #information management #representation
Ultimate Approximations in Nonmonotonic Knowledge Representation Systems (MD, VWM, MT), pp. 177–190.
CAVCAV-2002-BarnerG #approximate #model checking #reduction #symmetry
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking (SB, OG), pp. 93–106.
ICLPICLP-2002-FerrandL #approximate #finite #logic programming #reduction
A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs (GF, AL), pp. 478–479.
VMCAIVMCAI-2002-HardingRS #approximate #atl
Approximating ATL* in ATL (AH, MR, PYS), pp. 289–301.
ICDARICDAR-2001-MikheevVF #approximate
High-Quality Polygonal Contour Approximation Based on Relaxation (AM, LV, VF), pp. 361–367.
ICDARICDAR-2001-Takasu #approximate #documentation #performance #string
Document Filtering for Fast Approximate String Matching of Errorneous Text (AT), pp. 916–920.
PODSPODS-2001-GilbertKMS #approximate #statistics #summary
Optimal and Approximate Computation of Summary Statistics for Range Aggregates (ACG, YK, SM, MS).
VLDBVLDB-2001-GarofalakisG #approximate #query
Approximate Query Processing: Taming the TeraBytes (MNG, PBG).
VLDBVLDB-2001-GilbertKMS #approximate #query #summary
Surfing Wavelets on Streams: One-Pass Summaries for Approximate Aggregate Queries (ACG, YK, SM, MS), pp. 79–88.
VLDBVLDB-2001-GravanoIJKMS #approximate #database #for free #string
Approximate String Joins in a Database (Almost) for Free (LG, PGI, HVJ, NK, SM, DS), pp. 491–500.
STOCSTOC-2001-BartalCR #approximate #clustering #metric
Approximating min-sum k-clustering in metric spaces (YB, MC, DR), pp. 11–20.
STOCSTOC-2001-GoemansW #algorithm #approximate #problem #programming
Approximation algorithms for MAX-3-CUT and other problems via complex semidefinite programming (MXG, DPW), pp. 443–452.
STOCSTOC-2001-GuhaMM #approximate #constant #problem
A constant factor approximation for the single sink edge installation problems (SG, AM, KM), pp. 383–388.
STOCSTOC-2001-HaleviKKN #approximate #np-hard
Private approximation of NP-hard functions (SH, RK, EK, KN), pp. 550–559.
STOCSTOC-2001-JainV #algorithm #approximate #game studies
Applications of approximation algorithms to cooperative games (KJ, VVV), pp. 364–372.
STOCSTOC-2001-JerrumSV #algorithm #approximate #matrix #polynomial
A polynomial-time approximation algorithm for the permanent of a matrix with non-negative entries (MJ, AS, EV), pp. 712–721.
STOCSTOC-2001-MossR #algorithm #approximate #problem
Approximation algorithms for constrained for constrained node weighted steiner tree problems (AM, YR), pp. 373–382.
STOCSTOC-2001-Shparlinski #approximate #finite #polynomial
Sparse polynomial approximation in finite fields (IS), pp. 209–215.
STOCSTOC-2001-ThorupZ #approximate #distance
Approximate distance oracles (MT, UZ), pp. 183–192.
STOCSTOC-2001-Trevisan #bound #optimisation #problem
Non-approximability results for optimization problems on bounded degree instances (LT), pp. 453–461.
ICALPICALP-2001-ChazelleRT #approximate #sublinear
Approximating the Minimum Spanning Tree Weight in Sublinear Time (BC, RR, LT), pp. 190–200.
ICALPICALP-2001-EngebretsenK #approximate #bound #metric
Approximation Hardness of TSP with Bounded Metrics (LE, MK), pp. 201–212.
ICALPICALP-2001-FeigenbaumIMNSW #approximate #multi
Secure Multiparty Computation of Approximations (JF, YI, TM, KN, MS, RNW), pp. 927–938.
ICALPICALP-2001-GandhiKS #algorithm #approximate #problem
Approximation Algorithms for Partial Covering Problems (RG, SK, AS), pp. 225–236.
ICALPICALP-2001-Woeginger #constraints #on the #precedence #scheduling
On the Approximability of Average Completion Time Scheduling under Precedence Constraints (GJW), pp. 887–897.
CIKMCIKM-2001-FerroRG #approximate
Approximately Common Patterns in Shared-Forests (MVF, FJR, JGG), pp. 73–80.
ICMLICML-2001-ChoiR #approximate #difference #fixpoint #learning #performance
A Generalized Kalman Filter for Fixed Point Approximation and Efficient Temporal Difference Learning (DC, BVR), pp. 43–50.
ICMLICML-2001-DomeniconiG #approach #approximate #classification #dataset #multi #nearest neighbour #performance #query #scalability
An Efficient Approach for Approximating Multi-dimensional Range Queries and Nearest Neighbor Classification in Large Datasets (CD, DG), pp. 98–105.
ICMLICML-2001-PrecupSD #approximate #difference #learning
Off-Policy Temporal Difference Learning with Function Approximation (DP, RSS, SD), pp. 417–424.
ICMLICML-2001-Zhang #approximate #bound #problem
Some Sparse Approximation Bounds for Regression Problems (TZ0), pp. 624–631.
PPDPPPDP-2001-GiavittoM #approximate #data type #declarative
Declarative Definition of Group Indexed Data Structures and Approximation of Their Domains (JLG, OM), pp. 150–161.
SACSAC-2001-BaroneBVM #algorithm #analysis #approximate #problem
An approximation algorithm for the shortest common supersequence problem: an experimental analysis (PB, PB, GDV, GM), pp. 56–60.
CSLCSL-2001-Koriche #approximate #first-order #logic #reasoning
A Logic for Approximate First-Order Reasoning (FK), pp. 262–276.
ICLPICLP-2001-Colmerauer #approximate #constraints #multi
Solving the Multiplication Constraint in Several Approximation Spaces (AC), p. 1.
IJCARIJCAR-2001-Middeldorp #approximate #automaton #dependence #graph #using
Approximating Dependency Graphs Using Tree Automata Techniques (AM), pp. 593–610.
LICSLICS-2001-DasD #approximate
Successive Approximation of Abstract Transition Relations (SD, DLD), pp. 51–58.
ICSTSAT-2001-HuntMS #complexity #constraints #probability #problem #quantifier
Complexity and Approximability of Quantified and Stochastic Constraint Satisfaction Problems (HBHI, MVM, RES), pp. 217–230.
DACDAC-2000-ChenK #approximate #linear #programming
Floorplan sizing by linear programming approximation (PC, ESK), pp. 468–471.
PODSPODS-2000-GeertsK #approximate #database #linear #logic #transitive #using
Linear Approximation of Planar Spatial Databases Using Transitive-Closure Logic (FG, BK), pp. 126–135.
SIGMODSIGMOD-2000-AcharyaGP #approximate #query
Congressional Samples for Approximate Answering of Group-By Queries (SA, PBG, VP), pp. 487–498.
SIGMODSIGMOD-2000-GunopulosKTD #approximate #multi #query
Approximating Multi-Dimensional Aggregate Range Queries over Real Attributes (DG, GK, VJT, CD), pp. 463–474.
SIGMODSIGMOD-2000-WangSSZZW #approximate #database
An Approximate Search Engine for Structural Databases (JTLW, XW, DS, BAS, KZ, XZ, QM, ZW), p. 584.
VLDBVLDB-2000-Bar-YossefBCFW #approximate #query #random #web
Approximating Aggregate Queries about Web Pages via Random Walks (ZBY, ACB, SC, JF, DW), pp. 535–544.
VLDBVLDB-2000-ChakrabartiGRS #approximate #query #using
Approximate Query Processing Using Wavelets (KC, MNG, RR, KS), pp. 111–122.
VLDBVLDB-2000-ChangG #approximate #query
Approximate Query Translation Across Heterogeneous Information Sources (KCCC, HGM), pp. 566–577.
VLDBVLDB-2000-GantiLR #approximate #named #query #self
ICICLES: Self-Tuning Samples for Approximate Query Answering (VG, MLL, RR), pp. 176–187.
VLDBVLDB-2000-SakuraiYUK #approximate #using
The A-tree: An Index Structure for High-Dimensional Spaces Using Relative Approximation (YS, MY, SU, HK), pp. 516–526.
PEPMPEPM-2000-GallagherP #approximate #using
Using Regular Approximations for Generalisation During Partial Evalution (JPG, JCP), pp. 44–51.
STOCSTOC-2000-AleksandrovMS #algorithm #approximate #geometry #problem
Approximation algorithms for geometric shortest path problems (LA, AM, JRS), pp. 286–295.
STOCSTOC-2000-Bar-NoyBFNS #approach #approximate #resource management #scheduling
A unified approach to approximating resource allocation and scheduling (ABN, RBY, AF, JN, BS), pp. 735–744.
STOCSTOC-2000-EvenGS #approximate #graph
Improved approximations of crossings in graph drawings (GE, SG, BS), pp. 296–305.
STOCSTOC-2000-FeigeHK #approximate
Approximating the domatic number (UF, MMH, GK), pp. 134–143.
STOCSTOC-2000-FeigeKN #approximate
Approximating the minimum bisection size (extended abstract) (UF, RK, KN), pp. 530–536.
STOCSTOC-2000-Furer #approximate #matrix
Approximating permanents of complex matrices (MF), pp. 667–669.
STOCSTOC-2000-GuptaT #algorithm #approximate #classification #constant #problem
A constant factor approximation algorithm for a class of classification problems (AG, ÉT), pp. 652–658.
STOCSTOC-2000-GurvitsS #algorithm #approximate #polynomial
A deterministic polynomial-time algorithm for approximating mixed discriminant and mixed volume (LG, AS), pp. 48–57.
STOCSTOC-2000-KenyonSY #approximate #polynomial
Polynomial-time approximation scheme for data broadcast (CK, NS, NEY), pp. 659–666.
STOCSTOC-2000-KonemannR #algorithm #approximate #bound #matter
A matter of degree: improved approximation algorithms for degree-bounded minimum spanning trees (JK, RR), pp. 537–546.
STOCSTOC-2000-MuthukrishnanS #approximate #comparison #nearest neighbour #sequence
Approximate nearest neighbors and sequence comparison with block operations (SM, SCS), pp. 416–424.
STOCSTOC-2000-PapadimitriouV #on the #problem
On the approximability of the traveling salesman problem (extended abstract) (CHP, SV), pp. 126–133.
ICALPICALP-2000-CzumajL #approximate #multi #performance #problem
Fast Approximation Schemes for Euclidean Multi-connectivity Problems (AC, AL), pp. 856–868.
ICALPICALP-2000-EngebretsenH #approximate #clique
Clique Is Hard to Approximate within n1-o(1) (LE, JH), pp. 2–12.
ICALPICALP-2000-Grigni #approximate #graph
Approximate TSP in Graphs with Forbidden Minors (MG), pp. 869–877.
ICALPICALP-2000-Hastad #algorithm #approximate #np-hard #optimisation #performance #problem #question
Which NP-Hard Optimization Problems Admit Non-trivial Efficient Approximation Algorithms? (JH), p. 235.
ICALPICALP-2000-JansenP #approximate #multi #scheduling
Polynominal Time Approximation Schemes for General Multiprocessor Job Shop Scheduling (KJ, LP), pp. 878–889.
ICALPICALP-2000-KrivelevichV #approximate #independence
Approximating the Independence Number and the Chromatic Number in Expected Polynominal Time (MK, VHV), pp. 13–24.
CIKMCIKM-2000-EgeciogluF #approximate #reduction #similarity
Dimensionality Reduction and Similarity Computation by Inner Product Approximations (ÖE, HF), pp. 219–226.
CIKMCIKM-2000-FerhatosmanogluTAA #approximate #set
Vector Approximation based Indexing for Non-uniform High Dimensional Data Sets (HF, ET, DA, AEA), pp. 202–209.
CIKMCIKM-2000-WangW #approximate #nearest neighbour
Supporting Subseries Nearest Neighbor Search via Approximation (CW, XSW), pp. 314–321.
CIKMCIKM-2000-WuAA #approximate #composition #query #using
Using Wavelet Decomposition to Support Progressive and Approximate Range-Sum Queries over Data Cubes (YLW, DA, AEA), pp. 414–421.
ICMLICML-2000-FariasR #approximate #fixpoint #learning
Fixed Points of Approximate Value Iteration and Temporal-Difference Learning (DPdF, BVR), pp. 207–214.
ICMLICML-2000-JiangL #approximate #information retrieval
Approximate Dimension Equalization in Vector-based Information Retrieval (FJ, MLL), pp. 423–430.
ICMLICML-2000-SmolaS #approximate #machine learning #matrix
Sparse Greedy Matrix Approximation for Machine Learning (AJS, BS), pp. 911–918.
ICPRICPR-v2-2000-Figueiredo #approximate #learning #on the
On Gaussian Radial Basis Function Approximations: Interpretation, Extensions, and Learning Strategies (MATF), pp. 2618–2621.
ICPRICPR-v2-2000-HontaniD #approximate #generative #multi
Primitive Curve Generation Based on Multiscale Contour Figure Approximation (HH, KD), pp. 2887–2890.
ICPRICPR-v2-2000-SunOKAKT #algorithm #approximate #distance #reduction
Two-Stage Computational Cost Reduction Algorithm Based on Mahalanobis Distance Approximations (FS, SO, NK, HA, SK, TT), pp. 2696–2699.
ICPRICPR-v3-2000-TongW #approximate #image #nearest neighbour
Approximate Nearest Neighbor Search for Fractal Image Compression Based on a New Affine Transform Parametrization (CT, MW), pp. 3223–3227.
ICPRICPR-v3-2000-TraverRI #algorithm #approximate #performance #search-based
Exploring the Performance of Genetic Algorithms as Polygonal Approximators (VJT, GR, JMIQ), pp. 3774–3777.
KDDKDD-2000-FeldmanLRSS #approximate #bias #framework #information management #specification
A framework for specifying explicit bias for revision of approximate information extraction rules (RF, YL, BR, YS, JS), pp. 189–197.
KRKR-2000-McCarthy #approximate
Approximate Objects and Approximate Theories (JM0), pp. 519–526.
KRKR-2000-VerberneHT #approximate #constraints #reasoning #using
Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation (AV, FvH, AtT), pp. 323–332.
ICSEICSE-2000-DangK #approximate #infinity #model checking #realtime
Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems (ZD, RAK), pp. 345–354.
LCTESLCTES-2000-CortiBG #approximate #execution #multi #worst-case
Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems (MC, RB, TRG), pp. 178–198.
LICSLICS-2000-DesharnaisGJP #approximate #markov #process
Approximating Labeled Markov Processes (JD, VG, RJ, PP), pp. 95–106.
LICSLICS-2000-LemstromH #approximate #logic #pattern matching #transitive
Approximate Pattern Matching is Expressible in Transitive Closure Logic (KL, LH), pp. 157–167.
DACDAC-1999-BeniniMMOP #algorithm #approximate #component #kernel #optimisation
Kernel-Based Power Optimization of RTL Components: Exact and Approximate Extraction Algorithms (LB, GDM, EM, GO, MP), pp. 247–252.
DACDAC-1999-ChenW #approximate #bound #fault
Error Bounded Padé Approximation via Bilinear Conformal Transformation (CPC, DFW), pp. 7–12.
DACDAC-1999-CoelhoPS #algorithm #approximate #generative #robust
Robust Rational Function Approximation Algorithm for Model Generation (CPC, JRP, LMS), pp. 207–212.
DACDAC-1999-GovindarajuDB #approximate #reachability #using
Improved Approximate Reachability Using Auxiliary State Variables (SGG, DLD, JPB), pp. 312–316.
DATEDATE-1999-CornoRS #algorithm #approximate #equivalence #search-based #verification
Approximate Equivalence Verification of Sequential Circuits via Genetic Algorithms (FC, MSR, GS), pp. 754–755.
ICDARICDAR-1999-ChaSS #algorithm #analysis #approximate #recognition #sequence #string
Approximate Stroke Sequence String Matching Algorithm for Character Recognition and Analysis (SHC, YCS, SNS), pp. 53–56.
PODSPODS-1999-BenediktL #approximate #constraints #query
Exact and Approximate Aggregation in Constraint Query (MB, LL), pp. 102–113.
SIGMODSIGMOD-1999-AcharyaGPR #approximate #query
The Aqua Approximate Query Answering System (SA, PBG, VP, SR), pp. 574–576.
SIGMODSIGMOD-1999-AcharyaGPR99a #approximate #query
Join Synopses for Approximate Query Answering (SA, PBG, VP, SR), pp. 275–286.
SIGMODSIGMOD-1999-VitterW #approximate #multi #using
Approximate Computation of Multidimensional Aggregates of Sparse Data Using Wavelets (JSV, MW), pp. 193–204.
VLDBVLDB-1999-AcharyaGP #approximate #named #performance #query #using
Aqua: A Fast Decision Support Systems Using Approximate Query Answers (SA, PBG, VP), pp. 754–757.
VLDBVLDB-1999-IoannidisP #approximate
Histogram-Based Approximation of Set-Valued Query-Answers (YEI, VP), pp. 174–185.
IWPCIWPC-1999-HarmanFHBD #approximate #decidability
Program Simplification as a Means of Approximating Undecidable Propositions (MH, CF, RMH, DB, SD), pp. 208–217.
STOCSTOC-1999-AroraK #approximate #latency #problem
Approximation Schemes for Minimum Latency Problems (SA, GK), pp. 688–693.
STOCSTOC-1999-Bar-NoyGNS #approximate #multi #realtime #scheduling #throughput
Approximating the Throughput of Multiple Machines Under Real-Time Scheduling (ABN, SG, JN, BS), pp. 622–631.
STOCSTOC-1999-BorodinOR99a #algorithm #approximate #clustering #problem
Subquadratic Approximation Algorithms for Clustering Problems in High Dimensional Spaces (AB, RO, YR), pp. 435–444.
STOCSTOC-1999-ChakrabartiCGL #approximate #bound #complexity #nearest neighbour
A Lower Bound on the Complexity of Approximate Nearest-Neighbor Searching on the Hamming Cube (AC, BC, BG, AL), pp. 305–311.
STOCSTOC-1999-CharikarGTS #algorithm #approximate #problem
A Constant-Factor Approximation Algorithm for the k-Median Problem (Extended Abstract) (MC, SG, ÉT, DBS), pp. 1–10.
STOCSTOC-1999-ChenM #approximate #multi #polynomial #scheduling
A Polynomial Time Approximation Scheme for General Multiprocessor Job Scheduling (Extended Abstract) (JC, AM), pp. 418–427.
STOCSTOC-1999-ErgunKR #approximate #performance
Fast Approximate PCPs (FE, RK, RR), pp. 41–50.
STOCSTOC-1999-GuruswamiKRSY #algorithm #approximate #problem
Near-Optimal Hardness Results and Approximation Algorithms for Edge-Disjoint Paths and Related Problems (VG, SK, RR, FBS, MY), pp. 19–28.
STOCSTOC-1999-JansenP #approximate #parallel #scheduling
Improved Approximation Schemes for Scheduling Unrelated Parallel Machines (KJ, LP), pp. 408–417.
STOCSTOC-1999-JansenSS #approximate #polynomial
Makespan Minimization in Job Shops: A Polynomial Time Approximation Scheme (KJ, RSO, MS), pp. 394–399.
STOCSTOC-1999-KiwiMS #approximate #fault #testing
Approximate Testing with Relative Error (MAK, FM, MS), pp. 51–60.
STOCSTOC-1999-NayakW #approximate #complexity #quantum #query #statistics
The Quantum Query Complexity of Approximating the Median and Related Statistics (AN, FW), pp. 384–393.
STOCSTOC-1999-SchulmanV #approximate #problem
Majorizing Estimators and the Approximation of #P-Complete Problems (LJS, VVV), pp. 288–294.
FLOPSFLOPS-1999-BeierleM #approximate #prolog #source code #type checking #using
Using Types as Approximations for Type Checking Prolog Programs (CB, GM), pp. 251–266.
ICALPICALP-1999-HammarN #approximate
Approximation Results for Kinetic Variants of TSP (MH, BJN), pp. 392–401.
ICALPICALP-1999-KrauseSW #approximate #problem
Approximations by OBDDs and the Variable Ordering Problem (MK, PS, IW), pp. 493–502.
HCIHCI-CCAD-1999-YuCK #approximate #multi #using
Dynamic event filtering technique using multi-level path approximation in a shared virtual environment (SJY, YCC, KK), pp. 583–587.
ICMLICML-1999-UtgoffS #approximate #unification
Approximation Via Value Unification (PEU, DJS), pp. 425–432.
KDDKDD-1999-BarbaraW #approximate #data analysis #using
Using Approximations to Scale Exploratory Data Analysis in Datacubes (DB, XW), pp. 382–386.
KDDKDD-1999-BennettFG #approximate #nearest neighbour #query
Density-Based Indexing for Approximate Nearest-Neighbor Queries (KPB, UMF, DG), pp. 233–243.
KDDKDD-1999-ShanmugasundaramFB #approximate #query
Compressed Data Cubes for OLAP Aggregate Query Approximation on Continuous Dimensions (JS, UMF, PSB), pp. 223–232.
SACSAC-1999-Bugarin #approximate #linear #polynomial
Linear Quadratic Approximation for Solving a Model Economy Distorted by Progressive Taxation (MNSB), pp. 52–56.
DACDAC-1998-GovindarajuDHH #approximate #reachability #using
Approximate Reachability with BDDs Using Overlapping Projections (SGG, DLD, AJH, MH), pp. 451–456.
DACDAC-1998-RaviMSS #approximate #composition #diagrams
Approximation and Decomposition of Binary Decision Diagrams (KR, KLM, TRS, FS), pp. 445–450.
DATEDATE-1998-FreundF #approximate #linear #modelling #multi #scalability #using
Reduced-Order Modeling of Large Linear Passive Multi-Terminal Circuits Using Matrix-Pade Approximation (RWF, PF), pp. 530–537.
DATEDATE-1998-HelvigRZ #approximate #bound #problem
Improved Approximation Bounds for the Group Steiner Problem (CSH, GR, AZ), pp. 406–413.
DATEDATE-1998-JiangC #approximate #estimation
Exact and Approximate Estimation for Maximum Instantaneous Current of CMOS Circuits (YMJ, KTC), pp. 698–702.
DATEDATE-1998-ShaoC #approximate #design #using
MCM Interconnect Design Using Two-Pole Approximation (JS, RMMC), pp. 544–548.
SIGMODSIGMOD-1998-GibbonsM #approximate #query #statistics #summary
New Sampling-Based Summary Statistics for Improving Approximate Query Answers (PBG, YM), pp. 331–342.
SIGMODSIGMOD-1998-RajagopalanML #approximate #memory management
Approximate Medians and other Quantiles in One Pass and with Limited Memory (GSM, SR, BGL), pp. 426–435.
VLDBVLDB-1998-AnkerstBKS #adaptation #approximate #query #similarity #using
Improving Adaptable Similarity Query Processing by Using Approximations (MA, BB, HPK, TS), pp. 206–217.
VLDBVLDB-1998-ShivakumarGC #approximate
Filtering with Approximate Predicates (NS, HGM, CC), pp. 263–274.
VLDBVLDB-1998-ZimbraoS #approximate
A Raster Approximation For Processing of Spatial Joins (GZ, JMdS), pp. 558–569.
STOCSTOC-1998-Arora #np-hard #problem
The Approximability of NP-hard Problems (SA), pp. 337–348.
STOCSTOC-1998-AroraRR #approximate #problem
Approximation Schemes for Euclidean k-Medians and Related Problems (SA, PR, SR), pp. 106–113.
STOCSTOC-1998-Bartal #approximate #metric #on the
On Approximating Arbitrary Metrices by Tree Metrics (YB), pp. 161–168.
STOCSTOC-1998-CalinescuKR #algorithm #approximate #multi
An Improved Approximation Algorithm for Multiway Cut (GC, HJK, YR), pp. 48–52.
STOCSTOC-1998-CharikarCGG #algorithm #approximate
Rounding via Trees: Deterministic Approximation Algorithms for Group Steiner Trees and k-Median (MC, CC, AG, SG), pp. 114–123.
STOCSTOC-1998-Feige #approximate
Approximating the Bandwidth via Volume Respecting Embeddings (Extended Abstract) (UF), pp. 90–99.
STOCSTOC-1998-GoldreichG #on the #problem
On the Limits of Non-Approximability of Lattice Problems (OG, SG), pp. 1–9.
STOCSTOC-1998-Huber #approximate
Exact Sampling and Approximate Counting Techniques (MH), pp. 31–40.
STOCSTOC-1998-IndykM #approximate #nearest neighbour #towards
Approximate Nearest Neighbors: Towards Removing the Curse of Dimensionality (PI, RM), pp. 604–613.
STOCSTOC-1998-KushilevitzOR #approximate #nearest neighbour #performance
Efficient Search for Approximate Nearest Neighbor in High Dimensional Spaces (EK, RO, YR), pp. 614–623.
STOCSTOC-1998-LinialSW #algorithm #approximate #matrix #polynomial #scalability
A Deterministic Strongly Polynomial Algorithm for Matrix Scaling and Approximate Permanents (NL, AS, AW), pp. 644–652.
STOCSTOC-1998-NatanzonSS #algorithm #approximate #polynomial #problem
A Polynomial Approximation Algorithm for the Minimum Fill-In Problem (AN, RS, RS), pp. 41–47.
STOCSTOC-1998-RaoS #approximate #geometry #graph
Approximating Geometrical Graphs via “Spanners” and “Banyans” (SR, WDS), pp. 540–550.
ICALPICALP-1998-BazganST #algorithm #approximate #performance #problem #similarity
Efficient Approximation Algorithms for the Subset-Sums Equality Problem (CB, MS, ZT), pp. 387–396.
ICALPICALP-1998-CzumajL #approximate #polynomial
A Polynomial Time Approximation Scheme for Euclidean Minimum Cost k-Connectivity (AC, AL), pp. 682–694.
ICALPICALP-1998-PelegR #approximate #communication
Deterministic Polylog Approximation for Minimum Communication Spanning Trees (DP, ER), pp. 670–681.
CIAAWIA-1998-HolubM #approximate #automaton #finite #implementation #nondeterminism #pattern matching
Implementation of Nondeterministic Finite Automata for Approximate Pattern Matching (JH, BM), pp. 92–99.
CIKMCIKM-1998-ThomasianCL #approximate #clustering #composition
Clustering and Singular Value Decomposition for Approximate Indexing in High Dimensional Spaces (AT, VC, CSL), pp. 201–207.
CIKMCIKM-1998-VitterWI #approximate
Data Cube Approximation and Histograms via Wavelets (JSV, MW, BRI), pp. 96–104.
ICMLICML-1998-KollerF #approximate #learning #probability #process #using
Using Learning for Approximation in Stochastic Processes (DK, RF), pp. 287–295.
ICMLICML-1998-PrecupU #approximate #classification #using
Classification Using Phi-Machines and Constructive Function Approximation (DP, PEU), pp. 439–444.
ICPRICPR-1998-JuanVA #algorithm #approximate #nearest neighbour #performance
Fast k-nearest-neighbours searching through extended versions of the approximating and eliminating search algorithm (AESA) (AJ, EV, PA), pp. 828–830.
ICPRICPR-1998-KahlH #approximate #re-engineering #robust #self
Robust self-calibration and Euclidean reconstruction via affine approximation (FK, AH), pp. 56–58.
ICPRICPR-1998-PalauS #approximate #classification #nearest neighbour #performance
The labelled cell classifier: a fast approximation to k nearest neighbors (AMP, RRS), pp. 823–827.
SACSAC-1998-WaldenBH #approximate #clustering #fuzzy #multi #using
Evaluating multi-valued inverse functions using clustering and fuzzy approximations (MAW, MB, AH), pp. 74–79.
RTARTA-1998-Genet #approximate #decidability #normalisation #set
Decidable Approximations of Sets of Descendants and Sets of Normal Forms (TG), pp. 151–165.
ICDARICDAR-1997-Favata #approximate #recognition #string #using #word
General word recognition using approximate segment-string matching (JTF), pp. 92–96.
ICDARICDAR-1997-HarukiH #approximate #image #scalability
Scalable Image Coding by Spline Approximation for a Gray-scale Image (RH, TH), pp. 407–411.
ICDARICDAR-1997-Takasu #approximate #string
An Approximate String Match for Garbled Text with Various Accuracy (AT), pp. 957–961.
VLDBVLDB-1997-GibbonsMP #approximate #incremental #maintenance #performance
Fast Incremental Maintenance of Approximate Histograms (PBG, YM, VP), pp. 466–475.
SASSAS-1997-Marriott #abstract interpretation #approximate #formal method
Abstract Interpretation: A Theory of Approximate Computation (KM), pp. 367–378.
STOCSTOC-1997-AsanoKTT #approximate #polynomial #towards
Covering Points in the Plane by k-Tours: Towards a Polynomial Time Approximation Scheme for General k (TA, NK, HT, TT), pp. 275–283.
STOCSTOC-1997-AuerLS #approximate #learning #pseudo #set
Approximating Hyper-Rectangles: Learning and Pseudo-Random Sets (PA, PML, AS), pp. 314–323.
STOCSTOC-1997-DuhF #approximate #optimisation
Approximation of k-Set Cover by Semi-Local Optimization (RcD, MF), pp. 256–264.
STOCSTOC-1997-KhannaSW #classification #constraints #problem
A Complete Classification of the Approximability of Maximization Problems Derived from Boolean Constraint Satisfaction (SK, MS, DPW), pp. 11–20.
STOCSTOC-1997-LeonardiR #approximate #parallel
Approximating Total Flow Time on Parallel Machines (SL, DR), pp. 110–119.
STOCSTOC-1997-LubyV #approximate
Approximately Counting Up To Four (Extended Abstract) (ML, EV), pp. 682–687.
STOCSTOC-1997-Reif #approximate #constant #evaluation #polynomial
Approximate Complex Polynomial Evaluation in Near Constant Work Per Point (JHR), pp. 30–39.
STOCSTOC-1997-ShmoysTA #algorithm #approximate #problem
Approximation Algorithms for Facility Location Problems (Extended Abstract) (DBS, ÉT, KA), pp. 265–274.
STOCSTOC-1997-SrinivasanT #algorithm #approximate
A Constant-Factor Approximation Algorithm for Packet Routing, and Balancing Local vs. Global Criteria (AS, CPT), pp. 636–643.
STOCSTOC-1997-Trevisan #geometry
When Hamming Meets Euclid: The Approximability of Geometric TSP and MST (Extended Abstract) (LT), pp. 21–29.
ICALPICALP-1997-Fujito #approach #approximate #problem
A Primal-Dual Approach to Approximation of Node-Deletion Problems for Matroidal Properties (TF), pp. 749–759.
ICALPICALP-1997-Jansen #approximate #problem
Approximation Results for the Optimum Cost Partition Problem (KJ), pp. 727–737.
CIKMCIKM-1997-Baeza-YatesN #approximate #retrieval
Block Addressing Indices for Approximate Text Retrieval (RABY, GN), pp. 1–8.
CIKMCIKM-1997-FrenchPS #approximate #information retrieval #word
Applications of Approximate Word Matching in Information Retrieval (JCF, ALP, ES), pp. 9–15.
ICMLICML-1997-Baxter #approximate #canonical
The Canonical Distortion Measure for Vector Quantization and Function Approximation (JB), pp. 39–47.
ICMLICML-1997-KimuraMK #approximate #learning
Reinforcement Learning in POMDPs with Function Approximation (HK, KM, SK), pp. 152–160.
SIGIRSIGIR-1997-Cooper #approximate #how
How to Read Less and Know More — Approximate OCR for Thai (DC), pp. 216–225.
LOPSTRLOPSTR-1997-SaglamG #approximate #logic programming #source code
Constrained Regular Approximation of Logic Programs (HS, JPG), pp. 282–299.
SACSAC-1997-HashemiCTSP #approximate #multi
A diagnostic system based on a multi-decision approximate rules model (RRH, FFC, JRT, WS, MGP), pp. 20–24.
ICLPILPS-1997-BaralS #approximate #reasoning
Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information (CB, TCS), pp. 387–401.
DACDAC-1996-ChenH #algorithm #approximate #performance
Efficient Approximation Algorithms for Floorplan Area Minimization (DZC, XH), pp. 483–486.
DACDAC-1996-TutuianuDP #approximate
An Explicit RC-Circuit Delay Approximation Based on the First Three Moments of the Impulse Response (BT, FD, LTP), pp. 611–616.
ESOPESOP-1996-BakelBF #abstraction #normalisation #term rewriting
Rewrite Systems with Abstraction and β-Rule: Types, Approximants and Normalization (SvB, FB, MF), pp. 387–403.
STOCSTOC-1996-AlonMS #approximate #complexity
The Space Complexity of Approximating the Frequency Moments (NA, YM, MS), pp. 20–29.
STOCSTOC-1996-BenczurK #approximate
Approximating s-t Minimum Cuts in Õ(n2) Time (AAB, DRK), pp. 47–55.
STOCSTOC-1996-BlumRV #algorithm #approximate #problem
A Constant-factor Approximation Algorithm for the k MST Problem (Extended Abstract) (AB, RR, SV), pp. 442–448.
STOCSTOC-1996-Feige #approximate #set
A Threshold of ln n for Approximating Set Cover (Preliminary Version) (UF), pp. 314–318.
STOCSTOC-1996-KellererTW
Approximability and Nonapproximability Results for Minimizing Total Flow Time on a Single Machine (HK, TT, GJW), pp. 418–426.
STOCSTOC-1996-KleinL #algorithm #approximate #performance #source code
Efficient Approximation Algorithms for Semidefinite Programs Arising from MAX CUT and COLORING (PNK, HIL), pp. 338–347.
ICALPICALP-1996-AlonS #approximate #integer #parallel #problem #programming
Improved Parallel Approximation of a Class of Integer Programming Programming Problems (NA, AS), pp. 562–573.
ICALPICALP-1996-Chen #approximate #graph #problem
Practical Approximation Schemes for Maximum Induced-Subgraph Problems on K_{3, 3}-free or K_5-free Graphs (ZZC), pp. 268–279.
ICMLICML-1996-BoutilierD #approximate #programming
Approximate Value Trees in Structured Dynamic Programming (CB, RD), pp. 54–62.
ICMLICML-1996-TadepalliO #approximate #domain model #learning #modelling #scalability
Scaling Up Average Reward Reinforcement Learning by Approximating the Domain Models and the Value Function (PT, DO), pp. 471–479.
ICPRICPR-1996-FischlS #adaptation #approximate #image
Learned adaptive nonlinear filtering for anisotropic diffusion approximation in image processing (BF, ELS), pp. 276–280.
ICPRICPR-1996-Matalas #approximate #image #multi #set
A new set of multiscale texture features based on B-spline image approximation (IM), pp. 810–814.
ICPRICPR-1996-TakasuKYIOA #approximate
Approximate matching for OCR-processed bibliographic data (AT, NK, MY, OI, KO, JA), pp. 175–179.
ICPRICPR-1996-YuCXY #3d #approximate #higher-order
3D shape and motion by SVD under higher-order approximation of perspective projection (HY, QC, GX, MY), pp. 456–460.
KRKR-1996-TeijeH #approximate #using
Computing Approximate Diagnoses By Using Approximate Entailment (AtT, FvH), pp. 256–265.
CSLCSL-1996-Malmstrom #approximate #optimisation #problem
Optimization Problems with Approximation Schemes (AM), pp. 316–333.
RTARTA-1996-Jacquemard #approximate #decidability #term rewriting
Decidable Approximations of Term Rewriting Systems (FJ), pp. 362–376.
ICDARICDAR-v2-1995-AbuhaibaDH95a #approximate #documentation
Processing of text documents: straight line approximation and lost loop recovery (ISIA, SD, MJJH), pp. 1157–1160.
TACASTACAS-1995-FrancescoFGI #approximate #finite #model checking #process
Model Checking of Non-Finite State Processes by Finite Approximations (NDF, AF, SG, PI), pp. 195–215.
TACASTACAS-1995-Tofts #approximate #probability #process
Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes (CMNT), pp. 174–194.
STOCSTOC-1995-AroraKK #approximate #np-hard #polynomial #problem
Polynomial time approximation schemes for dense instances of NP-hard problems (SA, DRK, MK), pp. 284–293.
STOCSTOC-1995-AwerbuchABV #approximate
Improved approximation guarantees for minimum-weight k-trees and prize-collecting salesmen (BA, YA, AB, SV), pp. 277–283.
STOCSTOC-1995-BlumCV #approximate #problem
A constant-factor approximation for the k-MST problem in the plane (AB, PC, SV), pp. 294–302.
STOCSTOC-1995-Karger #approximate #network #polynomial #problem #random #reliability
A randomized fully polynomial time approximation scheme for the all terminal network reliability problem (DRK), pp. 11–17.
STOCSTOC-1995-KhullerR #algorithm #approximate #problem
Improved approximation algorithms for uniform connectivity problems (SK, BR), pp. 1–10.
STOCSTOC-1995-KleinbergT #approximate #network #problem
Approximations for the disjoint paths problem in high-diameter planar networks (JMK, ÉT), pp. 26–35.
STOCSTOC-1995-Pan #algorithm #approximate #parallel #polynomial
Optimal (up to polylog factors) sequential and parallel algorithms for approximating complex polynomial zeros (VYP), pp. 741–750.
STOCSTOC-1995-Srinivasan #approximate #problem
Improved approximations of packing and covering problems (AS), pp. 268–276.
ICALPICALP-1995-Ambos-Spies #approximate #on the #polynomial
On Optimal Polynomial Time Approximations: P-Levelability vs. Delta-Levelability (Extended Abstract) (KAS), pp. 384–392.
ICALPICALP-1995-Henzinger #approximate
Approximating Minimum Cuts under Insertions (MRH), pp. 280–291.
ICMLICML-1995-Baird #algorithm #approximate #learning
Residual Algorithms: Reinforcement Learning with Function Approximation (LCBI), pp. 30–37.
ICMLICML-1995-Gordon #approximate #programming
Stable Function Approximation in Dynamic Programming (GJG), pp. 261–268.
KDDKDD-1995-DeogunRS #approximate #set
Exploiting Upper Approximation in the Rough Set Methodology (JSD, VVR, HS), pp. 69–74.
PPDPPLILP-1995-SaglamG #approximate #constraints #logic programming #polymorphism #source code #using
Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions (HS, JPG), pp. 461–462.
SACSAC-1995-HoeltingSW #approximate #problem
Approximation techniques for variations of the p-median problem (CJH, DAS, RLW), pp. 293–299.
CAVCAV-1995-DillW #approximate #realtime #verification
Verification of Real-Time Systems by Successive Over and Under Approximation (DLD, HWT), pp. 409–422.
DACDAC-1994-TsuiPD #approximate
Exact and Approximate Methods for Calculating Signal and Transition Probabilities in FSMs (CYT, MP, AMD), pp. 18–23.
DATEEDAC-1994-ChoHMPS #algorithm #approximate #automaton #composition #traversal
A State Space Decomposition Algorithm for Approximate FSM Traversal (HC, GDH, EM, MP, FS), pp. 137–141.
DATEEDAC-1994-WangD #approximate #linear #optimisation #performance #using
An Efficient Yield Optimization Method Using A Two Step Linear Approximation of Circuit Performance (ZW, SWD), pp. 567–571.
PODSPODS-1994-ChaudhuriK #approximate #datalog #question
Can Datalog be Approximated? (SC, PGK), pp. 86–96.
ESOPESOP-J-1992-HankinH94 #abstract interpretation #approximate #fixpoint
Approximate Fixed Points in Abstract Interpretation (CH, SH), pp. 283–306.
SASSAS-1994-HalbwachsPR #approximate #hybrid #linear #verification
Verification of Linear Hybrid Systems by Means of Convex Approximations (NH, YEP, PR), pp. 223–237.
STOCSTOC-1994-AwerbuchL #algorithm #approximate #multi #network #problem
Improved approximation algorithms for the multi-commodity flow problem and local competitive routing in dynamic networks (BA, TL), pp. 487–496.
STOCSTOC-1994-BellareGLR #approximate #performance #probability #proving
Efficient probabilistic checkable proofs and applications to approximation (MB, SG, CL, AR), p. 820.
STOCSTOC-1994-BellareS
Improved non-approximability results (MB, MS), pp. 184–193.
STOCSTOC-1994-ChariRS #algorithm #approximate #probability
Improved algorithms via approximations of probability distributions (extended abstract) (SC, PR, AS), pp. 584–592.
STOCSTOC-1994-Cohen #approximate
Polylog-time and near-linear work approximation scheme for undirected shortest paths (EC), pp. 16–26.
STOCSTOC-1994-GargH #algorithm #approximate #problem
An O(log k) approximation algorithm for the k minimum spanning tree problem in the plane (NG, DSH), pp. 432–438.
STOCSTOC-1994-GoemansW #algorithm #approximate #satisfiability
.879-approximation algorithms for MAX CUT and MAX 2SAT (MXG, DPW), pp. 422–431.
STOCSTOC-1994-HalldorssonR #approximate #bound #graph #independence #set
Greed is good: approximating independent sets in sparse and bounded-degree graphs (MMH, JR), pp. 439–448.
STOCSTOC-1994-JiangLW #approximate #complexity #sequence
Aligning sequences via an evolutionary tree: complexity and approximation (TJ, ELL, LW), pp. 760–769.
STOCSTOC-1994-MaratheHSR #approximate #problem #specification
Approximation schemes for PSPACE-complete problems for succinct specifications (preliminary version) (MVM, HBHI, RES, VR), pp. 468–477.
ICALPICALP-1994-JiangL #approximate #on the #sequence
On the Approximation of Shortest Common Supersequences and Longest Common Subsequences (TJ, ML), pp. 191–202.
SIGIRSIGIR-1994-RobertsonW #approximate #effectiveness #probability #retrieval
Some Simple Effective Approximations to the 2-Poisson Model for Probabilistic Weighted Retrieval (SER, SW), pp. 232–241.
PPDPALP-1994-CodishM #algebra #approximate #proving
Proving Implications by Algebraic Approximation (MC, GM), pp. 6–22.
SACSAC-1994-RunklerG #approximate #fuzzy #named #performance #realtime
DECADE — fast centroid approximation defuzzification for real time fuzzy control applications (TAR, MG), pp. 161–165.
ICLPICLP-1994-GallagherW #approximate #logic programming #performance #precise #source code
Fast and Precise Regular Approximations of Logic Programs (JPG, DAdW), pp. 599–613.
ICLPILPS-1994-MarriottS #approximate #constraints #interactive #linear
Approximating Interaction between Linear Arithmetic Constraints (KM, PJS), pp. 571–585.
LICSLICS-1994-HuthJK #approximate #linear
Linear Types, Approximation, and Topology (MH, AJ, KK), pp. 110–114.
DACDAC-1993-ChoHMPS #algorithm #approximate #automaton #traversal
Algorithms for Approximate FSM Traversal (HC, GDH, EM, BP, FS), pp. 25–30.
DACDAC-1993-HuangPS #approach #approximate #heuristic #polynomial #problem
A Polynomial-Time Heuristic Approach to Approximate a Solution to the False Path Problem (STH, TMP, JMS), pp. 118–122.
DACDAC-1993-SriramK #approximate #performance
Fast Approximation of the Transient Response of Lossy Transmision Line Trees (MS, SMK), pp. 691–696.
ICDARICDAR-1993-YangHT #approximate #automation #identification #using
Automatic seal identification using fluency function approximation and relaxation matching method (YY, TH, KT), pp. 786–789.
STOCSTOC-1993-AielloAMR #approximate #network
Approximate load balancing on dynamic and asynchronous networks (WA, BA, BMM, SR), pp. 632–641.
STOCSTOC-1993-ArBCG #approximate
Checking approximate computations over the reals (SA, MB, BC, PG), pp. 786–795.
STOCSTOC-1993-BellareGLR #approximate #performance #proving
Efficient probabilistically checkable proofs and applications to approximations (MB, SG, CL, AR), pp. 294–304.
STOCSTOC-1993-CondonFLS #algorithm #approximate
Probabilistically checkable debate systems and approximation algorithms for PSPACE-hard functions (AC, JF, CL, PWS), pp. 305–314.
STOCSTOC-1993-GargVY #approximate #multi #theorem
Approximate max-flow min-(multi)cut theorems and their applications (NG, VVV, MY), pp. 698–707.
STOCSTOC-1993-LubyN #algorithm #approximate #linear #parallel #programming
A parallel approximation algorithm for positive linear programming (ML, NN), pp. 448–457.
STOCSTOC-1993-LundY #approximate #on the #problem
On the hardness of approximating minimization problems (CL, MY), pp. 286–293.
STOCSTOC-1993-RaviMRRH #algorithm #approximate #multi
Many birds with one stone: multi-objective approximation algorithms (RR, MVM, SSR, DJR, HBHI), pp. 438–447.
STOCSTOC-1993-WilliamsonGMV #algorithm #approximate #network #problem
A primal-dual approximation algorithm for generalized Steiner network problems (DPW, MXG, MM, VVV), pp. 708–717.
ICALPICALP-1993-GargVY #algorithm #approximate #multi #set
Primal-Dual Approximation Algorithms for Integral Flow and Multicut in Trees, with Applications to Matching and Set Cover (NG, VVV, MY), pp. 64–75.
ICALPICALP-1993-Kann #approximate #bound #problem
Polynomially Bounded Minimization Problems which are Hard to Approximate (VK), pp. 52–63.
ICALPICALP-1993-LundY #approximate #problem
The Approximation of Maximum Subgraph Problems (CL, MY), pp. 40–51.
ICALPICALP-1993-MaratheHR #approximate #complexity #problem #specification
The Complexity of Approximating PSPACE-Complete Problems for Hierarchical Specifications (Extended Abstract) (MVM, HBHI, SSR), pp. 76–87.
ICMLICML-1993-Ellman #abstraction #approximate #clustering #constraints #synthesis
Synthesis of Abstraction Hierarchies for Constraint Satisfaction by Clustering Approximately Equivalent Objects (TE), pp. 104–111.
PPDPPLILP-1993-AlpuenteFRV #approximate #equation #logic programming #optimisation #source code
Narrowing Approximations as an Optimization for Equational Logic Programs (MA, MF, MJR, GV), pp. 391–409.
CSLCSL-1993-GradelM #problem #random
Approximable Minimization Problems and Optimal Solutions on Random Inputs (EG, AM), pp. 139–149.
ICLPILPS-1993-BaralGK #approximate #logic programming #source code
Approximating General Logic Programs (CB, MG, OK), pp. 181–198.
DACDAC-1992-AnastasakisGKP #approximate #evaluation #on the
On the Stability of Moment-Matching Approximations in Asymptotic Waveform Evaluation (DFA, NG, SYK, LTP), pp. 207–212.
ESOPESOP-1992-HankinH #abstract interpretation #approximate #fixpoint
Approximate Fixed Points in Abstract Interpretation (CH, SH), pp. 219–232.
PLDIPLDI-1992-LandiR #algorithm #alias #approximate #interprocedural #pointer
A Safe Approximate Algorithm for Interprocedural Pointer Aliasing (WL, BGR), pp. 235–248.
STOCSTOC-1992-EvenGLNV #approximate #independence
Approximations of General Independent Distributions (GE, OG, ML, NN, BV), pp. 10–16.
STOCSTOC-1992-KhullerV #approximate #graph
Biconnectivity Approximations and Graph Carvings (SK, UV), pp. 759–770.
STOCSTOC-1992-KleinS #approximate #parallel #random
A Parallel Randomized Approximation Scheme for Shortest Paths (PNK, SS), pp. 750–758.
STOCSTOC-1992-LinV #approximate #constraints
epsilon-Approximations with Minimum Packing Constraint Violation (Extended Abstract) (JHL, JSV), pp. 771–782.
STOCSTOC-1992-Paturi #approximate #on the #symmetry
On the Degree of Polynomials that Approximate Symmetric Boolean Functions (Preliminary Version) (RP), pp. 468–474.
STOCSTOC-1992-Reed #approximate
Finding Approximate Separators and Computing Tree Width Quickly (BAR), pp. 221–228.
PLDIBest-of-PLDI-1992-LandiR92a #algorithm #alias #approximate #interprocedural #pointer
A safe approximate algorithm for interprocedural pointer aliasing (with retrospective) (WL, BGR), pp. 473–489.
ICALPICALP-1992-KhullerT #algorithm #approximate #graph
Approximation Algorithms for Graph Augmentation (SK, RT), pp. 330–341.
ICALPICALP-1992-Mansour #approximate #random
Randomized Interpolation and Approximation of Sparse Polynomials (YM), pp. 261–272.
CIKMCIKM-1992-KeenR #approximate #database #dependence #induction
Inductive Dependencies and Approximate Databases (DK, AR), pp. 98–114.
KRKR-1992-CadoliS #approximate #concept
Approximation in Concept Description Languages (MC, MS), pp. 330–341.
KRKR-1992-GreinerS #approximate #learning
Learning Useful Horn Approximations (RG, DS), pp. 383–392.
KRKR-1992-KollerH #approximate #logic #reasoning
A Logic for Approximate Reasoning (DK, JYH), pp. 153–164.
CAVCAV-1992-AlurIKY #approximate #verification
Timing Verification by Successive Approximation (RA, AI, RPK, MY), pp. 137–150.
CSLCSL-1992-BehrendtCG #approximate #optimisation #problem
Optimization Problems: Expressibility, Approximation Properties and Expected Asymptotic Growth of Optimal Solutions (TB, KJC, EG), pp. 43–60.
DACDAC-1991-CardenC #algorithm #approximate #multi #performance #using
A Global Router Using An Efficient Approximate Multicommodity Multiterminal Flow Algorithm (RCCI, CKC), pp. 316–321.
STOCSTOC-1991-AgrawalKR #algorithm #approximate #network #problem
When Trees Collide: An Approximation Algorithm for the Generalized Steiner Problem on Networks (AA, PNK, RR), pp. 134–144.
STOCSTOC-1991-BlumJLTY #approximate #linear #string
Linear Approximation of Shortest Superstrings (AB, TJ, ML, JT, MY), pp. 328–336.
STOCSTOC-1991-GemmellLRSW #approximate #self
Self-Testing/Correcting for Polynomials and for Approximate Functions (PG, RJL, RR, MS, AW), pp. 32–42.
STOCSTOC-1991-LeightonMPSTT #algorithm #approximate #multi #performance #problem
Fast Approximation Algorithms for Multicommodity Flow Problems (FTL, FM, SAP, CS, ÉT, ST), pp. 101–111.
STOCSTOC-1991-LubyV #approximate #on the
On Deterministic Approximation of DNF (ML, BV), pp. 430–438.
STOCSTOC-1991-Matousek #approximate #divide and conquer #geometry
Approximations and Optimal Geometric Divide-And-Conquer (JM), pp. 505–511.
ICALPICALP-1991-RaviAK #approximate #graph #problem #scheduling
Ordering Problems Approximated: Single-Processor Scheduling and Interval Graph Completion (RR, AA, PNK), pp. 751–762.
KRKR-1991-GreinerO #approximate
Probably Approximately Optimal Derivation Strategies (RG, PO), pp. 277–288.
ICMLML-1991-Berenji #approximate #learning #refinement
Refinement of Approximate Reasoning-based Controllers by Reinforcement Learning (HRB), pp. 475–479.
ICMLML-1991-FeldmanSK #approximate #incremental #refinement
Incremental Refinement of Approximate Domain Theories (RF, AMS, MK), pp. 500–504.
ICMLML-1991-KedarBD #approximate #refinement
The Blind Leading the Blind: Mutual Refinement of Approximate Theories (SK, JLB, CLD), pp. 308–312.
STOCSTOC-1990-KleinST #algorithm #approximate #concurrent #performance
Leighton-Rao Might Be Practical: Faster Approximation Algorithms for Concurrent Flow with Uniform Capacities (PNK, CS, ÉT), pp. 310–321.
STOCSTOC-1990-LinialN #approximate
Approximate Inclusion-Exclusion (NL, NN), pp. 260–270.
STOCSTOC-1990-PanconesiR #approximate #quantifier
Quantifiers and Approximation (Extended Abstract) (AP, DR), pp. 446–456.
ICALPICALP-1990-AltBW #approximate
Approximation of Convex Polygons (HA, JB, HW), pp. 703–716.
ICALPICALP-1990-JerrumS #algorithm #approximate #polynomial
Polynomial-Time Approximation Algorithms for Ising Model (Extended Abstract) (MJ, AS), pp. 462–475.
ICMLML-1990-Bennett #approximate
Reducing Real-world Failures of Approximate Explanation-based Rules (SWB), pp. 226–234.
ICMLML-1990-Cohen90a #approximate #learning
Learning Approximate Control Rules of High Utility (WWC), pp. 268–276.
ICMLML-1990-Sutton #approximate #architecture #learning #programming
Integrated Architectures for Learning, Planning, and Reacting Based on Approximating Dynamic Programming (RSS), pp. 216–224.
PPDPPLILP-1990-Nilsson #approximate #logic programming #semantics #source code
Systematic Semantic Approximations of Logic Programs (UN), pp. 293–306.
POPLPOPL-1990-HeintzeJ #approximate #finite #logic programming #source code #theorem
A Finite Presentation Theorem for Approximating Logic Programs (NH, JJ), pp. 197–209.
STOCSTOC-1989-Blum #algorithm #approximate
An O(n⁰⋅⁴)-Approximation Algorithm for 3-Coloring (and Improved Approximation Algorithm for k-Coloring) (AB), pp. 535–542.
STOCSTOC-1989-DyerFK #algorithm #approximate #polynomial #random
A Random Polynomial Time Algorithm for Approximating the Volume of Convex Bodies (MED, AMF, RK), pp. 375–381.
STOCSTOC-1989-PittW #approximate #automaton #consistency #polynomial #problem
The Minimum Consistent DFA Problem Cannot Be Approximated within any Polynomial (LP, MKW), pp. 421–432.
STOCSTOC-1989-Razborov #approximate #on the
On the Method of Approximations (AAR), pp. 167–176.
ICALPICALP-1989-GalilP #algorithm #approximate #string
An Improved Algorithm for Approximate String Matching (ZG, KP), pp. 394–404.
ICMLML-1989-ChaseZPBMH #approximate
Approximating Learned Search Control Knowledge (MPC, MZ, RLP, JDB, PPM, HH), pp. 218–220.
ICMLML-1989-Tadepalli #approximate
Planning Approximate Plans for Use in the Real World (PT), pp. 224–228.
ICLPNACLP-1989-JacobsL #alias #approximate #logic programming #performance #source code
Accurate and Efficient Approximation of Variable Aliasing in Logic Programs (DJ, AL), pp. 154–165.
PODSPODS-1988-BunemanDW #approximate #query #semantics
A Semantics for Complex Objects and Approximate Queries (PB, SBD, AW), pp. 305–314.
STOCSTOC-1988-Broder #approximate #how #random
Errata to “How hard is to marry at random? (On the approximation of the permanent)” (AZB), p. 551.
STOCSTOC-1988-FederG #algorithm #approximate #clustering
Optimal Algorithms for Approximate Clustering (TF, DHG), pp. 434–444.
STOCSTOC-1988-JerrumS #agile #approximate #markov
Conductance and the Rapid Mixing Property for Markov Chains: the Approximation of the Permanent Resolved (Preliminary Version) (MJ, AS), pp. 235–244.
STOCSTOC-1988-PapadimitriouY88a #approximate #complexity #optimisation
Optimization, Approximation, and Complexity Classes (Extended Abstract) (CHP, MY), pp. 229–234.
ICALPICALP-1988-CoriM #approximate #automaton #distributed
Approximation of a TRace, Asynchronous Automata and the Ordering of Events in a Distributed System (RC, YM), pp. 147–161.
CADECADE-1988-SubrahmanianU #approximate #consistency #named #reasoning
QUANTLOG: A System for Approximate Reasoning in Inconsistent Formal Systems (VSS, ZDU), pp. 746–747.
STOCSTOC-1987-Clarkson #algorithm #approximate
Approximation Algorithms for Shortest Path Motion Planning (Extended Abstract) (KLC), pp. 56–65.
STOCSTOC-1987-GoldbergT #approximate #low cost #problem
Solving Minimum-Cost Flow Problems by Successive Approximation (AVG, RET), pp. 7–18.
ICALPICALP-1987-PazS #approximate #integer
Approximating Integer Lattices by Lattices with Cyclic Factor Groups (AP, CPS), pp. 386–393.
SIGIRSIGIR-1987-Kwok #approximate #query
Some Considerations for Approximate Optimal Queries (KLK), pp. 19–23.
CSLCSL-1987-Rasiowa #approximate #logic #reasoning
Logic of Approximation Reasoning (HR), pp. 188–210.
STOCSTOC-1986-Broder #approximate #how #random
How hard is to marry at random? (On the approximation of the permanent) (AZB), pp. 50–58.
STOCSTOC-1986-LandauV #algorithm #approximate #parallel #performance #string
Introducing Efficient Parallelism into Approximate String Matching and a New Serial Algorithm (GML, UV), pp. 220–230.
STOCSTOC-1984-Clarkson #algorithm #approximate #geometry #performance
Fast Expected-Time and Approximation Algorithms for Geometric Minimum Spanning Trees (Extended Abstract) (KLC), pp. 342–348.
STOCSTOC-1984-HochbaumS #approximate #graph #problem
Powers of Graphs: A Powerful Approximation Technique for Bottleneck Problems (DSH, DBS), pp. 324–333.
PODSPODS-1983-MurthyKK #algorithm #approximate #network #problem
An Approximation Algorithm to the File Allocation Problem in Computer Networks (KM, JBK, MSK), pp. 258–266.
STOCSTOC-1983-BakerBL #algorithm #approximate
An Approximation Algorithm for Manhattan Routing (Extended Abstract) (BSB, SNB, FTL), pp. 477–486.
STOCSTOC-1983-Stockmeyer #approximate #complexity
The Complexity of Approximate Counting (Preliminary Version) (LJS), pp. 118–126.
SIGMODSIGMOD-1982-DongH #approximate #dependence #order
Applying Approximate Order Dependency to Reduce Indexing Space (JD, RH), pp. 119–127.
STOCSTOC-1982-Bar-YehudaE #approximate #graph #on the
On Approximating a Vertex Cover for Planar Graphs (RBY, SE), pp. 303–309.
STOCSTOC-1982-Wigderson #algorithm #approximate #graph
A New Approximate Graph Coloring Algorithm (AW), pp. 325–329.
ICALPICALP-1982-ComynD #approximate
Approximations of Infinitary Objects (GC, MD), pp. 116–127.
SIGMODSIGMOD-1980-LamY #algorithm #approximate #distributed #problem
An Approximation Algorithm for a File-Allocation Problem in a Hierarchical Distributed System (KL, CTY), pp. 125–132.
ICALPICALP-1980-Bini #approximate #rank
Border Rank of a p×q×2 Tensor and the Optimal Approximation of a Pair of Bilinear Forms (DB), pp. 98–108.
DACDAC-1978-Fortin #approximate #diagrams #named #using
BUBBLE: Relationship diagrams using iterative vector approximation (GF), pp. 145–151.
STOCSTOC-1978-CarterFGMW #approximate
Exact and Approximate Membership Testers (LC, RWF, JG, GM, MNW), pp. 59–65.
ICALPICALP-1977-PazM #approximate #nondeterminism #optimisation #polynomial #problem
Non-Deterministic Polynomial Optimization Problems and Their Approximation (AP, SM), pp. 370–379.
POPLPOPL-1977-CousotC #abstract interpretation #approximate #fixpoint #source code #static analysis
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints (PC, RC), pp. 238–252.
DACDAC-1976-Daae #approximate #interactive
Bandpass filter approximation by interactive graphics (HD), pp. 131–133.
STOCSTOC-1973-Johnson #algorithm #approximate #combinator #problem
Approximation Algorithms for Combinatorial Problems (DSJ), pp. 38–49.
ICALPICALP-1972-Bertoni #approximate #complexity #probability #problem
Complexity Problems Related to the Approximation of Probabilistic Languages and Events by Deterministic Machines (AB), pp. 507–516.
ICALPICALP-1972-PazR #approximate #automaton #linear #problem
Linear Automata — Approximation Problem (Extended Abstract) (AP, MR), pp. 99–102.
ICALPICALP-1972-Reghizzi #approximate #set
Approximation of Phrase Markers by Regular Sets (SCR), pp. 367–376.

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.