Stem paramet$ (all stems)

359 papers:

CASE-2015-ChenTLY #multi #optimisation #parametricity

Multi-objective parameter optimization of multi-pass CNC machining (XC, YT, CL, QY), pp. 45–50.

CASE-2015-CheungWCP #automation #parametricity

Optimization-based automatic parameter tuning for stereo vision (ECHC, JW, JC, JP), pp. 855–861.

CASE-2015-ChouTHC #adaptation #algorithm #design #parametricity #process

Adaptive neuro-fuzzy inference system with evolutionary algorithm for designing process parameters of color filter (PYC, JTT, WHH, JHC), pp. 1555–1556.

CASE-2015-LeeKK #online #parametricity #using

Control of an aerial manipulator using on-line parameter estimator for an unknown payload (HL, SK, HJK), pp. 316–321.

CASE-2015-RoyelYLLH #identification #optimisation #parametricity #using

A hysteresis model and parameter identification for MR pin joints using immune particle swarm optimization (SR, YY, YL, JL, QPH), pp. 1319–1324.

CASE-2015-SaksenaNKK #2d #assembly #automation #parametricity #using

Automatic tuning of impedance parameter using configuration space for two dimensional assembly system (AS, TN, JK, KK), pp. 1110–1117.

CASE-2015-SterlingSZC #algorithm #optimisation #parametricity #process

Welding parameter optimization based on Gaussian process regression Bayesian optimization algorithm (DS, TS, YZ, HC), pp. 1490–1496.

CASE-2015-WanCPH #optimisation #parametricity

Optimizing the parameters of tilting surfaces in robotic workcells (WW, ECHC, JP, KH), pp. 593–599.

DRR-2015-LamiroyBBCGHL #concept #documentation #parametricity

Re-typograph phase I: a proof-of-concept for typeface parameter extraction from historical documents (BL, TB, JB, HC, SG, RH, ML).

ICSME-2015-AsaduzzamanRMS #api #parametricity #recommendation

Exploring API method parameter recommendations (MA, CKR, SM, KAS), pp. 271–280.

ICSME-2015-AsaduzzamanRS #api #named #parametricity #recommendation

PARC: Recommending API methods parameters (MA, CKR, KAS), pp. 330–332.

ICALP-v1-2015-Cao #editing #parametricity

Unit Interval Editing is Fixed-Parameter Tractable (YC), pp. 306–317.

ICALP-v2-2015-Feldmann #approximate #graph #parametricity #problem

Fixed Parameter Approximations for k-Center Problems in Low Highway Dimension Graphs (AEF), pp. 588–600.

FM-2015-DangDP #logic #parametricity #specification #synthesis

Parameter Synthesis Through Temporal Logic Specifications (TD, TD, CP), pp. 213–230.

DHM-EH-2015-AntonyaBB #estimation #parametricity

Parameter Estimation from Motion Tracking Data (CA, SB, HB), pp. 113–121.

DHM-EH-2015-HarihBR #interface #optimisation #parametricity

Optimisation of Product’s Hand-Handle Interface Material Parameters for Improved Ergonomics (GH, MB, ZR), pp. 15–25.

ICML-2015-BlechschmidtGL #approximate #multi #optimisation #parametricity #problem

Tracking Approximate Solutions of Parameterized Optimization Problems over Multi-Dimensional (Hyper-)Parameter Domains (KB, JG, SL), pp. 438–447.

KDD-2015-ChuHTLL #classification #linear #parametricity

Warm Start for Parameter Selection of Linear Classifiers (BYC, CHH, CHT, CYL, CJL), pp. 149–158.

KDD-2015-ZhaoJCJ #estimation #parametricity #performance #quality

SAME but Different: Fast and High Quality Gibbs Parameter Estimation (HZ, BJ, JFC, BJ), pp. 1495–1502.

SEKE-2015-LinYX #automation #detection #generative #parametricity #testing

Automatic Detection of Parameter Shielding for Test Case Generation (JL, JY, JX), pp. 571–574.

SIGIR-2015-TangJLZL #personalisation #recommendation

Personalized Recommendation via Parameter-Free Contextual Bandits (LT, YJ, LL, CZ, TL), pp. 323–332.

OOPSLA-2015-OuD #automation #memory management #named #order #parametricity

AutoMO: automatic inference of memory order parameters for C/C++11 (PO, BD), pp. 221–240.

SAC-2015-InacioDBNM #file system #operating system #parallel #parametricity #performance

Performance impact of operating systems’ caching parameters on parallel file systems (ECI, MARD, FZB, POAN, DDJdM), pp. 2066–2068.

ESEC-FSE-2015-White #generative #parametricity #performance #search-based #testing #using

Increasing the efficiency of search-based unit test generation using parameter control (TW), pp. 1042–1044.

QoSA-2014-EtxeberriaTCS #hardware #nondeterminism #parametricity

Performance-based selection of software and hardware features under parameter uncertainty (LE, CT, VC, GS), pp. 23–32.

CASE-2014-ZhangLYL #optimisation #parametricity #simulation

Simulation and parameter optimization of the key working procedure of engine box (CZ, JL, RY, GL), pp. 315–319.

DAC-2014-YuSHEAB #metric #parametricity #using

Remembrance of Transistors Past: Compact Model Parameter Extraction Using Bayesian Inference and Incomplete New Measurements (LY, SS, CH, IAME, DAA, DSB), p. 6.

DATE-2014-JeongOSNS #parametricity #self

Built-in self-test and characterization of polar transmitter parameters in the loop-back mode (JWJ, SO, SS, VN, MS), pp. 1–6.

DATE-2014-LangeSJHLS #correlation #modelling #parametricity #probability #standard

Probabilistic standard cell modeling considering non-Gaussian parameters and correlations (AL, CS, RJ, JH, IL, US), pp. 1–4.

DATE-2014-SongDY #analysis #bound #multi #order #parametricity #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.

VLDB-2014-LinMRW #interactive #mining #named

SPIRE: Supporting Parameter-Driven Interactive Rule Mining and Exploration (XL, AM, EAR, MOW), pp. 1653–1656.

STOC-2014-CyganLPPS #parametricity

Minimum bisection is fixed parameter tractable (MC, DL, MP, MP, SS), pp. 323–332.

FLOPS-2014-Magalhaes #multi #parametricity #programming

Generic Programming with Multiple Parameters (JPM), pp. 136–151.

CHI-2014-AdamsGL #named #parametricity

SonicExplorer: fluid exploration of audio parameters (ATA, BG, CL), pp. 237–246.

DHM-2014-ZhouLXZZ #analysis #metric #parametricity

Measurement and Analysis of Anthropometric Parameters of Young Male Vehicle Drivers (QXZ, ZQL, FX, SZ, SZ), pp. 174–181.

ICEIS-v2-2014-HomendaJP #parametricity #re-engineering

Granular Cognitive Map Reconstruction — Adjusting Granularity Parameters (WH, AJ, WP), pp. 175–184.

CIKM-2014-Deolalikar14a #behaviour #clustering #modelling #parametricity #retrieval

Parameter Tuning with User Models: Influencing Aggregate User Behavior in Cluster Based Retrieval Systems (VD), pp. 1823–1826.

CIKM-2014-WangMC #learning #parametricity

Structure Learning via Parameter Learning (WYW, KM, WWC), pp. 1199–1208.

ECIR-2014-Aly #normalisation #parametricity #using

Score Normalization Using Logistic Regression with Expected Parameters (RA), pp. 579–584.

ICML-c2-2014-AffandiFAT #kernel #learning #parametricity #process

Learning the Parameters of Determinantal Point Process Kernels (RHA, EBF, RPA, BT), pp. 1224–1232.

ICPR-2014-ChernousovaLTMW #parametricity #validation

Non-enumerative Cross Validation for the Determination of Structural Parameters in Feature-Selective SVMs (EC, PL, AT, VM, DW), pp. 3654–3659.

ICPR-2014-SharifzadehZK #estimation #forensics #modelling #multi #parametricity #visualisation

Vein Pattern Visualization through Multiple Mapping Models and Local Parameter Estimation for Forensic Investigation (HRS, HZ, AWKK), pp. 160–165.

RecSys-2014-GueyeAN #algorithm #recommendation

