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.