BibSLEIGH — parametricity tag

parametricity

parametricity

Tag #parametricity

831 papers:

POPL-2020-NewJA: Graduality and parametricity: together again for the first time (MSN, DJ, AA), p. 32.
CGO-2020-JavanmardAKPCH #algorithm #compilation #divide and conquer #multi #programming #recursion #using: Deriving parametric multi-way recursive divide-and-conquer dynamic programming algorithms using polyhedral compilers (MMJ, ZA, MK, LNP, RC, RJH), pp. 317–329.
CSL-2020-Cavallo0 #type system: Internal Parametricity for Cubical Type Theory (EC, RH0), p. 17.
MSR-2019-WickertREDM #dataset #encryption: A dataset of parametric cryptographic misuses (AKW, MR, ME, AD, MM), pp. 96–100.
FM-2019-ZhaoSZ0 #concurrent #framework #reasoning: A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems (YZ, DS, FZ, YL0), pp. 161–178.
IFM-2019-BenesBGPS #algebra #constraints #synthesis #using: Accelerating Parameter Synthesis Using Semi-algebraic Constraints (NB, LB, MG, SP, DS), pp. 27–45.
ICFP-2019-AlgehedB: Simple noninterference from parametricity (MA, JPB), p. 22.
AIIDE-2019-BisbergC #named: SCOPE: Selective Cross-Validation over Parameters for Elo (AJB, RECR), pp. 116–122.
CoG-2019-SironiW #monte carlo: Comparing Randomization Strategies for Search-Control Parameters in Monte-Carlo Tree Search (CFS, MHMW), pp. 1–8.
CIKM-2019-SivrikayaAL #recommendation: International Workshop on Model Selection and Parameter Tuning in Recommender Systems (FS, SA, DL), pp. 2999–3000.
ICML-2019-0001HLZZ #clustering #multi #named: COMIC: Multi-view Clustering Without Parameter Selection (XP0, ZH, JL, HZ, JTZ), pp. 5092–5101.
ICML-2019-FongLH #multimodal #scalability: Scalable Nonparametric Sampling from Multimodal Posteriors with the Posterior Bootstrap (EF, SL, CCH), pp. 1952–1962.
ICML-2019-GottesmanLSBD #evaluation #modelling: Combining parametric and nonparametric models for off-policy evaluation (OG, YL0, SS, EB, FDV), pp. 2366–2375.
ICML-2019-LawrenceEC #dependence #learning #multi #named: DP-GP-LVM: A Bayesian Non-Parametric Model for Learning Multivariate Dependency Structures (ARL, CHE, NDFC), pp. 3682–3691.
ICML-2019-LiutkusSMDS #generative #modelling: Sliced-Wasserstein Flows: Nonparametric Generative Modeling via Optimal Transport and Diffusions (AL, US, SM, AD, FRS), pp. 4104–4113.
ICML-2019-MostafaW #network #performance: Parameter efficient training of deep convolutional neural networks by dynamic sparse reparameterization (HM, XW), pp. 4646–4655.
ICML-2019-OonoS #approximate #estimation #network: Approximation and non-parametric estimation of ResNet-type convolutional neural networks (KO, TS), pp. 4922–4931.
ICML-2019-PanousisCT #contest #network: Nonparametric Bayesian Deep Networks with Local Competition (KPP, SC, ST), pp. 4980–4988.
ICML-2019-Raziperchikolaei #coordination #estimation: A Block Coordinate Descent Proximal Method for Simultaneous Filtering and Parameter Estimation (RR, HSB), pp. 5380–5388.
ICML-2019-SinghTJGB #generative #network: Non-Parametric Priors For Generative Adversarial Networks (RS, PKT, SJ, RG, MWB), pp. 5838–5847.
ICML-2019-VinayakKVK #estimation #learning: Maximum Likelihood Estimation for Learning Populations of Parameters (RKV, WK, GV, SMK), pp. 6448–6457.
ICML-2019-YangW #using: Sample-Optimal Parametric Q-Learning Using Linearly Additive Features (LY, MW), pp. 6995–7004.
ICML-2019-YurochkinAGGHK #learning #network: Bayesian Nonparametric Federated Learning of Neural Networks (MY, MA, SG, KHG, TNH, YK), pp. 7252–7261.
KDD-2019-LiuCGD #predict: Nonparametric Mixture of Sparse Regressions on Spatio-Temporal Data - An Application to Climate Prediction (YL, JC, ARG, JGD), pp. 2556–2564.
ECOOP-2019-PelsmaekerAV #declarative #editing #idea #semantics #specification #towards #type system: Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper) (DAAP, HvA, EV), p. 18.
POPL-2019-CastroHJNY #api #communication #distributed #programming #static typing #using: Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures (DCP, RH, SSJ, NN, NY), p. 30.
POPL-2019-ToroLT #revisited: Gradual parametricity, revisited (MT, EL, ÉT), p. 30.
SAS-2019-YuM #linear #performance #programming: An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection (HY, DM), pp. 203–224.
CASE-2019-HovgardLB #energy #optimisation #simulation: Simulation Based Energy Optimization of Robot Stations by Motion Parameter Tuning (MH, BL, KB), pp. 456–461.
CASE-2019-Pinitnanthakorn #identification: Parameters Identification of a Five-Axis Machine Tool by Haar Wavelet (AP, SLC), pp. 271–274.
CADE-2019-PeuterS #invariant #on the #synthesis: On Invariant Synthesis for Parametric Systems (DP, VSS), pp. 385–405.
CAV-2019-WagaAH #monitoring #specification: Symbolic Monitoring Against Specifications Parametric in Time and Data (MW, ÉA, IH), pp. 520–539.
VMCAI-2019-AndreDFL #protocol: Parametric Timed Broadcast Protocols (ÉA, BD, PF, DL), pp. 491–512.
VMCAI-2019-AndreFMS #abstraction #algorithm #industrial #model checking #using #verification: Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking (ÉA, LF, JMM, RS), pp. 409–424.
VMCAI-2019-HaarKP #modelling #reduction #refinement: Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics (SH, JK, LP), pp. 555–576.
ICSA-2018-EismannWKK #component #dependence #modelling #performance #predict #runtime: Modeling of Parametric Dependencies for Performance Prediction of Component-Based Software Systems at Run-Time (SE, JW, JvK, SK), pp. 135–144.
EDM-2018-AgarwalBB: Contextual Derivation of Stable BKT Parameters for Analysing Content Efficacy (DA, NB, RSB).
EDM-2018-DurandGL #fault #standard: Standard error considerations on AFM parameters (GD, CG, SL).
ICSME-2018-JimenezCTP #analysis #n-gram #on the: On the Impact of Tokenizer and Parameters on N-Gram Based Code Analysis (MJ, MC, YLT, MP), pp. 437–448.
ICFP-2018-HackettH #morphism #polymorphism: Parametric polymorphism and operational improvement (JH, GH), p. 24.
ICFP-2018-TabareauTS #effectiveness #for free: Equivalences for free: univalent parametricity for effective transport (NT, ÉT, MS), p. 29.
CIKM-2018-NguyenH #flexibility #modelling #privacy: Privacy Protection for Flexible Parametric Survival Models (TTN, SCH), pp. 1273–1282.
ICML-2018-FengWCS #learning #multi #network #using: Nonparametric variable importance using an augmented neural network with multi-task learning (JF, BDW, MC, NS), pp. 1495–1504.
ICML-2018-GanapathiramanS #induction #modelling: Inductive Two-layer Modeling with Parametric Bregman Transfer (VG, ZS, XZ, YY), pp. 1622–1631.
ICML-2018-PhamGZLD #architecture #performance: Efficient Neural Architecture Search via Parameter Sharing (HP, MYG, BZ, QVL, JD), pp. 4092–4101.
ICML-2018-RaeDDL #learning #performance: Fast Parametric Learning with Activation Memorization (JWR, CD, PD, TPL), pp. 4225–4234.
ICML-2018-WangZLMM #approximate #performance: Approximate Leave-One-Out for Fast Parameter Tuning in High Dimensions (SW, WZ, HL, AM, VSM), pp. 5215–5224.
ICML-2018-WuWWWVL #clustering: Deep k-Means: Re-Training and Parameter Sharing with Harder Cluster Assignments for Compressing Deep Convolutions (JW, YW, ZW, ZW, AV, YL), pp. 5359–5368.
ICML-2018-XuMBSD: Nonparametric Regression with Comparisons: Escaping the Curse of Dimensionality with Ordinal Information (YX, HM, SB, AS, AD), pp. 5469–5478.
ICML-2018-ZhangP: Deep Bayesian Nonparametric Tracking (AZ, JWP), pp. 5828–5836.
ICML-2018-ZhuL #communication #constraints #distributed: Distributed Nonparametric Regression under Communication Constraints (YZ, JL), pp. 6004–6012.
ICPR-2018-HaindlH: BTF Compound Texture Model with Non- Parametric Control Field (MH, VH), pp. 1151–1156.
ICPR-2018-OGorman: Temporal Filter Parameters for Motion Pattern Maps (LO), pp. 2612–2617.
ICPR-2018-WangZGW #detection #image #multi #network #using: Fully convolutional neural networks for prostate cancer detection using multi-parametric magnetic resonance images: an initial investigation (YW, BZ, DG, JW), pp. 3814–3819.
KDD-2018-AgarwalBGXYZ #online #problem #ranking: Online Parameter Selection for Web-based Ranking Problems (DA, KB0, SG, YX, YY, LZ), pp. 23–32.
KDD-2018-HundmanCLCS #detection #using: Detecting Spacecraft Anomalies Using LSTMs and Nonparametric Dynamic Thresholding (KH, VC, CL, IC, TS), pp. 387–395.
OOPSLA-2018-KoppelPS #incremental #syntax: One tool, many languages: language-parametric transformation with incremental parametric syntax (JK, VP, ASL), p. 28.
POPL-2018-DevriesePP: Parametricity versus the universal type (DD, MP, FP), p. 23.
PPDP-2018-MadsenL #logic programming: Implicit Parameters for Logic Programming (MM, OL), p. 14.
SLE-2018-MerinoVS #generative #named: Bacatá: a language parametric notebook generator (MVM, JJV, TvdS), pp. 210–214.
CASE-2018-LiWZL #geometry #mobile #modelling #representation #validation: Modeling and Validation of Free Road with Geometric Parameter Representation for wheeled mobile robots (PL, HW, MZ, JL), pp. 1152–1157.
CASE-2018-ToriiH #3d #approximate #estimation #using: Model-less Estimation Method for Robot Grasping Parameters Using 3D Shape Primitive Approximation (TT, MH), pp. 580–585.
CASE-2018-ZhouT: Relationship between Systematic Parameters and Operator's Kinesthetic Sensitivity in Master-Slave System (DZ, KT), pp. 863–868.
CASE-2018-ZouOHVC #automation #design #optimisation: Design Parameter Optimization of Automated Production Systems (MZ, FO, EH, BVH, CHC), pp. 359–364.
ICSA-2017-CalinescuCGKP #design #markov #robust #synthesis: Designing Robust Software Systems through Parametric Markov Chain Synthesis (RC, MC0, SG, MK, NP), pp. 131–140.
EDM-2017-LalwaniA #question: Few hundred parameters outperform few hundred thousand? (AL, SA).
EDM-2017-LiuK17a #metric #reliability #student #towards: Towards reliable and valid measurement of individualized student parameters (RL0, KRK).
Haskell-2017-Remy #automation #named #reuse: Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk) (DR), p. 1.
ICFP-2017-AhmedJSW #for free #theorem: Theorems for free for free: parametricity, with and without types (AA, DJ, JGS, PW), p. 28.
ICFP-2017-ChoiVSCA #composition #framework #hardware #named #platform #specification #verification: Kami: a platform for high-level parametric hardware specification and its modular verification (JC, MV, BS, AC, A), p. 30.
ICFP-2017-NuytsVD #dependent type #quantifier #type system: Parametric quantifiers for dependent type theory (AN, AV, DD), p. 29.
CIKM-2017-HuHQ #algorithm #communication #parallel #performance: A Communication Efficient Parallel DBSCAN Algorithm based on Parameter Server (XH, JH0, MQ), pp. 2107–2110.
ICML-2017-Allen-Zhu #named #optimisation #performance #probability: Natasha: Faster Non-Convex Stochastic Optimization via Strongly Non-Convex Parameter (ZAZ), pp. 89–97.
ICML-2017-JiHS #generative #image: From Patches to Images: A Nonparametric Generative Model (GJ0, MCH, EBS), pp. 1675–1683.
ICML-2017-KimPKH #learning #named #network #parallel #reduction #semantics: SplitNet: Learning to Semantically Split Deep Networks for Parameter Reduction and Model Parallelization (JK, YP, GK, SJH), pp. 1866–1874.
KDD-2017-ZhouLZCLYCYCDQ #distributed #learning #named: KunPeng: Parameter Server based Distributed Learning Systems and Its Applications in Alibaba and Ant Financial (JZ, XL, PZ, CC, LL, XY, QC, JY, XC, YD, Y(Q), pp. 1693–1702.
POPL-2017-Crary #abstraction #morphism #polymorphism: Modules, abstraction, and parametric polymorphism (KC), pp. 100–113.
QAPL-2017-ArmingBS #named: SEA-PARAM: Exploring Schedulers in Parametric MDPs (SA, EB, AS), pp. 25–38.
SAS-2017-MarechalMP #linear #programming #scalability: Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming (AM, DM, MP), pp. 212–231.
CASE-2017-ChenOUTO #automation #design #image #preprocessor #recognition: Automated design of the field-of-view, illumination, and image pre-processing parameters of an image recognition system (YC, TO, TU, TT, JO), pp. 1079–1084.
CASE-2017-ChienLDCC #modelling: Modeling collinear WATs for parametric yield enhancement in semiconductor manufacturing (CFC, PCL, RD, YJC, CCC), pp. 739–743.
CASE-2017-LaiJG #energy #learning #predict: An integrated physical-based and parameter learning method for ship energy prediction under varying operating conditions (XL, XJ, XG), pp. 1180–1185.
CASE-2017-LiLTL #energy #integration #optimisation #process: Integration of process planning and cutting parameter optimization for energy-aware CNC machining (LL, CL, YT, LL), pp. 263–268.
CASE-2017-XianWL #adaptation #big data #data type #monitoring #online: A nonparametric adaptive sampling strategy for online monitoring of big data streams (XX, AW, KL), pp. 844–846.
CASE-2017-XiaoLYW #data-driven #database #energy #industrial #performance #process: An industrial data based investigation into effects of process parameters on cutting power and energy efficiency (QX, CL, QY, QW), pp. 1481–1486.
CASE-2017-ZhuangCG #analysis: Parameters analysis of hierarchical evolutionary method with an application of HVAC system (LZ, XC0, XG), pp. 858–863.
CAV-2017-BenesBDPS #named #parallel #synthesis: Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems (NB, LB, MD, SP, DS), pp. 591–598.
VMCAI-2017-MuschollSW #process #reachability: Reachability for Dynamic Parametric Processes (AM, HS, IW), pp. 424–441.
EDM-2016-Yudelson16a #question #student: Individualizing Bayesian Knowledge Tracing. Are Skill Parameters More Important Than Student Parameters? (MY), pp. 556–561.
ICPC-2016-MetcalfFYF #interactive #static analysis #using: Extracting configuration parameter interactions using static analysis (CAM, FF, TY, JF), pp. 1–4.
SANER-2016-0029BKT16a #android #api #case study: Parameter Values of Android APIs: A Preliminary Study on 100, 000 Apps (LL0, TFB, JK, YLT), pp. 584–588.
FM-2016-AstefanoaeiBBCR #composition #synthesis: Compositional Parameter Synthesis (LA, SB, MB, CHC, HR), pp. 60–68.
SEFM-2016-BezdekBBC #automaton #ltl #synthesis: LTL Parameter Synthesis of Parametric Timed Automata (PB, NB, JB, IC), pp. 172–187.
CIKM-2016-GuoG: A Nonparametric Model for Event Discovery in the Geospatial-Temporal Space (JG, ZG), pp. 499–508.
CIKM-2016-ZhangMZ #topic #word: A Non-Parametric Topic Model for Short Texts Incorporating Word Coherence Knowledge (YZ, WM, DDZ), pp. 2017–2020.
CIKM-2016-ZhongSLR #scalability: Scaling Factorization Machines with Parameter Server (EZ, YS, NL, SR), pp. 1583–1592.
ICML-2016-ArpitZKG #network #normalisation: Normalization Propagation: A Parametric Technique for Removing Internal Covariate Shift in Deep Networks (DA, YZ, BUK, VG), pp. 1168–1176.
ICML-2016-BhowmikGK: Sparse Parameter Recovery from Aggregated Data (AB, JG, OK), pp. 1090–1099.
ICML-2016-HwangTC #automation #modelling #multi #relational: Automatic Construction of Nonparametric Relational Regression Models for Multiple Time Series (YH, AT, JC), pp. 3030–3039.
ICML-2016-ImaizumiH: Doubly Decomposing Nonparametric Tensor Regression (MI, KH), pp. 727–736.
ICML-2016-KanagawaSKST #process: Gaussian process nonparametric tensor estimator and its minimax optimality (HK, TS, HK, NS, YT), pp. 1632–1641.
ICML-2016-KandasamyY #approximate: Additive Approximations in High Dimensional Nonparametric Regression via the SALSA (KK, YY), pp. 69–78.
ICML-2016-MichaeliWL #analysis #canonical #correlation: Nonparametric Canonical Correlation Analysis (TM, WW, KL), pp. 1967–1976.
ICML-2016-NiuRFH #performance #using: Fast Parameter Inference in Nonlinear Dynamical Systems using Iterative Gradient Matching (MN, SR, MF, DH), pp. 1699–1707.
ICML-2016-RavanbakhshOFPH #matter: Estimating Cosmological Parameters from the Dark Matter Distribution (SR, JBO, SF, LP, SH, JGS, BP), pp. 2407–2416.
ICML-2016-VojnovicY #estimation #modelling: Parameter Estimation for Generalized Thurstone Choice Models (MV, SYY), pp. 498–506.
ICML-2016-YangWLEZ #estimation: Sparse Nonlinear Regression: Parameter Estimation under Nonconvexity (ZY, ZW, HL0, YCE, TZ0), pp. 2472–2481.
ICPR-2016-ComiterCKT #automation #clustering #distributed #implementation: Lambda means clustering: Automatic parameter search and distributed computing implementation (MZC, MC, HTK, ST), pp. 2331–2337.
ICPR-2016-GuY #approximate #on the: On the magnitude of parameters of RBMs being universal approximators (LG, LY), pp. 2470–2474.
ICPR-2016-HoSSEA #approach #estimation #learning: A temporal deep learning approach for MR perfusion parameter estimation in stroke (KCH, FS, KVS, SES, CWA), pp. 1315–1320.
ICPR-2016-HuangWLLBC #automation #clustering #estimation #learning: Ensemble-driven support vector clustering: From ensemble learning to automatic parameter estimation (DH, CDW, JHL, YL0, SB, YC), pp. 444–449.
ICPR-2016-KouwL #estimation #on the: On regularization parameter estimation under covariate shift (WMK, ML), pp. 426–431.
ICPR-2016-MorinakaSSIK #3d #re-engineering: 3D reconstruction under light ray distortion from parametric focal cameras (SM, FS, JS, KI, NK), pp. 2350–2355.
ICPR-2016-NguyenNVP #clustering #multi #named #semistructured data: MCNC: Multi-Channel Nonparametric Clustering from heterogeneous data (TBN, VN0, SV, DQP), pp. 3633–3638.
ICPR-2016-SubramanianR0SV #multi: Bayesian nonparametric Multiple Instance Regression (SS, SR, SG0, PBS, CSV, SV), pp. 3661–3666.
KDD-2016-ZhaoATBDBKD #approach #detection #strict #using: A Non-parametric Approach to Detect Epileptogenic Lesions using Restricted Boltzmann Machines (YZ, BA, TT, KEB, JGD, CEB, RK, OD), pp. 373–382.
OOPSLA-2016-PetrashkoULO #graph #morphism #polymorphism: Call graphs for languages with parametric polymorphism (DP, VU, OL, MO), pp. 394–409.
SAS-2016-MidtgaardNN #abstract domain #regular expression: A Parametric Abstract Domain for Lattice-Valued Regular Expressions (JM, FN, HRN), pp. 338–360.
ICSE-2016-LiuLSPL: Nomen est omen: exploring and exploiting similarities between argument and parameter names (HL0, QL, CAS, MP, YL), pp. 1063–1073.
ICSE-2016-SuRT #evaluation #model checking #reliability #runtime #using: Reliability of Run-Time Quality-of-Service evaluation using parametric model checking (GS, DSR, GT), pp. 73–84.
ICSE-2016-Tantithamthavorn #automation #classification #fault #modelling #optimisation #predict: Automated parameter optimization of classification techniques for defect prediction models (CT, SM, AEH, KM), pp. 321–332.
CASE-2016-OetingerKS #design #identification: Parameter identification and controller design for high-rack feeder systems and fork lifts (DO, KLK, OS), pp. 509–514.
CASE-2016-ZhangSMLZF #analysis #design #process #simulation #towards: Robotic additive manufacturing process simulation - towards design and analysis with building parameter in consideration (GQZ, AS, CM, DTL, BZ, TAF), pp. 609–613.
VMCAI-2016-DelahayeLP #markov #synthesis: Parameter Synthesis for Parametric Interval Markov Chains (BD, DL, LP), pp. 372–390.
DRR-2015-LamiroyBBCGHL #concept #documentation: Re-typograph phase I: a proof-of-concept for typeface parameter extraction from historical documents (BL, TB, JB, HC, SG, RH, ML).
EDM-2015-MartoriCG #estimation: Direct Estimation of the Minimum RSS Value for Training Bayesian Knowledge Tracing Parameters (FM, JC, LGS), pp. 364–367.
ICSME-2015-AsaduzzamanRMS #api #recommendation: Exploring API method parameter recommendations (MA, CKR, SM, KAS), pp. 271–280.
ICSME-2015-AsaduzzamanRS #api #named #recommendation: PARC: Recommending API methods parameters (MA, CKR, KAS), pp. 330–332.
ICSME-2015-KimBD #design pattern #java #refactoring: Scripting parametric refactorings in Java to retrofit design patterns (JK, DSB, DD), pp. 211–220.
ICALP-v1-2015-Cao #editing: Unit Interval Editing is Fixed-Parameter Tractable (YC), pp. 306–317.
ICALP-v2-2015-BenesBLS #automaton: Language Emptiness of Continuous-Time Parametric Timed Automata (NB, PB, KGL, JS), pp. 69–81.
ICALP-v2-2015-Feldmann #approximate #graph #problem: Fixed Parameter Approximations for k-Center Problems in Low Highway Dimension Graphs (AEF), pp. 588–600.
FM-2015-DangDP #logic #specification #synthesis: Parameter Synthesis Through Temporal Logic Specifications (TD, TD, CP), pp. 213–230.
TLCA-2015-Redmond #polynomial #λ-calculus: Polynomial Time in the Parametric λ Calculus (BFR), pp. 288–301.
CIG-2015-KampmannSHBB #automation #behaviour #simulation: Automatic mapping of human behavior data to personality model parameters for traffic simulations in virtual environments (SK, SS, RH, PB0, CB), pp. 336–343.
CIG-2015-QuadfliegRP #how #multi #optimisation: How costly is a good compromise: Multi-objective TORCS controller parameter optimization (JQ, GR, MP), pp. 454–460.
DHM-EH-2015-AntonyaBB #estimation: Parameter Estimation from Motion Tracking Data (CA, SB, HB), pp. 113–121.
DHM-EH-2015-HarihBR #interface #optimisation: Optimisation of Product’s Hand-Handle Interface Material Parameters for Improved Ergonomics (GH, MB, ZR), pp. 15–25.
CIKM-2015-LinZWLL0C #approach #data-driven #pipes and filters #predict: Data Driven Water Pipe Failure Prediction: A Bayesian Nonparametric Approach (PL, BZ, YW0, ZL, BL0, YW0, FC0), pp. 193–202.
CIKM-2015-ZhangXLGXHC #interactive #modelling #ranking: Modeling Parameter Interactions in Ranking SVM (YZ, JX0, YL, JG, MX, YH, XC), pp. 1799–1802.
ECIR-2015-JameelLB #modelling #topic #using: Nonparametric Topic Modeling Using Chinese Restaurant Franchise with Buddy Customers (SJ, WL, LB), pp. 648–659.
ICML-2015-BachemLK #estimation: Coresets for Nonparametric Estimation — the Case of DP-Means (OB, ML, AK), pp. 209–217.
ICML-2015-BenavoliCMZ #algorithm: A Bayesian nonparametric procedure for comparing algorithms (AB, GC, FM, MZ), pp. 1264–1272.
ICML-2015-BlechschmidtGL #approximate #multi #optimisation #problem: Tracking Approximate Solutions of Parameterized Optimization Problems over Multi-Dimensional (Hyper-)Parameter Domains (KB, JG, SL), pp. 438–447.
ICML-2015-DasBB #modelling #order: Ordered Stick-Breaking Prior for Sequential MCMC Inference of Bayesian Nonparametric Models (MKD, TB, CB), pp. 550–559.
ICML-2015-HuHDX #distributed #scalability: Large-scale Distributed Dependent Nonparametric Trees (ZH, QH, AD, EPX), pp. 1651–1659.
ICML-2015-SamoR #process #scalability: Scalable Nonparametric Bayesian Inference on Point Processes with Gaussian Processes (YLKS, SR), pp. 2227–2236.
ICML-2015-WangZ #clustering #named: DP-space: Bayesian Nonparametric Subspace Clustering with Small-variance Asymptotics (YW, JZ), pp. 862–870.
KDD-2015-ChuHTLL #classification #linear: Warm Start for Parameter Selection of Linear Classifiers (BYC, CHH, CHT, CYL, CJL), pp. 149–158.
KDD-2015-ZhaoJCJ #estimation #performance #quality: SAME but Different: Fast and High Quality Gibbs Parameter Estimation (HZ, BJ, JFC, BJ), pp. 1495–1502.
SEKE-2015-LinYX #automation #detection #generative #testing: Automatic Detection of Parameter Shielding for Test Case Generation (JL, JY, JX), pp. 571–574.
SIGIR-2015-RenR #process: Summarizing Contrastive Themes via Hierarchical Non-Parametric Processes (ZR, MdR), pp. 93–102.
SIGIR-2015-YangKML #modelling #sentiment #topic: Parametric and Non-parametric User-aware Sentiment Topic Models (ZY, AK, AM, SL), pp. 413–422.
OOPSLA-2015-OuD #automation #memory management #named #order: AutoMO: automatic inference of memory order parameters for C/C++11 (PO, BD), pp. 221–240.
ASE-2015-KowalTTS #modelling #performance #scalability #variability: Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T) (MK, MT, MT, IS), pp. 407–417.
ESEC-FSE-2015-White #generative #performance #search-based #testing #using: Increasing the efficiency of search-based unit test generation using parameter control (TW), pp. 1042–1044.
SAC-2015-HendersonGE #clustering #empirical #named #performance #probability: EP-MEANS: an efficient nonparametric clustering of empirical probability distributions (KH, BG, TER), pp. 893–900.
SAC-2015-InacioDBNM #file system #operating system #parallel #performance: Performance impact of operating systems’ caching parameters on parallel file systems (ECI, MARD, FZB, POAN, DDJdM), pp. 2066–2068.
CASE-2015-ChenTLY #multi #optimisation: Multi-objective parameter optimization of multi-pass CNC machining (XC, YT, CL, QY), pp. 45–50.
CASE-2015-CheungWCP #automation: Optimization-based automatic parameter tuning for stereo vision (ECHC, JW, JC, JP), pp. 855–861.
CASE-2015-ChouTHC #adaptation #algorithm #design #process: Adaptive neuro-fuzzy inference system with evolutionary algorithm for designing process parameters of color filter (PYC, JTT, WHH, JHC), pp. 1555–1556.
CASE-2015-LeeKK #online #using: Control of an aerial manipulator using on-line parameter estimator for an unknown payload (HL, SK, HJK), pp. 316–321.
CASE-2015-RoyelYLLH #identification #optimisation #using: A hysteresis model and parameter identification for MR pin joints using immune particle swarm optimization (SR, YY, YL, JL, QPH), pp. 1319–1324.
CASE-2015-SaksenaNKK #2d #assembly #automation #using: Automatic tuning of impedance parameter using configuration space for two dimensional assembly system (AS, TN, JK, KK), pp. 1110–1117.
CASE-2015-SterlingSZC #algorithm #optimisation #process: Welding parameter optimization based on Gaussian process regression Bayesian optimization algorithm (DS, TS, YZ, HC), pp. 1490–1496.
CASE-2015-WanCPH #optimisation: Optimizing the parameters of tilting surfaces in robotic workcells (WW, ECHC, JP, KH), pp. 593–599.
CC-2015-DarteI #approximate #optimisation: Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes (AD, AI), pp. 151–170.
PDP-2015-AliAP #data flow #graph #realtime: Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs (HIA, BA, LMP), pp. 701–710.
CAV-2015-DehnertJJCVBKA #named #probability #synthesis: PROPhESY: A PRObabilistic ParamEter SYnthesis Tool (CD, SJ, NJ, FC, MV, HB, JPK, EÁ), pp. 214–231.
QoSA-2014-EtxeberriaTCS #hardware #nondeterminism: Performance-based selection of software and hardware features under parameter uncertainty (LE, CT, VC, GS), pp. 23–32.
VLDB-2015-TrummerK14 #multi #optimisation #query: Multi-Objective Parametric Query Optimization (IT, CK), pp. 221–232.
EDM-2014-KaserKG #analysis #learning #predict: Different parameters - same prediction: An analysis of learning curves (TK, KRK, MHG), pp. 52–59.
FLOPS-2014-Magalhaes #multi #programming: Generic Programming with Multiple Parameters (JPM), pp. 136–151.
ICFP-2014-ChenE #analysis #product line #type system: Type-based parametric analysis of program families (SC, ME), pp. 39–51.
IFL-2014-DomoszlaiLP14a #bidirectional #lens: Parametric lenses: change notification for bidirectional lenses (LD, BL, RP), p. 9.
FDG-2014-ZookFR #automation #game studies #learning: Automatic playtesting for game parameter tuning via active learning (AZ, EF, MOR).
CHI-2014-AdamsGL #named: SonicExplorer: fluid exploration of audio parameters (ATA, BG, CL), pp. 237–246.
DHM-2014-ZhouLXZZ #analysis #metric: Measurement and Analysis of Anthropometric Parameters of Young Male Vehicle Drivers (QXZ, ZQL, FX, SZ, SZ), pp. 174–181.
HIMI-DE-2014-JingLCYH #case study #design #framework #representation: Design Knowledge Framework Based on Parametric Representation — A Case Study of Cockpit Form Style Design (JJ, QL, WC, YY, TH), pp. 332–341.
CAiSE-2014-RizziG #generative #named: CubeLoad: A Parametric Generator of Realistic OLAP Workloads (SR, EG), pp. 610–624.
ICEIS-v2-2014-HomendaJP #re-engineering: Granular Cognitive Map Reconstruction — Adjusting Granularity Parameters (WH, AJ, WP), pp. 175–184.
CIKM-2014-Deolalikar14a #behaviour #clustering #modelling #retrieval: Parameter Tuning with User Models: Influencing Aggregate User Behavior in Cluster Based Retrieval Systems (VD), pp. 1823–1826.
CIKM-2014-WangMC #learning: Structure Learning via Parameter Learning (WYW, KM, WWC), pp. 1199–1208.
ECIR-2014-Aly #normalisation #using: Score Normalization Using Logistic Regression with Expected Parameters (RA), pp. 579–584.
ICML-c1-2014-NguyenPNVB #clustering #multi: Bayesian Nonparametric Multilevel Clustering with Group-Level Contexts (TVN, DQP, XN, SV, HB), pp. 288–296.
ICML-c1-2014-SoufianiPX #modelling #ranking: Computing Parametric Ranking Models via Rank-Breaking (HAS, DCP, LX), pp. 360–368.
ICML-c2-2014-AffandiFAT #kernel #learning #process: Learning the Parameters of Determinantal Point Process Kernels (RHA, EBF, RPA, BT), pp. 1224–1232.
ICML-c2-2014-KrishnamurthyKPW #estimation: Nonparametric Estimation of Renyi Divergence and Friends (AK, KK, BP, LAW), pp. 919–927.
ICML-c2-2014-SongADX #estimation #modelling #multi: Nonparametric Estimation of Multi-View Latent Variable Models (LS, AA, BD, BX), pp. 640–648.
ICPR-2014-ChamroukhiBG #clustering: Bayesian Non-parametric Parsimonious Gaussian Mixture for Clustering (FC, MB, HG), pp. 1460–1465.
ICPR-2014-ChernousovaLTMW #validation: Non-enumerative Cross Validation for the Determination of Structural Parameters in Feature-Selective SVMs (EC, PL, AT, VM, DW), pp. 3654–3659.
ICPR-2014-ChironGM #behaviour #using: Discovering Emergent Behaviors from Tracks Using Hierarchical Non-parametric Bayesian Methods (GC, PGK, MM), pp. 2185–2190.
ICPR-2014-LiuZC #identification #learning #metric #multi: Parametric Local Multi-modal Metric Learning for Person Re-identification (KL, ZCZ, AC), pp. 2578–2583.
ICPR-2014-NguyenGVP #framework #process #recognition #using: A Bayesian Nonparametric Framework for Activity Recognition Using Accelerometer Data (TN, SKG, SV, DQP), pp. 2017–2022.
ICPR-2014-ScheltenR #estimation #image #kernel #locality: Localized Image Blur Removal through Non-parametric Kernel Estimation (KS, SR), pp. 702–707.
ICPR-2014-SharifzadehZK #estimation #forensics #modelling #multi #visualisation: Vein Pattern Visualization through Multiple Mapping Models and Local Parameter Estimation for Forensic Investigation (HRS, HZ, AWKK), pp. 160–165.
ICPR-2014-VellankiDVP #learning: Nonparametric Discovery of Learning Patterns and Autism Subgroups from Therapeutic Data (PV, TVD, SV, DQP), pp. 1828–1833.
ICPR-2014-WuMCXC #gesture #invariant #recognition #using: View-Invariant Gesture Recognition Using Nonparametric Shape Descriptor (XW, XM, LC, YLX, AC), pp. 544–549.
ICPR-2014-XingY #categorisation #image #representation #scalability: Large Scale Image Categorization in Sparse Nonparametric Bayesian Representation (SX, NHCY), pp. 1365–1370.
KDD-2014-BuntineM #modelling #topic: Experiments with non-parametric topic models (WLB, SM), pp. 881–890.
KDD-2014-ChenN #detection #graph #social #social media #statistics: Non-parametric scan statistics for event detection and forecasting in heterogeneous social media graphs (FC, DBN), pp. 1166–1175.
KDD-2014-YangH #learning: Learning with dual heterogeneity: a nonparametric bayes model (HY, JH), pp. 582–590.
KDIR-2014-MohammadiMBRA #classification #graph: A Noise Resilient and Non-parametric Graph-based Classifier (MM, SAM, EB, BR, AA), pp. 170–175.
KMIS-2014-ZochollA #modelling #nondeterminism #ontology #representation: Ontology-based Representation of Time Dependent Uncertainty Information for Parametric Product Data Models (MZ, RA), pp. 400–404.
MLDM-2014-LarinSKKHC #classification #representation #using: Parametric Representation of Objects in Color Space Using One-Class Classifiers (AL, OS, AK, SYK, SCH, BHC), pp. 300–314.
SIGIR-2014-EfronLHV #estimation #feedback #twitter: Temporal feedback for tweet search with non-parametric density estimation (ME, JL, JH, APdV), pp. 33–42.
POPL-2014-Atkey #theorem: From parametricity to conservation laws, via Noether’s theorem (RA), pp. 491–502.
POPL-2014-AtkeyGJ #dependent type #type system: A relationally parametric model of dependent type theory (RA, NG, PJ), pp. 503–516.
POPL-2014-BrotherstonV: Parametric completeness for separation theories (JB, JV), pp. 453–464.
POPL-2014-Katsumata #monad #semantics: Parametric effect monads and semantics of effect systems (SyK), pp. 633–646.
PPDP-2014-MehnerSSV #functional #proving #theorem: Parametricity and Proving Free Theorems for Functional-Logic Languages (SM, DS, LS, JV), pp. 19–30.
ICSE-2014-SuR #analysis #empirical #probability: Perturbation analysis of stochastic systems with empirical distribution parameters (GS, DSR), pp. 311–321.
SAC-2014-CalvoOFR #distributed #multi: Parametric investigation of a distributed strategy for multiple agents systems applied to cooperative tasks (RC, JdO, MF, RAR), pp. 207–212.
SAC-2014-PatanaikZK #estimation #simulation: Parameter estimation and simulation for one-choice Ratcliff diffusion model (AP, VZ, CKK), pp. 3–7.
CASE-2014-ChuLSO #analysis #contract #flexibility #linear #programming #using: Flexibility analysis on a supply chain contract using a parametric Linear Programming model (CC, EEL, XS, DO), pp. 704–709.
CASE-2014-LiuK #communication #nondeterminism: Passivity-based teleoperation system for robots with parametric uncertainty and communication delay (YCL, MHK), pp. 271–276.
CASE-2014-LiuKCY #functional #modelling #monitoring: Model-driven parametric monitoring of high-dimensional nonlinear functional profiles (GL, CK, YC, HY), pp. 722–727.
CASE-2014-ZhangLYL #optimisation #simulation: Simulation and parameter optimization of the key working procedure of engine box (CZ, JL, RY, GL), pp. 315–319.
CGO-2014-JuegaGTC #adaptation #automation #code generation: Adaptive Mapping and Parameter Selection Scheme to Improve Automatic Code Generation for GPUs (JCJ, JIG, CT, FC), p. 251.
DAC-2014-YuSHEAB #metric #using: Remembrance of Transistors Past: Compact Model Parameter Extraction Using Bayesian Inference and Incomplete New Measurements (LY, SS, CH, IAME, DAA, DSB), p. 6.
DATE-2014-JeongOSNS #self: Built-in self-test and characterization of polar transmitter parameters in the loop-back mode (JWJ, SO, SS, VN, MS), pp. 1–6.
DATE-2014-LangeSJHLS #correlation #modelling #probability #standard: Probabilistic standard cell modeling considering non-Gaussian parameters and correlations (AL, CS, RJ, JH, IL, US), pp. 1–4.
DATE-2014-SongDY #analysis #bound #multi #order #performance #reduction: Zonotope-based nonlinear model order reduction for fast performance bound analysis of analog circuits with multiple-interval-valued parameter variations (YS, SMPD, HY), pp. 1–6.
LCTES-2014-BebelisFG #data flow #framework #manycore #platform: A framework to schedule parametric dataflow applications on many-core platforms (VB, PF, AG), pp. 125–134.
OSDI-2014-LiAPSAJLSS #distributed #machine learning #scalability: Scaling Distributed Machine Learning with the Parameter Server (ML, DGA, JWP, AJS, AA, VJ, JL, EJS, BYS), pp. 583–598.
PDP-2014-Schick #linear #nondeterminism #parallel: A Parallel Multilevel Spectral Galerkin Solver for Linear Systems with Uncertain Parameters (MS), pp. 352–359.
STOC-2014-CyganLPPS: Minimum bisection is fixed parameter tractable (MC, DL, MP, MP, SS), pp. 323–332.
CAV-2014-CoxCS #abstraction #library #named #reuse #set: QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers (AC, BYEC, SS), pp. 866–873.
SAT-2014-HaanS #reduction #satisfiability: Fixed-Parameter Tractable Reductions to SAT (RdH, SS), pp. 85–102.
VMCAI-2014-FaymonvilleFP #logic #monitoring: Monitoring Parametric Temporal Logic (PF, BF, DP), pp. 357–375.
SIGMOD-2013-MukherjiLBWRWR #interactive #mining #named: PARAS: interactive parameter space exploration for association rule mining (AM, XL, CRB, JW, EAR, MOW, CR), pp. 1017–1020.
VLDB-2013-LinMRRW #framework #mining #named #online: PARAS: A Parameter Space Framework for Online Association Mining (XL, AM, EAR, CR, MOW), pp. 193–204.
ICALP-v1-2013-MarxV #algorithm: Fixed-Parameter Algorithms for Minimum Cost Edge-Connectivity Augmentation (DM, LAV), pp. 721–732.
ICALP-v2-2013-ImNP #data type #recursion: Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types (HI, KN, SP), pp. 299–311.
CHI-2013-SkoGM #human-computer #online: Non-parametric decision trees and online HCI (TS, HJG, MAM), pp. 2103–2106.
HCI-III-2013-ParkKWL #metric: Vision Based Body Dither Measurement for Estimating Human Emotion Parameters (SP, DK, MCW, ECL), pp. 346–352.
HIMI-D-2013-MasieroTJ: Similar or Not Similar: This Is a Parameter Question (AAM, FT, PTAJ), pp. 484–493.
HIMI-HSM-2013-HiraokaTK #behaviour: Proposal of Non-dimensional Parameter Indices to Evaluate Safe Driving Behavior (TH, ST, HK), pp. 470–479.
ICEIS-v2-2013-OgataK #multi #optimisation: The Parameter Optimization in Multiple Layered Deduplication System (MO, NK), pp. 143–150.
ECIR-2013-GoswamiG #estimation #information retrieval #modelling: Estimation of the Collection Parameter of Information Models for IR (PG, ÉG), pp. 459–470.
ICML-c1-2013-WilliamsonDX #markov #modelling #monte carlo #parallel: Parallel Markov Chain Monte Carlo for Nonparametric Mixture Models (SW, AD, EPX), pp. 98–106.
ICML-c3-2013-DuvenaudLGTG #composition #kernel: Structure Discovery in Nonparametric Regression through Compositional Kernel Search (DKD, JRL, RBG, JBT, ZG), pp. 1166–1174.
ICML-c3-2013-ErolLRR: The Extended Parameter Filter (YE, LL, BR, SJR), pp. 1103–1111.
ICML-c3-2013-GuptaPV #approach #learning #multi: Factorial Multi-Task Learning : A Bayesian Nonparametric Approach (SKG, DQP, SV), pp. 657–665.
ICML-c3-2013-KraehenbuehlK #convergence #learning #random: Parameter Learning and Convergent Inference for Dense Random Fields (PK, VK), pp. 513–521.
ICML-c3-2013-RossD #constraints #process: Nonparametric Mixture of Gaussian Processes with Constraints (JCR, JGD), pp. 1346–1354.
KDD-2013-AhmedS #modelling #scalability: The dataminer’s guide to scalable mixed-membership and nonparametric bayesian models (AA, AJS), p. 1529.
KDD-2013-NaganoITUA #modelling: Nonparametric hierarchal bayesian modeling in non-contractual heterogeneous survival data (SN, YI, NT, TU, MA), pp. 668–676.
KEOD-2013-WaldsteinWH #lightweight #ontology: Lightweight Ontologies in Context — Relationship between Ontology Characteristics and Context Parameters (IW, ROW, NH), pp. 308–315.
OOPSLA-2013-UrecheTO #morphism #named #polymorphism #trade-off: Miniboxing: improving the speed to code size tradeoff in parametric polymorphism translations (VU, CT, MO), pp. 73–92.
PLDI-2013-Titzer #tuple: Harmonizing classes, functions, tuples, and type parameters in virgil iii (BT), pp. 85–94.
PLDI-2013-ZhangNY #abstraction #analysis #data flow: Finding optimum abstractions in parametric dataflow analysis (XZ, MN, HY), pp. 365–376.
ASE-2013-MeredithR #performance #runtime #string #verification: Efficient parametric runtime verification with deterministic string rewriting (POM, GR), pp. 70–80.
ASE-2013-RegerBR #approach #mining #specification: A pattern-based approach to parametric specification mining (GR, HB, DER), pp. 658–663.
GPCE-2013-GerakiosBS #java #using: Reified type parameters using Java annotations (PG, AB, YS), pp. 61–64.
CASE-2013-ChaouiS #adaptation #nondeterminism: Adaptive friction compensation of flexible-joint manipulators with parametric uncertainties (HC, PS), pp. 300–305.
CASE-2013-LuoHL #metric #multi #recognition: Multisensor integrated stair recognition and parameters measurement system for dynamic stair climbing robots (RCL, MH, CWL), pp. 318–323.
CASE-2013-WilsonM #design #estimation: Optimal trajectory design for well-conditioned parameter estimation (ADW, TDM), pp. 13–19.
CASE-2013-YiTLL #optimisation: Optimization of CNC machine processing parameters for low carbon manufacturing (QY, YT, CL, PL), pp. 498–503.
DATE-2013-MillerB #satisfiability #verification: Formal verification of analog circuit parameters across variation utilizing SAT (MM, FB), pp. 1442–1447.
DATE-2013-NugterenBC #architecture #future of: Future of GPGPU micro-architectural parameters (CN, GJvdB, HC), pp. 392–395.
DATE-2013-XydisPZS #architecture #compilation #framework #metamodelling #synthesis: A meta-model assisted coprocessor synthesis framework for compiler/architecture parameters customization (SX, GP, VZ, CS), pp. 659–664.
DATE-2013-YoonKBS #design #multi #optimisation #scheduling: Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling (MKY, JEK, RMB, LS), pp. 1313–1318.
ESOP-2013-CairesPPT #behaviour #communication #morphism #polymorphism: Behavioral Polymorphism and Parametricity in Session-Based Communication (LC, JAP, FP, BT), pp. 330–349.
FoSSaCS-2013-BauerHK #higher-order #monad #on the: On Monadic Parametricity of Second-Order Functionals (AB, MH, AK), pp. 225–240.
FoSSaCS-2013-KarandikarS #complexity #problem #recursion: The Parametric Ordinal-Recursive Complexity of Post Embedding Problems (PK, SS), pp. 273–288.
TACAS-2013-JovanovicLR #automaton #integer #synthesis: Integer Parameter Synthesis for Timed Automata (AJ, DL, OHR), pp. 401–415.
CADE-2013-Sofronie-Stokkermans #generative #hybrid #reasoning #verification: Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems (VSS), pp. 360–376.
CAV-2013-AndreLSDL #concurrent #named #realtime #synthesis: PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems (ÉA, YL, JS, JSD, SWL), pp. 984–989.
CAV-2013-BrimCDS #model checking #probability #using: Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking (LB, MC, SD, DS), pp. 107–123.
CSL-2013-Goller #concurrent #model checking: The Fixed-Parameter Tractability of Model Checking Concurrent Systems (SG), pp. 332–347.
CSL-2013-KrishnaswamiD #calculus #relational: Internalizing Relational Parametricity in the Extensional Calculus of Constructions (NRK, DD), pp. 432–451.
CBSE-2012-BrosigHK #architecture #dependence #modelling #online #performance: Modeling parameter and context dependencies in online architecture-level performance models (FB, NH, SK), pp. 3–12.
ICALP-v1-2012-ChitnisCHM #feedback #set: Directed Subset Feedback Vertex Set Is Fixed-Parameter Tractable (RHC, MC, MTH, DM), pp. 230–241.
ICALP-v1-2012-KratschPPW #graph #multi: Fixed-Parameter Tractability of Multicut in Directed Acyclic Graphs (SK, MP, MP, MW), pp. 581–593.
CIKM-2012-LeelanupabZJ #analysis #cumulative: A comprehensive analysis of parameter settings for novelty-biased cumulative gain (TL, GZ, JMJ), pp. 1950–1954.
ICML-2012-GershmanHB: Nonparametric variational inference (SG, MDH, DMB), p. 35.
ICML-2012-GuL: Sequential Nonparametric Regression (HG, JDL), p. 54.
ICML-2012-KimHS #metadata #relational: The Nonparametric Metadata Dependent Relational Model (DIK, MCH, EBS), p. 183.
ICML-2012-KimKO #metric #process #random #topic: Dirichlet Process with Mixed Random Measures: A Nonparametric Topic Model for Labeled Data (DK, SK, AHO), p. 90.
ICML-2012-LiuI #distributed #estimation #pseudo: Distributed Parameter Estimation via Pseudo-likelihood (QL, ATI), p. 182.
ICML-2012-MakinoT #learning: Apprenticeship Learning for Model Parameters of Partially Observable Environments (TM, JT), p. 117.
ICML-2012-SarkarCJ #network #predict: Nonparametric Link Prediction in Dynamic Networks (PS, DC, MIJ), p. 246.
ICML-2012-XuYQ #composition #data analysis #infinity #modelling #multi: Infinite Tucker Decomposition: Nonparametric Bayesian Models for Multiway Data Analysis (ZX, FY, AQ), p. 218.
ICML-2012-Zhu #feature model #modelling #predict: Max-Margin Nonparametric Latent Feature Models for Link Prediction (JZ), p. 154.
ICPR-2012-AfzalBKSB #documentation #image #robust #using: Robust stereo matching for document images using parameter selection of text-line extraction (MZA, SSB, MK, FS, TMB), pp. 331–334.
ICPR-2012-GuiST #analysis #estimation: Regularization parameter estimation for spectral regression discriminant analysis based on perturbation theory (JG, ZS, TT), pp. 401–404.
ICPR-2012-GuptaPV: A nonparametric Bayesian Poisson gamma model for count data (SKG, DQP, SV), pp. 1815–1818.
ICPR-2012-NakamuraHSM #image #named #segmentation: HDP-MRF: A hierarchical Nonparametric model for image segmentation (TN, TH, TS, TM), pp. 2254–2257.
ICPR-2012-PohKA #approach #authentication: A discriminative parametric approach to video-based score-level fusion for biometric authentication (NP, JK, FMA), pp. 2335–2338.
ICPR-2012-StrucZP #normalisation #verification: Non-parametric score normalization for biometric verification systems (VS, JZG, NP), pp. 2395–2399.
ICPR-2012-TsaoH #estimation #image #realtime: Real-time human object motion parameters estimation from depth images (ICT, CLH), pp. 829–832.
ICPR-2012-UchidaTS #effectiveness #estimation #image #retrieval: An alternative to IDF: Effective scoring for accurate image retrieval with non-parametric density ratio estimation (YU, KT, SS), pp. 1285–1288.
ICPR-2012-ZhangGYG #generative #online #video: Nonparametric on-line background generation for surveillance video (RZ, WG, AY, MG), pp. 1177–1180.
KR-2012-LacknerP #algorithm #modelling: Fixed-Parameter Algorithms for Finding Minimal Models (ML, AP).
SEKE-2012-BouchenebB #verification #workflow: Parametric Verification of TimeWorkflow Nets (HB, KB), pp. 375–380.
SIGIR-2012-LogachevS #optimisation #rank: Optimizing parameters of the expected reciprocal rank (YL, PS), pp. 1123–1124.
SAS-2012-HoweK #analysis #using: Polyhedral Analysis Using Parametric Objectives (JMH, AK), pp. 41–57.
ICSE-2012-JinMLR #framework #monitoring #named #performance #runtime: JavaMOP: Efficient parametric runtime monitoring framework (DJ, POM, CL, GR), pp. 1427–1430.
ICSE-2012-ZhangYZFZZO #api #automation #recommendation: Automatic parameter recommendation for practical API usage (CZ, JY, YZ, JF, XZ, JZ, PO), pp. 826–836.
LDTA-2012-Zaytsev #grammar recovery: Notation-parametric grammar recovery (VZ), p. 9.
CASE-2012-JiaZH #algorithm #fuzzy #self: Active control of turbine tip clearance by fuzzy parameter self-setting PID algorithms (BJ, XZ, YH), pp. 162–166.
CASE-2012-KimPLPC #estimation #framework: A parameter estimation method for the bilateral teleoperation framework for an O2 lance manipulator (HK, BP, JL, YJP, WKC), pp. 564–568.
DATE-2012-FradetGP #data flow #named: SPDF: A schedulable parametric data-flow MoC (PF, AG, PP), pp. 769–774.
DATE-2012-VatajeluF #evaluation #performance #reliability: Efficiency evaluation of parametric failure mitigation techniques for reliable SRAM operation (EIV, JF), pp. 1343–1348.
FoSSaCS-2012-GollerHOW #automaton #model checking: Branching-Time Model Checking of Parametric One-Counter Automata (SG, CH, JO, JW), pp. 406–420.
STOC-2012-DeDFS #approximate #problem: Nearly optimal solutions for the chow parameters problem and low-weight approximation of halfspaces (AD, ID, VF, RAS), pp. 729–746.
CAV-2012-JegourelLS #model checking #optimisation #statistics: Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking (CJ, AL, SS), pp. 327–342.
CSL-2012-Atkey #relational: Relational Parametricity for Higher Kinds (RA), pp. 46–61.
CSL-2012-KellerL: Parametricity in an Impredicative Sort (CK, ML), pp. 381–395.
CSL-2012-KotekM #graph #matrix: Connection Matrices and the Definability of Graph Parameters (TK, JAM), pp. 411–425.
CSL-2012-Makowsky #complexity #graph: Definability and Complexity of Graph Parameters (JAM), pp. 14–15.
ICTSS-2012-YangHF #embedded #logic #query: Querying Parametric Temporal Logic Properties on Embedded Systems (HY, BH, GEF), pp. 136–151.
ISSTA-2012-PradelHG #detection #static analysis #type system: Static detection of brittle parameter typing (MP, SH, TRG), pp. 265–275.
LICS-2012-BernardyM: A Computational Interpretation of Parametricity (JPB, GM), pp. 135–144.
SAT-2012-CrowstonGJRSY: Fixed-Parameter Tractability of Satisfying beyond the Number of Variables (RC, GG, MJ, VR, SS, AY), pp. 355–368.
DRR-2011-ChengL #variability: Parameter calibration for synthesizing realistic-looking variability in offline handwriting (WC, DPL), pp. 1–10.
DRR-2011-ZhuN #online #optimisation #recognition: A MRF model with parameter optimization by CRF for on-line recognition of handwritten Japanese characters (BZ, MN), pp. 1–10.
ICDAR-2011-StommelF #automation #documentation #estimation: Automatic Estimation of the Legibility of Binarised Historic Documents for Unsupervised Parameter Tuning (MS, GF), pp. 104–108.
ICDAR-2011-ZhuN #online #optimisation #recognition #using: On-line Handwritten Japanese Characters Recognition Using a MRF Model with Parameter Optimization by CRF (BZ, MN), pp. 603–607.
SIGMOD-2011-KennedyLLSN #enterprise #fuzzy #nondeterminism: Fuzzy prophet: parameter exploration in uncertain enterprise scenarios (OK, SL, CL, SS, SN), pp. 1303–1306.
ICPC-2011-SridharaPV #generative #summary: Generating Parameter Comments and Integrating with Method Summaries (GS, LLP, KVS), pp. 71–80.
ICALP-v1-2011-CyganPPW #feedback #set: Subset Feedback Vertex Set Is Fixed-Parameter Tractable (MC, MP, MP, JOW), pp. 449–461.
ICFP-2011-CastagnaX #morphism #polymorphism #type system: Set-theoretic foundation of parametric polymorphism and subtyping (GC, ZX), pp. 94–106.
ICFP-2011-GesbertGL #logic #morphism #polymorphism #semantics #type system: Parametric polymorphism and semantic subtyping: the logical connection (NG, PG, NL), pp. 107–116.
CHI-2011-HendyLBM: Parameter selection in keyboard-based dialog boxes (JCH, JL, KSB, JM), pp. 2761–2764.
CHI-2011-WobbrockFGH #analysis #rank #using: The aligned rank transform for nonparametric factorial analyses using only anova procedures (JOW, LF, DG, JJH), pp. 143–146.
DHM-2011-SixiangCIL #3d #analysis #modelling: 3D Parametric Body Model Based on Chinese Female Anhtropometric Analysis (PS, CKC, WHI, AL), pp. 22–29.
DHM-2011-WuHYNH #using: Using Physiological Parameters to Evaluate Operator’s Workload in Manual Controlled Rendezvous and Docking (RVD) (BW, FH, ZY, JN, WH), pp. 426–435.
HCI-DDA-2011-ZablotskiyPZM #algorithm #estimation #search-based: GMM Parameter Estimation by Means of EM and Genetic Algorithms (SZ, TP, KZ, WM), pp. 527–536.
HCI-UA-2011-ItoIN #bias #information management #using: Method for Cultivating the “Inquiry-Mindset” Using the Information Access-Based Belief Bias Parameter (KI, YI, SN), pp. 48–57.
HIMI-v1-2011-MurakamiK #music #process: Auditory Feature Parameters for Music Based on Human Auditory Processes (MM, TK), pp. 612–617.
ICEIS-v4-2011-WangL11a #modelling #optimisation #simulation: Simulation Modeling and Parameter Optimization in Cyclic Picking System (AW, XL), pp. 690–694.
CIKM-2011-LuLYYH #classification #modelling: Coarse-to-fine classification via parametric and nonparametric models for computer-aided diagnosis (ML, LL, XY, SY, HH), pp. 2509–2512.
ICML-2011-ChenDC #markov #modelling #topic: Topic Modeling with Nonparametric Markov Tree (HC, DBD, LC), pp. 377–384.
ICML-2011-HuWC #coordination #kernel #learning #named #scalability #using: BCDNPKL: Scalable Non-Parametric Kernel Learning Using Block Coordinate Descent (EH, BW, SC), pp. 209–216.
ICML-2011-SugiyamaYKH #clustering #on the: On Information-Maximization Clustering: Tuning Parameter Selection and Analytic Solution (MS, MY, MK, HH), pp. 65–72.
KDIR-2011-GriffithOS #collaboration #learning: Learning Neighbourhood-based Collaborative Filtering Parameters (JG, CO, HS), pp. 452–455.
KEOD-2011-GaignardMWG #concept #runtime #semantics: Characterizing Semantic Service Parameters with Role Concepts to Infer Domain-specific Knowledge at Runtime (AG, JM, BW, BG), pp. 59–70.
MLDM-2011-ChenER #mining #using: Mining Spatial Trajectories Using Non-parametric Density Functions (CSC, CFE, NJR), pp. 496–510.
SEKE-2011-DoranTFG #analysis #architecture #nondeterminism #reliability: Architecture-based Reliability Analysis With Uncertain Parameters (DD, MT, LF, SSG), pp. 629–634.
SPLC-2011-GhezziS #approach #model checking #non-functional #performance #product line #towards #using #verification: Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking (CG, AMS), pp. 170–174.
OOPSLA-2011-AllenHKLRCS #composition #inheritance #morphism #multi #polymorphism #type checking: Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance (EEA, JH, SK, VL, SR, DC, GLSJ), pp. 973–992.
PLDI-2011-JinMGR #garbage collection #monitoring: Garbage collection for monitoring parametric properties (DJ, POM, DG, GR), pp. 415–424.
POPL-2011-CousotCL #analysis #array #automation #scalability #segmentation: A parametric segmentation functor for fully automatic and scalable array content analysis (PC, RC, FL), pp. 105–118.
ICSE-2011-LeeCR #mining #specification: Mining parametric specifications (CL, FC, GR), pp. 591–600.
SAC-2011-YukselBK #algorithm #estimation #framework #platform #search-based: A software platform for genetic algorithms based parameter estimation on digital sound synthesizers (KAY, BB, HK), pp. 1088–1089.
CASE-2011-RodriguezQLF #estimation: State and parameter estimation of an anaerobic digester model (AR, GQ, JdL, RF), pp. 690–695.
DATE-2011-AitkenYF #correlation #modelling: Correlating models and silicon for improved parametric yield (RA, GY, DF), pp. 1159–1163.
DATE-2011-DrmanacSWWA #multi #optimisation #predict #testing: Multidimensional parametric test set optimization of wafer probe data for predicting in field failures and setting tighter test limits (DGD, NS, LW, LCW, MSA), pp. 794–799.
DATE-2011-LuJTL #architecture #performance #simulation: Efficient parameter variation sampling for architecture simulations (FL, RJ, GT, SL), pp. 1578–1583.
LCTES-2011-AlthausAN #analysis #performance #precise: Precise and efficient parametric path analysis (EA, SA, RN), pp. 141–150.
PDP-2011-MotokubotaIH #using: Accelerating Parameter Sweep Applications Using CUDA (MM, FI, KH), pp. 111–118.
FoSSaCS-2011-BernardyL #type system: Realizability and Parametricity in Pure Type Systems (JPB, ML), pp. 108–122.
STOC-2011-GroheKMW: Finding topological subgraphs is fixed-parameter tractable (MG, KiK, DM, PW), pp. 479–488.
STOC-2011-MarxR #multi: Fixed-parameter tractability of multicut parameterized by the size of the cutset (DM, IR), pp. 469–478.
CAV-2011-AndreychenkoMSW #identification #markov #modelling: Parameter Identification for Markov Models of Biochemical Reactions (AA, LM, DS, VW), pp. 83–98.
CAV-2011-BaeM #ltl #model checking: State/Event-Based LTL Model Checking under Parametric Generalized Fairness (KB, JM), pp. 132–148.
ISSTA-2011-ZhangZ #adaptation #interactive #testing: Characterizing failure-causing parameter interactions by adaptive testing (ZZ, JZ), pp. 331–341.
QoSA-2010-HappeWSK #modelling #performance #statistics: Statistical Inference of Software Performance Models for Parametric Performance Completions (JH, DW, KS, LK), pp. 20–35.
DocEng-2010-HassanHH #generative: Next generation typeface representations: revisiting parametric fonts (TH, CH, RDH), pp. 181–184.
SIGMOD-2010-ThummalaB #configuration management #database #named #visualisation: iTuned: a tool for configuring and visualizing database parameters (VT, SB), pp. 1231–1234.
EDM-2010-GongBH #multi #using: Using multiple Dirichlet distributions to improve parameter plausibility (YG, JEB, NTH), pp. 61–70.
EDM-2010-PardosH #algorithm #convergence #modelling #navigation #visualisation: Navigating the parameter space of Bayesian Knowledge Tracing models: Visualizations of the convergence of the Expectation Maximization algorithm (ZAP, NTH), pp. 161–170.
ICALP-v2-2010-GollerHOW #automaton #model checking: Model Checking Succinct and Parametric One-Counter Automata (SG, CH, JO, JW), pp. 575–586.
LATA-2010-GiampaoloTN #logic #metric: Parametric Metric Interval Temporal Logic (BDG, SLT, MN), pp. 249–260.
IFM-2010-FaberIJS #automation #specification #verification: Automatic Verification of Parametric Specifications with Complex Topologies (JF, CI, SJ, VSS), pp. 152–167.
ICFP-2010-BernardyJP #dependent type: Parametricity and dependent types (JPB, PJ, RP), pp. 345–356.
CIG-2010-ThawonmasA #evolution #optimisation: Evolution strategy for optimizing parameters in Ms Pac-Man controller ICE Pambush 3 (RT, TA), pp. 235–240.
ICML-2010-FaivishevskyG #algorithm #clustering: Nonparametric Information Theoretic Clustering Algorithm (LF, JG), pp. 351–358.
ICML-2010-GomesK #data type #learning: Budgeted Nonparametric Learning from Data Streams (RG, AK), pp. 391–398.
ICML-2010-HoffmanBC #matrix #music: Bayesian Nonparametric Matrix Factorization for Recorded Music (MDH, DMB, PRC), pp. 439–446.
ICML-2010-KolarPX #on the: On Sparse Nonparametric Conditional Covariance Selection (MK, APP, EPX), pp. 559–566.
ICML-2010-LiPSG #learning: Budgeted Distribution Learning of Belief Net Parameters (LL, BP, CS, RG), pp. 879–886.
ICML-2010-MorimuraSKHT #approximate #learning: Nonparametric Return Distribution Approximation for Reinforcement Learning (TM, MS, HK, HH, TT), pp. 799–806.
ICPR-2010-BruneauGP #probability: Aggregation of Probabilistic PCA Mixtures with a Variational-Bayes Technique Over Parameters (PB, MG, FP), pp. 702–705.
ICPR-2010-Feschet #analysis #composition #geometry #multi: Multiscale Analysis from 1D Parametric Geometric Decomposition of Shapes (FF), pp. 2102–2105.
ICPR-2010-Hillenbrand #3d: Non-parametric 3D Shape Warping (UH), pp. 2656–2659.
ICPR-2010-KeuperSPHPBR #3d #robust #self: 3D Deformable Surfaces with Locally Self-Adjusting Parameters — A Robust Method to Determine Cell Nucleus Shapes (MK, TS, JP, PH, KP, HB, OR), pp. 2254–2257.
ICPR-2010-KumeTSY #estimation #image #using #video: Extrinsic Camera Parameter Estimation Using Video Images and GPS Considering GPS Positioning Accuracy (HK, TT, TS, NY), pp. 3923–3926.
ICPR-2010-LiuCLL #automation #locality #using: A Lip Contour Extraction Method Using Localized Active Contour Model with Automatic Parameter Selection (XL, YmC, ML, HL), pp. 4332–4335.
ICPR-2010-SeppkeDHW #equation #multi #performance #using: Fast Derivation of Soil Surface Roughness Parameters Using Multi-band SAR Imagery and the Integral Equation Model (BS, LSDF, JAH, FW), pp. 3931–3934.
ICPR-2010-SethP #independence: A Test of Granger Non-causality Based on Nonparametric Conditional Independence (SS, JCP), pp. 2620–2623.
ICPR-2010-Teijeiro-MosqueraAG #automation #estimation #recognition: Face Recognition Across Pose with Automatic Estimation of Pose Parameters through AAM-Based Landmarking (LTM, JLAC, DGJ), pp. 1339–1342.
ICPR-2010-WuJW #adaptation: Adaptive Diffusion Flow for Parametric Active Contours (YW, YJ, YW), pp. 2788–2791.
ICPR-2010-YangQ #approach #detection #distributed #effectiveness: An Effective Decentralized Nonparametric Quickest Detection Approach (DY, HQ), pp. 2278–2281.
KR-2010-DvorakPW #algorithm #towards: Towards Fixed-Parameter Tractable Algorithms for Argumentation (WD, RP, SW).
SEKE-2010-Rodriguez-SoriaCMM #estimation #modelling #overview #process: A Review of Parametric Effort Estimation Models for the Software Project Planning Process (PRS, JJCG, JAGdM, BMH), pp. 135–140.
SEKE-2010-Wang #black box #testing #using: Reducing Black-box Test Suite Using Input Parameter Relationships (LW), pp. 180–185.
SIGIR-2010-SeoC10a #estimation: Unsupervised estimation of dirichlet smoothing parameters (JS, WBC), pp. 759–760.
TOOLS-EUROPE-2010-MadsenE: Revisiting Parametric Types and Virtual Classes (ABM, EE), pp. 233–252.
SAC-2010-FunfzigTA #constraints #using: Haptic manipulation of rational parametric planar cubics using shape constraints (CF, PT, GA), pp. 1253–1257.
SAC-2010-MigotinaRF #automation #detection #fuzzy #using: Automatic K-complex detection using Hjorth parameters and fuzzy decision (DM, ACR, ALNF), pp. 979–980.
SAC-2010-ZengXCB #scalability: Introducing global scaling parameters into Ncut (YZ, HX, XC, SB), pp. 1105–1106.
DAC-2010-BeeceXVZL: Transistor sizing of custom high-performance digital circuits with parametric yield considerations (DKB, JX, CV, VZ, YL), pp. 781–786.
DAC-2010-GongYSKRH #constraints #estimation #named #performance: QuickYield: an efficient global-search based parametric yield estimation with performance constraints (FG, HY, YS, DK, JR, LH), pp. 392–397.
DAC-2010-LefteriuM #generative #modelling: Generating parametric models from tabulated data (SL, JM), pp. 679–682.
DAC-2010-OzdemirPDMLC #3d #architecture: Quantifying and coping with parametric variations in 3D-stacked microarchitectures (SO, YP, AD, GM, GHL, ANC), pp. 144–149.
DAC-2010-SilvaPS #analysis #modelling: Speedpath analysis under parametric timing models (LGeS, JRP, LMS), pp. 268–273.
DATE-2010-ChengDMMRWRA #using: Capturing intrinsic parameter fluctuations using the PSP compact model (BC, DD, NM, CM, GR, XW, SR, AA), pp. 650–653.
DATE-2010-GhosalZNB #design #nondeterminism #robust: Computing robustness of FlexRay schedules to uncertainties in design parameters (AG, HZ, MDN, YBH), pp. 550–555.
ISMM-2010-AlbertGG #garbage collection #memory management #requirements: Parametric inference of memory requirements for garbage collected languages (EA, SG, MGZ), pp. 121–130.
STOC-2010-RaghavendraST #approximate #graph: Approximations for the isoperimetric and spectral profile of graphs and related parameters (PR, DS, PT), pp. 631–640.
CAV-2010-Donze #hybrid #synthesis #verification: Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems (AD), pp. 167–170.
CAV-2010-HahnHWZ #markov #model checking #modelling #named: PARAM: A Model Checker for Parametric Markov Models (EMH, HH, BW, LZ), pp. 660–664.
IJCAR-2010-Sofronie-Stokkermans #reasoning #verification: Hierarchical Reasoning for the Verification of Parametric Systems (VSS), pp. 171–187.
ICDAR-2009-WangH #classification #design #fault #modelling #precise #using: Design Compact Recognizers of Handwritten Chinese Characters Using Precision Constrained Gaussian Models, Minimum Classification Error Training and Parameter Compression (YW, QH), pp. 36–40.
JCDL-2009-MarchioniniSLC #information management #query #video: Query parameters for harvesting digital video and associated contextual information (GM, CS, CAL, RC), pp. 77–86.
VLDB-2009-DuanTB #database: Tuning Database Configuration Parameters with iTuned (SD, VT, SB), pp. 1246–1257.
EDM-2009-RaiGB #using: Using Dirichlet priors to improve model parameter plausibility (DR, YG, JB), pp. 141–150.
ICALP-v1-2009-FellowsFLLRS: Distortion Is Fixed Parameter Tractable (MRF, FVF, DL, EL, FAR, SS), pp. 463–474.
TLCA-2009-Atkey #for free #representation #syntax #using: Syntax for Free: Representing Syntax with Binding Using Parametricity (RA), pp. 35–49.
TLCA-2009-StengerV #fault #haskell #semantics: Parametricity for Haskell with Imprecise Error Semantics (FS, JV), pp. 294–308.
ICFP-2009-NeisDR: Non-parametric parametricity (GN, DD, AR), pp. 135–148.
CIG-2009-OnievaPAMP #architecture #composition: A modular parametric architecture for the TORCS racing engine (EO, DAP, JA, VM, JP), pp. 256–262.
HCI-AUII-2009-LekkasTGMS #design #implementation #personalisation: Implementing Affect Parameters in Personalized Web-Based Design (ZL, NT, PG, CM, GS), pp. 320–329.
HCI-NT-2009-KimWW #adaptation #process #recognition #research #using: The Research on Adaptive Process for Emotion Recognition by Using Time-Dependent Parameters of Autonomic Nervous Response (JK, MCW, JW), pp. 77–84.
ICML-2009-AdamsG #learning #named: Archipelago: nonparametric Bayesian semi-supervised learning (RPA, ZG), pp. 1–8.
ICML-2009-AdamsMM #process: Tractable nonparametric Bayesian inference in Poisson processes with Gaussian process intensities (RPA, IM, DJCM), pp. 9–16.
ICML-2009-ClemenconV #estimation: Nonparametric estimation of the precision-recall curve (SC, NV), pp. 185–192.
ICML-2009-PaisleyC #analysis #process: Nonparametric factor analysis with beta process priors (JWP, LC), pp. 777–784.
ICML-2009-YuLZG #collaboration #predict #random #scalability #using: Large-scale collaborative prediction using a nonparametric random effects model (KY, JDL, SZ, YG), pp. 1185–1192.
ICML-2009-ZhuangTH #kernel #learning #named: SimpleNPKL: simple non-parametric kernel learning (JZ, IWT, SCHH), pp. 1273–1280.
SIGIR-2009-YuZLG #collaboration #matrix #performance #scalability: Fast nonparametric matrix factorization for large-scale collaborative filtering (KY, SZ, JDL, YG), pp. 211–218.
MoDELS-2009-CuccuruRGT #classification #uml: Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers (AC, AR, SG, FT), pp. 644–649.
MoDELS-2009-CuccuruRGT #classification #uml: Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers (AC, AR, SG, FT), pp. 644–649.
ASE-2009-ChenMJR #independence #monitoring #performance: Efficient Formalism-Independent Monitoring of Parametric Properties (FC, POM, DJ, GR), pp. 383–394.
ICSE-2009-EpifaniGMT #adaptation #evolution #runtime: Model evolution by run-time parameter adaptation (IE, CG, RM, GT), pp. 111–121.
SAC-2009-BriggsA #algebra #constraints #specification: Algebraic specification techniques for parametric types with logic-based constraints (DB, SA), pp. 1890–1897.
SAC-2009-LeccaPPS #generative #network #probability: A new probabilistic generative model of parameter inference in biochemical networks (PL, AP, CP, GS), pp. 758–765.
DAC-2009-MutluLMC #analysis #approach: A parametric approach for handling local variation effects in timing analysis (AAM, JL, RM, MC), pp. 126–129.
DAC-2009-WangYLP #analysis: SRAM parametric failure analysis (JW, SY, XL, LTP), pp. 496–501.
DATE-2009-Jara-BerrocalG #architecture #communication #composition #configuration management #named #scalability: SCORES: A scalable and parametric streams-based communication architecture for modular reconfigurable systems (AJB, AGR), pp. 268–273.
DATE-2009-RedaN #metric #modelling #novel #process: Analyzing the impact of process variations on parametric measurements: Novel models and applications (SR, SRN), pp. 375–380.
DATE-2009-VillenaCIS #modelling #on the #performance #reduction: On the efficient reduction of complete EM based parametric models (JFV, GC, DI, LMS), pp. 1172–1177.
HPCA-2009-PowellBEMSY #named #runtime #using: CAMP: A technique to estimate per-structure power at run-time using a few simple parameters (MDP, AB, JSE, SSM, BRS, SMY), pp. 289–300.
ISMM-2009-UnnikrishnanS #analysis #functional #source code: Parametric heap usage analysis for functional programs (LU, SDS), pp. 139–148.
PDP-2009-Ito #analysis #effectiveness #evaluation: Job Scheduler Parameter Analysis for Evaluation of Effectiveness (RI), pp. 62–69.
ESOP-2009-CraciunCHQ: An Interval-Based Inference of Variant Parametric Types (FC, WNC, GH, SQ), pp. 112–127.
FoSSaCS-2009-BirkedalST #morphism #polymorphism #recursion #semantics: Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types (LB, KS, JT), pp. 456–470.
FoSSaCS-2009-LohreyMS #reduction: Parameter Reduction in Grammar-Compressed Trees (ML, SM, MSS), pp. 212–226.
TACAS-2009-ChenR #monitoring #slicing: Parametric Trace Slicing and Monitoring (FC, GR), pp. 246–261.
TACAS-2009-LimeRST #model checking #named #petri net: Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches (DL, OHR, CS, LMT), pp. 54–57.
CBSE-2008-KuperbergKR #behaviour #black box #component #modelling #performance #predict #using: Performance Prediction for Black-Box Components Using Reengineered Parametric Behaviour Models (MK, KK, RHR), pp. 48–63.
SIGMOD-2008-BrunoN #design #optimisation #physics #query: Configuration-parametric query optimization for physical design tuning (NB, RVN), pp. 941–952.
ICALP-A-2008-RazgonO #satisfiability: Almost 2-SAT Is Fixed-Parameter Tractable (IR, BO), pp. 551–562.
ICFP-2008-Chlipala #higher-order #semantics #syntax: Parametric higher-order abstract syntax for mechanized semantics (AC), pp. 143–156.
CHI-2008-DixonGC #performance: Optimal parameters for efficient crossing-based dialog boxes (MD, FG, NC), pp. 1623–1632.
CIKM-2008-HoweF #collaboration: Re-considering neighborhood-based collaborative filtering parameters in the context of new data (AEH, RDF), pp. 1481–1482.
ICML-2008-AdamsS #modelling #process: Gaussian process product models for nonparametric nonstationarity (RPA, OS), pp. 1–8.
ICML-2008-CaronD: Sparse Bayesian nonparametric regression (FC, AD), pp. 88–95.
ICML-2008-HuynhM #learning #logic #markov #network: Discriminative structure and parameter learning for Markov logic networks (TNH, RJM), pp. 416–423.
ICML-2008-KerstingD #policy #relational: Non-parametric policy gradients: a unified treatment of propositional and relational domains (KK, KD), pp. 456–463.
ICML-2008-SuZLM #learning #network: Discriminative parameter learning for Bayesian networks (JS, HZ, CXL, SM), pp. 1016–1023.
ICPR-2008-AliFG #estimation: Analytical method for MGRF Potts model parameter estimation (AMA, AAF, GLG), pp. 1–4.
ICPR-2008-BellaviaTV #detection: A non-parametric scale-based corner detector (FB, DT, CV), pp. 1–4.
ICPR-2008-Boccignone #analysis #video: Nonparametric Bayesian attentive video analysis (GB), pp. 1–4.
ICPR-2008-BuloATP #approach #estimation: A hypergraph-based approach to affine parameters estimation (SRB, AA, AT, MP), pp. 1–4.
ICPR-2008-CamposJ #constraints #learning #network #using: Improving Bayesian Network parameter learning using constraints (CPdC, QJ), pp. 1–4.
ICPR-2008-LiaoJ #learning #network #semistructured data: Exploiting qualitative domain knowledge for learning Bayesian network parameters with incomplete data (WL, QJ), pp. 1–4.
ICPR-2008-MeiS #image #statistics #using: Unsupervised image embedding using nonparametric statistics (GM, CRS), pp. 1–4.
ICPR-2008-UlgesB #segmentation: Segmentation by combining parametric optical flow with a color model (AU, TMB), pp. 1–4.
KDD-2008-SatoYN #graph #information management #semantics #using #word: Knowledge discovery of semantic relationships between words using nonparametric bayesian graph model (IS, MY, HN), pp. 587–595.
MoDELS-2008-Rauhut #3d #design #idea #modelling: 3D Parametric Models for Aeroplanes — From Idea to Design (PR), p. 295.
MoDELS-2008-Rauhut #3d #design #idea #modelling: 3D Parametric Models for Aeroplanes — From Idea to Design (PR), p. 295.
PEPM-2008-Mogensen #functional: Semi-inversion of functional parameters (TÆM), pp. 21–29.
ASE-2008-MeredithJCR #monitoring #performance: Efficient Monitoring of Parametric Context-Free Patterns (POM, DJ, FC, GR), pp. 148–157.
ASE-2008-SchumannGPMB #analysis #scalability #simulation #tool support: Tool Support for Parametric Analysis of Large Software Simulation Systems (JS, KGB, CSP, TM, TB), pp. 497–498.
FSE-2008-HalfondO #automation #identification #web: Automated identification of parameter mismatches in web applications (WGJH, AO), pp. 181–191.
SAC-2008-BragaOM #estimation #feature model #optimisation: A GA-based feature selection and parameters optimization for support vector regression applied to software effort estimation (PLB, ALIO, SRLM), pp. 1788–1792.
SAC-2008-CostaNFC #analysis #assessment: Parametric cepstral analysis for pathological voice assessment (SCC, BGAN, JMF, SC), pp. 1410–1414.
SAC-2008-LevadaMTS #estimation #higher-order #pseudo: Spatially non-homogeneous potts model parameter estimation on higher-order neighborhood systems by maximum pseudo-likelihood (ALML, NDAM, AT, DHPS), pp. 1733–1737.
LDTA-2007-KlintKV08 #ide: Language Parametric Module Management for IDEs (PK, ATK, JJV), pp. 3–19.
SLE-2008-BastenK #fact extraction #named #source code: DeFacto: Language-Parametric Fact Extraction from Source Code (BB, PK), pp. 265–284.
DAC-2008-El-MoselhyEW #algorithm #performance #scalability #set: Efficient algorithm for the computation of on-chip capacitance sensitivities with respect to a large set of parameters (TAEM, IME, DW), pp. 906–911.
DAC-2008-ImaiSNM #analysis #framework #statistics: Non-parametric statistical static timing analysis: an SSTA framework for arbitrary distribution (MI, TS, NN, KM), pp. 698–701.
DATE-2008-GhamarianGBS #analysis #data flow #graph #throughput: Parametric Throughput Analysis of Synchronous Data Flow Graphs (AHG, MG, TB, SS), pp. 116–121.
DATE-2008-StratigopoulosTM #estimation: A General Method to Evaluate RF BIST Techniques Based on Non-parametric Density Estimation (HGDS, JT, SM), pp. 68–73.
ISMM-2008-BrabermanFGY #memory management #predict #requirements: Parametric prediction of heap memory requirements (VAB, FJF, DG, SY), pp. 141–150.
PDP-2008-PontCCM #architecture #modelling: Parametric Architecture for Modeling Neuronal Systems (MTSP, GdMC, JMGC, HMM), pp. 463–469.
ESOP-2008-MatthewsA #exclamation #morphism #polymorphism #runtime #theorem: Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices! (JM, AA), pp. 16–31.
STOC-2008-ChenLL #algorithm #feedback #problem #set: A fixed-parameter algorithm for the directed feedback vertex set problem (JC, YL, SL, BO, IR), pp. 177–186.
STOC-2008-ODonnellS #problem: The chow parameters problem (RO, RAS), pp. 517–526.
LICS-2008-LassenL #bisimulation #morphism #normalisation #polymorphism: Typed Normal Form Bisimulation for Parametric Polymorphism (SBL, PBL), pp. 341–352.
ICDAR-2007-PapavassiliouSKC #verification: A Parametric Spectral-Based Method for Verification of Text in Videos (VP, TS, VK, GC), pp. 879–883.
WCRE-2007-SinhaRK #model inference #process: Parametric Process Model Inference (SS, GR, RK), pp. 21–30.
ICALP-2007-BozzelliT #automaton #bound #problem: Decision Problems for Lower/Upper Bound Parametric Timed Automata (LB, SLT), pp. 925–936.
IFM-2007-FaberJS #data type #specification #verification: Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters (JF, SJ, VSS), pp. 233–252.
CIG-2007-ParkerP07a #evolution: Evolving Parameters for Xpilot Combat Agents (GBP, MP), pp. 238–243.
HCI-IPT-2007-NayaCAC #2d #editing #geometry #interface #named #sketching: ParSketch: A Sketch-Based Interface for a 2D Parametric Geometry Editor (FN, MC, NA, PC), pp. 115–124.
HIMI-IIE-2007-Sanchez-PueblaAD #evaluation #interface #predict #validation: Validation of Critical Parameters for Predictive Evaluation of Notification System in Avionics Interfaces (MASP, IA, PD), pp. 1109–1118.
CIKM-2007-HeO #ad hoc #probability #retrieval: Parameter sensitivity in the probabilistic model for ad-hoc retrieval (BH, IO), pp. 263–272.
ICML-2007-HoiJL #constraints #kernel #learning #matrix: Learning nonparametric kernel matrices from pairwise constraints (SCHH, RJ, MRL), pp. 361–368.
ICML-2007-Jaeger #learning #network #relational: Parameter learning for relational Bayesian networks (MJ), pp. 369–376.
ICML-2007-YeCJ #kernel #learning #programming: Discriminant kernel and regularization parameter learning via semidefinite programming (JY, JC, SJ), pp. 1095–1102.
KDD-2007-ChopraTLCL: Discovering the hidden structure of house prices with a non-parametric latent manifold model (SC, TT, JL, AC, YL), pp. 173–182.
KDD-2007-SatoN #documentation #information management #multi #topic #using: Knowledge discovery of multiple-topic document using parametric mixture model with dirichlet prior (IS, HN), pp. 590–598.
MLDM-2007-HulsmannF #algorithm #comparison #multi #novel #optimisation: Comparison of a Novel Combined ECOC Strategy with Different Multiclass Algorithms Together with Parameter Optimization Methods (MH, CMF), pp. 17–31.
MLDM-2007-WuW #graph #kernel: Choosing the Kernel Parameters for the Directed Acyclic Graph Support Vector Machines (KPW, SDW), pp. 276–285.
SEKE-2007-ChanCT #random testing #strict #testing: Controlling Restricted Random Testing: An Examination of the Exclusion Ratio Parameter (KPC, TYC, DT), pp. 163–166.
SEKE-2007-FiondellaG #modelling #reliability: Adequacy of Composite Parametric Software Reliability Models (LF, SSG), pp. 643–648.
SIGIR-2007-Metzler #modelling #using: Using gradient descent to optimize language modeling smoothing parameters (DM), pp. 687–688.
POPL-2007-CalcagnoGZ #logic: Context logic as modal logic: completeness and parametric inexpressivity (CC, PG, UZ), pp. 123–134.
ICSE-2007-StylosC #usability: Usability Implications of Requiring Parameters in Objects’ Constructors (JS, SC), pp. 529–539.
SAC-2007-Li #abstraction #protocol #proving #verification: Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols (YL), pp. 1534–1535.
CASE-2007-SarkisSD #automation #modelling #using: Modeling the Variation of the Intrinsic Parameters of an Automatic Zoom Camera System using Moving Least-Squares (MS, CTS, KD), pp. 560–565.
DAC-2007-FengLZ #analysis #higher-order #performance #reduction #statistics #using: Fast Second-Order Statistical Static Timing Analysis Using Parameter Dimension Reduction (ZF, PL, YZ), pp. 244–249.
DAC-2007-LiP #correlation #multi #performance: Efficient Parametric Yield Extraction for Multiple Correlated Non-Normal Performance Distributions of Analog/RF Circuits (XL, LTP), pp. 928–933.
DAC-2007-VytyazLLMMM: Parameter Finding Methods for Oscillators with a Specified Oscillation Frequency (IV, DCL, SL, AM, UKM, KM), pp. 424–429.
DAC-2007-WangLR #automation #megamodelling #named #variability: PV-PPV: Parameter Variability Aware, Automatically Extracted, Nonlinear Time-Shifted Oscillator Macromodels (ZW, XL, JSR), pp. 142–147.
DATE-2007-AggarwalO #modelling #reuse: Simulation-based reusable posynomial models for MOS transistor parameters (VA, UMO), pp. 69–74.
DATE-2007-ZhangOSFKB #analysis #approach #named #process: CMCal: an accurate analytical approach for the analysis of process variations with non-gaussian parameters and nonlinear functions (MZ, MO, DS, MF, HK, EB), pp. 243–248.
DATE-2007-ZjajoAG #interactive #monitoring #process: Interactive presentation: BIST method for die-level process parameter variation monitoring in analog/mixed-signal integrated circuits (AZ, MJBA, JPdG), pp. 1301–1306.
LCTES-2007-CoffmanHMW #analysis: Generalizing parametric timing analysis (JC, CAH, FM, DBW), pp. 152–154.
FoSSaCS-2007-BirkedalY #logic #relational: Relational Parametricity and Separation Logic (LB, HY), pp. 93–107.
TACAS-2007-KrsticGGT #satisfiability: Combined Satisfiability Modulo Parametric Theories (SK, AG, JG, CT), pp. 602–617.
CAV-2007-BogudlovLRS #analysis: Revamping TVLA: Making Parametric Shape Analysis Competitive (IB, TLA, TWR, MS), pp. 221–225.
CAV-2007-ChenR #slicing: Parametric and Sliced Causality (FC, GR), pp. 240–253.
CSL-2007-ChenF: Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping (YC, JF), pp. 389–404.
LICS-2007-MogelbergS #relational: Relational Parametricity for Computational Effects (REM, AS), pp. 346–355.
QoSA-2006-KoziolekHB #component #performance #specification: Parameter Dependent Performance Specifications of Software Components (HK, JH, SB), pp. 163–179.
VLDB-2006-SubramaniamPPKG #detection #modelling #online #using: Online Outlier Detection in Sensor Data Using Non-Parametric Models (SS, TP, DP, VK, DG), pp. 187–198.
ICALP-v1-2006-BlellochDHRSS #re-engineering: Fixed Parameter Tractability of Binary Near-Perfect Phylogenetic Tree Reconstruction (GEB, KD, EH, RR, RS, SS), pp. 667–678.
ICALP-v2-2006-BozgaIL #automaton: Flat Parametric Counter Automata (MB, RI, YL), pp. 577–588.
ICALP-v2-2006-Mogelberg #formal method #modelling #morphism #polymorphism: Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism (REM), pp. 372–383.
ICFP-2006-KatsumataN #algebra: Algebraic fusion of functions with an accumulating parameter and its improvement (SyK, SN), pp. 227–238.
CIKM-2006-TaylorZCRB #multi #optimisation #ranking: Optimisation methods for ranking functions with multiple parameters (MJT, HZ, NC, SR, CB), pp. 585–593.
ICML-2006-Carreira-Perpinan #clustering #performance: Fast nonparametric clustering with Gaussian blurring mean-shift (MÁCP), pp. 153–160.
ICPR-v1-2006-DongZ #automation #framework #image: A Computational Framework for Automatic Determination of Morphological Parameters of Proximal Femur from Intraoperative Fluoroscopic Images (XD, GZ), pp. 1008–1013.
ICPR-v1-2006-KimK06a #using: Estimating Intrinsic Parameters of Cameras using Two Arbitrary Rectangles (JSK, ISK), pp. 707–710.
ICPR-v1-2006-LladoBA #re-engineering #using: Euclidean Reconstruction of Deformable Structure Using a Perspective Camera with Varying Intrinsic Parameters (XL, ADB, LdA), pp. 139–142.
ICPR-v1-2006-PerrinDZ #2d #3d #assessment #process #using: 2D and 3D Vegetation Resource Parameters Assessment using Marked Point Processes (GP, XD, JZ), pp. 1–4.
ICPR-v1-2006-TakahashiMIMM #multi #recognition: Planning of Multiple Camera Arrangement for Object Recognition in Parametric Eigenspace (TT, OM, II, YM, HM), pp. 603–606.
ICPR-v2-2006-JinM #learning #recognition: A Non-Parametric HMM Learning Method for Shape Dynamics with Application to Human Motion Recognition (NJ, FM), pp. 29–32.
ICPR-v2-2006-KimYL #estimation #image #interactive #modelling #random #segmentation #using: New MRF Parameter Estimation Technique for Texture Image Segmentation using Hierarchical GMRF Model Based on Random Spatial Interaction and Mean Field Theory (DHK, IDY, SUL), pp. 365–368.
ICPR-v2-2006-LahdenojaALP #symmetry: A Shape-Preserving Non-parametric Symmetry Transform (OL, EA, ML, AP), pp. 373–377.
ICPR-v2-2006-PriorW #fault #probability #random #using: Parameter Tuning using the Out-of-Bootstrap Generalisation Error Estimate for Stochastic Discrimination and Random Forests (MP, TW), pp. 498–501.
ICPR-v2-2006-RiggiTA #estimation #invariant #matrix: Fundamental Matrix Estimation via TIP — Transfer of Invariant Parameters (FR, MT, TA), pp. 21–24.
ICPR-v2-2006-TarelB #detection #kernel: Object Predetection Based on Kernel Parametric Distribution Fitting (JPT, SB), pp. 808–811.
ICPR-v3-2006-HanD #array #clustering #modelling: Semi-Parametric Model-Based Clustering for DNA Microarray Data (BH, LSD), pp. 324–327.
ICPR-v3-2006-RothausJL #comparison #estimation: Comparison of Methods for Hyperspherical Data Averaging and Parameter Estimation (KR, XJ, ML), pp. 395–399.
ICPR-v4-2006-CzuniCL: Estimating the Optimal Quantization Parameter in H.264 (LC, GC, AL), pp. 330–333.
ICPR-v4-2006-HocquetRC #estimation #problem: Estimation of User Specific Parameters in One-class Problems (SH, JYR, HC), pp. 449–452.
ICPR-v4-2006-LiuYGCZ #generative: Nonparametric Background Generation (YL, HY, WG, XC, DZ), pp. 916–919.
ICPR-v4-2006-MbonyeF #estimation #visual notation: Attentive Visual Servoing in the MPEG compressed domain for Un-calibrated Motion Parameter Estimation of Road Traffic (KPM, FPF), pp. 908–911.
ICPR-v4-2006-ZhangA #estimation #multi #robust: Multi-View Active Shape Model with Robust Parameter Estimation (LZ, HA), pp. 469–468.
OOPSLA-2006-ChinCKP #approach: A flow-based approach for variant parametric types (WNC, FC, SCK, CP), pp. 273–290.
SAS-2006-ChenR #dependence: Parametric and Termination-Sensitive Control Dependence (FC, GR), pp. 387–404.
SAC-2006-GrandonG #approximate #constraints #distance #quantifier: Inner approximation of distance constraints with existential quantification of parameters (CG, AG), pp. 1660–1661.
SAC-2006-HeDZ #estimation #grid #modelling #scalability: Service-oriented grid computation for large-scale parameter estimation in complex environmental modeling (KH, SD, LZ), pp. 741–745.
SAC-2006-LokhandeAG #identification #image: Identification of parameters and restoration of motion blurred images (RL, KVA, PG), pp. 301–305.
SAC-2006-SoaresB #kernel #using: Selecting parameters of SVM using meta-learning and kernel matrix-based meta-features (CS, PB), pp. 564–568.
DAC-2006-HuebbersDI #performance #process: Computation of accurate interconnect process parameter values for performance corners under process variations (FH, AD, YII), pp. 797–800.
DAC-2006-SinghS #analysis #component #correlation #independence #statistics #using: Statistical timing analysis with correlated non-gaussian parameters using independent component analysis (JS, SSS), pp. 155–160.
DAC-2006-WangKO #nondeterminism #probability #statistics: Statistical timing based on incomplete probabilistic descriptions of parameter uncertainty (WSW, VK, MO), pp. 161–166.
DATE-2006-ZhangZD #modelling #named #process: ALAMO: an improved alpha-space based methodology for modeling process parameter variations in analog circuits (HZ, YZ, AD), pp. 156–161.
FASE-2006-BergJR #state machine: Regular Inference for State Machines with Parameters (TB, BJ, HR), pp. 107–121.
STOC-2006-BorgsCLSSV #graph #testing: Graph limits and parameter testing (CB, JTC, LL, VTS, BS, KV), pp. 261–270.
CSL-2006-Rabinovich #problem #synthesis: Church Synthesis Problem with Parameters (AMR), pp. 546–561.
LICS-2006-PanV: Fixed-Parameter Hierarchies inside PSPACE (GP, MYV), pp. 27–36.
VLDB-2005-FungYYL #detection: Parameter Free Bursty Events Detection in Text Streams (GPCF, JXY, PSY, HL), pp. 181–192.
VLDB-2005-GuravannavarRS #optimisation #order #query: Optimizing Nested Queries with Parameter Sort Orders (RG, HSR, SS), pp. 481–492.
ICEIS-v1-2005-AndreouL #analysis #reliability: Nonparametric Analysis of Software Reliability: Revealing the Nature of Software Failure Dataseries (ASA, CL), pp. 138–145.
ICML-2005-PernkopfB #classification #generative #learning #network: Discriminative versus generative parameter and structure learning of Bayesian network classifiers (FP, JAB), pp. 657–664.
MLDM-2005-GhoshGYB05a #learning: Determining Regularization Parameters for Derivative Free Neural Learning (RG, MG, JY, AMB), pp. 71–79.
MLDM-2005-SunWW #algorithm: Parameter Inference of Cost-Sensitive Boosting Algorithms (YS, AKCW, YW), pp. 21–30.
OOPSLA-2005-OanceaW #architecture #component #morphism #polymorphism: Parametric polymorphism for software component architectures (CEO, SMW), pp. 147–166.
POPL-2005-HosoyaFC #morphism #polymorphism #xml: Parametric polymorphism for XML (HH, AF, GC), pp. 50–62.
SAC-2005-DongH #classification #clustering: Text classification based on data partitioning and parameter varying ensembles (YSD, KSH), pp. 1044–1048.
SAC-2005-HuP #3d #complexity: Volume fractal dimensionality: a useful parameter for measuring the complexity of 3D protein spatial structures (MH, QP), pp. 172–176.
SAC-2005-McPhersonMO #clustering #graph #social: Discovering parametric clusters in social small-world graphs (JM, KLM, MO), pp. 1231–1238.
SAC-2005-RimassaV #comprehension #java #strict: Understanding access restriction of variant parametric types and Java wildcards (GR, MV), pp. 1390–1397.
CC-2005-VerdoolaegeBBC #case study #experience #integer: Experiences with Enumeration of Integer Projections of Parametric Polytopes (SV, KB, MB, FC), pp. 91–105.
DAC-2005-ChangZNV #analysis #statistics: Parameterized block-based statistical timing analysis with non-gaussian parameters, nonlinear delay functions (HC, VZ, SN, CV), pp. 71–76.
DAC-2005-SrivastavaSASBD #correlation #estimation #performance #power management: Accurate and efficient gate-level parametric yield estimation considering correlated variations in leakage power and performance (AS, SS, KA, DS, DB, SWD), pp. 535–540.
DAC-2005-WuZN #approach #estimation: A non-parametric approach for dynamic range estimation of nonlinear systems (BW, JZ, FNN), pp. 841–844.
DATE-2005-LiLLPN #modelling #order #performance #reduction #using #variability: Modeling Interconnect Variability Using Efficient Parametric Model Order Reduction (PL, FL, XL, LTP, SRN), pp. 958–963.
PDP-2005-MartinezSACF #design #network #performance: Studying the Effect of the Design Parameters on the Interconnection Network Performance in NOWs (RM, JLS, FJA, VC, JF), pp. 102–109.
FASE-2005-ReussnerHH #component #contract #graph grammar #modelling: Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars (RHR, JH, AH), pp. 80–95.
LICS-2005-Hasegawa #relational: Relational Parametricity and Control (MH), pp. 72–81.
LICS-2005-MelliesV #framework #polymorphism #recursion: Recursive Polymorphic Types and Parametricity in an Operational Framework (PAM, JV), pp. 82–91.
LICS-2005-WashburnW #data flow #using: Generalizing Parametricity Using Information-flow (GW, SW), pp. 62–71.
VMCAI-2005-BurckhardtAM #composition #implementation #refinement #safety #verification: Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement (SB, RA, MMKM), pp. 130–145.
VMCAI-2005-Cousot #abstraction #programming #proving #termination: Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming (PC), pp. 1–24.
DRR-2004-NagyJKLLMS #classification: A nonparametric classifier for unsegmented text (GN, AJ, MSK, YL, DPL, SKM, SCS), pp. 102–108.
CIAA-2004-Tischler #automaton #finite: Parametric Weighted Finite Automata for Figure Drawing (GT), pp. 259–268.
ICALP-2004-FlumGW #bound #nondeterminism: Bounded Fixed-Parameter Tractability and log2n Nondeterministic Bits (JF, MG, MW), pp. 555–567.
SEFM-2004-LanotteMT #decidability #probability #security: Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security (RL, AMS, AT), pp. 114–121.
ICFP-2004-TseZ #dependence: Translating dependency into parametricity (ST, SZ), pp. 115–125.
CIKM-2004-SiersdorferSW #classification #documentation: Goal-oriented methods and meta methods for document classification and their parameter tuning (SS, SS, GW), pp. 59–68.
ICML-2004-BohteBG #classification #polynomial: Nonparametric classification with polynomial MPMC cascades (SMB, MB, GZG).
ICML-2004-GramacyLM #process: Parameter space exploration with Gaussian process trees (RBG, HKHL, WGM).
ICPR-v2-2004-TaoT #analysis #feedback #image #retrieval: Nonparametric Discriminant Analysis in Relevance Feedback for Content-Based Image Retrieval (DT, XT), pp. 1013–1016.
ICPR-v3-2004-ArchambeauBPVT #classification: Supervised Nonparametric Information Theoretic Classification (CA, TB, VP, MV, JPT), pp. 414–417.
ICPR-v3-2004-WuWW #adaptation #image: Regularized Image Restoration Based on Adaptively Selecting Parameter and Operator (XW, RW, CW), pp. 662–665.
ICPR-v4-2004-ImbaultL #approach #optimisation #probability: A Stochastic Optimization Approach for Parameter Tuning of Support Vector Machines (FI, KL), pp. 597–600.
ICPR-v4-2004-OliveiraNM #performance #recognition: Improving RBF-DDA Performance on Optical Character Recognition through Parameter Selection (ALIO, FBdLN, SRdLM), pp. 625–628.
KDD-2004-LiuYM #algorithm #classification #performance: The IOC algorithm: efficient many-class non-parametric classification for high-dimensional data (TL, KY, AWM), pp. 629–634.
SEKE-2004-FengyanZX #algorithm #kernel #modelling #reliability: A Nonparametric Software Reliability Model Based on Kernel Estimator and Optimum Algorithm (HF, QZ, WX), pp. 13–18.
SIGIR-2004-YuTY #framework #information management: A nonparametric hierarchical bayesian framework for information filtering (KY, VT, SY), pp. 353–360.
PADL-2004-ErwigF #fortran #generative: Parametric Fortran — A Program Generator for Customized Generic Fortran Extensions (ME, ZF), pp. 209–223.
PEPM-2004-Nishimura: Fusion with stacks and accumulating parameters (SN), pp. 101–112.
PLDI-2004-LiuRYSH #query: Parametric regular path queries (YAL, TR, FY, SDS, NH), pp. 219–230.
PLDI-2004-WangL #adaptation #analysis: Parametric analysis for adaptive computation offloading (CW, ZL), pp. 119–130.
ICSE-2004-Kang #analysis #approximate #embedded #realtime: Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation (EYK), pp. 39–41.
DAC-2004-RaoDBS #estimation #variability: Parametric yield estimation considering leakage variability (RRR, AD, DB, DS), pp. 442–447.
DAC-2004-WangHL #linear #nondeterminism: A linear fractional transform (LFT) based model for interconnect parametric uncertainty (JMW, OH, JL), pp. 375–380.
DATE-v1-2004-VazquezLHRH #self: A Method for Parameter Extraction of Analog Sine-Wave Signals for Mixed-Signal Built-In-Self-Test Applications (DV, GL, GH, AR, JLH), pp. 298–305.
PDP-2004-HuedoML #adaptation #case study #experience #grid #scheduling: Experiences on Adaptive Grid Scheduling of Parameter Sweep Applications (EH, RSM, IML), pp. 28–33.
TACAS-2004-BeauquierCP #automation #first-order #logic #protocol #state machine #verification: Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic (DB, TC, EP), pp. 372–387.
CAV-2004-Wang #analysis #hybrid #linear #safety: Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures (FW), pp. 295–307.
LICS-2004-DunphyR: Parametric Limits (BPD, USR), pp. 242–251.
DRR-2003-Fan #bound: Text extraction via an edge-bounded averaging and a parametric character model (JF), pp. 8–19.
ICDAR-2003-YamS #image: Estimating Degradation Model Parameters from Character Images (HSY, EHBS), pp. 710–714.
SIGMOD-2003-ReissK #optimisation #query: A Characterization of the Sensitivity of Query Optimization to Storage Access Cost Parameters (FR, TK), pp. 385–396.
VLDB-2003-HulgeriS #cost analysis #named #optimisation #query: AniPQO: Almost Non-intrusive Parametric Query Optimization for Nonlinear Cost Functions (AH, SS), pp. 766–777.
VLDB-2003-KoudasGGSV #approximate #constraints #optimisation #performance #query: Efficient Approximation Of Optimization Queries Under Parametric Aggregation Constraints (SG, DG, NK, DS, MV), pp. 778–789.
CIAA-2003-WangY #realtime: Timing Parameter Characterization of Real-Time Systems (FW, HCY), pp. 23–34.
ICALP-2003-DemaineFHT #algorithm #graph: Fixed-Parameter Algorithms for the (k, r)-Center in Planar Graphs and Map Graphs (EDD, FVF, MTH, DMT), pp. 829–844.
TLCA-2003-Hannay #abstraction #relational: Abstraction Barrier-Observing Relational Parametricity (JEH), pp. 135–152.
ICFP-2003-WashburnW #encoding #higher-order #morphism #polymorphism #syntax: Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism (GW, SW), pp. 249–262.
ICEIS-v3-2003-AkatsuKK #analysis: Analysis on Relation Between Service Parameters for Service Level Management and System Utilization (MA, SK, NK), pp. 191–196.
CIKM-2003-HeO #case study #normalisation: A study of parameter tuning for term frequency normalization (BH, IO), pp. 10–16.
ECIR-2003-Moschitti #case study #classification: A Study on Optimal Parameter Tuning for Rocchio Text Classifier (AM), pp. 420–435.
DAC-2003-BorkarKNTKD #architecture: Parameter variations and impact on circuits and microarchitecture (SB, TK, SN, JT, AK, VD), pp. 338–342.
DAC-2003-JessKNOV #predict #statistics: Statistical timing for parametric yield prediction of digital integrated circuits (JAGJ, KK, SRN, RHJMO, CV), pp. 932–937.
PDP-2003-ProdanFGMFM #architecture #clustering #grid #on the #performance #using: On Using ZENTURIO for Performance and Parameter Studies on Cluster and Grid Architectures (RP, TF, MG, GM, FF, HM), pp. 185–192.
SAT-2003-Szeider #on the #satisfiability: On Fixed-Parameter Tractable Parameterizations of SAT (SS), pp. 188–202.
VLDB-2002-HulgeriS #cost analysis #linear #optimisation #query: Parametric Query Optimization for Linear and Piecewise Linear Cost Functions (AH, SS), pp. 167–178.
ITiCSE-2002-ShahK #programming language: A tutoring system for parameter passing in programming languages (HS, ANK), pp. 170–174.
ICFP-2002-Svenningsson: Shortcut fusion for accumulating parameters & zip-like functions (JS), pp. 124–132.
CSCW-2002-Bossen: The parameters of common information spaces: : the heterogeneity of cooperative work at a hospital ward (CB), pp. 176–185.
ICML-2002-RaskuttiFK #classification #clustering #using: Using Unlabelled Data for Text Classification through Addition of Cluster Parameters (BR, HLF, AK), pp. 514–521.
ICPR-v1-2002-CinqueCLCP #segmentation: Improvement in Range Segmentation Parameters Tuning (LC, FC, SL, RC, GP), pp. 176–179.
ICPR-v1-2002-LiuCR #adaptation #estimation #using: Accurate Dense Optical Flow Estimation Using Adaptive Structure Tensors and a Parametric Model (HL, RC, AR), pp. 291–294.
ICPR-v1-2002-Mignotte #multi: Bayesian Rendering with Non-Parametric Multiscale Prior Model (MM), pp. 247–251.
ICPR-v1-2002-YamadaSM #3d #game studies #image #sequence #video: Tracking Players and a Ball in Video Image Sequence and Estimating Camera Parameters for 3D Interpretation of Soccer Games (AY, YS, JM), pp. 303–306.
ICPR-v2-2002-AnconaCSD #complexity #detection #image #runtime: Object Detection in Images: Run-Time Complexity and Parameter Selection of Support Vector Machines (NA, GC, ES, AD), pp. 426–429.
ICPR-v2-2002-DavisLC #estimation #markov #multi #sequence: Improved Estimation of Hidden Markov Model Parameters from Multiple Observation Sequences (RIAD, BCL, TC), pp. 168–171.
ICPR-v2-2002-KadyrovP #estimation: Affine Parameter Estimation from the Trace Transform (AK, MP), pp. 798–801.
ICPR-v2-2002-YangDD: Near-Optimal Regularization Parameters for Applications in Computer Vision (CY, RD, LSD), pp. 569–573.
ICPR-v2-2002-ZhangGST #physics #using: Tracking Objects Using Recovered Physical Motion Parameters (YZ, DBG, SS, LVT), pp. 10–13.
ICPR-v2-2002-ZollerHB #clustering #segmentation: Combined Color And Texture Segmentation by Parametric Distributional Clustering (TZ, LH, JMB), pp. 627–630.
ICPR-v3-2002-Smeraldi #detection #named: Ranklets: Orientation Selective Non-Parametric Features Applied to Face Detection (FS), pp. 379–382.
ICPR-v3-2002-WeiHK #image #specification: Specification of Image Acquisition Parameters for Stereo Panoramas (SKW, FH, RK), pp. 603–606.
ICPR-v3-2002-ZotkinDDMR #using #visual notation: Virtual Audio System Customization Using Visual Matching of Ear Parameters (DNZ, RD, LSD, AM, VCR), pp. 1003–1006.
KDD-2002-UedaS #category theory #detection #modelling #multi #using: Single-shot detection of multiple categories of text using parametric mixture models (NU, KS), pp. 626–631.
SIGIR-2002-KimRL #classification #estimation #multi #naive bayes: A new method of parameter estimation for multinomial naive bayes text classifiers (SBK, HCR, HSL), pp. 391–392.
ECOOP-2002-IgarashiV #on the #type system: On Variance-Based Subtyping for Parametric Types (AI, MV), pp. 441–469.
ASIA-PEPM-2002-Voigtlander #source code #using: Using circular programs to deforest in accumulating parameters (JV), pp. 126–137.
SAC-2002-ZhangS #algorithm #implementation #performance: An efficient implementation of parametric line and polygon clipping algorithm (MZ, CLS), pp. 796–800.
DATE-2002-AcarNP #framework #simulation: A Linear-Centric Simulation Framework for Parametric Fluctuations (EA, SRN, LTP), pp. 568–575.
DATE-2002-GinesPRSM #behaviour #design #modelling #reuse: A Mixed-Signal Design Reuse Methodology Based on Parametric Behavioural Models with Non-Ideal Effects (AJG, EJP, AR, RS, NMM), pp. 310–314.
DATE-2002-PoppOHB #analysis #automation: Parameter Controlled Automatic Symbolic Analysis of Nonlinear Analog Circuits (RP, JO, LH, EB), pp. 274–278.
DATE-2002-RahajandraibeDACMC: Test Structure for IC(VBE) Parameter Determination of Low Voltage Applications (WR, CD, DA, BC, BM, VC), pp. 316–321.
DATE-2002-SchwenckerSPG #adaptation #set #using #worst-case: Analog Circuit Sizing Using Adaptive Worst-Case Parameter Sets (RS, FS, MP, HEG), pp. 581–585.
DATE-2002-YmeriNMRSV #approach #performance: Simple and Efficient Approach for Shunt Admittance Parameters Calculations of VLSI On-Chip Interconnects on Semiconducting Substrate (HY, BN, KM, DDR, MS, SV), p. 1113.
HPDC-2002-CoreyJV #adaptation #architecture #empirical #grid: Local Discovery of System Architecture — Application Parameter Sensitivity: An Empirical Technique for Adaptive Grid Applications (IC, JRJ, JSV), p. 399–?.
ICLP-2002-CoqueryF #morphism #named #polymorphism #type system: TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP (EC, FF), p. 480.
ICDAR-2001-Hullender #performance: An Efficient Method for Tuning Handwriting Parameters (GNH), pp. 251–254.
ICDAR-2001-Smith #estimation #using: Scanner Parameter Estimation Using Bilevel Scans of Star Charts (EHBS), pp. 1164–1168.
ITiCSE-2001-JoyceY #research #student: The PASS project: group research into parameters affecting student success (DJ, AY), p. 177.
SCAM-2001-ByersK #morphism #polymorphism #slicing: Static Slicing and Parametric Polymorphism (DB, MK), pp. 181–186.
FLOPS-2001-KamareddineLN #using: Refining the Barendregt Cube Using Parameters (FK, TL, RN), pp. 375–390.
ICFP-2001-Chuang #validation: Generic Validation of Structural Content with Parametric Modules (TRC), pp. 98–109.
MLDM-2001-WachowiakSME #modelling #statistics: Statistical and Neural Approaches for Estimating Parameters of a Speckle Model Based on the Nakagami Distribution (MPW, RS, MGM, ASE), pp. 196–205.
LOPSTR-2001-KakehiGF #deforestation #on the: On Deforesting Parameters of Accumulating Maps (KK, RG, YF), pp. 46–56.
SAS-2001-BouajjaniCLS #automaton: Analyzing Fair Parametric Extended Automata (AB, ACA, YL, MS), pp. 335–355.
SAS-2001-WangY #optimisation #realtime: Parametric Optimization of Open Real-Time Systems (FW, HCY), pp. 299–318.
SAC-2001-ChenLCC #multi #performance: The sustainable-cell-rate usage parameter control with adjustable window for high-speed multimedia communications (SyC, LFL, CSC, CJC), pp. 467–471.
SAC-2001-Viroli #implementation #java #morphism #performance #polymorphism: Parametric polymorphism in Java: an efficient implementation for parametric methods (MV), pp. 610–619.
DATE-2001-CherubalC #generative #testing: Test generation based diagnosis of device parameters for analog circuits (SC, AC), pp. 596–602.
LCTES-OM-2001-VivancosHMW #analysis: Parametric Timing Analysis (EV, CAH, FM, DBW), pp. 88–93.
STOC-2001-Tokuyama #multi #optimisation #problem: Minimax parametric optimization problems and multi-dimensional parametric searching (TT), pp. 75–83.
TACAS-2001-HuneRSV #automaton #linear #model checking: Linear Parametric Model Checking of Timed Automata (TH, JR, MS, FWV), pp. 189–203.
ICLP-2001-LoncT #complexity #logic programming #semantics #source code: Fixed-Parameter Complexity of Semantics for Logic Programs (ZL, MT), pp. 197–211.
ICML-2000-AndersonMC #approach #optimisation: A Nonparametric Approach to Noisy and Costly Optimization (BSA, AWM, DC), pp. 17–24.
ICML-2000-TeowL #kernel: Selection of Support Vector Kernel Parameters for Improved Generalization (LNT, KFL), pp. 967–974.
ICPR-v1-2000-CinqueLPCM #algorithm #search-based #segmentation: Optimal Range Segmentation Parameters through Genetic Algorithms (LC, SL, GP, RC, SM), pp. 1474–1477.
ICPR-v1-2000-Farneback #estimation #modelling #performance #using: Fast and Accurate Motion Estimation Using Orientation Tensors and Parametric Motion Models (GF), pp. 1135–1139.
ICPR-v1-2000-TangXM #contest #segmentation #semantics: Semantically Homogeneous Segmentation with Nonparametric Region Competition (MT, JX, SM), pp. 1648–1651.
ICPR-v2-2000-AmengualV #estimation #on the: On the Estimation of Error-Correcting Parameters (JCA, EV), pp. 2883–2886.
ICPR-v2-2000-BurrellP #algorithm #detection #learning #online #probability #process: Sequential Algorithms for Detecting Changes in Acting Stochastic Processes and On-Line Learning of their Operational Parameters (AB, TPK), pp. 2656–2659.
ICPR-v2-2000-GoodeG #classification: Semi-Parametric Signal Classification (AJG, RHG), pp. 2622–2625.
ICPR-v2-2000-KimK #estimation #graph #random #recognition: Minimum Entropy Estimation of Hierarchical Random Graph Parameters for Character Recognition (HYK, JHK), pp. 6050–6053.
ICPR-v3-2000-AparicioG #approach: An Approach for Determining Phong Reflectance Parameters from Real Objects (JIA, JGGB), pp. 3572–3575.
ICPR-v3-2000-DekeyserBPP #2d #image #sequence: Super-Resolution from Noisy Image Sequences Exploiting a 2D Parametric Motion Model (FD, PB, PP, ÉP), pp. 3354–3357.
ICPR-v3-2000-HuLML #representation: Region Based Parametric Motion Representation (CH, YL, SM, HL), pp. 3869–3872.
ICPR-v3-2000-JalobeanuBZ #adaptation #estimation #image: Estimation of Adaptive Parameters for Satellite Image Deconvolution (AJ, LBF, JZ), pp. 3322–3325.
ICPR-v3-2000-PagetL #analysis #markov #random #testing: Nonparametric Markov Random Field Model Analysis of the MeasTex Test Suite (RP, IDL), pp. 3939–3942.
ICPR-v3-2000-Perner #reasoning #segmentation: Controlling the Segmentation Parameters by Case-Based Reasoning (PP), pp. 3975–3978.
ICPR-v4-2000-OkumaSTY #artificial reality #estimation #image #realtime: Real-Time Camera Parameter Estimation from Images for a Mixed Reality System (TO, KS, HT, NY), pp. 4482–4486.
KR-2000-Jamil #inheritance #logic: A Logic Based Language for Parametric Inheritance (HMJ), pp. 611–622.
OOPSLA-2000-ViroliN #approach #java #morphism #polymorphism: Parametric polymorphism in Java: an approach to translation based on reflective features (MV, AN), pp. 146–165.
POPL-2000-LewisLMS #static typing: Implicit Parameters: Dynamic Scoping with Static Types (JRL, JL, EM, MS), pp. 108–118.
DATE-2000-SaabHK #fault #generative #simulation: Parametric Fault Simulation and Test Vector Generation (KS, NBH, BK), pp. 650–656.
CAV-2000-AnnichiniAB #reasoning: Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems (AA, EA, AB), pp. 419–434.
VLDB-1999-KonigW #estimation #query: Combining Histograms and Parametric Curve Fitting for Feedback-Driven Query Result-size Estimation (ACK, GW), pp. 423–434.
ICALP-1999-AlurTEP #logic: Parametric Temporal Logic for “Model Measuring” (RA, KE, SLT, DP), pp. 159–168.
FM-v1-1999-Pavlovic #first-order #semantics #specification: Semantics of First Order Parametric Specifications (DP), pp. 155–172.
ICFP-1999-Crary #proving: A Simple Proof Technique for Certain Parametricity Results (KC), pp. 82–89.
HCI-EI-1999-SanoNS #3d #evaluation #visualisation: 3D Visualization of Plant Parameters and Its Evaluation (TS, YN, AS), pp. 943–947.
ICML-1999-ThrunLF #learning #markov #modelling #monte carlo #probability #process: Monte Carlo Hidden Markov Models: Learning Non-Parametric Models of Partially Observable Stochastic Processes (ST, JL, DF), pp. 415–424.
ICML-1999-ZhouB #algorithm #approach #hybrid #learning #memory management #requirements: A Hybrid Lazy-Eager Approach to Reducing the Computation and Memory Requirements of Local Parametric Learning Algorithms (YZ, CEB), p. 503–?.
PADL-1999-SilvaDBC #architecture #logic programming #parallel #performance: The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems (MGS, IdCD, RB, VSC), pp. 122–136.
POPL-1999-SagivRW #analysis #logic: Parametric Shape Analysis via 3-Valued Logic (SS, TWR, RW), pp. 105–118.
DAC-1999-AagaardJS #constraints: Parametric Representations of Boolean Constraints (MA, RBJ, CJHS), pp. 402–407.
DAC-1999-HarjaniV #fault: Digital Aetection of Analog Parametric Faults in SC Filters (RH, BV), pp. 772–777.
DATE-1999-CherubalC #fault #functional #using: Parametric Fault Diagnosis for Analog Systems Using Functional Mapping (SC, AC), p. 195–?.
DATE-1999-NiggemeyerR #self: Parametric Built-In Self-Test of VLSI Systems (DN, MR), p. 376–?.
CAV-1999-BerardF #automation #consistency #protocol #realtime #verification: Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol (BB, LF), pp. 96–107.
LICS-1999-EmersonT #reasoning: Parametric Quantitative Temporal Reasoning (EAE, RJT), pp. 336–343.
VLDB-1998-Ganguly #algorithm #analysis #design #optimisation #query: Design and Analysis of Parametric Query Optimization Algorithms (SG), pp. 228–238.
ICML-1998-FriedmanGL #classification #network: Bayesian Network Classification with Continuous Attributes: Getting the Best of Both Discretization and Parametric Fitting (NF, MG, TJL), pp. 179–187.
ICPR-1998-Etoh #estimation #representation: Promotion of block matching: parametric representation for motion estimation (ME), pp. 282–285.
ICPR-1998-FiskerC #estimation #modelling #on the: On parameter estimation in deformable models (RF, JMC), pp. 762–766.
ICPR-1998-KadyrovP #detection #estimation #fault #linear: Linear transformation parameter estimation for fault detection (AK, MP), pp. 550–552.
ICPR-1998-KampkeK: Nonparametric optimal binarization (TK, RK), pp. 27–29.
ICPR-1998-KeglKN #classification #learning #network: Radial basis function networks in nonparametric classification and function learning (BK, AK, HN), pp. 565–570.
ICPR-1998-Kraaijveld #classification #comparison: An experimental comparison of nonparametric classifiers for time-constrained classification tasks (MAK), pp. 428–435.
ICPR-1998-MelzerKZ #approach #detection #modelling #using: Stroke detection of brush strokes in portrait miniatures using a semi-parametric and a model based approach (TM, PK, EZ), pp. 474–476.
ICPR-1998-MorishimaIT #2d #image: Facial muscle parameter decision from 2D frontal image (SM, TI, DT), pp. 160–162.
ICPR-1998-OjalaP #multi: Nonparametric multichannel texture description with simple spatial operators (TO, MP), pp. 1052–1056.
ICPR-1998-PagetL #markov #multi #random #recognition #synthesis: Texture synthesis and unsupervised recognition with a nonparametric multiscale Markov random field model (RP, DL), pp. 1068–1070.
ICPR-1998-YamaguchiKI #graph #relational #using: Stereo matching for stone statues using SRI parameters and relational graph (AY, KK, SI), pp. 785–787.
ICPR-1998-YangH #self: An intrinsic parameters self-calibration technique for active vision system (CY, ZH), pp. 67–69.
OOPSLA-1998-SolorzanoA #java #morphism #polymorphism: Parametric Polymorphism for Java: A Reflective Solution (JS, SA), pp. 216–225.
DAC-1998-ChouW #equation #multi: Multilevel Integral Equation Methods for the Extraction of Substrate Coupling Parameters in Mixed-Signal IC’s (MC, JW), pp. 20–25.
DATE-1998-HedrichB #approach #formal method #linear #verification: A Formal Approach to Verification of Linear Analog Circuits with Parameter Tolerances (LH, EB), pp. 649–654.
DATE-1998-LindermeirVG #design #detection #fault #metric: Analog Test Design with IDD Measurements for the Detection of Parametric and Catastrophic Faults (WML, TJV, HEG), pp. 822–827.
HPDC-1998-OguchiSTK #clustering #data mining #effectiveness #evaluation #mining #optimisation #parallel #protocol #scalability: Optimizing Protocol Parameters to Large Scale PC Cluster and Evaluation of its Effectiveness with Parallel Data Mining (MO, TS, TT, MK), pp. 34–41.
ICDAR-1997-BouletreauVSE #classification: Synthetic Parameters for Handwriting Classification (VB, NV, RS, HE), pp. 102–106.
ICDAR-1997-TsudaM #classification: A Nonparametric Density Model for Classification in a High Dimensional Space (KT, MM), pp. 1082–1087.
TLCA-1997-Takeuti #axiom: An Axiomatic System of Parametricity (IT), pp. 354–372.
HCI-SEC-1997-Riedel #3d #aspect-oriented #performance: 3D-Rendering and the Eye: Aspects for Efficient Rendering Through Physiological and Anatomical Parameters of the Eye (OR), pp. 981–984.
ALP-1997-Almendros-JimenezG #lazy evaluation #order: Lazy Narrowing with Parametric Order Sorted Types (JMAJ, AGL), pp. 159–173.
POPL-1997-Kennedy #relational: Relational Parametricity and Units of Measure (AK), pp. 442–455.
DAC-1997-KapurZ #performance: A Fast Method of Moments Solver for Efficient Parameter Extraction of MCMs (SK, JZ), pp. 141–146.
DAC-1997-TianS #agile #fault #simulation: Rapid Frequency-Domain Analog Fault Simulation Under Parameter Tolerances (MWT, CJRS), pp. 275–280.
EDTC-1997-LangDG #automation #design #modelling #top-down: Automatic transfer of parametric FEM models into CAD-layout formats for top-down design of microsystems (ML, DD, MG), pp. 200–204.
PODS-1996-BeeriMT #on the: On Genericity and Parametricity (CB, TM, PTS), pp. 104–116.
ICML-1996-GordonS #learning #statistics: Nonparametric Statistical Methods for Experimental Evaluations of Speedup Learning (GJG, AMS), pp. 200–206.
ICPR-1996-AmaraBCWML #estimation #recursion #segmentation: A recursive estimation of parameters of straight lines and circles: application to the segmentation of the Rey’s Complex Figure (MA, DdB, PC, PW, CM, YL), pp. 467–471.
ICPR-1996-CortijoB #automation #classification #estimation #image #multi: Automatic estimation of the LVQ-1 parameters. Applications to multispectral image classification (FJC, NPdlB), pp. 346–350.
ICPR-1996-Gonzalez #2d #image #sequence: Recovering motion parameters from a 2D range image sequence (JG), pp. 433–440.
ICPR-1996-HeydenA #constant #re-engineering: Euclidean reconstruction from constant intrinsic parameters (AH, KÅ), pp. 339–343.
ICPR-1996-KrzyzakL #classification #complexity #convergence #network: Radial basis function networks and nonparametric classification: complexity regularization and rates of convergence (AK, TL), pp. 650–653.
ICPR-1996-NathanSP #online #recognition: Parameter tying in writer-dependent recognition of on-line handwriting (KN, JS, MPP), pp. 28–32.
ICPR-1996-SchackK #information management: Instantaneous coherence as a sensible parameter for considering human information processing (BS, WK), pp. 45–49.
ICPR-1996-ShihHL #analysis #estimation: Accuracy analysis on the estimation of camera parameters for active vision systems (SWS, YPH, WSL), pp. 930–935.
ICPR-1996-Zhang96a #on the: On the discretization of parameter domain in Hough transformation (MZ), pp. 527–531.
PLILP-1996-LouvetR #morphism #polymorphism #prolog: Parametric Polymorphism for Typed Prolog and λ-Prolog (PL, OR), pp. 47–61.
DAC-1996-LiM #adaptation #linear #modelling #using: Computing Parametric Yield Adaptively Using Local Linear Models (ML, LSM), pp. 831–836.
DAC-1996-SunDH #equation #geometry #independence #performance #using: Fast Parameters Extraction of General Three-Dimension Interconnects Using Geometry Independent Measured Equation of Invariance (WS, WWMD, WHI), pp. 371–376.
ESOP-1996-LaunchburyP: Parametricity and Unboxing with Unpointed Types (JL, RP), pp. 204–218.
STOC-1996-McCormick #algorithm #performance #scheduling: Fast Algorithms for Parametric Scheduling Come from Extensions to Parametric Maximum Flow (STM), pp. 319–328.
ICDAR-v1-1995-BauerW #automation #personalisation #reduction #verification: Parameter reduction and personalized parameter selection for automatic signature verification (FB, BW), pp. 183–186.
TLCA-1995-BellucciAC #morphism #polymorphism: A Model for Formal Parametric Polymorphism: A PER Interpretation for System R (RB, MA, PLC), pp. 32–46.
ICML-1995-Fuchs #adaptation #heuristic #learning #proving: Learning Proof Heuristics by Adaptive Parameters (MF), pp. 235–243.
ICML-1995-KohaviJ #fault: Autmatic Parameter Selection by Minimizing Estimated Error (RK, GHJ), pp. 304–312.
ECOOP-1995-Agesen #algorithm #morphism #polymorphism #precise #type inference: The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism (OA), pp. 2–26.
OOPSLA-1995-DayGLM #morphism #polymorphism #type system: Subtypes vs. Where Clauses: Constraining Parametric Polymorphism (MD, RG, BL, ACM), pp. 156–168.
POPL-1995-FieldRT #slicing: Parametric Program Slicing (JF, GR, FT), pp. 379–392.
SAC-1995-Akbarzadeh-TotonchiJD #case study #distributed #fuzzy: Fuzzy hierarchical control of distributed parameter systems: a case study on a heating slab (MRAT, MJ, PD), pp. 552–556.
STOC-1995-Eppstein #bound #geometry #optimisation: Geometric lower bounds for parametric matroid optimization (DE), pp. 662–671.
LFP-1994-Tolmach #garbage collection #using: Tag-Free Garbage Collection Using Explicit Type Parameters (APT), pp. 1–11.
CSCW-1994-NeuwirthKCM #collaboration #distributed #interactive: Computer Support for Distributed Collaborative Writing: Defining Parameters of Interaction (CN, DK, RC, JHM), pp. 145–152.
SAS-1994-Agesen #constraints #morphism #polymorphism #type inference: Constraint-Based Type Inference and Parametric Polymorphism (OA), pp. 78–100.
EDAC-1994-SivaramanS #analysis #towards: Towards Incorporating Device Parameter Variations in Timing Analysis (MS, AJS), pp. 338–342.
ESOP-1994-OHearnR #morphism #polymorphism: Fully Abstract Translations and Parametric Polymorphism (PWO, JGR), pp. 454–468.
LICS-1994-PlotkinAC #type system: Subtyping and Parametricity (GDP, MA, LC), pp. 310–319.
LICS-1994-RobinsonR #graph #morphism #polymorphism #reflexive: Reflexive Graphs and Parametric Polymorphism (EPR, GR), pp. 364–371.
ICALP-1993-InverardiPY #bisimulation: Extended Transition Systems for Parametric Bisimulation (PI, CP, DY), pp. 558–569.
TLCA-1993-PlotkinA #logic #morphism #polymorphism: A Logic for Parametric Polymorphism (GDP, MA), pp. 361–375.
HCI-SHI-1993-Stelovsky #hypermedia #implementation #reuse #using: Use of Parameters to Facilitate the Implementation of Reusable Hypermedia Modules (JS), pp. 525–530.
CIKM-1993-ChengGN #database: Object Identity and Dimension Alignment in Parametric Databases (TSC, SKG, SSN), pp. 615–624.
POPL-1993-AbadiCC #morphism #polymorphism: Formal Parametric Polymorphism (MA, LC, PLC), pp. 157–170.
POPL-1993-Aponte #type system: Extending Record Typing to Type Parametric Modules with Sharing (MVA), pp. 465–478.
POPL-1993-OHearnT #relational: Relational Parametricity and Local Variables (PWO, RDT), pp. 171–184.
POPL-1993-Reynolds #logic #morphism #polymorphism #tutorial: An Introduction to Logical Relations and Parametric Polymorphism — Tutorial (JCR), pp. 155–156.
WSA-1993-ChinK #multi #recursion: Tupling Functions with Multiple Recursion Parameters (WNC, SCK), pp. 124–140.
SAC-1993-Sabharwal #approach: An Intelligent Approach to Discrete Sampling of Parametric Curves (CLS), pp. 397–401.
SAC-1993-Sabharwal93a #2d #3d #image: Recovering 3D Image Parameters from Corresponding Two 2D Images (CLS), pp. 402–409.
STOC-1993-AlurHV #realtime #reasoning: Parametric real-time reasoning (RA, TAH, MYV), pp. 592–601.
TAPSOFT-1993-EhrigJO #composition #specification: Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages (HE, RMJ, FO), pp. 31–45.
TAPSOFT-1993-Longo: Types as Parameters (GL), pp. 658–670.
CAV-1993-GuptaF #induction #representation #using: Parametric Circuit Representation Using Inductive Boolean Functions (AG, ALF), pp. 15–28.
ILPS-1993-Zhou #compilation #on the #prolog: On the Direct Parameter Passing Mechanism for Prolog Compilers (NFZ), p. 655.
VLDB-1992-IoannidisNSS #optimisation #query: Parametric Query Optimization (YEI, RTN, KS, TKS), pp. 103–114.
ICALP-1992-MontanariY #approach: A Parametric Approach to Localities (UM, DY), pp. 617–628.
LFP-1992-ChenHO: Parametric Type Classes (KC, PH, MO), pp. 170–181.
POPL-1992-Ma #type system: Parametricity as Subtyping (QM), pp. 281–292.
STOC-1992-AgarwalM: Ray Shooting and Parametric Search (PKA, JM), pp. 517–526.
IWPTS-1992-HigashinoBLYT #strict: Test System for a Restricted Class of LOTOS Expressions with Data Parameters (TH, GvB, XL, KY, KT), pp. 205–216.
LICS-1992-FreydRR: Functorial Parametricity (PJF, EPR, GR), pp. 444–452.
FPCA-1991-Mairson #proving: Outline of a Proof Theory of Parametricity (HGM), pp. 313–327.
ICSE-1991-JacobyT #evaluation #geometry #reliability: Parameter Value Computation by Least Square Method and Evaluation of Software Availability and Reliability at Service-Operation by the Hyper-Geometric Distribution Software Reliability Growth Model (HGDM) (RJ, YT), pp. 226–237.
KBSE-1991-HeinemanKBB: Rule Chaining in MARVEL: Dynamic Binding of Parameters (GTH, GEK, NSB, IBS), pp. 215–222.
DAC-1991-YangCYDH #modelling #simulation: Modeling and Simulation of High-Frequency Integrated Circuits Based on Scattering Parameters (ATY, CHC, JTY, RRD, JPH), pp. 752–757.
CCPSD-1991-Hanus #logic programming #order: Parametric Order-Sorted Types in Logic Programming (MH), pp. 181–200.
IWPTS-1991-SatoTKM #communication #generative #specification #testing #tool support: Parameter Specification Language and Test Data Generation Tools for Communication Software Testing (FS, HT, KK, TM), pp. 207–218.
SIGMOD-1990-Orenstein #comparison #query: A Comparison of Spatial Query Processing Techniques for Native and Parameter Spaces (JAO), pp. 343–352.
ML-1990-KadabaN #algorithm #automation #performance #search-based: Improving the Performance of Genetic Algorithms in Automated Discovery of Parameters (NK, KEN), pp. 140–148.
PLDI-1990-CormackW: Type-Dependent Parameter Inference (GVC, AKW), pp. 127–136.
FPCA-1989-Sestoft: Replacing Function Parameters by Global Variables (PS), pp. 39–53.
CHI-1989-WareB: Bat brushes: on the uses of six position and orientation parameters in a paint program (CW, CB), pp. 155–160.
OOPSLA-1989-OhoriB #static typing #type inference: Static Type Inference for Parametric Classes (AO, PB), pp. 445–456.
ESOP-1988-Kaes #polymorphism #programming language: Parametric Overloading in Polymorphic Programming Languages (SK), pp. 131–144.
LICS-1988-FreydGSS #polymorphism #semantics #λ-calculus: Semantic Parametricity in Polymorphic λ Calculus (PJF, JYG, AS, PJS), pp. 274–279.
HT-1987-Jones #hypermedia #tool support: Developing and Distributing Hypertext Tools: Legal Inputs and Parameters (HWJI), pp. 367–374.
CAAP-1987-Gogolla #algebra #fault #on the #specification: On Parametric Algebraic Specifications with Clean Error Handling (MG), pp. 81–95.
ESOP-1986-KastensS #analysis: Lifetime Analysis for Procedure Parameters (UK, MS), pp. 53–69.
POPL-1985-Cooper #alias: Analyzing Aliases of Reference Formal Parameters (KDC), pp. 281–290.
DAC-1985-OgiharaSM #automation #generative #named #testing: PATEGE: an automatic DC parametric test generation system for series gated ECL circuits (TO, SS, SM), pp. 212–218.
CAAP-1985-Padawitz #data type #specification: Parameter Preserving Data Type Specifications (PP), pp. 323–341.
DAC-1984-KrieteN #design #metaprogramming: A VLSI design methodology based on parametric macro cells (RAK, RKN), pp. 686–688.
ICALP-1982-BergstraK #algebra #data type #specification: Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras (JAB, JWK), pp. 23–34.
DAC-1982-Asano: Parametric pattern router (TA), pp. 411–417.
DAC-1982-Kalay #bound #modelling #multi: Modeling polyhedral solids bounded by multi-curved parametric surfaces (YEK), pp. 501–507.
PS-1981-EhrigKTWW #algebra #specification: Parameter Passing in Algebraic Specification Languages (HE, HJK, JWT, EGW, JBW), pp. 322–369.
DAC-1981-NgGK #verification: A timing verification system based on extracted MOS/VLSI circuit parameters (PN, WG, RK), pp. 288–292.
STOC-1981-Leivant #complexity #independence #polymorphism #programming language #theorem: The Complexity of Parameter Passing in Polymorphic Procedures (or: Programming Language Theorems Independent of Very Strong Theories) (DL), pp. 38–45.
VLDB-1980-Post #database #named: Quintillabit: Parameters of a Hyperlarge Database (JVP), pp. 156–158.
POPL-1980-DemersD #data type #type checking: Data Types, Parameters, and Type Checking (AJD, JED), pp. 12–23.
POPL-1979-Critcher #functional #power of: The Functional Power of Parameter Passage Mechanisms (AC), pp. 158–168.
DAC-1979-Lichten #design #scalability: A partial solution to fitting large parametric surfaces in computer-aided design systems (LL), pp. 222–228.
POPL-1978-Solomon: Type Definitions with Parameters (MHS), pp. 31–38.
STOC-1978-Lynch #complexity #metric: Straight-Line Program Length as a Parameter for Complexity Measures (NAL), pp. 150–161.
ICALP-1974-Roever #approach #axiom #recursion: Recursion and Parameter Mechanisms: An Axiomatic Approach (WPdR), pp. 34–65.
DAC-1973-BoehmA #design: Parameter sensitivity studies for internal combustion engine control and design purposes (CFBJ, JJAI), pp. 240–246.
SOSP-1971-Rodriguez-Rosell #behaviour #how: Experimental Data on How Program Behavior Affects the Choice of Scheduler Parameters (JRR), pp. 156–163.