A parameter-free algorithm for an optimized tag recommendation list size (MG, TA, HN), pp. 233–240.

SAC-2014-PatanaikZK #estimation #parametricity #simulation

Parameter estimation and simulation for one-choice Ratcliff diffusion model (AP, VZ, CKK), pp. 3–7.

SAC-2014-RossiLR #algorithm #classification #network #using

A parameter-free label propagation algorithm using bipartite heterogeneous networks for text classification (RGR, AAL, SOR), pp. 79–84.

ICSE-2014-SuR #analysis #empirical #parametricity #probability

Perturbation analysis of stochastic systems with empirical distribution parameters (GS, DSR), pp. 311–321.

CGO-2014-JuegaGTC #adaptation #automation #code generation #parametricity

Adaptive Mapping and Parameter Selection Scheme to Improve Automatic Code Generation for GPUs (JCJ, JIG, CT, FC), p. 251.

OSDI-2014-LiAPSAJLSS #distributed #machine learning #parametricity #scalability

Scaling Distributed Machine Learning with the Parameter Server (ML, DGA, JWP, AJS, AA, VJ, JL, EJS, BYS), pp. 583–598.

SAT-2014-HaanS #parametricity #reduction #satisfiability

Fixed-Parameter Tractable Reductions to SAT (RdH, SS), pp. 85–102.

CASE-2013-LuoHL #metric #multi #parametricity #recognition

Multisensor integrated stair recognition and parameters measurement system for dynamic stair climbing robots (RCL, MH, CWL), pp. 318–323.

CASE-2013-WilsonM #design #estimation #parametricity

Optimal trajectory design for well-conditioned parameter estimation (ADW, TDM), pp. 13–19.

CASE-2013-YiTLL #optimisation #parametricity

Optimization of CNC machine processing parameters for low carbon manufacturing (QY, YT, CL, PL), pp. 498–503.

DATE-2013-MillerB #parametricity #satisfiability #verification

Formal verification of analog circuit parameters across variation utilizing SAT (MM, FB), pp. 1442–1447.

DATE-2013-NugterenBC #architecture #future of #parametricity

Future of GPGPU micro-architectural parameters (CN, GJvdB, HC), pp. 392–395.

DATE-2013-XydisPZS #architecture #compilation #framework #metamodelling #parametricity #synthesis

A meta-model assisted coprocessor synthesis framework for compiler/architecture parameters customization (SX, GP, VZ, CS), pp. 659–664.

DATE-2013-YoonKBS #design #multi #optimisation #parametricity #scheduling

Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling (MKY, JEK, RMB, LS), pp. 1313–1318.

SIGMOD-2013-MukherjiLBWRWR #interactive #mining #named #parametricity

PARAS: interactive parameter space exploration for association rule mining (AM, XL, CRB, JW, EAR, MOW, CR), pp. 1017–1020.

VLDB-2013-LinMRRW #framework #mining #named #online #parametricity

PARAS: A Parameter Space Framework for Online Association Mining (XL, AM, EAR, CR, MOW), pp. 193–204.

TACAS-2013-JovanovicLR #automaton #integer #parametricity #synthesis

Integer Parameter Synthesis for Timed Automata (AJ, DL, OHR), pp. 401–415.

PLDI-2013-Titzer #parametricity #tuple

Harmonizing classes, functions, tuples, and type parameters in virgil iii (BT), pp. 85–94.

ICALP-v1-2013-MarxV #algorithm #parametricity

Fixed-Parameter Algorithms for Minimum Cost Edge-Connectivity Augmentation (DM, LAV), pp. 721–732.

ICALP-v2-2013-ImNP #data type #parametricity #recursion

Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types (HI, KN, SP), pp. 299–311.

HCI-III-2013-ParkKWL #metric #parametricity

Vision Based Body Dither Measurement for Estimating Human Emotion Parameters (SP, DK, MCW, ECL), pp. 346–352.

HIMI-D-2013-MasieroTJ #parametricity

Similar or Not Similar: This Is a Parameter Question (AAM, FT, PTAJ), pp. 484–493.

HIMI-HSM-2013-HiraokaTK #behaviour #parametricity

Proposal of Non-dimensional Parameter Indices to Evaluate Safe Driving Behavior (TH, ST, HK), pp. 470–479.

ICEIS-v2-2013-OgataK #multi #optimisation #parametricity

The Parameter Optimization in Multiple Layered Deduplication System (MO, NK), pp. 143–150.

ECIR-2013-GoswamiG #estimation #information retrieval #modelling #parametricity

Estimation of the Collection Parameter of Information Models for IR (PG, ÉG), pp. 459–470.

ICML-c3-2013-ErolLRR #parametricity

The Extended Parameter Filter (YE, LL, BR, SJR), pp. 1103–1111.

ICML-c3-2013-KraehenbuehlK #convergence #learning #parametricity #random

Parameter Learning and Convergent Inference for Dense Random Fields (PK, VK), pp. 513–521.

KEOD-2013-WaldsteinWH #lightweight #ontology #parametricity

Lightweight Ontologies in Context — Relationship between Ontology Characteristics and Context Parameters (IW, ROW, NH), pp. 308–315.

GPCE-2013-GerakiosBS #java #parametricity #using

Reified type parameters using Java annotations (PG, AB, YS), pp. 61–64.

CAV-2013-AndreLSDL #concurrent #named #parametricity #realtime #synthesis

PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems (ÉA, YL, JS, JSD, SWL), pp. 984–989.

CAV-2013-BrimCDS #model checking #parametricity #probability #using

Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking (LB, MC, SD, DS), pp. 107–123.

CSL-2013-Goller #concurrent #model checking #parametricity

The Fixed-Parameter Tractability of Model Checking Concurrent Systems (SG), pp. 332–347.

CBSE-2012-BrosigHK #architecture #dependence #modelling #online #parametricity #performance

Modeling parameter and context dependencies in online architecture-level performance models (FB, NH, SK), pp. 3–12.

CASE-2012-JiaZH #algorithm #fuzzy #parametricity #self

Active control of turbine tip clearance by fuzzy parameter self-setting PID algorithms (BJ, XZ, YH), pp. 162–166.

CASE-2012-KimPLPC #estimation #framework #parametricity

A parameter estimation method for the bilateral teleoperation framework for an O2 lance manipulator (HK, BP, JL, YJP, WKC), pp. 564–568.

DATE-2012-YangCJTZ #multi #protocol #smarttech

A multi-parameter bio-electric ASIC sensor with integrated 2-wire data transmission protocol for wearable healthcare system (GY, JC, FJ, HT, LRZ), pp. 443–448.

STOC-2012-DeDFS #approximate #parametricity #problem

Nearly optimal solutions for the chow parameters problem and low-weight approximation of halfspaces (AD, ID, VF, RAS), pp. 729–746.

ICALP-v1-2012-ChitnisCHM #feedback #parametricity #set

Directed Subset Feedback Vertex Set Is Fixed-Parameter Tractable (RHC, MC, MTH, DM), pp. 230–241.

ICALP-v1-2012-KratschPPW #graph #multi #parametricity

Fixed-Parameter Tractability of Multicut in Directed Acyclic Graphs (SK, MP, MP, MW), pp. 581–593.

CIKM-2012-LeelanupabZJ #analysis #cumulative #parametricity

A comprehensive analysis of parameter settings for novelty-biased cumulative gain (TL, GZ, JMJ), pp. 1950–1954.

ICML-2012-LiuI #distributed #estimation #parametricity #pseudo

Distributed Parameter Estimation via Pseudo-likelihood (QL, ATI), p. 182.

ICML-2012-MakinoT #learning #parametricity

Apprenticeship Learning for Model Parameters of Partially Observable Environments (TM, JT), p. 117.

ICPR-2012-AfzalBKSB #documentation #image #parametricity #robust #using

Robust stereo matching for document images using parameter selection of text-line extraction (MZA, SSB, MK, FS, TMB), pp. 331–334.

ICPR-2012-GuiST #analysis #estimation #parametricity

Regularization parameter estimation for spectral regression discriminant analysis based on perturbation theory (JG, ZS, TT), pp. 401–404.

ICPR-2012-PitchayK #multi

