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

Tag #parametricity

831 papers:

POPLPOPL-2020-NewJA
Graduality and parametricity: together again for the first time (MSN, DJ, AA), p. 32.
CGOCGO-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.
CSLCSL-2020-Cavallo0 #type system
Internal Parametricity for Cubical Type Theory (EC, RH0), p. 17.
MSRMSR-2019-WickertREDM #dataset #encryption
A dataset of parametric cryptographic misuses (AKW, MR, ME, AD, MM), pp. 96–100.
FMFM-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.
AIIDEAIIDE-2019-BisbergC #named
SCOPE: Selective Cross-Validation over Parameters for Elo (AJB, RECR), pp. 116–122.
CoGCoG-2019-SironiW #monte carlo
Comparing Randomization Strategies for Search-Control Parameters in Monte-Carlo Tree Search (CFS, MHMW), pp. 1–8.
CIKMCIKM-2019-SivrikayaAL #recommendation
International Workshop on Model Selection and Parameter Tuning in Recommender Systems (FS, SA, DL), pp. 2999–3000.
ICMLICML-2019-0001HLZZ #clustering #multi #named
COMIC: Multi-view Clustering Without Parameter Selection (XP0, ZH, JL, HZ, JTZ), pp. 5092–5101.
ICMLICML-2019-FongLH #multimodal #scalability
Scalable Nonparametric Sampling from Multimodal Posteriors with the Posterior Bootstrap (EF, SL, CCH), pp. 1952–1962.
ICMLICML-2019-GottesmanLSBD #evaluation #modelling
Combining parametric and nonparametric models for off-policy evaluation (OG, YL0, SS, EB, FDV), pp. 2366–2375.
ICMLICML-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.
ICMLICML-2019-LiutkusSMDS #generative #modelling
Sliced-Wasserstein Flows: Nonparametric Generative Modeling via Optimal Transport and Diffusions (AL, US, SM, AD, FRS), pp. 4104–4113.
ICMLICML-2019-MostafaW #network #performance
Parameter efficient training of deep convolutional neural networks by dynamic sparse reparameterization (HM, XW), pp. 4646–4655.
ICMLICML-2019-OonoS #approximate #estimation #network
Approximation and non-parametric estimation of ResNet-type convolutional neural networks (KO, TS), pp. 4922–4931.
ICMLICML-2019-PanousisCT #contest #network
Nonparametric Bayesian Deep Networks with Local Competition (KPP, SC, ST), pp. 4980–4988.
ICMLICML-2019-Raziperchikolaei #coordination #estimation
A Block Coordinate Descent Proximal Method for Simultaneous Filtering and Parameter Estimation (RR, HSB), pp. 5380–5388.
ICMLICML-2019-SinghTJGB #generative #network
Non-Parametric Priors For Generative Adversarial Networks (RS, PKT, SJ, RG, MWB), pp. 5838–5847.
ICMLICML-2019-VinayakKVK #estimation #learning
Maximum Likelihood Estimation for Learning Populations of Parameters (RKV, WK, GV, SMK), pp. 6448–6457.
ICMLICML-2019-YangW #using
Sample-Optimal Parametric Q-Learning Using Linearly Additive Features (LY, MW), pp. 6995–7004.
ICMLICML-2019-YurochkinAGGHK #learning #network
Bayesian Nonparametric Federated Learning of Neural Networks (MY, MA, SG, KHG, TNH, YK), pp. 7252–7261.
KDDKDD-2019-LiuCGD #predict
Nonparametric Mixture of Sparse Regressions on Spatio-Temporal Data - An Application to Climate Prediction (YL, JC, ARG, JGD), pp. 2556–2564.
ECOOPECOOP-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.
POPLPOPL-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.
POPLPOPL-2019-ToroLT #revisited
Gradual parametricity, revisited (MT, EL, ÉT), p. 30.
SASSAS-2019-YuM #linear #performance #programming
An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection (HY, DM), pp. 203–224.
CASECASE-2019-HovgardLB #energy #optimisation #simulation
Simulation Based Energy Optimization of Robot Stations by Motion Parameter Tuning (MH, BL, KB), pp. 456–461.
CASECASE-2019-Pinitnanthakorn #identification
Parameters Identification of a Five-Axis Machine Tool by Haar Wavelet (AP, SLC), pp. 271–274.
CADECADE-2019-PeuterS #invariant #on the #synthesis
On Invariant Synthesis for Parametric Systems (DP, VSS), pp. 385–405.
CAVCAV-2019-WagaAH #monitoring #specification
Symbolic Monitoring Against Specifications Parametric in Time and Data (MW, ÉA, IH), pp. 520–539.
VMCAIVMCAI-2019-AndreDFL #protocol
Parametric Timed Broadcast Protocols (ÉA, BD, PF, DL), pp. 491–512.
VMCAIVMCAI-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.
VMCAIVMCAI-2019-HaarKP #modelling #reduction #refinement
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics (SH, JK, LP), pp. 555–576.
ICSAICSA-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.
EDMEDM-2018-AgarwalBB
Contextual Derivation of Stable BKT Parameters for Analysing Content Efficacy (DA, NB, RSB).
EDMEDM-2018-DurandGL #fault #standard
Standard error considerations on AFM parameters (GD, CG, SL).
ICSMEICSME-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.
CIKMCIKM-2018-NguyenH #flexibility #modelling #privacy
Privacy Protection for Flexible Parametric Survival Models (TTN, SCH), pp. 1273–1282.
ICMLICML-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.
ICMLICML-2018-GanapathiramanS #induction #modelling
Inductive Two-layer Modeling with Parametric Bregman Transfer (VG, ZS, XZ, YY), pp. 1622–1631.
ICMLICML-2018-PhamGZLD #architecture #performance
Efficient Neural Architecture Search via Parameter Sharing (HP, MYG, BZ, QVL, JD), pp. 4092–4101.
ICMLICML-2018-RaeDDL #learning #performance
Fast Parametric Learning with Activation Memorization (JWR, CD, PD, TPL), pp. 4225–4234.
ICMLICML-2018-WangZLMM #approximate #performance
Approximate Leave-One-Out for Fast Parameter Tuning in High Dimensions (SW, WZ, HL, AM, VSM), pp. 5215–5224.
ICMLICML-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.
ICMLICML-2018-XuMBSD
Nonparametric Regression with Comparisons: Escaping the Curse of Dimensionality with Ordinal Information (YX, HM, SB, AS, AD), pp. 5469–5478.
ICMLICML-2018-ZhangP
Deep Bayesian Nonparametric Tracking (AZ, JWP), pp. 5828–5836.
ICMLICML-2018-ZhuL #communication #constraints #distributed
Distributed Nonparametric Regression under Communication Constraints (YZ, JL), pp. 6004–6012.
ICPRICPR-2018-HaindlH
BTF Compound Texture Model with Non- Parametric Control Field (MH, VH), pp. 1151–1156.
ICPRICPR-2018-OGorman
Temporal Filter Parameters for Motion Pattern Maps (LO), pp. 2612–2617.
ICPRICPR-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.
KDDKDD-2018-AgarwalBGXYZ #online #problem #ranking
Online Parameter Selection for Web-based Ranking Problems (DA, KB0, SG, YX, YY, LZ), pp. 23–32.
KDDKDD-2018-HundmanCLCS #detection #using
Detecting Spacecraft Anomalies Using LSTMs and Nonparametric Dynamic Thresholding (KH, VC, CL, IC, TS), pp. 387–395.
OOPSLAOOPSLA-2018-KoppelPS #incremental #syntax
One tool, many languages: language-parametric transformation with incremental parametric syntax (JK, VP, ASL), p. 28.
POPLPOPL-2018-DevriesePP
Parametricity versus the universal type (DD, MP, FP), p. 23.
PPDPPPDP-2018-MadsenL #logic programming
Implicit Parameters for Logic Programming (MM, OL), p. 14.
SLESLE-2018-MerinoVS #generative #named
Bacatá: a language parametric notebook generator (MVM, JJV, TvdS), pp. 210–214.
CASECASE-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.
CASECASE-2018-ToriiH #3d #approximate #estimation #using
Model-less Estimation Method for Robot Grasping Parameters Using 3D Shape Primitive Approximation (TT, MH), pp. 580–585.
CASECASE-2018-ZhouT
Relationship between Systematic Parameters and Operator's Kinesthetic Sensitivity in Master-Slave System (DZ, KT), pp. 863–868.
CASECASE-2018-ZouOHVC #automation #design #optimisation
Design Parameter Optimization of Automated Production Systems (MZ, FO, EH, BVH, CHC), pp. 359–364.
ICSAICSA-2017-CalinescuCGKP #design #markov #robust #synthesis
Designing Robust Software Systems through Parametric Markov Chain Synthesis (RC, MC0, SG, MK, NP), pp. 131–140.
EDMEDM-2017-LalwaniA #question
Few hundred parameters outperform few hundred thousand? (AL, SA).
EDMEDM-2017-LiuK17a #metric #reliability #student #towards
Towards reliable and valid measurement of individualized student parameters (RL0, KRK).
HaskellHaskell-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.
CIKMCIKM-2017-HuHQ #algorithm #communication #parallel #performance
A Communication Efficient Parallel DBSCAN Algorithm based on Parameter Server (XH, JH0, MQ), pp. 2107–2110.
ICMLICML-2017-Allen-Zhu #named #optimisation #performance #probability
Natasha: Faster Non-Convex Stochastic Optimization via Strongly Non-Convex Parameter (ZAZ), pp. 89–97.
ICMLICML-2017-JiHS #generative #image
From Patches to Images: A Nonparametric Generative Model (GJ0, MCH, EBS), pp. 1675–1683.
ICMLICML-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.
KDDKDD-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.
POPLPOPL-2017-Crary #abstraction #morphism #polymorphism
Modules, abstraction, and parametric polymorphism (KC), pp. 100–113.
QAPLQAPL-2017-ArmingBS #named
SEA-PARAM: Exploring Schedulers in Parametric MDPs (SA, EB, AS), pp. 25–38.
SASSAS-2017-MarechalMP #linear #programming #scalability
Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming (AM, DM, MP), pp. 212–231.
CASECASE-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.
CASECASE-2017-ChienLDCC #modelling
Modeling collinear WATs for parametric yield enhancement in semiconductor manufacturing (CFC, PCL, RD, YJC, CCC), pp. 739–743.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-2017-ZhuangCG #analysis
Parameters analysis of hierarchical evolutionary method with an application of HVAC system (LZ, XC0, XG), pp. 858–863.
CAVCAV-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.
VMCAIVMCAI-2017-MuschollSW #process #reachability
Reachability for Dynamic Parametric Processes (AM, HS, IW), pp. 424–441.
EDMEDM-2016-Yudelson16a #question #student
Individualizing Bayesian Knowledge Tracing. Are Skill Parameters More Important Than Student Parameters? (MY), pp. 556–561.
ICPCICPC-2016-MetcalfFYF #interactive #static analysis #using
Extracting configuration parameter interactions using static analysis (CAM, FF, TY, JF), pp. 1–4.
SANERSANER-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.
FMFM-2016-AstefanoaeiBBCR #composition #synthesis
Compositional Parameter Synthesis (LA, SB, MB, CHC, HR), pp. 60–68.
SEFMSEFM-2016-BezdekBBC #automaton #ltl #synthesis
LTL Parameter Synthesis of Parametric Timed Automata (PB, NB, JB, IC), pp. 172–187.
CIKMCIKM-2016-GuoG
A Nonparametric Model for Event Discovery in the Geospatial-Temporal Space (JG, ZG), pp. 499–508.
CIKMCIKM-2016-ZhangMZ #topic #word
A Non-Parametric Topic Model for Short Texts Incorporating Word Coherence Knowledge (YZ, WM, DDZ), pp. 2017–2020.
CIKMCIKM-2016-ZhongSLR #scalability
Scaling Factorization Machines with Parameter Server (EZ, YS, NL, SR), pp. 1583–1592.
ICMLICML-2016-ArpitZKG #network #normalisation
Normalization Propagation: A Parametric Technique for Removing Internal Covariate Shift in Deep Networks (DA, YZ, BUK, VG), pp. 1168–1176.
ICMLICML-2016-BhowmikGK
Sparse Parameter Recovery from Aggregated Data (AB, JG, OK), pp. 1090–1099.
ICMLICML-2016-HwangTC #automation #modelling #multi #relational
Automatic Construction of Nonparametric Relational Regression Models for Multiple Time Series (YH, AT, JC), pp. 3030–3039.
ICMLICML-2016-ImaizumiH
Doubly Decomposing Nonparametric Tensor Regression (MI, KH), pp. 727–736.
ICMLICML-2016-KanagawaSKST #process
Gaussian process nonparametric tensor estimator and its minimax optimality (HK, TS, HK, NS, YT), pp. 1632–1641.
ICMLICML-2016-KandasamyY #approximate
Additive Approximations in High Dimensional Nonparametric Regression via the SALSA (KK, YY), pp. 69–78.
ICMLICML-2016-MichaeliWL #analysis #canonical #correlation
Nonparametric Canonical Correlation Analysis (TM, WW, KL), pp. 1967–1976.
ICMLICML-2016-NiuRFH #performance #using
Fast Parameter Inference in Nonlinear Dynamical Systems using Iterative Gradient Matching (MN, SR, MF, DH), pp. 1699–1707.
ICMLICML-2016-RavanbakhshOFPH #matter
Estimating Cosmological Parameters from the Dark Matter Distribution (SR, JBO, SF, LP, SH, JGS, BP), pp. 2407–2416.
ICMLICML-2016-VojnovicY #estimation #modelling
Parameter Estimation for Generalized Thurstone Choice Models (MV, SYY), pp. 498–506.
ICMLICML-2016-YangWLEZ #estimation
Sparse Nonlinear Regression: Parameter Estimation under Nonconvexity (ZY, ZW, HL0, YCE, TZ0), pp. 2472–2481.
ICPRICPR-2016-ComiterCKT #automation #clustering #distributed #implementation
Lambda means clustering: Automatic parameter search and distributed computing implementation (MZC, MC, HTK, ST), pp. 2331–2337.
ICPRICPR-2016-GuY #approximate #on the
On the magnitude of parameters of RBMs being universal approximators (LG, LY), pp. 2470–2474.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2016-KouwL #estimation #on the
On regularization parameter estimation under covariate shift (WMK, ML), pp. 426–431.
ICPRICPR-2016-MorinakaSSIK #3d #re-engineering
3D reconstruction under light ray distortion from parametric focal cameras (SM, FS, JS, KI, NK), pp. 2350–2355.
ICPRICPR-2016-NguyenNVP #clustering #multi #named #semistructured data
MCNC: Multi-Channel Nonparametric Clustering from heterogeneous data (TBN, VN0, SV, DQP), pp. 3633–3638.
ICPRICPR-2016-SubramanianR0SV #multi
Bayesian nonparametric Multiple Instance Regression (SS, SR, SG0, PBS, CSV, SV), pp. 3661–3666.
KDDKDD-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.
OOPSLAOOPSLA-2016-PetrashkoULO #graph #morphism #polymorphism
Call graphs for languages with parametric polymorphism (DP, VU, OL, MO), pp. 394–409.
SASSAS-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.
CASECASE-2016-OetingerKS #design #identification
Parameter identification and controller design for high-rack feeder systems and fork lifts (DO, KLK, OS), pp. 509–514.
CASECASE-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.
VMCAIVMCAI-2016-DelahayeLP #markov #synthesis
Parameter Synthesis for Parametric Interval Markov Chains (BD, DL, LP), pp. 372–390.
DRRDRR-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).
EDMEDM-2015-MartoriCG #estimation
Direct Estimation of the Minimum RSS Value for Training Bayesian Knowledge Tracing Parameters (FM, JC, LGS), pp. 364–367.
ICSMEICSME-2015-AsaduzzamanRMS #api #recommendation
Exploring API method parameter recommendations (MA, CKR, SM, KAS), pp. 271–280.
ICSMEICSME-2015-AsaduzzamanRS #api #named #recommendation
PARC: Recommending API methods parameters (MA, CKR, KAS), pp. 330–332.
ICSMEICSME-2015-KimBD #design pattern #java #refactoring
Scripting parametric refactorings in Java to retrofit design patterns (JK, DSB, DD), pp. 211–220.
ICALPICALP-v1-2015-Cao #editing
Unit Interval Editing is Fixed-Parameter Tractable (YC), pp. 306–317.
ICALPICALP-v2-2015-BenesBLS #automaton
Language Emptiness of Continuous-Time Parametric Timed Automata (NB, PB, KGL, JS), pp. 69–81.
ICALPICALP-v2-2015-Feldmann #approximate #graph #problem
Fixed Parameter Approximations for k-Center Problems in Low Highway Dimension Graphs (AEF), pp. 588–600.
FMFM-2015-DangDP #logic #specification #synthesis
Parameter Synthesis Through Temporal Logic Specifications (TD, TD, CP), pp. 213–230.
TLCATLCA-2015-Redmond #polynomial #λ-calculus
Polynomial Time in the Parametric λ Calculus (BFR), pp. 288–301.
CoGCIG-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.
CoGCIG-2015-QuadfliegRP #how #multi #optimisation
How costly is a good compromise: Multi-objective TORCS controller parameter optimization (JQ, GR, MP), pp. 454–460.
HCIDHM-EH-2015-AntonyaBB #estimation
Parameter Estimation from Motion Tracking Data (CA, SB, HB), pp. 113–121.
HCIDHM-EH-2015-HarihBR #interface #optimisation
Optimisation of Product’s Hand-Handle Interface Material Parameters for Improved Ergonomics (GH, MB, ZR), pp. 15–25.
CIKMCIKM-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.
CIKMCIKM-2015-ZhangXLGXHC #interactive #modelling #ranking
Modeling Parameter Interactions in Ranking SVM (YZ, JX0, YL, JG, MX, YH, XC), pp. 1799–1802.
ECIRECIR-2015-JameelLB #modelling #topic #using
Nonparametric Topic Modeling Using Chinese Restaurant Franchise with Buddy Customers (SJ, WL, LB), pp. 648–659.
ICMLICML-2015-BachemLK #estimation
Coresets for Nonparametric Estimation — the Case of DP-Means (OB, ML, AK), pp. 209–217.
ICMLICML-2015-BenavoliCMZ #algorithm
A Bayesian nonparametric procedure for comparing algorithms (AB, GC, FM, MZ), pp. 1264–1272.
ICMLICML-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.
ICMLICML-2015-DasBB #modelling #order
Ordered Stick-Breaking Prior for Sequential MCMC Inference of Bayesian Nonparametric Models (MKD, TB, CB), pp. 550–559.
ICMLICML-2015-HuHDX #distributed #scalability
Large-scale Distributed Dependent Nonparametric Trees (ZH, QH, AD, EPX), pp. 1651–1659.
ICMLICML-2015-SamoR #process #scalability
Scalable Nonparametric Bayesian Inference on Point Processes with Gaussian Processes (YLKS, SR), pp. 2227–2236.
ICMLICML-2015-WangZ #clustering #named
DP-space: Bayesian Nonparametric Subspace Clustering with Small-variance Asymptotics (YW, JZ), pp. 862–870.
KDDKDD-2015-ChuHTLL #classification #linear
Warm Start for Parameter Selection of Linear Classifiers (BYC, CHH, CHT, CYL, CJL), pp. 149–158.
KDDKDD-2015-ZhaoJCJ #estimation #performance #quality
SAME but Different: Fast and High Quality Gibbs Parameter Estimation (HZ, BJ, JFC, BJ), pp. 1495–1502.
SEKESEKE-2015-LinYX #automation #detection #generative #testing
Automatic Detection of Parameter Shielding for Test Case Generation (JL, JY, JX), pp. 571–574.
SIGIRSIGIR-2015-RenR #process
Summarizing Contrastive Themes via Hierarchical Non-Parametric Processes (ZR, MdR), pp. 93–102.
SIGIRSIGIR-2015-YangKML #modelling #sentiment #topic
Parametric and Non-parametric User-aware Sentiment Topic Models (ZY, AK, AM, SL), pp. 413–422.
OOPSLAOOPSLA-2015-OuD #automation #memory management #named #order
AutoMO: automatic inference of memory order parameters for C/C++11 (PO, BD), pp. 221–240.
ASEASE-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-FSEESEC-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.
SACSAC-2015-HendersonGE #clustering #empirical #named #performance #probability
EP-MEANS: an efficient nonparametric clustering of empirical probability distributions (KH, BG, TER), pp. 893–900.
SACSAC-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.
CASECASE-2015-ChenTLY #multi #optimisation
Multi-objective parameter optimization of multi-pass CNC machining (XC, YT, CL, QY), pp. 45–50.
CASECASE-2015-CheungWCP #automation
Optimization-based automatic parameter tuning for stereo vision (ECHC, JW, JC, JP), pp. 855–861.
CASECASE-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.
CASECASE-2015-LeeKK #online #using
Control of an aerial manipulator using on-line parameter estimator for an unknown payload (HL, SK, HJK), pp. 316–321.
CASECASE-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.
CASECASE-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.
CASECASE-2015-SterlingSZC #algorithm #optimisation #process
Welding parameter optimization based on Gaussian process regression Bayesian optimization algorithm (DS, TS, YZ, HC), pp. 1490–1496.
CASECASE-2015-WanCPH #optimisation
Optimizing the parameters of tilting surfaces in robotic workcells (WW, ECHC, JP, KH), pp. 593–599.
CCCC-2015-DarteI #approximate #optimisation
Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes (AD, AI), pp. 151–170.
PDPPDP-2015-AliAP #data flow #graph #realtime
Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs (HIA, BA, LMP), pp. 701–710.
CAVCAV-2015-DehnertJJCVBKA #named #probability #synthesis
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool (CD, SJ, NJ, FC, MV, HB, JPK, ), pp. 214–231.
QoSAQoSA-2014-EtxeberriaTCS #hardware #nondeterminism
Performance-based selection of software and hardware features under parameter uncertainty (LE, CT, VC, GS), pp. 23–32.
VLDBVLDB-2015-TrummerK14 #multi #optimisation #query
Multi-Objective Parametric Query Optimization (IT, CK), pp. 221–232.
EDMEDM-2014-KaserKG #analysis #learning #predict
Different parameters - same prediction: An analysis of learning curves (TK, KRK, MHG), pp. 52–59.
FLOPSFLOPS-2014-Magalhaes #multi #programming
Generic Programming with Multiple Parameters (JPM), pp. 136–151.
ICFPICFP-2014-ChenE #analysis #product line #type system
Type-based parametric analysis of program families (SC, ME), pp. 39–51.
IFLIFL-2014-DomoszlaiLP14a #bidirectional #lens
Parametric lenses: change notification for bidirectional lenses (LD, BL, RP), p. 9.
FDGFDG-2014-ZookFR #automation #game studies #learning
Automatic playtesting for game parameter tuning via active learning (AZ, EF, MOR).
CHICHI-2014-AdamsGL #named
SonicExplorer: fluid exploration of audio parameters (ATA, BG, CL), pp. 237–246.
HCIDHM-2014-ZhouLXZZ #analysis #metric
Measurement and Analysis of Anthropometric Parameters of Young Male Vehicle Drivers (QXZ, ZQL, FX, SZ, SZ), pp. 174–181.
HCIHIMI-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.
CAiSECAiSE-2014-RizziG #generative #named
CubeLoad: A Parametric Generator of Realistic OLAP Workloads (SR, EG), pp. 610–624.
ICEISICEIS-v2-2014-HomendaJP #re-engineering
Granular Cognitive Map Reconstruction — Adjusting Granularity Parameters (WH, AJ, WP), pp. 175–184.
CIKMCIKM-2014-Deolalikar14a #behaviour #clustering #modelling #retrieval
Parameter Tuning with User Models: Influencing Aggregate User Behavior in Cluster Based Retrieval Systems (VD), pp. 1823–1826.
CIKMCIKM-2014-WangMC #learning
Structure Learning via Parameter Learning (WYW, KM, WWC), pp. 1199–1208.
ECIRECIR-2014-Aly #normalisation #using
Score Normalization Using Logistic Regression with Expected Parameters (RA), pp. 579–584.
ICMLICML-c1-2014-NguyenPNVB #clustering #multi
Bayesian Nonparametric Multilevel Clustering with Group-Level Contexts (TVN, DQP, XN, SV, HB), pp. 288–296.
ICMLICML-c1-2014-SoufianiPX #modelling #ranking
Computing Parametric Ranking Models via Rank-Breaking (HAS, DCP, LX), pp. 360–368.
ICMLICML-c2-2014-AffandiFAT #kernel #learning #process
Learning the Parameters of Determinantal Point Process Kernels (RHA, EBF, RPA, BT), pp. 1224–1232.
ICMLICML-c2-2014-KrishnamurthyKPW #estimation
Nonparametric Estimation of Renyi Divergence and Friends (AK, KK, BP, LAW), pp. 919–927.
ICMLICML-c2-2014-SongADX #estimation #modelling #multi
Nonparametric Estimation of Multi-View Latent Variable Models (LS, AA, BD, BX), pp. 640–648.
ICPRICPR-2014-ChamroukhiBG #clustering
Bayesian Non-parametric Parsimonious Gaussian Mixture for Clustering (FC, MB, HG), pp. 1460–1465.
ICPRICPR-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.
ICPRICPR-2014-ChironGM #behaviour #using
Discovering Emergent Behaviors from Tracks Using Hierarchical Non-parametric Bayesian Methods (GC, PGK, MM), pp. 2185–2190.
ICPRICPR-2014-LiuZC #identification #learning #metric #multi
Parametric Local Multi-modal Metric Learning for Person Re-identification (KL, ZCZ, AC), pp. 2578–2583.
ICPRICPR-2014-NguyenGVP #framework #process #recognition #using
A Bayesian Nonparametric Framework for Activity Recognition Using Accelerometer Data (TN, SKG, SV, DQP), pp. 2017–2022.
ICPRICPR-2014-ScheltenR #estimation #image #kernel #locality
Localized Image Blur Removal through Non-parametric Kernel Estimation (KS, SR), pp. 702–707.
ICPRICPR-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.
ICPRICPR-2014-VellankiDVP #learning
Nonparametric Discovery of Learning Patterns and Autism Subgroups from Therapeutic Data (PV, TVD, SV, DQP), pp. 1828–1833.
ICPRICPR-2014-WuMCXC #gesture #invariant #recognition #using
View-Invariant Gesture Recognition Using Nonparametric Shape Descriptor (XW, XM, LC, YLX, AC), pp. 544–549.
ICPRICPR-2014-XingY #categorisation #image #representation #scalability
Large Scale Image Categorization in Sparse Nonparametric Bayesian Representation (SX, NHCY), pp. 1365–1370.
KDDKDD-2014-BuntineM #modelling #topic
Experiments with non-parametric topic models (WLB, SM), pp. 881–890.
KDDKDD-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.
KDDKDD-2014-YangH #learning
Learning with dual heterogeneity: a nonparametric bayes model (HY, JH), pp. 582–590.
KDIRKDIR-2014-MohammadiMBRA #classification #graph
A Noise Resilient and Non-parametric Graph-based Classifier (MM, SAM, EB, BR, AA), pp. 170–175.
KMISKMIS-2014-ZochollA #modelling #nondeterminism #ontology #representation
Ontology-based Representation of Time Dependent Uncertainty Information for Parametric Product Data Models (MZ, RA), pp. 400–404.
MLDMMLDM-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.
SIGIRSIGIR-2014-EfronLHV #estimation #feedback #twitter
Temporal feedback for tweet search with non-parametric density estimation (ME, JL, JH, APdV), pp. 33–42.
POPLPOPL-2014-Atkey #theorem
From parametricity to conservation laws, via Noether’s theorem (RA), pp. 491–502.
POPLPOPL-2014-AtkeyGJ #dependent type #type system
A relationally parametric model of dependent type theory (RA, NG, PJ), pp. 503–516.
POPLPOPL-2014-BrotherstonV
Parametric completeness for separation theories (JB, JV), pp. 453–464.
POPLPOPL-2014-Katsumata #monad #semantics
Parametric effect monads and semantics of effect systems (SyK), pp. 633–646.
PPDPPPDP-2014-MehnerSSV #functional #proving #theorem
Parametricity and Proving Free Theorems for Functional-Logic Languages (SM, DS, LS, JV), pp. 19–30.
ICSEICSE-2014-SuR #analysis #empirical #probability
Perturbation analysis of stochastic systems with empirical distribution parameters (GS, DSR), pp. 311–321.
SACSAC-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.
SACSAC-2014-PatanaikZK #estimation #simulation
Parameter estimation and simulation for one-choice Ratcliff diffusion model (AP, VZ, CKK), pp. 3–7.
CASECASE-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.
CASECASE-2014-LiuK #communication #nondeterminism
Passivity-based teleoperation system for robots with parametric uncertainty and communication delay (YCL, MHK), pp. 271–276.
CASECASE-2014-LiuKCY #functional #modelling #monitoring
Model-driven parametric monitoring of high-dimensional nonlinear functional profiles (GL, CK, YC, HY), pp. 722–727.
CASECASE-2014-ZhangLYL #optimisation #simulation
Simulation and parameter optimization of the key working procedure of engine box (CZ, JL, RY, GL), pp. 315–319.
CGOCGO-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.
DACDAC-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
LCTESLCTES-2014-BebelisFG #data flow #framework #manycore #platform
A framework to schedule parametric dataflow applications on many-core platforms (VB, PF, AG), pp. 125–134.
OSDIOSDI-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.
PDPPDP-2014-Schick #linear #nondeterminism #parallel
A Parallel Multilevel Spectral Galerkin Solver for Linear Systems with Uncertain Parameters (MS), pp. 352–359.
STOCSTOC-2014-CyganLPPS
Minimum bisection is fixed parameter tractable (MC, DL, MP, MP, SS), pp. 323–332.
CAVCAV-2014-CoxCS #abstraction #library #named #reuse #set
QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers (AC, BYEC, SS), pp. 866–873.
ICSTSAT-2014-HaanS #reduction #satisfiability
Fixed-Parameter Tractable Reductions to SAT (RdH, SS), pp. 85–102.
VMCAIVMCAI-2014-FaymonvilleFP #logic #monitoring
Monitoring Parametric Temporal Logic (PF, BF, DP), pp. 357–375.
SIGMODSIGMOD-2013-MukherjiLBWRWR #interactive #mining #named
PARAS: interactive parameter space exploration for association rule mining (AM, XL, CRB, JW, EAR, MOW, CR), pp. 1017–1020.
VLDBVLDB-2013-LinMRRW #framework #mining #named #online
PARAS: A Parameter Space Framework for Online Association Mining (XL, AM, EAR, CR, MOW), pp. 193–204.
ICALPICALP-v1-2013-MarxV #algorithm
Fixed-Parameter Algorithms for Minimum Cost Edge-Connectivity Augmentation (DM, LAV), pp. 721–732.
ICALPICALP-v2-2013-ImNP #data type #recursion
Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types (HI, KN, SP), pp. 299–311.
CHICHI-2013-SkoGM #human-computer #online
Non-parametric decision trees and online HCI (TS, HJG, MAM), pp. 2103–2106.
HCIHCI-III-2013-ParkKWL #metric
Vision Based Body Dither Measurement for Estimating Human Emotion Parameters (SP, DK, MCW, ECL), pp. 346–352.
HCIHIMI-D-2013-MasieroTJ
Similar or Not Similar: This Is a Parameter Question (AAM, FT, PTAJ), pp. 484–493.
HCIHIMI-HSM-2013-HiraokaTK #behaviour
Proposal of Non-dimensional Parameter Indices to Evaluate Safe Driving Behavior (TH, ST, HK), pp. 470–479.
ICEISICEIS-v2-2013-OgataK #multi #optimisation
The Parameter Optimization in Multiple Layered Deduplication System (MO, NK), pp. 143–150.
ECIRECIR-2013-GoswamiG #estimation #information retrieval #modelling
Estimation of the Collection Parameter of Information Models for IR (PG, ÉG), pp. 459–470.
ICMLICML-c1-2013-WilliamsonDX #markov #modelling #monte carlo #parallel
Parallel Markov Chain Monte Carlo for Nonparametric Mixture Models (SW, AD, EPX), pp. 98–106.
ICMLICML-c3-2013-DuvenaudLGTG #composition #kernel
Structure Discovery in Nonparametric Regression through Compositional Kernel Search (DKD, JRL, RBG, JBT, ZG), pp. 1166–1174.
ICMLICML-c3-2013-ErolLRR
The Extended Parameter Filter (YE, LL, BR, SJR), pp. 1103–1111.
ICMLICML-c3-2013-GuptaPV #approach #learning #multi
Factorial Multi-Task Learning : A Bayesian Nonparametric Approach (SKG, DQP, SV), pp. 657–665.
ICMLICML-c3-2013-KraehenbuehlK #convergence #learning #random
Parameter Learning and Convergent Inference for Dense Random Fields (PK, VK), pp. 513–521.
ICMLICML-c3-2013-RossD #constraints #process
Nonparametric Mixture of Gaussian Processes with Constraints (JCR, JGD), pp. 1346–1354.
KDDKDD-2013-AhmedS #modelling #scalability
The dataminer’s guide to scalable mixed-membership and nonparametric bayesian models (AA, AJS), p. 1529.
KDDKDD-2013-NaganoITUA #modelling
Nonparametric hierarchal bayesian modeling in non-contractual heterogeneous survival data (SN, YI, NT, TU, MA), pp. 668–676.
KEODKEOD-2013-WaldsteinWH #lightweight #ontology
Lightweight Ontologies in Context — Relationship between Ontology Characteristics and Context Parameters (IW, ROW, NH), pp. 308–315.
OOPSLAOOPSLA-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.
PLDIPLDI-2013-Titzer #tuple
Harmonizing classes, functions, tuples, and type parameters in virgil iii (BT), pp. 85–94.
PLDIPLDI-2013-ZhangNY #abstraction #analysis #data flow
Finding optimum abstractions in parametric dataflow analysis (XZ, MN, HY), pp. 365–376.
ASEASE-2013-MeredithR #performance #runtime #string #verification
Efficient parametric runtime verification with deterministic string rewriting (POM, GR), pp. 70–80.
ASEASE-2013-RegerBR #approach #mining #specification
A pattern-based approach to parametric specification mining (GR, HB, DER), pp. 658–663.
GPCEGPCE-2013-GerakiosBS #java #using
Reified type parameters using Java annotations (PG, AB, YS), pp. 61–64.
CASECASE-2013-ChaouiS #adaptation #nondeterminism
Adaptive friction compensation of flexible-joint manipulators with parametric uncertainties (HC, PS), pp. 300–305.
CASECASE-2013-LuoHL #metric #multi #recognition
Multisensor integrated stair recognition and parameters measurement system for dynamic stair climbing robots (RCL, MH, CWL), pp. 318–323.
CASECASE-2013-WilsonM #design #estimation
Optimal trajectory design for well-conditioned parameter estimation (ADW, TDM), pp. 13–19.
CASECASE-2013-YiTLL #optimisation
Optimization of CNC machine processing parameters for low carbon manufacturing (QY, YT, CL, PL), pp. 498–503.
DATEDATE-2013-MillerB #satisfiability #verification
Formal verification of analog circuit parameters across variation utilizing SAT (MM, FB), pp. 1442–1447.
DATEDATE-2013-NugterenBC #architecture #future of
Future of GPGPU micro-architectural parameters (CN, GJvdB, HC), pp. 392–395.
DATEDATE-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.
DATEDATE-2013-YoonKBS #design #multi #optimisation #scheduling
Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling (MKY, JEK, RMB, LS), pp. 1313–1318.
ESOPESOP-2013-CairesPPT #behaviour #communication #morphism #polymorphism
Behavioral Polymorphism and Parametricity in Session-Based Communication (LC, JAP, FP, BT), pp. 330–349.
FoSSaCSFoSSaCS-2013-BauerHK #higher-order #monad #on the
On Monadic Parametricity of Second-Order Functionals (AB, MH, AK), pp. 225–240.
FoSSaCSFoSSaCS-2013-KarandikarS #complexity #problem #recursion
The Parametric Ordinal-Recursive Complexity of Post Embedding Problems (PK, SS), pp. 273–288.
TACASTACAS-2013-JovanovicLR #automaton #integer #synthesis
Integer Parameter Synthesis for Timed Automata (AJ, DL, OHR), pp. 401–415.
CADECADE-2013-Sofronie-Stokkermans #generative #hybrid #reasoning #verification
Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems (VSS), pp. 360–376.
CAVCAV-2013-AndreLSDL #concurrent #named #realtime #synthesis
PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems (ÉA, YL, JS, JSD, SWL), pp. 984–989.
CAVCAV-2013-BrimCDS #model checking #probability #using
Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking (LB, MC, SD, DS), pp. 107–123.
CSLCSL-2013-Goller #concurrent #model checking
The Fixed-Parameter Tractability of Model Checking Concurrent Systems (SG), pp. 332–347.
CSLCSL-2013-KrishnaswamiD #calculus #relational
Internalizing Relational Parametricity in the Extensional Calculus of Constructions (NRK, DD), pp. 432–451.
CBSECBSE-2012-BrosigHK #architecture #dependence #modelling #online #performance
Modeling parameter and context dependencies in online architecture-level performance models (FB, NH, SK), pp. 3–12.
ICALPICALP-v1-2012-ChitnisCHM #feedback #set
Directed Subset Feedback Vertex Set Is Fixed-Parameter Tractable (RHC, MC, MTH, DM), pp. 230–241.
ICALPICALP-v1-2012-KratschPPW #graph #multi
Fixed-Parameter Tractability of Multicut in Directed Acyclic Graphs (SK, MP, MP, MW), pp. 581–593.
CIKMCIKM-2012-LeelanupabZJ #analysis #cumulative
A comprehensive analysis of parameter settings for novelty-biased cumulative gain (TL, GZ, JMJ), pp. 1950–1954.
ICMLICML-2012-GershmanHB
Nonparametric variational inference (SG, MDH, DMB), p. 35.
ICMLICML-2012-GuL
Sequential Nonparametric Regression (HG, JDL), p. 54.
ICMLICML-2012-KimHS #metadata #relational
The Nonparametric Metadata Dependent Relational Model (DIK, MCH, EBS), p. 183.
ICMLICML-2012-KimKO #metric #process #random #topic
Dirichlet Process with Mixed Random Measures: A Nonparametric Topic Model for Labeled Data (DK, SK, AHO), p. 90.
ICMLICML-2012-LiuI #distributed #estimation #pseudo
Distributed Parameter Estimation via Pseudo-likelihood (QL, ATI), p. 182.
ICMLICML-2012-MakinoT #learning
Apprenticeship Learning for Model Parameters of Partially Observable Environments (TM, JT), p. 117.
ICMLICML-2012-SarkarCJ #network #predict
Nonparametric Link Prediction in Dynamic Networks (PS, DC, MIJ), p. 246.
ICMLICML-2012-XuYQ #composition #data analysis #infinity #modelling #multi
Infinite Tucker Decomposition: Nonparametric Bayesian Models for Multiway Data Analysis (ZX, FY, AQ), p. 218.
ICMLICML-2012-Zhu #feature model #modelling #predict
Max-Margin Nonparametric Latent Feature Models for Link Prediction (JZ), p. 154.
ICPRICPR-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.
ICPRICPR-2012-GuiST #analysis #estimation
Regularization parameter estimation for spectral regression discriminant analysis based on perturbation theory (JG, ZS, TT), pp. 401–404.
ICPRICPR-2012-GuptaPV
A nonparametric Bayesian Poisson gamma model for count data (SKG, DQP, SV), pp. 1815–1818.
ICPRICPR-2012-NakamuraHSM #image #named #segmentation
HDP-MRF: A hierarchical Nonparametric model for image segmentation (TN, TH, TS, TM), pp. 2254–2257.
ICPRICPR-2012-PohKA #approach #authentication
A discriminative parametric approach to video-based score-level fusion for biometric authentication (NP, JK, FMA), pp. 2335–2338.
ICPRICPR-2012-StrucZP #normalisation #verification
Non-parametric score normalization for biometric verification systems (VS, JZG, NP), pp. 2395–2399.
ICPRICPR-2012-TsaoH #estimation #image #realtime
Real-time human object motion parameters estimation from depth images (ICT, CLH), pp. 829–832.
ICPRICPR-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.
ICPRICPR-2012-ZhangGYG #generative #online #video
Nonparametric on-line background generation for surveillance video (RZ, WG, AY, MG), pp. 1177–1180.
KRKR-2012-LacknerP #algorithm #modelling
Fixed-Parameter Algorithms for Finding Minimal Models (ML, AP).
SEKESEKE-2012-BouchenebB #verification #workflow
Parametric Verification of TimeWorkflow Nets (HB, KB), pp. 375–380.
SIGIRSIGIR-2012-LogachevS #optimisation #rank
Optimizing parameters of the expected reciprocal rank (YL, PS), pp. 1123–1124.
SASSAS-2012-HoweK #analysis #using
Polyhedral Analysis Using Parametric Objectives (JMH, AK), pp. 41–57.
ICSEICSE-2012-JinMLR #framework #monitoring #named #performance #runtime
JavaMOP: Efficient parametric runtime monitoring framework (DJ, POM, CL, GR), pp. 1427–1430.
ICSEICSE-2012-ZhangYZFZZO #api #automation #recommendation
Automatic parameter recommendation for practical API usage (CZ, JY, YZ, JF, XZ, JZ, PO), pp. 826–836.
LDTALDTA-2012-Zaytsev #grammar recovery
Notation-parametric grammar recovery (VZ), p. 9.
CASECASE-2012-JiaZH #algorithm #fuzzy #self
Active control of turbine tip clearance by fuzzy parameter self-setting PID algorithms (BJ, XZ, YH), pp. 162–166.
CASECASE-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.
DATEDATE-2012-FradetGP #data flow #named
SPDF: A schedulable parametric data-flow MoC (PF, AG, PP), pp. 769–774.
DATEDATE-2012-VatajeluF #evaluation #performance #reliability
Efficiency evaluation of parametric failure mitigation techniques for reliable SRAM operation (EIV, JF), pp. 1343–1348.
FoSSaCSFoSSaCS-2012-GollerHOW #automaton #model checking
Branching-Time Model Checking of Parametric One-Counter Automata (SG, CH, JO, JW), pp. 406–420.
STOCSTOC-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.
CAVCAV-2012-JegourelLS #model checking #optimisation #statistics
Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking (CJ, AL, SS), pp. 327–342.
CSLCSL-2012-Atkey #relational
Relational Parametricity for Higher Kinds (RA), pp. 46–61.
CSLCSL-2012-KellerL
Parametricity in an Impredicative Sort (CK, ML), pp. 381–395.
CSLCSL-2012-KotekM #graph #matrix
Connection Matrices and the Definability of Graph Parameters (TK, JAM), pp. 411–425.
CSLCSL-2012-Makowsky #complexity #graph
Definability and Complexity of Graph Parameters (JAM), pp. 14–15.
ICTSSICTSS-2012-YangHF #embedded #logic #query
Querying Parametric Temporal Logic Properties on Embedded Systems (HY, BH, GEF), pp. 136–151.
ISSTAISSTA-2012-PradelHG #detection #static analysis #type system
Static detection of brittle parameter typing (MP, SH, TRG), pp. 265–275.
LICSLICS-2012-BernardyM
A Computational Interpretation of Parametricity (JPB, GM), pp. 135–144.
ICSTSAT-2012-CrowstonGJRSY
Fixed-Parameter Tractability of Satisfying beyond the Number of Variables (RC, GG, MJ, VR, SS, AY), pp. 355–368.
DRRDRR-2011-ChengL #variability
Parameter calibration for synthesizing realistic-looking variability in offline handwriting (WC, DPL), pp. 1–10.
DRRDRR-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.
ICDARICDAR-2011-StommelF #automation #documentation #estimation
Automatic Estimation of the Legibility of Binarised Historic Documents for Unsupervised Parameter Tuning (MS, GF), pp. 104–108.
ICDARICDAR-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.
SIGMODSIGMOD-2011-KennedyLLSN #enterprise #fuzzy #nondeterminism
Fuzzy prophet: parameter exploration in uncertain enterprise scenarios (OK, SL, CL, SS, SN), pp. 1303–1306.
ICPCICPC-2011-SridharaPV #generative #summary
Generating Parameter Comments and Integrating with Method Summaries (GS, LLP, KVS), pp. 71–80.
ICALPICALP-v1-2011-CyganPPW #feedback #set
Subset Feedback Vertex Set Is Fixed-Parameter Tractable (MC, MP, MP, JOW), pp. 449–461.
ICFPICFP-2011-CastagnaX #morphism #polymorphism #type system
Set-theoretic foundation of parametric polymorphism and subtyping (GC, ZX), pp. 94–106.
ICFPICFP-2011-GesbertGL #logic #morphism #polymorphism #semantics #type system
Parametric polymorphism and semantic subtyping: the logical connection (NG, PG, NL), pp. 107–116.
CHICHI-2011-HendyLBM
Parameter selection in keyboard-based dialog boxes (JCH, JL, KSB, JM), pp. 2761–2764.
CHICHI-2011-WobbrockFGH #analysis #rank #using
The aligned rank transform for nonparametric factorial analyses using only anova procedures (JOW, LF, DG, JJH), pp. 143–146.
HCIDHM-2011-SixiangCIL #3d #analysis #modelling
3D Parametric Body Model Based on Chinese Female Anhtropometric Analysis (PS, CKC, WHI, AL), pp. 22–29.
HCIDHM-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.
HCIHCI-DDA-2011-ZablotskiyPZM #algorithm #estimation #search-based
GMM Parameter Estimation by Means of EM and Genetic Algorithms (SZ, TP, KZ, WM), pp. 527–536.
HCIHCI-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.
HCIHIMI-v1-2011-MurakamiK #music #process
Auditory Feature Parameters for Music Based on Human Auditory Processes (MM, TK), pp. 612–617.
ICEISICEIS-v4-2011-WangL11a #modelling #optimisation #simulation
Simulation Modeling and Parameter Optimization in Cyclic Picking System (AW, XL), pp. 690–694.
CIKMCIKM-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.
ICMLICML-2011-ChenDC #markov #modelling #topic
Topic Modeling with Nonparametric Markov Tree (HC, DBD, LC), pp. 377–384.
ICMLICML-2011-HuWC #coordination #kernel #learning #named #scalability #using
BCDNPKL: Scalable Non-Parametric Kernel Learning Using Block Coordinate Descent (EH, BW, SC), pp. 209–216.
ICMLICML-2011-SugiyamaYKH #clustering #on the
On Information-Maximization Clustering: Tuning Parameter Selection and Analytic Solution (MS, MY, MK, HH), pp. 65–72.
KDIRKDIR-2011-GriffithOS #collaboration #learning
Learning Neighbourhood-based Collaborative Filtering Parameters (JG, CO, HS), pp. 452–455.
KEODKEOD-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.
MLDMMLDM-2011-ChenER #mining #using
Mining Spatial Trajectories Using Non-parametric Density Functions (CSC, CFE, NJR), pp. 496–510.
SEKESEKE-2011-DoranTFG #analysis #architecture #nondeterminism #reliability
Architecture-based Reliability Analysis With Uncertain Parameters (DD, MT, LF, SSG), pp. 629–634.
SPLCSPLC-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.
OOPSLAOOPSLA-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.
PLDIPLDI-2011-JinMGR #garbage collection #monitoring
Garbage collection for monitoring parametric properties (DJ, POM, DG, GR), pp. 415–424.
POPLPOPL-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.
ICSEICSE-2011-LeeCR #mining #specification
Mining parametric specifications (CL, FC, GR), pp. 591–600.
SACSAC-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.
CASECASE-2011-RodriguezQLF #estimation
State and parameter estimation of an anaerobic digester model (AR, GQ, JdL, RF), pp. 690–695.
DATEDATE-2011-AitkenYF #correlation #modelling
Correlating models and silicon for improved parametric yield (RA, GY, DF), pp. 1159–1163.
DATEDATE-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.
DATEDATE-2011-LuJTL #architecture #performance #simulation
Efficient parameter variation sampling for architecture simulations (FL, RJ, GT, SL), pp. 1578–1583.
LCTESLCTES-2011-AlthausAN #analysis #performance #precise
Precise and efficient parametric path analysis (EA, SA, RN), pp. 141–150.
PDPPDP-2011-MotokubotaIH #using
Accelerating Parameter Sweep Applications Using CUDA (MM, FI, KH), pp. 111–118.
FoSSaCSFoSSaCS-2011-BernardyL #type system
Realizability and Parametricity in Pure Type Systems (JPB, ML), pp. 108–122.
STOCSTOC-2011-GroheKMW
Finding topological subgraphs is fixed-parameter tractable (MG, KiK, DM, PW), pp. 479–488.
STOCSTOC-2011-MarxR #multi
Fixed-parameter tractability of multicut parameterized by the size of the cutset (DM, IR), pp. 469–478.
CAVCAV-2011-AndreychenkoMSW #identification #markov #modelling
Parameter Identification for Markov Models of Biochemical Reactions (AA, LM, DS, VW), pp. 83–98.
CAVCAV-2011-BaeM #ltl #model checking
State/Event-Based LTL Model Checking under Parametric Generalized Fairness (KB, JM), pp. 132–148.
ISSTAISSTA-2011-ZhangZ #adaptation #interactive #testing
Characterizing failure-causing parameter interactions by adaptive testing (ZZ, JZ), pp. 331–341.
QoSAQoSA-2010-HappeWSK #modelling #performance #statistics
Statistical Inference of Software Performance Models for Parametric Performance Completions (JH, DW, KS, LK), pp. 20–35.
DocEngDocEng-2010-HassanHH #generative
Next generation typeface representations: revisiting parametric fonts (TH, CH, RDH), pp. 181–184.
SIGMODSIGMOD-2010-ThummalaB #configuration management #database #named #visualisation
iTuned: a tool for configuring and visualizing database parameters (VT, SB), pp. 1231–1234.
EDMEDM-2010-GongBH #multi #using
Using multiple Dirichlet distributions to improve parameter plausibility (YG, JEB, NTH), pp. 61–70.
EDMEDM-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.
ICALPICALP-v2-2010-GollerHOW #automaton #model checking
Model Checking Succinct and Parametric One-Counter Automata (SG, CH, JO, JW), pp. 575–586.
LATALATA-2010-GiampaoloTN #logic #metric
Parametric Metric Interval Temporal Logic (BDG, SLT, MN), pp. 249–260.
IFMIFM-2010-FaberIJS #automation #specification #verification
Automatic Verification of Parametric Specifications with Complex Topologies (JF, CI, SJ, VSS), pp. 152–167.
ICFPICFP-2010-BernardyJP #dependent type
Parametricity and dependent types (JPB, PJ, RP), pp. 345–356.
CoGCIG-2010-ThawonmasA #evolution #optimisation
Evolution strategy for optimizing parameters in Ms Pac-Man controller ICE Pambush 3 (RT, TA), pp. 235–240.
ICMLICML-2010-FaivishevskyG #algorithm #clustering
Nonparametric Information Theoretic Clustering Algorithm (LF, JG), pp. 351–358.
ICMLICML-2010-GomesK #data type #learning
Budgeted Nonparametric Learning from Data Streams (RG, AK), pp. 391–398.
ICMLICML-2010-HoffmanBC #matrix #music
Bayesian Nonparametric Matrix Factorization for Recorded Music (MDH, DMB, PRC), pp. 439–446.
ICMLICML-2010-KolarPX #on the
On Sparse Nonparametric Conditional Covariance Selection (MK, APP, EPX), pp. 559–566.
ICMLICML-2010-LiPSG #learning
Budgeted Distribution Learning of Belief Net Parameters (LL, BP, CS, RG), pp. 879–886.
ICMLICML-2010-MorimuraSKHT #approximate #learning
Nonparametric Return Distribution Approximation for Reinforcement Learning (TM, MS, HK, HH, TT), pp. 799–806.
ICPRICPR-2010-BruneauGP #probability
Aggregation of Probabilistic PCA Mixtures with a Variational-Bayes Technique Over Parameters (PB, MG, FP), pp. 702–705.
ICPRICPR-2010-Feschet #analysis #composition #geometry #multi
Multiscale Analysis from 1D Parametric Geometric Decomposition of Shapes (FF), pp. 2102–2105.
ICPRICPR-2010-Hillenbrand #3d
Non-parametric 3D Shape Warping (UH), pp. 2656–2659.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2010-SethP #independence
A Test of Granger Non-causality Based on Nonparametric Conditional Independence (SS, JCP), pp. 2620–2623.
ICPRICPR-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.
ICPRICPR-2010-WuJW #adaptation
Adaptive Diffusion Flow for Parametric Active Contours (YW, YJ, YW), pp. 2788–2791.
ICPRICPR-2010-YangQ #approach #detection #distributed #effectiveness
An Effective Decentralized Nonparametric Quickest Detection Approach (DY, HQ), pp. 2278–2281.
KRKR-2010-DvorakPW #algorithm #towards
Towards Fixed-Parameter Tractable Algorithms for Argumentation (WD, RP, SW).
SEKESEKE-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.
SEKESEKE-2010-Wang #black box #testing #using
Reducing Black-box Test Suite Using Input Parameter Relationships (LW), pp. 180–185.
SIGIRSIGIR-2010-SeoC10a #estimation
Unsupervised estimation of dirichlet smoothing parameters (JS, WBC), pp. 759–760.
TOOLSTOOLS-EUROPE-2010-MadsenE
Revisiting Parametric Types and Virtual Classes (ABM, EE), pp. 233–252.
SACSAC-2010-FunfzigTA #constraints #using
Haptic manipulation of rational parametric planar cubics using shape constraints (CF, PT, GA), pp. 1253–1257.
SACSAC-2010-MigotinaRF #automation #detection #fuzzy #using
Automatic K-complex detection using Hjorth parameters and fuzzy decision (DM, ACR, ALNF), pp. 979–980.
SACSAC-2010-ZengXCB #scalability
Introducing global scaling parameters into Ncut (YZ, HX, XC, SB), pp. 1105–1106.
DACDAC-2010-BeeceXVZL
Transistor sizing of custom high-performance digital circuits with parametric yield considerations (DKB, JX, CV, VZ, YL), pp. 781–786.
DACDAC-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.
DACDAC-2010-LefteriuM #generative #modelling
Generating parametric models from tabulated data (SL, JM), pp. 679–682.
DACDAC-2010-OzdemirPDMLC #3d #architecture
Quantifying and coping with parametric variations in 3D-stacked microarchitectures (SO, YP, AD, GM, GHL, ANC), pp. 144–149.
DACDAC-2010-SilvaPS #analysis #modelling
Speedpath analysis under parametric timing models (LGeS, JRP, LMS), pp. 268–273.
DATEDATE-2010-ChengDMMRWRA #using
Capturing intrinsic parameter fluctuations using the PSP compact model (BC, DD, NM, CM, GR, XW, SR, AA), pp. 650–653.
DATEDATE-2010-GhosalZNB #design #nondeterminism #robust
Computing robustness of FlexRay schedules to uncertainties in design parameters (AG, HZ, MDN, YBH), pp. 550–555.
ISMMISMM-2010-AlbertGG #garbage collection #memory management #requirements
Parametric inference of memory requirements for garbage collected languages (EA, SG, MGZ), pp. 121–130.
STOCSTOC-2010-RaghavendraST #approximate #graph
Approximations for the isoperimetric and spectral profile of graphs and related parameters (PR, DS, PT), pp. 631–640.
CAVCAV-2010-Donze #hybrid #synthesis #verification
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems (AD), pp. 167–170.
CAVCAV-2010-HahnHWZ #markov #model checking #modelling #named
PARAM: A Model Checker for Parametric Markov Models (EMH, HH, BW, LZ), pp. 660–664.
IJCARIJCAR-2010-Sofronie-Stokkermans #reasoning #verification
Hierarchical Reasoning for the Verification of Parametric Systems (VSS), pp. 171–187.
ICDARICDAR-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.
JCDLJCDL-2009-MarchioniniSLC #information management #query #video
Query parameters for harvesting digital video and associated contextual information (GM, CS, CAL, RC), pp. 77–86.
VLDBVLDB-2009-DuanTB #database
Tuning Database Configuration Parameters with iTuned (SD, VT, SB), pp. 1246–1257.
EDMEDM-2009-RaiGB #using
Using Dirichlet priors to improve model parameter plausibility (DR, YG, JB), pp. 141–150.
ICALPICALP-v1-2009-FellowsFLLRS
Distortion Is Fixed Parameter Tractable (MRF, FVF, DL, EL, FAR, SS), pp. 463–474.
TLCATLCA-2009-Atkey #for free #representation #syntax #using
Syntax for Free: Representing Syntax with Binding Using Parametricity (RA), pp. 35–49.
TLCATLCA-2009-StengerV #fault #haskell #semantics
Parametricity for Haskell with Imprecise Error Semantics (FS, JV), pp. 294–308.
ICFPICFP-2009-NeisDR
Non-parametric parametricity (GN, DD, AR), pp. 135–148.
CoGCIG-2009-OnievaPAMP #architecture #composition
A modular parametric architecture for the TORCS racing engine (EO, DAP, JA, VM, JP), pp. 256–262.
HCIHCI-AUII-2009-LekkasTGMS #design #implementation #personalisation
Implementing Affect Parameters in Personalized Web-Based Design (ZL, NT, PG, CM, GS), pp. 320–329.
HCIHCI-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.
ICMLICML-2009-AdamsG #learning #named
Archipelago: nonparametric Bayesian semi-supervised learning (RPA, ZG), pp. 1–8.
ICMLICML-2009-AdamsMM #process
Tractable nonparametric Bayesian inference in Poisson processes with Gaussian process intensities (RPA, IM, DJCM), pp. 9–16.
ICMLICML-2009-ClemenconV #estimation
Nonparametric estimation of the precision-recall curve (SC, NV), pp. 185–192.
ICMLICML-2009-PaisleyC #analysis #process
Nonparametric factor analysis with beta process priors (JWP, LC), pp. 777–784.
ICMLICML-2009-YuLZG #collaboration #predict #random #scalability #using
Large-scale collaborative prediction using a nonparametric random effects model (KY, JDL, SZ, YG), pp. 1185–1192.
ICMLICML-2009-ZhuangTH #kernel #learning #named
SimpleNPKL: simple non-parametric kernel learning (JZ, IWT, SCHH), pp. 1273–1280.
SIGIRSIGIR-2009-YuZLG #collaboration #matrix #performance #scalability
Fast nonparametric matrix factorization for large-scale collaborative filtering (KY, SZ, JDL, YG), pp. 211–218.
MODELSMoDELS-2009-CuccuruRGT #classification #uml
Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers (AC, AR, SG, FT), pp. 644–649.
MODELSMoDELS-2009-CuccuruRGT #classification #uml
Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers (AC, AR, SG, FT), pp. 644–649.
ASEASE-2009-ChenMJR #independence #monitoring #performance
Efficient Formalism-Independent Monitoring of Parametric Properties (FC, POM, DJ, GR), pp. 383–394.
ICSEICSE-2009-EpifaniGMT #adaptation #evolution #runtime
Model evolution by run-time parameter adaptation (IE, CG, RM, GT), pp. 111–121.
SACSAC-2009-BriggsA #algebra #constraints #specification
Algebraic specification techniques for parametric types with logic-based constraints (DB, SA), pp. 1890–1897.
SACSAC-2009-LeccaPPS #generative #network #probability
A new probabilistic generative model of parameter inference in biochemical networks (PL, AP, CP, GS), pp. 758–765.
DACDAC-2009-MutluLMC #analysis #approach
A parametric approach for handling local variation effects in timing analysis (AAM, JL, RM, MC), pp. 126–129.
DACDAC-2009-WangYLP #analysis
SRAM parametric failure analysis (JW, SY, XL, LTP), pp. 496–501.
DATEDATE-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.
DATEDATE-2009-RedaN #metric #modelling #novel #process
Analyzing the impact of process variations on parametric measurements: Novel models and applications (SR, SRN), pp. 375–380.
DATEDATE-2009-VillenaCIS #modelling #on the #performance #reduction
On the efficient reduction of complete EM based parametric models (JFV, GC, DI, LMS), pp. 1172–1177.
HPCAHPCA-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.
ISMMISMM-2009-UnnikrishnanS #analysis #functional #source code
Parametric heap usage analysis for functional programs (LU, SDS), pp. 139–148.
PDPPDP-2009-Ito #analysis #effectiveness #evaluation
Job Scheduler Parameter Analysis for Evaluation of Effectiveness (RI), pp. 62–69.
ESOPESOP-2009-CraciunCHQ
An Interval-Based Inference of Variant Parametric Types (FC, WNC, GH, SQ), pp. 112–127.
FoSSaCSFoSSaCS-2009-BirkedalST #morphism #polymorphism #recursion #semantics
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types (LB, KS, JT), pp. 456–470.
FoSSaCSFoSSaCS-2009-LohreyMS #reduction
Parameter Reduction in Grammar-Compressed Trees (ML, SM, MSS), pp. 212–226.
TACASTACAS-2009-ChenR #monitoring #slicing
Parametric Trace Slicing and Monitoring (FC, GR), pp. 246–261.
TACASTACAS-2009-LimeRST #model checking #named #petri net
Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches (DL, OHR, CS, LMT), pp. 54–57.
CBSECBSE-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.
SIGMODSIGMOD-2008-BrunoN #design #optimisation #physics #query
Configuration-parametric query optimization for physical design tuning (NB, RVN), pp. 941–952.
ICALPICALP-A-2008-RazgonO #satisfiability
Almost 2-SAT Is Fixed-Parameter Tractable (IR, BO), pp. 551–562.
ICFPICFP-2008-Chlipala #higher-order #semantics #syntax
Parametric higher-order abstract syntax for mechanized semantics (AC), pp. 143–156.
CHICHI-2008-DixonGC #performance
Optimal parameters for efficient crossing-based dialog boxes (MD, FG, NC), pp. 1623–1632.
CIKMCIKM-2008-HoweF #collaboration
Re-considering neighborhood-based collaborative filtering parameters in the context of new data (AEH, RDF), pp. 1481–1482.
ICMLICML-2008-AdamsS #modelling #process
Gaussian process product models for nonparametric nonstationarity (RPA, OS), pp. 1–8.
ICMLICML-2008-CaronD
Sparse Bayesian nonparametric regression (FC, AD), pp. 88–95.
ICMLICML-2008-HuynhM #learning #logic #markov #network
Discriminative structure and parameter learning for Markov logic networks (TNH, RJM), pp. 416–423.
ICMLICML-2008-KerstingD #policy #relational
Non-parametric policy gradients: a unified treatment of propositional and relational domains (KK, KD), pp. 456–463.
ICMLICML-2008-SuZLM #learning #network
Discriminative parameter learning for Bayesian networks (JS, HZ, CXL, SM), pp. 1016–1023.
ICPRICPR-2008-AliFG #estimation
Analytical method for MGRF Potts model parameter estimation (AMA, AAF, GLG), pp. 1–4.
ICPRICPR-2008-BellaviaTV #detection
A non-parametric scale-based corner detector (FB, DT, CV), pp. 1–4.
ICPRICPR-2008-Boccignone #analysis #video
Nonparametric Bayesian attentive video analysis (GB), pp. 1–4.
ICPRICPR-2008-BuloATP #approach #estimation
A hypergraph-based approach to affine parameters estimation (SRB, AA, AT, MP), pp. 1–4.
ICPRICPR-2008-CamposJ #constraints #learning #network #using
Improving Bayesian Network parameter learning using constraints (CPdC, QJ), pp. 1–4.
ICPRICPR-2008-LiaoJ #learning #network #semistructured data
Exploiting qualitative domain knowledge for learning Bayesian network parameters with incomplete data (WL, QJ), pp. 1–4.
ICPRICPR-2008-MeiS #image #statistics #using
Unsupervised image embedding using nonparametric statistics (GM, CRS), pp. 1–4.
ICPRICPR-2008-UlgesB #segmentation
Segmentation by combining parametric optical flow with a color model (AU, TMB), pp. 1–4.
KDDKDD-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.
MODELSMoDELS-2008-Rauhut #3d #design #idea #modelling
3D Parametric Models for Aeroplanes — From Idea to Design (PR), p. 295.
MODELSMoDELS-2008-Rauhut #3d #design #idea #modelling
3D Parametric Models for Aeroplanes — From Idea to Design (PR), p. 295.
PEPMPEPM-2008-Mogensen #functional
Semi-inversion of functional parameters (TÆM), pp. 21–29.
ASEASE-2008-MeredithJCR #monitoring #performance
Efficient Monitoring of Parametric Context-Free Patterns (POM, DJ, FC, GR), pp. 148–157.
ASEASE-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.
FSEFSE-2008-HalfondO #automation #identification #web
Automated identification of parameter mismatches in web applications (WGJH, AO), pp. 181–191.
SACSAC-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.
SACSAC-2008-CostaNFC #analysis #assessment
Parametric cepstral analysis for pathological voice assessment (SCC, BGAN, JMF, SC), pp. 1410–1414.
SACSAC-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.
LDTALDTA-2007-KlintKV08 #ide
Language Parametric Module Management for IDEs (PK, ATK, JJV), pp. 3–19.
SLESLE-2008-BastenK #fact extraction #named #source code
DeFacto: Language-Parametric Fact Extraction from Source Code (BB, PK), pp. 265–284.
DACDAC-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.
DACDAC-2008-ImaiSNM #analysis #framework #statistics
Non-parametric statistical static timing analysis: an SSTA framework for arbitrary distribution (MI, TS, NN, KM), pp. 698–701.
DATEDATE-2008-GhamarianGBS #analysis #data flow #graph #throughput
Parametric Throughput Analysis of Synchronous Data Flow Graphs (AHG, MG, TB, SS), pp. 116–121.
DATEDATE-2008-StratigopoulosTM #estimation
A General Method to Evaluate RF BIST Techniques Based on Non-parametric Density Estimation (HGDS, JT, SM), pp. 68–73.
ISMMISMM-2008-BrabermanFGY #memory management #predict #requirements
Parametric prediction of heap memory requirements (VAB, FJF, DG, SY), pp. 141–150.
PDPPDP-2008-PontCCM #architecture #modelling
Parametric Architecture for Modeling Neuronal Systems (MTSP, GdMC, JMGC, HMM), pp. 463–469.
ESOPESOP-2008-MatthewsA #exclamation #morphism #polymorphism #runtime #theorem
Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices! (JM, AA), pp. 16–31.
STOCSTOC-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.
STOCSTOC-2008-ODonnellS #problem
The chow parameters problem (RO, RAS), pp. 517–526.
LICSLICS-2008-LassenL #bisimulation #morphism #normalisation #polymorphism
Typed Normal Form Bisimulation for Parametric Polymorphism (SBL, PBL), pp. 341–352.
ICDARICDAR-2007-PapavassiliouSKC #verification
A Parametric Spectral-Based Method for Verification of Text in Videos (VP, TS, VK, GC), pp. 879–883.
WCREWCRE-2007-SinhaRK #model inference #process
Parametric Process Model Inference (SS, GR, RK), pp. 21–30.
ICALPICALP-2007-BozzelliT #automaton #bound #problem
Decision Problems for Lower/Upper Bound Parametric Timed Automata (LB, SLT), pp. 925–936.
IFMIFM-2007-FaberJS #data type #specification #verification
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters (JF, SJ, VSS), pp. 233–252.
CoGCIG-2007-ParkerP07a #evolution
Evolving Parameters for Xpilot Combat Agents (GBP, MP), pp. 238–243.
HCIHCI-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.
HCIHIMI-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.
CIKMCIKM-2007-HeO #ad hoc #probability #retrieval
Parameter sensitivity in the probabilistic model for ad-hoc retrieval (BH, IO), pp. 263–272.
ICMLICML-2007-HoiJL #constraints #kernel #learning #matrix
Learning nonparametric kernel matrices from pairwise constraints (SCHH, RJ, MRL), pp. 361–368.
ICMLICML-2007-Jaeger #learning #network #relational
Parameter learning for relational Bayesian networks (MJ), pp. 369–376.
ICMLICML-2007-YeCJ #kernel #learning #programming
Discriminant kernel and regularization parameter learning via semidefinite programming (JY, JC, SJ), pp. 1095–1102.
KDDKDD-2007-ChopraTLCL
Discovering the hidden structure of house prices with a non-parametric latent manifold model (SC, TT, JL, AC, YL), pp. 173–182.
KDDKDD-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.
MLDMMLDM-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.
MLDMMLDM-2007-WuW #graph #kernel
Choosing the Kernel Parameters for the Directed Acyclic Graph Support Vector Machines (KPW, SDW), pp. 276–285.
SEKESEKE-2007-ChanCT #random testing #strict #testing
Controlling Restricted Random Testing: An Examination of the Exclusion Ratio Parameter (KPC, TYC, DT), pp. 163–166.
SEKESEKE-2007-FiondellaG #modelling #reliability
Adequacy of Composite Parametric Software Reliability Models (LF, SSG), pp. 643–648.
SIGIRSIGIR-2007-Metzler #modelling #using
Using gradient descent to optimize language modeling smoothing parameters (DM), pp. 687–688.
POPLPOPL-2007-CalcagnoGZ #logic
Context logic as modal logic: completeness and parametric inexpressivity (CC, PG, UZ), pp. 123–134.
ICSEICSE-2007-StylosC #usability
Usability Implications of Requiring Parameters in Objects’ Constructors (JS, SC), pp. 529–539.
SACSAC-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.
CASECASE-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.
DACDAC-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.
DACDAC-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.
DACDAC-2007-VytyazLLMMM
Parameter Finding Methods for Oscillators with a Specified Oscillation Frequency (IV, DCL, SL, AM, UKM, KM), pp. 424–429.
DACDAC-2007-WangLR #automation #megamodelling #named #variability
PV-PPV: Parameter Variability Aware, Automatically Extracted, Nonlinear Time-Shifted Oscillator Macromodels (ZW, XL, JSR), pp. 142–147.
DATEDATE-2007-AggarwalO #modelling #reuse
Simulation-based reusable posynomial models for MOS transistor parameters (VA, UMO), pp. 69–74.
DATEDATE-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.
DATEDATE-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.
LCTESLCTES-2007-CoffmanHMW #analysis
Generalizing parametric timing analysis (JC, CAH, FM, DBW), pp. 152–154.
FoSSaCSFoSSaCS-2007-BirkedalY #logic #relational
Relational Parametricity and Separation Logic (LB, HY), pp. 93–107.
TACASTACAS-2007-KrsticGGT #satisfiability
Combined Satisfiability Modulo Parametric Theories (SK, AG, JG, CT), pp. 602–617.
CAVCAV-2007-BogudlovLRS #analysis
Revamping TVLA: Making Parametric Shape Analysis Competitive (IB, TLA, TWR, MS), pp. 221–225.
CAVCAV-2007-ChenR #slicing
Parametric and Sliced Causality (FC, GR), pp. 240–253.
CSLCSL-2007-ChenF
Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping (YC, JF), pp. 389–404.
LICSLICS-2007-MogelbergS #relational
Relational Parametricity for Computational Effects (REM, AS), pp. 346–355.
QoSAQoSA-2006-KoziolekHB #component #performance #specification
Parameter Dependent Performance Specifications of Software Components (HK, JH, SB), pp. 163–179.
VLDBVLDB-2006-SubramaniamPPKG #detection #modelling #online #using
Online Outlier Detection in Sensor Data Using Non-Parametric Models (SS, TP, DP, VK, DG), pp. 187–198.
ICALPICALP-v1-2006-BlellochDHRSS #re-engineering
Fixed Parameter Tractability of Binary Near-Perfect Phylogenetic Tree Reconstruction (GEB, KD, EH, RR, RS, SS), pp. 667–678.
ICALPICALP-v2-2006-BozgaIL #automaton
Flat Parametric Counter Automata (MB, RI, YL), pp. 577–588.
ICALPICALP-v2-2006-Mogelberg #formal method #modelling #morphism #polymorphism
Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism (REM), pp. 372–383.
ICFPICFP-2006-KatsumataN #algebra
Algebraic fusion of functions with an accumulating parameter and its improvement (SyK, SN), pp. 227–238.
CIKMCIKM-2006-TaylorZCRB #multi #optimisation #ranking
Optimisation methods for ranking functions with multiple parameters (MJT, HZ, NC, SR, CB), pp. 585–593.
ICMLICML-2006-Carreira-Perpinan #clustering #performance
Fast nonparametric clustering with Gaussian blurring mean-shift (MÁCP), pp. 153–160.
ICPRICPR-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.
ICPRICPR-v1-2006-KimK06a #using
Estimating Intrinsic Parameters of Cameras using Two Arbitrary Rectangles (JSK, ISK), pp. 707–710.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-v1-2006-TakahashiMIMM #multi #recognition
Planning of Multiple Camera Arrangement for Object Recognition in Parametric Eigenspace (TT, OM, II, YM, HM), pp. 603–606.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-v2-2006-LahdenojaALP #symmetry
A Shape-Preserving Non-parametric Symmetry Transform (OL, EA, ML, AP), pp. 373–377.
ICPRICPR-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.
ICPRICPR-v2-2006-RiggiTA #estimation #invariant #matrix
Fundamental Matrix Estimation via TIP — Transfer of Invariant Parameters (FR, MT, TA), pp. 21–24.
ICPRICPR-v2-2006-TarelB #detection #kernel
Object Predetection Based on Kernel Parametric Distribution Fitting (JPT, SB), pp. 808–811.
ICPRICPR-v3-2006-HanD #array #clustering #modelling
Semi-Parametric Model-Based Clustering for DNA Microarray Data (BH, LSD), pp. 324–327.
ICPRICPR-v3-2006-RothausJL #comparison #estimation
Comparison of Methods for Hyperspherical Data Averaging and Parameter Estimation (KR, XJ, ML), pp. 395–399.
ICPRICPR-v4-2006-CzuniCL
Estimating the Optimal Quantization Parameter in H.264 (LC, GC, AL), pp. 330–333.
ICPRICPR-v4-2006-HocquetRC #estimation #problem
Estimation of User Specific Parameters in One-class Problems (SH, JYR, HC), pp. 449–452.
ICPRICPR-v4-2006-LiuYGCZ #generative
Nonparametric Background Generation (YL, HY, WG, XC, DZ), pp. 916–919.
ICPRICPR-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.
ICPRICPR-v4-2006-ZhangA #estimation #multi #robust
Multi-View Active Shape Model with Robust Parameter Estimation (LZ, HA), pp. 469–468.
OOPSLAOOPSLA-2006-ChinCKP #approach
A flow-based approach for variant parametric types (WNC, FC, SCK, CP), pp. 273–290.
SASSAS-2006-ChenR #dependence
Parametric and Termination-Sensitive Control Dependence (FC, GR), pp. 387–404.
SACSAC-2006-GrandonG #approximate #constraints #distance #quantifier
Inner approximation of distance constraints with existential quantification of parameters (CG, AG), pp. 1660–1661.
SACSAC-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.
SACSAC-2006-LokhandeAG #identification #image
Identification of parameters and restoration of motion blurred images (RL, KVA, PG), pp. 301–305.
SACSAC-2006-SoaresB #kernel #using
Selecting parameters of SVM using meta-learning and kernel matrix-based meta-features (CS, PB), pp. 564–568.
DACDAC-2006-HuebbersDI #performance #process
Computation of accurate interconnect process parameter values for performance corners under process variations (FH, AD, YII), pp. 797–800.
DACDAC-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.
DACDAC-2006-WangKO #nondeterminism #probability #statistics
Statistical timing based on incomplete probabilistic descriptions of parameter uncertainty (WSW, VK, MO), pp. 161–166.
DATEDATE-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.
FASEFASE-2006-BergJR #state machine
Regular Inference for State Machines with Parameters (TB, BJ, HR), pp. 107–121.
STOCSTOC-2006-BorgsCLSSV #graph #testing
Graph limits and parameter testing (CB, JTC, LL, VTS, BS, KV), pp. 261–270.
CSLCSL-2006-Rabinovich #problem #synthesis
Church Synthesis Problem with Parameters (AMR), pp. 546–561.
LICSLICS-2006-PanV
Fixed-Parameter Hierarchies inside PSPACE (GP, MYV), pp. 27–36.
VLDBVLDB-2005-FungYYL #detection
Parameter Free Bursty Events Detection in Text Streams (GPCF, JXY, PSY, HL), pp. 181–192.
VLDBVLDB-2005-GuravannavarRS #optimisation #order #query
Optimizing Nested Queries with Parameter Sort Orders (RG, HSR, SS), pp. 481–492.
ICEISICEIS-v1-2005-AndreouL #analysis #reliability
Nonparametric Analysis of Software Reliability: Revealing the Nature of Software Failure Dataseries (ASA, CL), pp. 138–145.
ICMLICML-2005-PernkopfB #classification #generative #learning #network
Discriminative versus generative parameter and structure learning of Bayesian network classifiers (FP, JAB), pp. 657–664.
MLDMMLDM-2005-GhoshGYB05a #learning
Determining Regularization Parameters for Derivative Free Neural Learning (RG, MG, JY, AMB), pp. 71–79.
MLDMMLDM-2005-SunWW #algorithm
Parameter Inference of Cost-Sensitive Boosting Algorithms (YS, AKCW, YW), pp. 21–30.
OOPSLAOOPSLA-2005-OanceaW #architecture #component #morphism #polymorphism
Parametric polymorphism for software component architectures (CEO, SMW), pp. 147–166.
POPLPOPL-2005-HosoyaFC #morphism #polymorphism #xml
Parametric polymorphism for XML (HH, AF, GC), pp. 50–62.
SACSAC-2005-DongH #classification #clustering
Text classification based on data partitioning and parameter varying ensembles (YSD, KSH), pp. 1044–1048.
SACSAC-2005-HuP #3d #complexity
Volume fractal dimensionality: a useful parameter for measuring the complexity of 3D protein spatial structures (MH, QP), pp. 172–176.
SACSAC-2005-McPhersonMO #clustering #graph #social
Discovering parametric clusters in social small-world graphs (JM, KLM, MO), pp. 1231–1238.
SACSAC-2005-RimassaV #comprehension #java #strict
Understanding access restriction of variant parametric types and Java wildcards (GR, MV), pp. 1390–1397.
CCCC-2005-VerdoolaegeBBC #case study #experience #integer
Experiences with Enumeration of Integer Projections of Parametric Polytopes (SV, KB, MB, FC), pp. 91–105.
DACDAC-2005-ChangZNV #analysis #statistics
Parameterized block-based statistical timing analysis with non-gaussian parameters, nonlinear delay functions (HC, VZ, SN, CV), pp. 71–76.
DACDAC-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.
DACDAC-2005-WuZN #approach #estimation
A non-parametric approach for dynamic range estimation of nonlinear systems (BW, JZ, FNN), pp. 841–844.
DATEDATE-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.
PDPPDP-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.
FASEFASE-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.
LICSLICS-2005-Hasegawa #relational
Relational Parametricity and Control (MH), pp. 72–81.
LICSLICS-2005-MelliesV #framework #polymorphism #recursion
Recursive Polymorphic Types and Parametricity in an Operational Framework (PAM, JV), pp. 82–91.
LICSLICS-2005-WashburnW #data flow #using
Generalizing Parametricity Using Information-flow (GW, SW), pp. 62–71.
VMCAIVMCAI-2005-BurckhardtAM #composition #implementation #refinement #safety #verification
Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement (SB, RA, MMKM), pp. 130–145.
VMCAIVMCAI-2005-Cousot #abstraction #programming #proving #termination
Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming (PC), pp. 1–24.
DRRDRR-2004-NagyJKLLMS #classification
A nonparametric classifier for unsegmented text (GN, AJ, MSK, YL, DPL, SKM, SCS), pp. 102–108.
CIAACIAA-2004-Tischler #automaton #finite
Parametric Weighted Finite Automata for Figure Drawing (GT), pp. 259–268.
ICALPICALP-2004-FlumGW #bound #nondeterminism
Bounded Fixed-Parameter Tractability and log2n Nondeterministic Bits (JF, MG, MW), pp. 555–567.
SEFMSEFM-2004-LanotteMT #decidability #probability #security
Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security (RL, AMS, AT), pp. 114–121.
ICFPICFP-2004-TseZ #dependence
Translating dependency into parametricity (ST, SZ), pp. 115–125.
CIKMCIKM-2004-SiersdorferSW #classification #documentation
Goal-oriented methods and meta methods for document classification and their parameter tuning (SS, SS, GW), pp. 59–68.
ICMLICML-2004-BohteBG #classification #polynomial
Nonparametric classification with polynomial MPMC cascades (SMB, MB, GZG).
ICMLICML-2004-GramacyLM #process
Parameter space exploration with Gaussian process trees (RBG, HKHL, WGM).
ICPRICPR-v2-2004-TaoT #analysis #feedback #image #retrieval
Nonparametric Discriminant Analysis in Relevance Feedback for Content-Based Image Retrieval (DT, XT), pp. 1013–1016.
ICPRICPR-v3-2004-ArchambeauBPVT #classification
Supervised Nonparametric Information Theoretic Classification (CA, TB, VP, MV, JPT), pp. 414–417.
ICPRICPR-v3-2004-WuWW #adaptation #image
Regularized Image Restoration Based on Adaptively Selecting Parameter and Operator (XW, RW, CW), pp. 662–665.
ICPRICPR-v4-2004-ImbaultL #approach #optimisation #probability
A Stochastic Optimization Approach for Parameter Tuning of Support Vector Machines (FI, KL), pp. 597–600.
ICPRICPR-v4-2004-OliveiraNM #performance #recognition
Improving RBF-DDA Performance on Optical Character Recognition through Parameter Selection (ALIO, FBdLN, SRdLM), pp. 625–628.
KDDKDD-2004-LiuYM #algorithm #classification #performance
The IOC algorithm: efficient many-class non-parametric classification for high-dimensional data (TL, KY, AWM), pp. 629–634.
SEKESEKE-2004-FengyanZX #algorithm #kernel #modelling #reliability
A Nonparametric Software Reliability Model Based on Kernel Estimator and Optimum Algorithm (HF, QZ, WX), pp. 13–18.
SIGIRSIGIR-2004-YuTY #framework #information management
A nonparametric hierarchical bayesian framework for information filtering (KY, VT, SY), pp. 353–360.
PADLPADL-2004-ErwigF #fortran #generative
Parametric Fortran — A Program Generator for Customized Generic Fortran Extensions (ME, ZF), pp. 209–223.
PEPMPEPM-2004-Nishimura
Fusion with stacks and accumulating parameters (SN), pp. 101–112.
PLDIPLDI-2004-LiuRYSH #query
Parametric regular path queries (YAL, TR, FY, SDS, NH), pp. 219–230.
PLDIPLDI-2004-WangL #adaptation #analysis
Parametric analysis for adaptive computation offloading (CW, ZL), pp. 119–130.
ICSEICSE-2004-Kang #analysis #approximate #embedded #realtime
Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation (EYK), pp. 39–41.
DACDAC-2004-RaoDBS #estimation #variability
Parametric yield estimation considering leakage variability (RRR, AD, DB, DS), pp. 442–447.
DACDAC-2004-WangHL #linear #nondeterminism
A linear fractional transform (LFT) based model for interconnect parametric uncertainty (JMW, OH, JL), pp. 375–380.
DATEDATE-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.
PDPPDP-2004-HuedoML #adaptation #case study #experience #grid #scheduling
Experiences on Adaptive Grid Scheduling of Parameter Sweep Applications (EH, RSM, IML), pp. 28–33.
TACASTACAS-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.
CAVCAV-2004-Wang #analysis #hybrid #linear #safety
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures (FW), pp. 295–307.
LICSLICS-2004-DunphyR
Parametric Limits (BPD, USR), pp. 242–251.
DRRDRR-2003-Fan #bound
Text extraction via an edge-bounded averaging and a parametric character model (JF), pp. 8–19.
ICDARICDAR-2003-YamS #image
Estimating Degradation Model Parameters from Character Images (HSY, EHBS), pp. 710–714.
SIGMODSIGMOD-2003-ReissK #optimisation #query
A Characterization of the Sensitivity of Query Optimization to Storage Access Cost Parameters (FR, TK), pp. 385–396.
VLDBVLDB-2003-HulgeriS #cost analysis #named #optimisation #query
AniPQO: Almost Non-intrusive Parametric Query Optimization for Nonlinear Cost Functions (AH, SS), pp. 766–777.
VLDBVLDB-2003-KoudasGGSV #approximate #constraints #optimisation #performance #query
Efficient Approximation Of Optimization Queries Under Parametric Aggregation Constraints (SG, DG, NK, DS, MV), pp. 778–789.
CIAACIAA-2003-WangY #realtime
Timing Parameter Characterization of Real-Time Systems (FW, HCY), pp. 23–34.
ICALPICALP-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.
TLCATLCA-2003-Hannay #abstraction #relational
Abstraction Barrier-Observing Relational Parametricity (JEH), pp. 135–152.
ICFPICFP-2003-WashburnW #encoding #higher-order #morphism #polymorphism #syntax
Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism (GW, SW), pp. 249–262.
ICEISICEIS-v3-2003-AkatsuKK #analysis
Analysis on Relation Between Service Parameters for Service Level Management and System Utilization (MA, SK, NK), pp. 191–196.
CIKMCIKM-2003-HeO #case study #normalisation
A study of parameter tuning for term frequency normalization (BH, IO), pp. 10–16.
ECIRECIR-2003-Moschitti #case study #classification
A Study on Optimal Parameter Tuning for Rocchio Text Classifier (AM), pp. 420–435.
DACDAC-2003-BorkarKNTKD #architecture
Parameter variations and impact on circuits and microarchitecture (SB, TK, SN, JT, AK, VD), pp. 338–342.
DACDAC-2003-JessKNOV #predict #statistics
Statistical timing for parametric yield prediction of digital integrated circuits (JAGJ, KK, SRN, RHJMO, CV), pp. 932–937.
PDPPDP-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.
ICSTSAT-2003-Szeider #on the #satisfiability
On Fixed-Parameter Tractable Parameterizations of SAT (SS), pp. 188–202.
VLDBVLDB-2002-HulgeriS #cost analysis #linear #optimisation #query
Parametric Query Optimization for Linear and Piecewise Linear Cost Functions (AH, SS), pp. 167–178.
ITiCSEITiCSE-2002-ShahK #programming language
A tutoring system for parameter passing in programming languages (HS, ANK), pp. 170–174.
ICFPICFP-2002-Svenningsson
Shortcut fusion for accumulating parameters & zip-like functions (JS), pp. 124–132.
CSCWCSCW-2002-Bossen
The parameters of common information spaces: : the heterogeneity of cooperative work at a hospital ward (CB), pp. 176–185.
ICMLICML-2002-RaskuttiFK #classification #clustering #using
Using Unlabelled Data for Text Classification through Addition of Cluster Parameters (BR, HLF, AK), pp. 514–521.
ICPRICPR-v1-2002-CinqueCLCP #segmentation
Improvement in Range Segmentation Parameters Tuning (LC, FC, SL, RC, GP), pp. 176–179.
ICPRICPR-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.
ICPRICPR-v1-2002-Mignotte #multi
Bayesian Rendering with Non-Parametric Multiscale Prior Model (MM), pp. 247–251.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-v2-2002-DavisLC #estimation #markov #multi #sequence
Improved Estimation of Hidden Markov Model Parameters from Multiple Observation Sequences (RIAD, BCL, TC), pp. 168–171.
ICPRICPR-v2-2002-KadyrovP #estimation
Affine Parameter Estimation from the Trace Transform (AK, MP), pp. 798–801.
ICPRICPR-v2-2002-YangDD
Near-Optimal Regularization Parameters for Applications in Computer Vision (CY, RD, LSD), pp. 569–573.
ICPRICPR-v2-2002-ZhangGST #physics #using
Tracking Objects Using Recovered Physical Motion Parameters (YZ, DBG, SS, LVT), pp. 10–13.
ICPRICPR-v2-2002-ZollerHB #clustering #segmentation
Combined Color And Texture Segmentation by Parametric Distributional Clustering (TZ, LH, JMB), pp. 627–630.
ICPRICPR-v3-2002-Smeraldi #detection #named
Ranklets: Orientation Selective Non-Parametric Features Applied to Face Detection (FS), pp. 379–382.
ICPRICPR-v3-2002-WeiHK #image #specification
Specification of Image Acquisition Parameters for Stereo Panoramas (SKW, FH, RK), pp. 603–606.
ICPRICPR-v3-2002-ZotkinDDMR #using #visual notation
Virtual Audio System Customization Using Visual Matching of Ear Parameters (DNZ, RD, LSD, AM, VCR), pp. 1003–1006.
KDDKDD-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.
SIGIRSIGIR-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.
ECOOPECOOP-2002-IgarashiV #on the #type system
On Variance-Based Subtyping for Parametric Types (AI, MV), pp. 441–469.
PEPMASIA-PEPM-2002-Voigtlander #source code #using
Using circular programs to deforest in accumulating parameters (JV), pp. 126–137.
SACSAC-2002-ZhangS #algorithm #implementation #performance
An efficient implementation of parametric line and polygon clipping algorithm (MZ, CLS), pp. 796–800.
DATEDATE-2002-AcarNP #framework #simulation
A Linear-Centric Simulation Framework for Parametric Fluctuations (EA, SRN, LTP), pp. 568–575.
DATEDATE-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.
DATEDATE-2002-PoppOHB #analysis #automation
Parameter Controlled Automatic Symbolic Analysis of Nonlinear Analog Circuits (RP, JO, LH, EB), pp. 274–278.
DATEDATE-2002-RahajandraibeDACMC
Test Structure for IC(VBE) Parameter Determination of Low Voltage Applications (WR, CD, DA, BC, BM, VC), pp. 316–321.
DATEDATE-2002-SchwenckerSPG #adaptation #set #using #worst-case
Analog Circuit Sizing Using Adaptive Worst-Case Parameter Sets (RS, FS, MP, HEG), pp. 581–585.
DATEDATE-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.
HPDCHPDC-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–?.
ICLPICLP-2002-CoqueryF #morphism #named #polymorphism #type system
TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP (EC, FF), p. 480.
ICDARICDAR-2001-Hullender #performance
An Efficient Method for Tuning Handwriting Parameters (GNH), pp. 251–254.
ICDARICDAR-2001-Smith #estimation #using
Scanner Parameter Estimation Using Bilevel Scans of Star Charts (EHBS), pp. 1164–1168.
ITiCSEITiCSE-2001-JoyceY #research #student
The PASS project: group research into parameters affecting student success (DJ, AY), p. 177.
SCAMSCAM-2001-ByersK #morphism #polymorphism #slicing
Static Slicing and Parametric Polymorphism (DB, MK), pp. 181–186.
FLOPSFLOPS-2001-KamareddineLN #using
Refining the Barendregt Cube Using Parameters (FK, TL, RN), pp. 375–390.
ICFPICFP-2001-Chuang #validation
Generic Validation of Structural Content with Parametric Modules (TRC), pp. 98–109.
MLDMMLDM-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.
LOPSTRLOPSTR-2001-KakehiGF #deforestation #on the
On Deforesting Parameters of Accumulating Maps (KK, RG, YF), pp. 46–56.
SASSAS-2001-BouajjaniCLS #automaton
Analyzing Fair Parametric Extended Automata (AB, ACA, YL, MS), pp. 335–355.
SASSAS-2001-WangY #optimisation #realtime
Parametric Optimization of Open Real-Time Systems (FW, HCY), pp. 299–318.
SACSAC-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.
SACSAC-2001-Viroli #implementation #java #morphism #performance #polymorphism
Parametric polymorphism in Java: an efficient implementation for parametric methods (MV), pp. 610–619.
DATEDATE-2001-CherubalC #generative #testing
Test generation based diagnosis of device parameters for analog circuits (SC, AC), pp. 596–602.
LCTESLCTES-OM-2001-VivancosHMW #analysis
Parametric Timing Analysis (EV, CAH, FM, DBW), pp. 88–93.
STOCSTOC-2001-Tokuyama #multi #optimisation #problem
Minimax parametric optimization problems and multi-dimensional parametric searching (TT), pp. 75–83.
TACASTACAS-2001-HuneRSV #automaton #linear #model checking
Linear Parametric Model Checking of Timed Automata (TH, JR, MS, FWV), pp. 189–203.
ICLPICLP-2001-LoncT #complexity #logic programming #semantics #source code
Fixed-Parameter Complexity of Semantics for Logic Programs (ZL, MT), pp. 197–211.
ICMLICML-2000-AndersonMC #approach #optimisation
A Nonparametric Approach to Noisy and Costly Optimization (BSA, AWM, DC), pp. 17–24.
ICMLICML-2000-TeowL #kernel
Selection of Support Vector Kernel Parameters for Improved Generalization (LNT, KFL), pp. 967–974.
ICPRICPR-v1-2000-CinqueLPCM #algorithm #search-based #segmentation
Optimal Range Segmentation Parameters through Genetic Algorithms (LC, SL, GP, RC, SM), pp. 1474–1477.
ICPRICPR-v1-2000-Farneback #estimation #modelling #performance #using
Fast and Accurate Motion Estimation Using Orientation Tensors and Parametric Motion Models (GF), pp. 1135–1139.
ICPRICPR-v1-2000-TangXM #contest #segmentation #semantics
Semantically Homogeneous Segmentation with Nonparametric Region Competition (MT, JX, SM), pp. 1648–1651.
ICPRICPR-v2-2000-AmengualV #estimation #on the
On the Estimation of Error-Correcting Parameters (JCA, EV), pp. 2883–2886.
ICPRICPR-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.
ICPRICPR-v2-2000-GoodeG #classification
Semi-Parametric Signal Classification (AJG, RHG), pp. 2622–2625.
ICPRICPR-v2-2000-KimK #estimation #graph #random #recognition
Minimum Entropy Estimation of Hierarchical Random Graph Parameters for Character Recognition (HYK, JHK), pp. 6050–6053.
ICPRICPR-v3-2000-AparicioG #approach
An Approach for Determining Phong Reflectance Parameters from Real Objects (JIA, JGGB), pp. 3572–3575.
ICPRICPR-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.
ICPRICPR-v3-2000-HuLML #representation
Region Based Parametric Motion Representation (CH, YL, SM, HL), pp. 3869–3872.
ICPRICPR-v3-2000-JalobeanuBZ #adaptation #estimation #image
Estimation of Adaptive Parameters for Satellite Image Deconvolution (AJ, LBF, JZ), pp. 3322–3325.
ICPRICPR-v3-2000-PagetL #analysis #markov #random #testing
Nonparametric Markov Random Field Model Analysis of the MeasTex Test Suite (RP, IDL), pp. 3939–3942.
ICPRICPR-v3-2000-Perner #reasoning #segmentation
Controlling the Segmentation Parameters by Case-Based Reasoning (PP), pp. 3975–3978.
ICPRICPR-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.
KRKR-2000-Jamil #inheritance #logic
A Logic Based Language for Parametric Inheritance (HMJ), pp. 611–622.
OOPSLAOOPSLA-2000-ViroliN #approach #java #morphism #polymorphism
Parametric polymorphism in Java: an approach to translation based on reflective features (MV, AN), pp. 146–165.
POPLPOPL-2000-LewisLMS #static typing
Implicit Parameters: Dynamic Scoping with Static Types (JRL, JL, EM, MS), pp. 108–118.
DATEDATE-2000-SaabHK #fault #generative #simulation
Parametric Fault Simulation and Test Vector Generation (KS, NBH, BK), pp. 650–656.
CAVCAV-2000-AnnichiniAB #reasoning
Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems (AA, EA, AB), pp. 419–434.
VLDBVLDB-1999-KonigW #estimation #query
Combining Histograms and Parametric Curve Fitting for Feedback-Driven Query Result-size Estimation (ACK, GW), pp. 423–434.
ICALPICALP-1999-AlurTEP #logic
Parametric Temporal Logic for “Model Measuring” (RA, KE, SLT, DP), pp. 159–168.
FMFM-v1-1999-Pavlovic #first-order #semantics #specification
Semantics of First Order Parametric Specifications (DP), pp. 155–172.
ICFPICFP-1999-Crary #proving
A Simple Proof Technique for Certain Parametricity Results (KC), pp. 82–89.
HCIHCI-EI-1999-SanoNS #3d #evaluation #visualisation
3D Visualization of Plant Parameters and Its Evaluation (TS, YN, AS), pp. 943–947.
ICMLICML-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.
ICMLICML-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–?.
PADLPADL-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.
POPLPOPL-1999-SagivRW #analysis #logic
Parametric Shape Analysis via 3-Valued Logic (SS, TWR, RW), pp. 105–118.
DACDAC-1999-AagaardJS #constraints
Parametric Representations of Boolean Constraints (MA, RBJ, CJHS), pp. 402–407.
DACDAC-1999-HarjaniV #fault
Digital Aetection of Analog Parametric Faults in SC Filters (RH, BV), pp. 772–777.
DATEDATE-1999-CherubalC #fault #functional #using
Parametric Fault Diagnosis for Analog Systems Using Functional Mapping (SC, AC), p. 195–?.
DATEDATE-1999-NiggemeyerR #self
Parametric Built-In Self-Test of VLSI Systems (DN, MR), p. 376–?.
CAVCAV-1999-BerardF #automation #consistency #protocol #realtime #verification
Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol (BB, LF), pp. 96–107.
LICSLICS-1999-EmersonT #reasoning
Parametric Quantitative Temporal Reasoning (EAE, RJT), pp. 336–343.
VLDBVLDB-1998-Ganguly #algorithm #analysis #design #optimisation #query
Design and Analysis of Parametric Query Optimization Algorithms (SG), pp. 228–238.
ICMLICML-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.
ICPRICPR-1998-Etoh #estimation #representation
Promotion of block matching: parametric representation for motion estimation (ME), pp. 282–285.
ICPRICPR-1998-FiskerC #estimation #modelling #on the
On parameter estimation in deformable models (RF, JMC), pp. 762–766.
ICPRICPR-1998-KadyrovP #detection #estimation #fault #linear
Linear transformation parameter estimation for fault detection (AK, MP), pp. 550–552.
ICPRICPR-1998-KampkeK
Nonparametric optimal binarization (TK, RK), pp. 27–29.
ICPRICPR-1998-KeglKN #classification #learning #network
Radial basis function networks in nonparametric classification and function learning (BK, AK, HN), pp. 565–570.
ICPRICPR-1998-Kraaijveld #classification #comparison
An experimental comparison of nonparametric classifiers for time-constrained classification tasks (MAK), pp. 428–435.
ICPRICPR-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.
ICPRICPR-1998-MorishimaIT #2d #image
Facial muscle parameter decision from 2D frontal image (SM, TI, DT), pp. 160–162.
ICPRICPR-1998-OjalaP #multi
Nonparametric multichannel texture description with simple spatial operators (TO, MP), pp. 1052–1056.
ICPRICPR-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.
ICPRICPR-1998-YamaguchiKI #graph #relational #using
Stereo matching for stone statues using SRI parameters and relational graph (AY, KK, SI), pp. 785–787.
ICPRICPR-1998-YangH #self
An intrinsic parameters self-calibration technique for active vision system (CY, ZH), pp. 67–69.
OOPSLAOOPSLA-1998-SolorzanoA #java #morphism #polymorphism
Parametric Polymorphism for Java: A Reflective Solution (JS, SA), pp. 216–225.
DACDAC-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.
DATEDATE-1998-HedrichB #approach #formal method #linear #verification
A Formal Approach to Verification of Linear Analog Circuits with Parameter Tolerances (LH, EB), pp. 649–654.
DATEDATE-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.
HPDCHPDC-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.
ICDARICDAR-1997-BouletreauVSE #classification
Synthetic Parameters for Handwriting Classification (VB, NV, RS, HE), pp. 102–106.
ICDARICDAR-1997-TsudaM #classification
A Nonparametric Density Model for Classification in a High Dimensional Space (KT, MM), pp. 1082–1087.
TLCATLCA-1997-Takeuti #axiom
An Axiomatic System of Parametricity (IT), pp. 354–372.
HCIHCI-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.
PPDPALP-1997-Almendros-JimenezG #lazy evaluation #order
Lazy Narrowing with Parametric Order Sorted Types (JMAJ, AGL), pp. 159–173.
POPLPOPL-1997-Kennedy #relational
Relational Parametricity and Units of Measure (AK), pp. 442–455.
DACDAC-1997-KapurZ #performance
A Fast Method of Moments Solver for Efficient Parameter Extraction of MCMs (SK, JZ), pp. 141–146.
DACDAC-1997-TianS #agile #fault #simulation
Rapid Frequency-Domain Analog Fault Simulation Under Parameter Tolerances (MWT, CJRS), pp. 275–280.
DATEEDTC-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.
PODSPODS-1996-BeeriMT #on the
On Genericity and Parametricity (CB, TM, PTS), pp. 104–116.
ICMLICML-1996-GordonS #learning #statistics
Nonparametric Statistical Methods for Experimental Evaluations of Speedup Learning (GJG, AMS), pp. 200–206.
ICPRICPR-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.
ICPRICPR-1996-CortijoB #automation #classification #estimation #image #multi
Automatic estimation of the LVQ-1 parameters. Applications to multispectral image classification (FJC, NPdlB), pp. 346–350.
ICPRICPR-1996-Gonzalez #2d #image #sequence
Recovering motion parameters from a 2D range image sequence (JG), pp. 433–440.
ICPRICPR-1996-HeydenA #constant #re-engineering
Euclidean reconstruction from constant intrinsic parameters (AH, ), pp. 339–343.
ICPRICPR-1996-KrzyzakL #classification #complexity #convergence #network
Radial basis function networks and nonparametric classification: complexity regularization and rates of convergence (AK, TL), pp. 650–653.
ICPRICPR-1996-NathanSP #online #recognition
Parameter tying in writer-dependent recognition of on-line handwriting (KN, JS, MPP), pp. 28–32.
ICPRICPR-1996-SchackK #information management
Instantaneous coherence as a sensible parameter for considering human information processing (BS, WK), pp. 45–49.
ICPRICPR-1996-ShihHL #analysis #estimation
Accuracy analysis on the estimation of camera parameters for active vision systems (SWS, YPH, WSL), pp. 930–935.
ICPRICPR-1996-Zhang96a #on the
On the discretization of parameter domain in Hough transformation (MZ), pp. 527–531.
PPDPPLILP-1996-LouvetR #morphism #polymorphism #prolog
Parametric Polymorphism for Typed Prolog and λ-Prolog (PL, OR), pp. 47–61.
DACDAC-1996-LiM #adaptation #linear #modelling #using
Computing Parametric Yield Adaptively Using Local Linear Models (ML, LSM), pp. 831–836.
DACDAC-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.
ESOPESOP-1996-LaunchburyP
Parametricity and Unboxing with Unpointed Types (JL, RP), pp. 204–218.
STOCSTOC-1996-McCormick #algorithm #performance #scheduling
Fast Algorithms for Parametric Scheduling Come from Extensions to Parametric Maximum Flow (STM), pp. 319–328.
ICDARICDAR-v1-1995-BauerW #automation #personalisation #reduction #verification
Parameter reduction and personalized parameter selection for automatic signature verification (FB, BW), pp. 183–186.
TLCATLCA-1995-BellucciAC #morphism #polymorphism
A Model for Formal Parametric Polymorphism: A PER Interpretation for System R (RB, MA, PLC), pp. 32–46.
ICMLICML-1995-Fuchs #adaptation #heuristic #learning #proving
Learning Proof Heuristics by Adaptive Parameters (MF), pp. 235–243.
ICMLICML-1995-KohaviJ #fault
Autmatic Parameter Selection by Minimizing Estimated Error (RK, GHJ), pp. 304–312.
ECOOPECOOP-1995-Agesen #algorithm #morphism #polymorphism #precise #type inference
The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism (OA), pp. 2–26.
OOPSLAOOPSLA-1995-DayGLM #morphism #polymorphism #type system
Subtypes vs. Where Clauses: Constraining Parametric Polymorphism (MD, RG, BL, ACM), pp. 156–168.
POPLPOPL-1995-FieldRT #slicing
Parametric Program Slicing (JF, GR, FT), pp. 379–392.
SACSAC-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.
STOCSTOC-1995-Eppstein #bound #geometry #optimisation
Geometric lower bounds for parametric matroid optimization (DE), pp. 662–671.
LISPLFP-1994-Tolmach #garbage collection #using
Tag-Free Garbage Collection Using Explicit Type Parameters (APT), pp. 1–11.
CSCWCSCW-1994-NeuwirthKCM #collaboration #distributed #interactive
Computer Support for Distributed Collaborative Writing: Defining Parameters of Interaction (CN, DK, RC, JHM), pp. 145–152.
SASSAS-1994-Agesen #constraints #morphism #polymorphism #type inference
Constraint-Based Type Inference and Parametric Polymorphism (OA), pp. 78–100.
DATEEDAC-1994-SivaramanS #analysis #towards
Towards Incorporating Device Parameter Variations in Timing Analysis (MS, AJS), pp. 338–342.
ESOPESOP-1994-OHearnR #morphism #polymorphism
Fully Abstract Translations and Parametric Polymorphism (PWO, JGR), pp. 454–468.
LICSLICS-1994-PlotkinAC #type system
Subtyping and Parametricity (GDP, MA, LC), pp. 310–319.
LICSLICS-1994-RobinsonR #graph #morphism #polymorphism #reflexive
Reflexive Graphs and Parametric Polymorphism (EPR, GR), pp. 364–371.
ICALPICALP-1993-InverardiPY #bisimulation
Extended Transition Systems for Parametric Bisimulation (PI, CP, DY), pp. 558–569.
TLCATLCA-1993-PlotkinA #logic #morphism #polymorphism
A Logic for Parametric Polymorphism (GDP, MA), pp. 361–375.
HCIHCI-SHI-1993-Stelovsky #hypermedia #implementation #reuse #using
Use of Parameters to Facilitate the Implementation of Reusable Hypermedia Modules (JS), pp. 525–530.
CIKMCIKM-1993-ChengGN #database
Object Identity and Dimension Alignment in Parametric Databases (TSC, SKG, SSN), pp. 615–624.
POPLPOPL-1993-AbadiCC #morphism #polymorphism
Formal Parametric Polymorphism (MA, LC, PLC), pp. 157–170.
POPLPOPL-1993-Aponte #type system
Extending Record Typing to Type Parametric Modules with Sharing (MVA), pp. 465–478.
POPLPOPL-1993-OHearnT #relational
Relational Parametricity and Local Variables (PWO, RDT), pp. 171–184.
POPLPOPL-1993-Reynolds #logic #morphism #polymorphism #tutorial
An Introduction to Logical Relations and Parametric Polymorphism — Tutorial (JCR), pp. 155–156.
SASWSA-1993-ChinK #multi #recursion
Tupling Functions with Multiple Recursion Parameters (WNC, SCK), pp. 124–140.
SACSAC-1993-Sabharwal #approach
An Intelligent Approach to Discrete Sampling of Parametric Curves (CLS), pp. 397–401.
SACSAC-1993-Sabharwal93a #2d #3d #image
Recovering 3D Image Parameters from Corresponding Two 2D Images (CLS), pp. 402–409.
STOCSTOC-1993-AlurHV #realtime #reasoning
Parametric real-time reasoning (RA, TAH, MYV), pp. 592–601.
TAPSOFTTAPSOFT-1993-EhrigJO #composition #specification
Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages (HE, RMJ, FO), pp. 31–45.
TAPSOFTTAPSOFT-1993-Longo
Types as Parameters (GL), pp. 658–670.
CAVCAV-1993-GuptaF #induction #representation #using
Parametric Circuit Representation Using Inductive Boolean Functions (AG, ALF), pp. 15–28.
ICLPILPS-1993-Zhou #compilation #on the #prolog
On the Direct Parameter Passing Mechanism for Prolog Compilers (NFZ), p. 655.
VLDBVLDB-1992-IoannidisNSS #optimisation #query
Parametric Query Optimization (YEI, RTN, KS, TKS), pp. 103–114.
ICALPICALP-1992-MontanariY #approach
A Parametric Approach to Localities (UM, DY), pp. 617–628.
LISPLFP-1992-ChenHO
Parametric Type Classes (KC, PH, MO), pp. 170–181.
POPLPOPL-1992-Ma #type system
Parametricity as Subtyping (QM), pp. 281–292.
STOCSTOC-1992-AgarwalM
Ray Shooting and Parametric Search (PKA, JM), pp. 517–526.
ICTSSIWPTS-1992-HigashinoBLYT #strict
Test System for a Restricted Class of LOTOS Expressions with Data Parameters (TH, GvB, XL, KY, KT), pp. 205–216.
LICSLICS-1992-FreydRR
Functorial Parametricity (PJF, EPR, GR), pp. 444–452.
FPCAFPCA-1991-Mairson #proving
Outline of a Proof Theory of Parametricity (HGM), pp. 313–327.
ICSEICSE-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.
ASEKBSE-1991-HeinemanKBB
Rule Chaining in MARVEL: Dynamic Binding of Parameters (GTH, GEK, NSB, IBS), pp. 215–222.
DACDAC-1991-YangCYDH #modelling #simulation
Modeling and Simulation of High-Frequency Integrated Circuits Based on Scattering Parameters (ATY, CHC, JTY, RRD, JPH), pp. 752–757.
TAPSOFTCCPSD-1991-Hanus #logic programming #order
Parametric Order-Sorted Types in Logic Programming (MH), pp. 181–200.
ICTSSIWPTS-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.
SIGMODSIGMOD-1990-Orenstein #comparison #query
A Comparison of Spatial Query Processing Techniques for Native and Parameter Spaces (JAO), pp. 343–352.
ICMLML-1990-KadabaN #algorithm #automation #performance #search-based
Improving the Performance of Genetic Algorithms in Automated Discovery of Parameters (NK, KEN), pp. 140–148.
PLDIPLDI-1990-CormackW
Type-Dependent Parameter Inference (GVC, AKW), pp. 127–136.
FPCAFPCA-1989-Sestoft
Replacing Function Parameters by Global Variables (PS), pp. 39–53.
CHICHI-1989-WareB
Bat brushes: on the uses of six position and orientation parameters in a paint program (CW, CB), pp. 155–160.
OOPSLAOOPSLA-1989-OhoriB #static typing #type inference
Static Type Inference for Parametric Classes (AO, PB), pp. 445–456.
ESOPESOP-1988-Kaes #polymorphism #programming language
Parametric Overloading in Polymorphic Programming Languages (SK), pp. 131–144.
LICSLICS-1988-FreydGSS #polymorphism #semantics #λ-calculus
Semantic Parametricity in Polymorphic λ Calculus (PJF, JYG, AS, PJS), pp. 274–279.
HTHT-1987-Jones #hypermedia #tool support
Developing and Distributing Hypertext Tools: Legal Inputs and Parameters (HWJI), pp. 367–374.
TAPSOFTCAAP-1987-Gogolla #algebra #fault #on the #specification
On Parametric Algebraic Specifications with Clean Error Handling (MG), pp. 81–95.
ESOPESOP-1986-KastensS #analysis
Lifetime Analysis for Procedure Parameters (UK, MS), pp. 53–69.
POPLPOPL-1985-Cooper #alias
Analyzing Aliases of Reference Formal Parameters (KDC), pp. 281–290.
DACDAC-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.
TAPSOFTCAAP-1985-Padawitz #data type #specification
Parameter Preserving Data Type Specifications (PP), pp. 323–341.
DACDAC-1984-KrieteN #design #metaprogramming
A VLSI design methodology based on parametric macro cells (RAK, RKN), pp. 686–688.
ICALPICALP-1982-BergstraK #algebra #data type #specification
Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras (JAB, JWK), pp. 23–34.
DACDAC-1982-Asano
Parametric pattern router (TA), pp. 411–417.
DACDAC-1982-Kalay #bound #modelling #multi
Modeling polyhedral solids bounded by multi-curved parametric surfaces (YEK), pp. 501–507.
FMPS-1981-EhrigKTWW #algebra #specification
Parameter Passing in Algebraic Specification Languages (HE, HJK, JWT, EGW, JBW), pp. 322–369.
DACDAC-1981-NgGK #verification
A timing verification system based on extracted MOS/VLSI circuit parameters (PN, WG, RK), pp. 288–292.
STOCSTOC-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.
VLDBVLDB-1980-Post #database #named
Quintillabit: Parameters of a Hyperlarge Database (JVP), pp. 156–158.
POPLPOPL-1980-DemersD #data type #type checking
Data Types, Parameters, and Type Checking (AJD, JED), pp. 12–23.
POPLPOPL-1979-Critcher #functional #power of
The Functional Power of Parameter Passage Mechanisms (AC), pp. 158–168.
DACDAC-1979-Lichten #design #scalability
A partial solution to fitting large parametric surfaces in computer-aided design systems (LL), pp. 222–228.
POPLPOPL-1978-Solomon
Type Definitions with Parameters (MHS), pp. 31–38.
STOCSTOC-1978-Lynch #complexity #metric
Straight-Line Program Length as a Parameter for Complexity Measures (NAL), pp. 150–161.
ICALPICALP-1974-Roever #approach #axiom #recursion
Recursion and Parameter Mechanisms: An Axiomatic Approach (WPdR), pp. 34–65.
DACDAC-1973-BoehmA #design
Parameter sensitivity studies for internal combustion engine control and design purposes (CFBJ, JJAI), pp. 240–246.
SOSPSOSP-1971-Rodriguez-Rosell #behaviour #how
Experimental Data on How Program Behavior Affects the Choice of Scheduler Parameters (JRR), pp. 156–163.

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