Multi-task signal recovery by higher level hyper-parameter sharing (SAP, AK), pp. 2246–2249.

ICPR-2012-TsaoH #estimation #image #parametricity #realtime

Real-time human object motion parameters estimation from depth images (ICT, CLH), pp. 829–832.

KR-2012-LacknerP #algorithm #modelling #parametricity

Fixed-Parameter Algorithms for Finding Minimal Models (ML, AP).

SIGIR-2012-LogachevS #optimisation #parametricity #rank

Optimizing parameters of the expected reciprocal rank (YL, PS), pp. 1123–1124.

ICSE-2012-ZhangYZFZZO #api #automation #parametricity #recommendation

Automatic parameter recommendation for practical API usage (CZ, JY, YZ, JF, XZ, JZ, PO), pp. 826–836.

CAV-2012-JegourelLS #model checking #optimisation #parametricity #statistics

Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking (CJ, AL, SS), pp. 327–342.

CSL-2012-KotekM #graph #matrix #parametricity

Connection Matrices and the Definability of Graph Parameters (TK, JAM), pp. 411–425.

CSL-2012-Makowsky #complexity #graph #parametricity

Definability and Complexity of Graph Parameters (Invited Talk) (JAM), pp. 14–15.

ISSTA-2012-PradelHG #detection #parametricity #static analysis #type system

Static detection of brittle parameter typing (MP, SH, TRG), pp. 265–275.

SAT-2012-CrowstonGJRSY #parametricity

Fixed-Parameter Tractability of Satisfying beyond the Number of Variables (RC, GG, MJ, VR, SS, AY), pp. 355–368.

CASE-2011-RodriguezQLF #estimation #parametricity

State and parameter estimation of an anaerobic digester model (AR, GQ, JdL, RF), pp. 690–695.

DATE-2011-LuJTL #architecture #parametricity #performance #simulation

Efficient parameter variation sampling for architecture simulations (FL, RJ, GT, SL), pp. 1578–1583.

DRR-2011-ChengL #parametricity #variability

Parameter calibration for synthesizing realistic-looking variability in offline handwriting (WC, DPL), pp. 1–10.

DRR-2011-ZhuN #online #optimisation #parametricity #recognition

A MRF model with parameter optimization by CRF for on-line recognition of handwritten Japanese characters (BZ, MN), pp. 1–10.

ICDAR-2011-StommelF #automation #documentation #estimation #parametricity

Automatic Estimation of the Legibility of Binarised Historic Documents for Unsupervised Parameter Tuning (MS, GF), pp. 104–108.

ICDAR-2011-ZhuN #online #optimisation #parametricity #recognition #using

On-line Handwritten Japanese Characters Recognition Using a MRF Model with Parameter Optimization by CRF (BZ, MN), pp. 603–607.

SIGMOD-2011-KennedyLLSN #enterprise #fuzzy #nondeterminism #parametricity

Fuzzy prophet: parameter exploration in uncertain enterprise scenarios (OK, SL, CL, SS, SN), pp. 1303–1306.

ICPC-2011-SridharaPV #generative #parametricity #summary

Generating Parameter Comments and Integrating with Method Summaries (GS, LLP, KVS), pp. 71–80.

STOC-2011-GroheKMW #parametricity

Finding topological subgraphs is fixed-parameter tractable (MG, KiK, DM, PW), pp. 479–488.

STOC-2011-MarxR #multi #parametricity

Fixed-parameter tractability of multicut parameterized by the size of the cutset (DM, IR), pp. 469–478.

ICALP-v1-2011-CyganPPW #feedback #parametricity #set

Subset Feedback Vertex Set Is Fixed-Parameter Tractable (MC, MP, MP, JOW), pp. 449–461.

CHI-2011-HendyLBM #parametricity

Parameter selection in keyboard-based dialog boxes (JCH, JL, KSB, JM), pp. 2761–2764.

DHM-2011-WuHYNH #parametricity #using

Using Physiological Parameters to Evaluate Operator’s Workload in Manual Controlled Rendezvous and Docking (RVD) (BW, FH, ZY, JN, WH), pp. 426–435.

HCI-DDA-2011-ZablotskiyPZM #algorithm #estimation #parametricity #search-based

GMM Parameter Estimation by Means of EM and Genetic Algorithms (SZ, TP, KZ, WM), pp. 527–536.

HCI-UA-2011-ItoIN #bias #information management #parametricity #using

Method for Cultivating the “Inquiry-Mindset” Using the Information Access-Based Belief Bias Parameter (KI, YI, SN), pp. 48–57.

HIMI-v1-2011-MurakamiK #music #parametricity #process

Auditory Feature Parameters for Music Based on Human Auditory Processes (MM, TK), pp. 612–617.

ICEIS-v4-2011-WangL11a #modelling #optimisation #parametricity #simulation

Simulation Modeling and Parameter Optimization in Cyclic Picking System (AW, XL), pp. 690–694.

ICML-2011-SugiyamaYKH #clustering #on the #parametricity

On Information-Maximization Clustering: Tuning Parameter Selection and Analytic Solution (MS, MY, MK, HH), pp. 65–72.

KDIR-2011-GriffithOS #collaboration #learning #parametricity

Learning Neighbourhood-based Collaborative Filtering Parameters (JG, CO, HS), pp. 452–455.

KEOD-2011-GaignardMWG #concept #parametricity #runtime #semantics

Characterizing Semantic Service Parameters with Role Concepts to Infer Domain-specific Knowledge at Runtime (AG, JM, BW, BG), pp. 59–70.

MLDM-2011-WuW #category theory #detection

Parameter-Free Anomaly Detection for Categorical Data (SW, SW), pp. 112–126.

SEKE-2011-DoranTFG #analysis #architecture #nondeterminism #parametricity #reliability

Architecture-based Reliability Analysis With Uncertain Parameters (DD, MT, LF, SSG), pp. 629–634.

SAC-2011-YukselBK #algorithm #estimation #framework #parametricity #search-based

A software platform for genetic algorithms based parameter estimation on digital sound synthesizers (KAY, BB, HK), pp. 1088–1089.

CAV-2011-AndreychenkoMSW #identification #markov #modelling #parametricity

Parameter Identification for Markov Models of Biochemical Reactions (AA, LM, DS, VW), pp. 83–98.

ISSTA-2011-ZhangZ #adaptation #interactive #parametricity #testing

Characterizing failure-causing parameter interactions by adaptive testing (ZZ, JZ), pp. 331–341.

DATE-2010-ChengDMMRWRA #parametricity #using

Capturing intrinsic parameter fluctuations using the PSP compact model (BC, DD, NM, CM, GR, XW, SR, AA), pp. 650–653.

DATE-2010-GhosalZNB #design #nondeterminism #parametricity #robust

Computing robustness of FlexRay schedules to uncertainties in design parameters (AG, HZ, MDN, YBH), pp. 550–555.

DATE-2010-YeSP #assessment

Extended Hamiltonian Pencil for passivity assessment and enforcement for S-parameter systems (ZY, LMS, JRP), pp. 1148–1152.

SIGMOD-2010-ThummalaB #configuration management #database #named #parametricity #visualisation

iTuned: a tool for configuring and visualizing database parameters (VT, SB), pp. 1231–1234.

STOC-2010-ChawlaHMS #design #multi

Multi-parameter mechanism design and sequential posted pricing (SC, JDH, DLM, BS), pp. 311–320.

STOC-2010-RaghavendraST #approximate #graph #parametricity

Approximations for the isoperimetric and spectral profile of graphs and related parameters (PR, DS, PT), pp. 631–640.

ICML-2010-LiPSG #learning #parametricity

Budgeted Distribution Learning of Belief Net Parameters (LL, BP, CS, RG), pp. 879–886.

ICPR-2010-BruneauGP #parametricity #probability

Aggregation of Probabilistic PCA Mixtures with a Variational-Bayes Technique Over Parameters (PB, MG, FP), pp. 702–705.

ICPR-2010-KeuperSPHPBR #3d #parametricity #robust #self

3D Deformable Surfaces with Locally Self-Adjusting Parameters — A Robust Method to Determine Cell Nucleus Shapes (MK, TS, JP, PH, KP, HB, OR), pp. 2254–2257.

ICPR-2010-KumeTSY #estimation #image #parametricity #using #video

Extrinsic Camera Parameter Estimation Using Video Images and GPS Considering GPS Positioning Accuracy (HK, TT, TS, NY), pp. 3923–3926.

ICPR-2010-LiuCLL #automation #locality #parametricity #using

A Lip Contour Extraction Method Using Localized Active Contour Model with Automatic Parameter Selection (XL, YmC, ML, HL), pp. 4332–4335.

ICPR-2010-SeppkeDHW #equation #multi #parametricity #performance #using

Fast Derivation of Soil Surface Roughness Parameters Using Multi-band SAR Imagery and the Integral Equation Model (BS, LSDF, JAH, FW), pp. 3931–3934.

ICPR-2010-Teijeiro-MosqueraAG #automation #estimation #parametricity #recognition

Face Recognition Across Pose with Automatic Estimation of Pose Parameters through AAM-Based Landmarking (LTM, JLAC, DGJ), pp. 1339–1342.

KR-2010-DvorakPW #algorithm #parametricity #towards

Towards Fixed-Parameter Tractable Algorithms for Argumentation (WD, RP, SW).

SEKE-2010-Wang #black box #parametricity #testing #using

Reducing Black-box Test Suite Using Input Parameter Relationships (LW), pp. 180–185.

SIGIR-2010-SeoC10a #estimation #parametricity

Unsupervised estimation of dirichlet smoothing parameters (JS, WBC), pp. 759–760.

POPL-2010-KobayashiTU #higher-order #multi #recursion #transducer #verification

Higher-order multi-parameter tree transducers and recursion schemes for program verification (NK, NT, HU), pp. 495–508.

SAC-2010-MigotinaRF #automation #detection #fuzzy #parametricity #using

Automatic K-complex detection using Hjorth parameters and fuzzy decision (DM, ACR, ALNF), pp. 979–980.

SAC-2010-ZengXCB #parametricity #scalability

Introducing global scaling parameters into Ncut (YZ, HX, XC, SB), pp. 1105–1106.

CAV-2010-Donze #hybrid #parametricity #synthesis #verification

Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems (AD), pp. 167–170.

ICDAR-2009-WangH #classification #design #fault #modelling #parametricity #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.

VLDB-2009-DuanTB #database #parametricity

Tuning Database Configuration Parameters with iTuned (SD, VT, SB), pp. 1246–1257.

FoSSaCS-2009-LohreyMS #parametricity #reduction

Parameter Reduction in Grammar-Compressed Trees (ML, SM, MSS), pp. 212–226.

ICALP-v1-2009-FellowsFLLRS #parametricity

Distortion Is Fixed Parameter Tractable (MRF, FVF, DL, EL, FAR, SS), pp. 463–474.

HCI-AUII-2009-LekkasTGMS #design #implementation #parametricity #personalisation

Implementing Affect Parameters in Personalized Web-Based Design (ZL, NT, PG, CM, GS), pp. 320–329.

HCI-NT-2009-KimWW #adaptation #parametricity #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.

KDD-2009-BohmHMP #detection #named

CoCo: coding cost for parameter-free outlier detection (CB, KH, NSM, CP), pp. 149–158.

MoDELS-2009-CuccuruRGT #classification #parametricity #uml

Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers (AC, AR, SG, FT), pp. 644–649.

MoDELS-2009-CuccuruRGT #classification #parametricity #uml

Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers (AC, AR, SG, FT), pp. 644–649.

SAC-2009-LeccaPPS #generative #network #parametricity #probability

A new probabilistic generative model of parameter inference in biochemical networks (PL, AP, CP, GS), pp. 758–765.

ICSE-2009-EpifaniGMT #adaptation #evolution #parametricity #runtime

Model evolution by run-time parameter adaptation (IE, CG, RM, GT), pp. 111–121.

HPCA-2009-PowellBEMSY #named #parametricity #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.

DAC-2008-El-MoselhyEW #algorithm #parametricity #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.

DATE-2008-VillenaS #algorithm #named #order #reduction #scalability

SPARE — a Scalable algorithm for passive, structure preserving, Parameter-Aware model order REduction (JFV, LMS), pp. 586–591.

PEPM-2008-Mogensen #functional #parametricity

Semi-inversion of functional parameters (TÆM), pp. 21–29.

STOC-2008-ChenLL #algorithm #feedback #parametricity #problem #set

A fixed-parameter algorithm for the directed feedback vertex set problem (JC, YL, SL, BO, IR), pp. 177–186.

STOC-2008-ODonnellS #parametricity #problem

The chow parameters problem (RO, RAS), pp. 517–526.

ICALP-A-2008-RazgonO #parametricity #satisfiability

Almost 2-SAT Is Fixed-Parameter Tractable (Extended Abstract) (IR, BO), pp. 551–562.

CHI-2008-DixonGC #parametricity #performance

Optimal parameters for efficient crossing-based dialog boxes (MD, FG, NC), pp. 1623–1632.

CIKM-2008-HoweF #collaboration #parametricity

Re-considering neighborhood-based collaborative filtering parameters in the context of new data (AEH, RDF), pp. 1481–1482.

ICML-2008-HuynhM #learning #logic #markov #network #parametricity

Discriminative structure and parameter learning for Markov logic networks (TNH, RJM), pp. 416–423.

ICML-2008-SuZLM #learning #network #parametricity

Discriminative parameter learning for Bayesian networks (JS, HZ, CXL, SM), pp. 1016–1023.

ICPR-2008-AliFG #estimation #parametricity

Analytical method for MGRF Potts model parameter estimation (AMA, AAF, GLG), pp. 1–4.

ICPR-2008-BruneauGP #approach #modelling #reduction

Parameter-based reduction of Gaussian mixture models with a variational-Bayes approach (PB, MG, FP), pp. 1–4.

ICPR-2008-BuloATP #approach #estimation #parametricity

A hypergraph-based approach to affine parameters estimation (SRB, AA, AT, MP), pp. 1–4.

ICPR-2008-CamposJ #constraints #learning #network #parametricity #using

Improving Bayesian Network parameter learning using constraints (CPdC, QJ), pp. 1–4.

ICPR-2008-LiaoJ #learning #network #parametricity #semistructured data

Exploiting qualitative domain knowledge for learning Bayesian network parameters with incomplete data (WL, QJ), pp. 1–4.

ICPR-2008-LiuZXMD #estimation #image

Illumination transition image: Parameter-based illumination estimation and re-rendering (JL, NZ, LX, GM, SD), pp. 1–4.

SAC-2008-BragaOM #estimation #feature model #optimisation #parametricity

A GA-based feature selection and parameters optimization for support vector regression applied to software effort estimation (PLB, ALIO, SRLM), pp. 1788–1792.

SAC-2008-LevadaMTS #estimation #higher-order #parametricity #pseudo

Spatially non-homogeneous potts model parameter estimation on higher-order neighborhood systems by maximum pseudo-likelihood (ALML, NDAM, AT, DHPS), pp. 1733–1737.

FSE-2008-HalfondO #automation #identification #parametricity #web

Automated identification of parameter mismatches in web applications (WGJH, AO), pp. 181–191.

CASE-2007-KwokNH #mobile #multi

PSO-Based Cooperative Control of Multiple Mobile Robots in Parameter-Tuned Formations (NMK, VTN, QPH), pp. 332–337.

CASE-2007-SarkisSD #automation #modelling #parametricity #using

Modeling the Variation of the Intrinsic Parameters of an Automatic Zoom Camera System using Moving Least-Squares (MS, CTS, KD), pp. 560–565.

DAC-2007-FengLZ #analysis #higher-order #parametricity #performance #reduction #statistics #using

Fast Second-Order Statistical Static Timing Analysis Using Parameter Dimension Reduction (ZF, PL, YZ), pp. 244–249.

DAC-2007-VytyazLLMMM #parametricity

Parameter Finding Methods for Oscillators with a Specified Oscillation Frequency (IV, DCL, SL, AM, UKM, KM), pp. 424–429.

DAC-2007-WangLR #automation #megamodelling #named #parametricity #variability

PV-PPV: Parameter Variability Aware, Automatically Extracted, Nonlinear Time-Shifted Oscillator Macromodels (ZW, XL, JSR), pp. 142–147.

DATE-2007-AggarwalO #modelling #parametricity #reuse

Simulation-based reusable posynomial models for MOS transistor parameters (VA, UMO), pp. 69–74.

DATE-2007-ZhangOSFKB #analysis #approach #named #parametricity #process

CMCal: an accurate analytical approach for the analysis of process variations with non-gaussian parameters and nonlinear functions (MZ, MO, DS, MF, HK, EB), pp. 243–248.

DATE-2007-ZjajoAG #interactive #monitoring #parametricity #process

Interactive presentation: BIST method for die-level process parameter variation monitoring in analog/mixed-signal integrated circuits (AZ, MJBA, JPdG), pp. 1301–1306.

IFM-2007-FaberJS #data type #parametricity #specification #verification

Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters (JF, SJ, VSS), pp. 233–252.

HIMI-IIE-2007-Sanchez-PueblaAD #evaluation #interface #parametricity #predict #validation

Validation of Critical Parameters for Predictive Evaluation of Notification System in Avionics Interfaces (MASP, IA, PD), pp. 1109–1118.

CIKM-2007-HeO #ad hoc #parametricity #probability #retrieval

Parameter sensitivity in the probabilistic model for ad-hoc retrieval (BH, IO), pp. 263–272.

ECIR-2007-HeO #normalisation

Setting Per-field Normalisation Hyper-parameters for the Named-Page Finding Search Task (BH, IO), pp. 468–480.

ICML-2007-Jaeger #learning #network #parametricity #relational

Parameter learning for relational Bayesian networks (MJ), pp. 369–376.

ICML-2007-YeCJ #kernel #learning #parametricity #programming

Discriminant kernel and regularization parameter learning via semidefinite programming (JY, JC, SJ), pp. 1095–1102.

KDD-2007-SunFPY #graph #mining #named #scalability

GraphScope: parameter-free mining of large time-evolving graphs (JS, CF, SP, PSY), pp. 687–696.

MLDM-2007-HulsmannF #algorithm #comparison #multi #novel #optimisation #parametricity

Comparison of a Novel Combined ECOC Strategy with Different Multiclass Algorithms Together with Parameter Optimization Methods (MH, CMF), pp. 17–31.

MLDM-2007-WuW #graph #kernel #parametricity

Choosing the Kernel Parameters for the Directed Acyclic Graph Support Vector Machines (KPW, SDW), pp. 276–285.

SEKE-2007-ChanCT #parametricity #random testing #strict #testing

Controlling Restricted Random Testing: An Examination of the Exclusion Ratio Parameter (KPC, TYC, DT), pp. 163–166.

SIGIR-2007-Metzler #modelling #parametricity #using

Using gradient descent to optimize language modeling smoothing parameters (DM), pp. 687–688.

SAC-2007-Li #abstraction #parametricity #protocol #proving #verification

Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols (YL), pp. 1534–1535.

ICSE-2007-StylosC #parametricity #usability

Usability Implications of Requiring Parameters in Objects’ Constructors (JS, SC), pp. 529–539.

CSL-2007-ChenF #parametricity

Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping (YC, JF), pp. 389–404.

QoSA-2006-KoziolekHB #component #parametricity #performance #specification

Parameter Dependent Performance Specifications of Software Components (HK, JH, SB), pp. 163–179.

DAC-2006-HuebbersDI #parametricity #performance #process

Computation of accurate interconnect process parameter values for performance corners under process variations (FH, AD, YII), pp. 797–800.

DAC-2006-SinghS #analysis #component #correlation #independence #parametricity #statistics #using

Statistical timing analysis with correlated non-gaussian parameters using independent component analysis (JS, SSS), pp. 155–160.

DAC-2006-WangKO #nondeterminism #parametricity #probability #statistics

Statistical timing based on incomplete probabilistic descriptions of parameter uncertainty (WSW, VK, MO), pp. 161–166.

DATE-2006-ZhangZD #modelling #named #parametricity #process

ALAMO: an improved alpha-space based methodology for modeling process parameter variations in analog circuits (HZ, YZ, AD), pp. 156–161.

FASE-2006-BergJR #parametricity #state machine

Regular Inference for State Machines with Parameters (TB, BJ, HR), pp. 107–121.

STOC-2006-BorgsCLSSV #graph #parametricity #testing

Graph limits and parameter testing (CB, JTC, LL, VTS, BS, KV), pp. 261–270.

ICALP-v1-2006-BlellochDHRSS #parametricity #re-engineering

Fixed Parameter Tractability of Binary Near-Perfect Phylogenetic Tree Reconstruction (GEB, KD, EH, RR, RS, SS), pp. 667–678.

ICFP-2006-KatsumataN #algebra #parametricity

Algebraic fusion of functions with an accumulating parameter and its improvement (SyK, SN), pp. 227–238.

CIKM-2006-TaylorZCRB #multi #optimisation #parametricity #ranking

Optimisation methods for ranking functions with multiple parameters (MJT, HZ, NC, SR, CB), pp. 585–593.

ICPR-v1-2006-DongZ #automation #framework #image #parametricity

A Computational Framework for Automatic Determination of Morphological Parameters of Proximal Femur from Intraoperative Fluoroscopic Images (XD, GZ), pp. 1008–1013.

ICPR-v1-2006-KimK06a #parametricity #using

Estimating Intrinsic Parameters of Cameras using Two Arbitrary Rectangles (JSK, ISK), pp. 707–710.

ICPR-v1-2006-LladoBA #parametricity #re-engineering #using

Euclidean Reconstruction of Deformable Structure Using a Perspective Camera with Varying Intrinsic Parameters (XL, ADB, LdA), pp. 139–142.

ICPR-v1-2006-PerrinDZ #2d #3d #assessment #parametricity #process #using

2D and 3D Vegetation Resource Parameters Assessment using Marked Point Processes (GP, XD, JZ), pp. 1–4.

ICPR-v2-2006-KimYL #estimation #image #interactive #modelling #parametricity #random #segmentation #using

New MRF Parameter Estimation Technique for Texture Image Segmentation using Hierarchical GMRF Model Based on Random Spatial Interaction and Mean Field Theory (DHK, IDY, SUL), pp. 365–368.

ICPR-v2-2006-PriorW #fault #parametricity #probability #random #using

Parameter Tuning using the Out-of-Bootstrap Generalisation Error Estimate for Stochastic Discrimination and Random Forests (MP, TW), pp. 498–501.

ICPR-v2-2006-RiggiTA #estimation #invariant #matrix #parametricity

Fundamental Matrix Estimation via TIP — Transfer of Invariant Parameters (FR, MT, TA), pp. 21–24.

ICPR-v3-2006-RothausJL #comparison #estimation #parametricity

Comparison of Methods for Hyperspherical Data Averaging and Parameter Estimation (KR, XJ, ML), pp. 395–399.

ICPR-v4-2006-CzuniCL #parametricity

Estimating the Optimal Quantization Parameter in H.264 (LC, GC, AL), pp. 330–333.

ICPR-v4-2006-HocquetRC #estimation #parametricity #problem

Estimation of User Specific Parameters in One-class Problems (SH, JYR, HC), pp. 449–452.

ICPR-v4-2006-MbonyeF #estimation #parametricity #visual notation

Attentive Visual Servoing in the MPEG compressed domain for Un-calibrated Motion Parameter Estimation of Road Traffic (KPM, FPF), pp. 908–911.

ICPR-v4-2006-ZhangA #estimation #multi #parametricity #robust

Multi-View Active Shape Model with Robust Parameter Estimation (LZ, HA), pp. 469–468.

SAC-2006-GrandonG #approximate #constraints #distance #parametricity #quantifier

Inner approximation of distance constraints with existential quantification of parameters (CG, AG), pp. 1660–1661.

SAC-2006-HeDZ #estimation #grid #modelling #parametricity #scalability

Service-oriented grid computation for large-scale parameter estimation in complex environmental modeling (KH, SD, LZ), pp. 741–745.

SAC-2006-LokhandeAG #identification #image #parametricity

Identification of parameters and restoration of motion blurred images (RL, KVA, PG), pp. 301–305.

SAC-2006-SoaresB #kernel #parametricity #using

Selecting parameters of SVM using meta-learning and kernel matrix-based meta-features (CS, PB), pp. 564–568.

CSL-2006-Rabinovich #parametricity #problem #synthesis

Church Synthesis Problem with Parameters (AMR), pp. 546–561.

LICS-2006-PanV #parametricity

Fixed-Parameter Hierarchies inside PSPACE (GP, MYV), pp. 27–36.

DAC-2005-ChangZNV #analysis #parametricity #statistics

Parameterized block-based statistical timing analysis with non-gaussian parameters, nonlinear delay functions (HC, VZ, SN, CV), pp. 71–76.

VLDB-2005-FungYYL #detection #parametricity

Parameter Free Bursty Events Detection in Text Streams (GPCF, JXY, PSY, HL), pp. 181–192.

VLDB-2005-GuravannavarRS #optimisation #order #parametricity #query

Optimizing Nested Queries with Parameter Sort Orders (RG, HSR, SS), pp. 481–492.

ICML-2005-PernkopfB #classification #generative #learning #network #parametricity

Discriminative versus generative parameter and structure learning of Bayesian network classifiers (FP, JAB), pp. 657–664.

MLDM-2005-GhoshGYB05a #learning #parametricity

Determining Regularization Parameters for Derivative Free Neural Learning (RG, MG, JY, AMB), pp. 71–79.

MLDM-2005-SunWW #algorithm #parametricity

Parameter Inference of Cost-Sensitive Boosting Algorithms (YS, AKCW, YW), pp. 21–30.

SAC-2005-DongH #classification #clustering #parametricity

Text classification based on data partitioning and parameter varying ensembles (YSD, KSH), pp. 1044–1048.

SAC-2005-HuP #3d #complexity #parametricity

Volume fractal dimensionality: a useful parameter for measuring the complexity of 3D protein spatial structures (MH, QP), pp. 172–176.

DATE-v1-2004-VazquezLHRH #parametricity #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.

PEPM-2004-Nishimura #parametricity

Fusion with stacks and accumulating parameters (SN), pp. 101–112.

ICALP-2004-AulettaPPP #power of #verification

The Power of Verification for One-Parameter Agents (VA, RDP, PP, GP), pp. 171–182.

ICALP-2004-FlumGW #bound #nondeterminism #parametricity

Bounded Fixed-Parameter Tractability and log2n Nondeterministic Bits (JF, MG, MW), pp. 555–567.

CIKM-2004-SiersdorferSW #classification #documentation #parametricity

Goal-oriented methods and meta methods for document classification and their parameter tuning (SS, SS, GW), pp. 59–68.

ICML-2004-GramacyLM #parametricity #process

Parameter space exploration with Gaussian process trees (RBG, HKHL, WGM).

ICPR-v3-2004-WuWW #adaptation #image #parametricity

Regularized Image Restoration Based on Adaptively Selecting Parameter and Operator (XW, RW, CW), pp. 662–665.

ICPR-v4-2004-ImbaultL #approach #optimisation #parametricity #probability

A Stochastic Optimization Approach for Parameter Tuning of Support Vector Machines (FI, KL), pp. 597–600.

ICPR-v4-2004-OliveiraNM #parametricity #performance #recognition

Improving RBF-DDA Performance on Optical Character Recognition through Parameter Selection (ALIO, FBdLN, SRdLM), pp. 625–628.

KDD-2004-KeoghLR #data mining #mining #towards

Towards parameter-free data mining (EJK, SL, C(R), pp. 206–215.

DAC-2003-BorkarKNTKD #architecture #parametricity

Parameter variations and impact on circuits and microarchitecture (SB, TK, SN, JT, AK, VD), pp. 338–342.

DATE-2003-KandemirKZ #energy #evaluation #implementation #on-demand

Implementation and Evaluation of an On-Demand Parameter-Passing Strategy for Reducing Energy (MTK, IK, WZ), pp. 11058–11063.

ICDAR-2003-YamS #image #parametricity

Estimating Degradation Model Parameters from Character Images (HSY, EHBS), pp. 710–714.

SIGMOD-2003-ReissK #optimisation #parametricity #query

A Characterization of the Sensitivity of Query Optimization to Storage Access Cost Parameters (FR, TK), pp. 385–396.

CIAA-2003-WangY #parametricity #realtime

Timing Parameter Characterization of Real-Time Systems (FW, HCY), pp. 23–34.

ICALP-2003-DemaineFHT #algorithm #graph #parametricity

Fixed-Parameter Algorithms for the (k, r)-Center in Planar Graphs and Map Graphs (EDD, FVF, MTH, DMT), pp. 829–844.

ICEIS-v3-2003-AkatsuKK #analysis #parametricity

Analysis on Relation Between Service Parameters for Service Level Management and System Utilization (MA, SK, NK), pp. 191–196.

CIKM-2003-HeO #case study #normalisation #parametricity

A study of parameter tuning for term frequency normalization (BH, IO), pp. 10–16.

CIKM-2003-ShanahanR #classification

Boosting support vector machines for text classification through parameter-free threshold relaxation (JGS, NR), pp. 247–254.

ECIR-2003-Moschitti #case study #classification #parametricity

A Study on Optimal Parameter Tuning for Rocchio Text Classifier (AM), pp. 420–435.

SAT-2003-Szeider #on the #parametricity #satisfiability

On Fixed-Parameter Tractable Parameterizations of SAT (SS), pp. 188–202.

DATE-2002-PoppOHB #analysis #automation #parametricity

Parameter Controlled Automatic Symbolic Analysis of Nonlinear Analog Circuits (RP, JO, LH, EB), pp. 274–278.

DATE-2002-RahajandraibeDACMC #parametricity

Test Structure for IC(VBE) Parameter Determination of Low Voltage Applications (WR, CD, DA, BC, BM, VC), pp. 316–321.

DATE-2002-SchwenckerSPG #adaptation #parametricity #set #using #worst-case

Analog Circuit Sizing Using Adaptive Worst-Case Parameter Sets (RS, FS, MP, HEG), pp. 581–585.

DATE-2002-YmeriNMRSV #approach #parametricity #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.

ITiCSE-2002-ShahK #parametricity #programming language

A tutoring system for parameter passing in programming languages (HS, ANK), pp. 170–174.

ASIA-PEPM-2002-Voigtlander #parametricity #source code #using

Using circular programs to deforest in accumulating parameters (JV), pp. 126–137.

ICFP-2002-Svenningsson #parametricity

Shortcut fusion for accumulating parameters & zip-like functions (JS), pp. 124–132.

CSCW-2002-Bossen #parametricity

The parameters of common information spaces: : the heterogeneity of cooperative work at a hospital ward (CB), pp. 176–185.

ICML-2002-RaskuttiFK #classification #clustering #parametricity #using

Using Unlabelled Data for Text Classification through Addition of Cluster Parameters (BR, HLF, AK), pp. 514–521.

ICPR-v1-2002-CinqueCLCP #parametricity #segmentation

Improvement in Range Segmentation Parameters Tuning (LC, FC, SL, RC, GP), pp. 176–179.

ICPR-v1-2002-YamadaSM #3d #game studies #image #parametricity #sequence #video

Tracking Players and a Ball in Video Image Sequence and Estimating Camera Parameters for 3D Interpretation of Soccer Games (AY, YS, JM), pp. 303–306.

ICPR-v2-2002-AnconaCSD #complexity #detection #image #parametricity #runtime

Object Detection in Images: Run-Time Complexity and Parameter Selection of Support Vector Machines (NA, GC, ES, AD), pp. 426–429.

ICPR-v2-2002-DavisLC #estimation #markov #multi #parametricity #sequence

Improved Estimation of Hidden Markov Model Parameters from Multiple Observation Sequences (RIAD, BCL, TC), pp. 168–171.

ICPR-v2-2002-KadyrovP #estimation #parametricity

Affine Parameter Estimation from the Trace Transform (AK, MP), pp. 798–801.

ICPR-v2-2002-YangDD #parametricity

Near-Optimal Regularization Parameters for Applications in Computer Vision (CY, RD, LSD), pp. 569–573.

ICPR-v2-2002-ZhangGST #parametricity #physics #using

Tracking Objects Using Recovered Physical Motion Parameters (YZ, DBG, SS, LVT), pp. 10–13.

ICPR-v3-2002-AyatCS #kernel #named #pattern matching #pattern recognition #recognition

KMOD — A Tw o-Parameter SVM Kernel for Pattern Recognition (NEA, MC, CYS), pp. 331–334.

ICPR-v3-2002-WeiHK #image #parametricity #specification

Specification of Image Acquisition Parameters for Stereo Panoramas (SKW, FH, RK), pp. 603–606.

ICPR-v3-2002-ZotkinDDMR #parametricity #using #visual notation

Virtual Audio System Customization Using Visual Matching of Ear Parameters (DNZ, RD, LSD, AM, VCR), pp. 1003–1006.

ICPR-v4-2002-Ichimura #estimation #image #monte carlo #probability #sequence #using

Stochastic Filtering for Motion Trajectory in Image Sequences Using a Monte Carlo Filter with Estimation of Hyper-Parameters (NI), pp. 68–73.

SIGIR-2002-KimRL #classification #estimation #multi #naive bayes #parametricity

A new method of parameter estimation for multinomial naive bayes text classifiers (SBK, HCR, HSL), pp. 391–392.

HPDC-2002-CoreyJV #adaptation #architecture #empirical #grid #parametricity

Local Discovery of System Architecture — Application Parameter Sensitivity: An Empirical Technique for Adaptive Grid Applications (IC, JRJ, JSV), p. 399–?.

DATE-2001-CherubalC #generative #parametricity #testing

Test generation based diagnosis of device parameters for analog circuits (SC, AC), pp. 596–602.

ICDAR-2001-Hullender #parametricity #performance

An Efficient Method for Tuning Handwriting Parameters (GNH), pp. 251–254.

ICDAR-2001-Smith #estimation #parametricity #using

Scanner Parameter Estimation Using Bilevel Scans of Star Charts (EHBS), pp. 1164–1168.

ITiCSE-2001-JoyceY #parametricity #research #student

The PASS project: group research into parameters affecting student success (DJ, AY), p. 177.

FLOPS-2001-KamareddineLN #parametricity #using

Refining the Barendregt Cube Using Parameters (FK, TL, RN), pp. 375–390.

AdaEurope-2001-GellerichP #ada #alias

Parameter-Induced Aliasing in Ada (WG, EP), pp. 88–99.

MLDM-2001-WachowiakSME #modelling #parametricity #statistics

Statistical and Neural Approaches for Estimating Parameters of a Speckle Model Based on the Nakagami Distribution (MPW, RS, MGM, ASE), pp. 196–205.

LOPSTR-2001-KakehiGF #deforestation #on the #parametricity

On Deforesting Parameters of Accumulating Maps (KK, RG, YF), pp. 46–56.

SAC-2001-ChenLCC #multi #parametricity #performance

The sustainable-cell-rate usage parameter control with adjustable window for high-speed multimedia communications (SyC, LFL, CSC, CJC), pp. 467–471.

ICLP-2001-LoncT #complexity #logic programming #parametricity #semantics #source code

Fixed-Parameter Complexity of Semantics for Logic Programs (ZL, MT), pp. 197–211.

ICML-2000-TeowL #kernel #parametricity

Selection of Support Vector Kernel Parameters for Improved Generalization (LNT, KFL), pp. 967–974.

ICPR-v1-2000-CinqueLPCM #algorithm #parametricity #search-based #segmentation

Optimal Range Segmentation Parameters through Genetic Algorithms (LC, SL, GP, RC, SM), pp. 1474–1477.

ICPR-v2-2000-AmengualV #estimation #on the #parametricity

On the Estimation of Error-Correcting Parameters (JCA, EV), pp. 2883–2886.

ICPR-v2-2000-BurrellP #algorithm #detection #learning #online #parametricity #probability #process

Sequential Algorithms for Detecting Changes in Acting Stochastic Processes and On-Line Learning of their Operational Parameters (AB, TPK), pp. 2656–2659.

ICPR-v2-2000-KimK #estimation #graph #parametricity #random #recognition

Minimum Entropy Estimation of Hierarchical Random Graph Parameters for Character Recognition (HYK, JHK), pp. 6050–6053.

ICPR-v3-2000-AparicioG #approach #parametricity

An Approach for Determining Phong Reflectance Parameters from Real Objects (JIA, JGGB), pp. 3572–3575.

ICPR-v3-2000-JalobeanuBZ #adaptation #estimation #image #parametricity

Estimation of Adaptive Parameters for Satellite Image Deconvolution (AJ, LBF, JZ), pp. 3322–3325.

ICPR-v3-2000-Perner #parametricity #reasoning #segmentation

Controlling the Segmentation Parameters by Case-Based Reasoning (PP), pp. 3975–3978.

ICPR-v4-2000-OkumaSTY #artificial reality #estimation #image #parametricity #realtime

Real-Time Camera Parameter Estimation from Images for a Mixed Reality System (TO, KS, HT, NY), pp. 4482–4486.

ICPR-v4-2000-RyuLK #analysis #documentation #geometry #independence #layout

Parameter-Independent Geometric Document Layout Analysis (DSR, SWL, SMK), pp. 4397–4400.

POPL-2000-LewisLMS #parametricity #static typing

Implicit Parameters: Dynamic Scoping with Static Types (JRL, JL, EM, MS), pp. 108–118.

HCI-EI-1999-SanoNS #3d #evaluation #parametricity #visualisation

3D Visualization of Plant Parameters and Its Evaluation (TS, YN, AS), pp. 943–947.

PADL-1999-SilvaDBC #architecture #logic programming #parallel #parametricity #performance

The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems (MGS, IdCD, RB, VSC), pp. 122–136.

DAC-1998-ChouW #equation #multi #parametricity

Multilevel Integral Equation Methods for the Extraction of Substrate Coupling Parameters in Mixed-Signal IC’s (MC, JW), pp. 20–25.

DATE-1998-HedrichB #approach #formal method #linear #parametricity #verification

A Formal Approach to Verification of Linear Analog Circuits with Parameter Tolerances (LH, EB), pp. 649–654.

ICPR-1998-FiskerC #estimation #modelling #on the #parametricity

On parameter estimation in deformable models (RF, JMC), pp. 762–766.

ICPR-1998-KadyrovP #detection #estimation #fault #linear #parametricity

Linear transformation parameter estimation for fault detection (AK, MP), pp. 550–552.

ICPR-1998-MorishimaIT #2d #image #parametricity

Facial muscle parameter decision from 2D frontal image (SM, TI, DT), pp. 160–162.

ICPR-1998-YamaguchiKI #graph #parametricity #relational #using

Stereo matching for stone statues using SRI parameters and relational graph (AY, KK, SI), pp. 785–787.

ICPR-1998-YangH #parametricity #self

An intrinsic parameters self-calibration technique for active vision system (CY, ZH), pp. 67–69.

HPDC-1998-OguchiSTK #clustering #data mining #effectiveness #evaluation #mining #optimisation #parallel #parametricity #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.

DAC-1997-KapurZ #parametricity #performance

A Fast Method of Moments Solver for Efficient Parameter Extraction of MCMs (SK, JZ), pp. 141–146.

DAC-1997-TianS #agile #fault #parametricity #simulation

Rapid Frequency-Domain Analog Fault Simulation Under Parameter Tolerances (MWT, CJRS), pp. 275–280.

ICDAR-1997-BouletreauVSE #classification #parametricity

Synthetic Parameters for Handwriting Classification (VB, NV, RS, HE), pp. 102–106.

HCI-SEC-1997-Riedel #3d #aspect-oriented #parametricity #performance

3D-Rendering and the Eye: Aspects for Efficient Rendering Through Physiological and Anatomical Parameters of the Eye (OR), pp. 981–984.

AdaEurope-1997-GellerichP #alias #problem

: Parameter-Induced Aliasing and Related Problems can be Avoided (WG, EP), pp. 161–172.

DAC-1996-SunDH #equation #geometry #independence #parametricity #performance #using

Fast Parameters Extraction of General Three-Dimension Interconnects Using Geometry Independent Measured Equation of Invariance (WS, WWMD, WHI), pp. 371–376.

ICPR-1996-AmaraBCWML #estimation #parametricity #recursion #segmentation

A recursive estimation of parameters of straight lines and circles: application to the segmentation of the Rey’s Complex Figure (MA, DdB, PC, PW, CM, YL), pp. 467–471.

ICPR-1996-CortijoB #automation #classification #estimation #image #multi #parametricity

Automatic estimation of the LVQ-1 parameters. Applications to multispectral image classification (FJC, NPdlB), pp. 346–350.

ICPR-1996-Gonzalez #2d #image #parametricity #sequence

Recovering motion parameters from a 2D range image sequence (JG), pp. 433–440.

ICPR-1996-HeydenA #constant #parametricity #re-engineering

Euclidean reconstruction from constant intrinsic parameters (AH, KÅ), pp. 339–343.

ICPR-1996-NathanSP #online #parametricity #recognition

Parameter tying in writer-dependent recognition of on-line handwriting (KN, JS, MPP), pp. 28–32.

ICPR-1996-SchackK #information management #parametricity

Instantaneous coherence as a sensible parameter for considering human information processing (BS, WK), pp. 45–49.

ICPR-1996-ShihHL #analysis #estimation #parametricity

Accuracy analysis on the estimation of camera parameters for active vision systems (SWS, YPH, WSL), pp. 930–935.

ICPR-1996-Zhang96a #on the #parametricity

On the discretization of parameter domain in Hough transformation (MZ), pp. 527–531.

ICDAR-v1-1995-BauerW #automation #parametricity #personalisation #reduction #verification

Parameter reduction and personalized parameter selection for automatic signature verification (FB, BW), pp. 183–186.

ICML-1995-Fuchs #adaptation #heuristic #learning #parametricity #proving

Learning Proof Heuristics by Adaptive Parameters (MF), pp. 235–243.

ICML-1995-KohaviJ #fault #parametricity

Autmatic Parameter Selection by Minimizing Estimated Error (RK, GHJ), pp. 304–312.

SAC-1995-Akbarzadeh-TotonchiJD #case study #distributed #fuzzy #parametricity

Fuzzy hierarchical control of distributed parameter systems: a case study on a heating slab (MRAT, MJ, PD), pp. 552–556.

DAC-1994-SilveiraEWCK #approach #performance #simulation #using

An Efficient Approach to Transmission Line Simulation Using Measured or Tabulated S-parameter Data (LMS, IME, JW, MC, KSK), pp. 634–639.

EDAC-1994-SivaramanS #analysis #parametricity #towards

Towards Incorporating Device Parameter Variations in Timing Analysis (MS, AJS), pp. 338–342.

LFP-1994-Tolmach #garbage collection #parametricity #using

Tag-Free Garbage Collection Using Explicit Type Parameters (APT), pp. 1–11.

CSCW-1994-NeuwirthKCM #collaboration #distributed #interactive #parametricity

Computer Support for Distributed Collaborative Writing: Defining Parameters of Interaction (CN, DK, RC, JHM), pp. 145–152.

DAC-1993-LiaoDWC #metaprogramming #network #polynomial #using

S-Parameter Based Macro Model of Distributed-Lumped Networks Using Exponentially Decayed Polynomial Function (HL, WWMD, RW, FYC), pp. 726–731.

WSA-1993-ChinK #multi #parametricity #recursion

Tupling Functions with Multiple Recursion Parameters (WNC, SCK), pp. 124–140.

HCI-SHI-1993-Stelovsky #hypermedia #implementation #parametricity #reuse

Use of Parameters to Facilitate the Implementation of Reusable Hypermedia Modules (JS), pp. 525–530.

SAC-1993-Sabharwal93a #2d #3d #image #parametricity

Recovering 3D Image Parameters from Corresponding Two 2D Images (CLS), pp. 402–409.

ILPS-1993-Zhou #compilation #on the #parametricity #prolog

On the Direct Parameter Passing Mechanism for Prolog Compilers (NFZ), p. 655.

IWPTS-1992-HigashinoBLYT #parametricity #strict

Test System for a Restricted Class of LOTOS Expressions with Data Parameters (TH, GvB, XL, KY, KT), pp. 205–216.

DAC-1991-YangCYDH #modelling #parametricity #simulation

Modeling and Simulation of High-Frequency Integrated Circuits Based on Scattering Parameters (ATY, CHC, JTY, RRD, JPH), pp. 752–757.

KBSE-1991-HeinemanKBB #parametricity

Rule Chaining in MARVEL: Dynamic Binding of Parameters (GTH, GEK, NSB, IBS), pp. 215–222.

POPL-1991-CrankF #λ-calculus

Parameter-Passing and the λ Calculus (EC, MF), pp. 233–244.

ICSE-1991-JacobyT #evaluation #geometry #parametricity #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.

IWPTS-1991-SatoTKM #communication #generative #parametricity #specification #testing #tool support

Parameter Specification Language and Test Data Generation Tools for Communication Software Testing (FS, HT, KK, TM), pp. 207–218.

SIGMOD-1990-Orenstein #comparison #parametricity #query

A Comparison of Spatial Query Processing Techniques for Native and Parameter Spaces (JAO), pp. 343–352.

PLDI-1990-CormackW #parametricity

Type-Dependent Parameter Inference (GVC, AKW), pp. 127–136.

ML-1990-KadabaN #algorithm #automation #parametricity #performance #search-based

Improving the Performance of Genetic Algorithms in Automated Discovery of Parameters (NK, KEN), pp. 140–148.

FPCA-1989-Sestoft #parametricity

Replacing Function Parameters by Global Variables (PS), pp. 39–53.

CHI-1989-WareB #parametricity

Bat brushes: on the uses of six position and orientation parameters in a paint program (CW, CB), pp. 155–160.

HT-1987-Jones #hypermedia #parametricity #tool support

Developing and Distributing Hypertext Tools: Legal Inputs and Parameters (HWJI), pp. 367–374.

DAC-1986-BobbaS

A parameter-driven router (VSB, JWS), pp. 810–818.

ESOP-1986-KastensS #analysis #parametricity

Lifetime Analysis for Procedure Parameters (UK, MS), pp. 53–69.

POPL-1985-Cooper #alias #parametricity

Analyzing Aliases of Reference Formal Parameters (KDC), pp. 281–290.

ICALP-1982-BergstraK #algebra #data type #parametricity #specification

Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras (JAB, JWK), pp. 23–34.

DAC-1981-NgGK #parametricity #verification

A timing verification system based on extracted MOS/VLSI circuit parameters (PN, WG, RK), pp. 288–292.

STOC-1981-Leivant #complexity #independence #parametricity #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.

PS-1981-EhrigKTWW #algebra #parametricity #specification

Parameter Passing in Algebraic Specification Languages (HE, HJK, JWT, EGW, JBW), pp. 322–369.

VLDB-1980-Post #database #named #parametricity

Quintillabit: Parameters of a Hyperlarge Database (JVP), pp. 156–158.

POPL-1980-DemersD #data type #parametricity #type checking

Data Types, Parameters, and Type Checking (AJD, JED), pp. 12–23.

POPL-1979-Critcher #functional #parametricity #power of

The Functional Power of Parameter Passage Mechanisms (AC), pp. 158–168.

STOC-1978-Lynch #complexity #metric #parametricity

Straight-Line Program Length as a Parameter for Complexity Measures (NAL), pp. 150–161.

POPL-1978-Solomon #parametricity

Type Definitions with Parameters (MHS), pp. 31–38.

STOC-1977-HennessyA #nondeterminism

Parameter-Passing Mechanisms and Nondeterminism (MH, EAA), pp. 306–311.

ICALP-1974-Roever #approach #axiom #parametricity #recursion

Recursion and Parameter Mechanisms: An Axiomatic Approach (WPdR), pp. 34–65.

DAC-1973-BoehmA #design #parametricity

Parameter sensitivity studies for internal combustion engine control and design purposes (CFBJ, JJAI), pp. 240–246.

SOSP-1971-Rodriguez-Rosell #behaviour #how #parametricity

Experimental Data on How Program Behavior Affects the Choice of Scheduler Parameters (JRR), pp. 156–163.