BibSLEIGH — general stem

Used together with:

model (129)
base (104)
system (103)
use (88)
algorithm (83)

Stem general$ (all stems)

1134 papers:

CASE-2015-WahrburgMCMD #estimation #using: Cartesian contact force estimation for robotic manipulators using Kalman filters and the generalized momentum (AW, EM, GC, BM, HD), pp. 1230–1235.
DATE-2015-DubenSPYAEPP #big data #case study #energy #performance: Opportunities for energy efficient computing: a study of inexact general purpose processors for high-performance and big-data applications (PDD, JS, P, SY, JA, CCE, KVP, TNP), pp. 764–769.
DATE-2015-HuangTTC #architecture: Feedback-bus oscillation ring: a general architecture for delay characterization and test of interconnects (SYH, MTT, KHHT, WTC), pp. 924–927.
DATE-2015-ZhaoQ #design #probability #synthesis: A general design of stochastic circuit and its synthesis (ZZ, WQ), pp. 1467–1472.
SIGMOD-2015-KumarNP #learning #linear #modelling #normalisation: Learning Generalized Linear Models Over Normalized Data (AK, JFN, JMP), pp. 1969–1984.
SIGMOD-2015-TuR #named #query #using: DunceCap: Query Plans Using Generalized Hypertree Decompositions (ST, CR), pp. 2077–2078.
SIGMOD-2015-ZengADAS #analysis #big data #interactive #named #online: G-OLA: Generalized On-Line Aggregation for Interactive Analysis on Big Data (KZ, SA, AD, MA, IS), pp. 913–918.
VLDB-2015-AmsterdamerKM #interface #natural language #query: A Natural Language Interface for Querying General and Individual Knowledge (YA, AK, TM), pp. 1430–1441.
VLDB-2015-TangwongsanHSW #incremental: General Incremental Sliding-Window Aggregation (KT, MH, SS, KLW), pp. 702–713.
FASE-2015-SalayC #framework #modelling: A Generalized Formal Framework for Partial Modeling (RS, MC), pp. 133–148.
TACAS-2015-RenaultDKP #automaton #model checking #parallel: Parallel Explicit Model Checking for Generalized Büchi Automata (ER, ADL, FK, DP), pp. 613–627.
STOC-2015-BravermanG #game studies #parallel: Small Value Parallel Repetition for General Games (MB, AG), pp. 335–340.
STOC-2015-DanielySS: Inapproximability of Truthful Mechanisms via Generalizations of the VC Dimension (AD, MS, GS), pp. 401–408.
STOC-2015-KawarabayashiS #approximate #graph: Beyond the Euler Characteristic: Approximating the Genus of General Graphs (KiK, AS), pp. 675–682.
STOC-2015-Lee #graph: Hardness of Graph Pricing Through Generalized Max-Dicut (EL), pp. 391–399.
DLT-2015-HanKS #fault: Generalizations of Code Languages with Marginal Errors (YSH, SKK, KS), pp. 264–275.
ICALP-v1-2015-BeigiEG #distributed: Deterministic Randomness Extraction from Generalized and Distributed Santha-Vazirani Sources (SB, OE, AG), pp. 143–154.
ICALP-v2-2015-Raykov: Broadcast from Minicast Secure Against General Adversaries (PR), pp. 701–712.
LATA-2015-LuckMS #complexity #theorem: Parameterized Complexity of CTL — A Generalization of Courcelle’s Theorem (ML, AM, IS), pp. 549–560.
ICFP-2015-StuckiRUB #sequence: RRB vector: a practical general purpose immutable sequence (NS, TR, VU, PB), pp. 342–354.
HCI-UC-2015-FrauCT #mobile #predict #probability #prototype #visualisation: Graphic Visualization of Probabilistic Traffic/Trajectory Predictions in Mobile Applications. A First Prototype and Evaluations for General Aviation Purposes (GF, FDC, DT), pp. 154–164.
HIMI-IKD-2015-KastratiIY #classification #documentation #framework #using: A General Framework for Text Document Classification Using SEMCON and ACVSR (ZK, ASI, SYY), pp. 310–319.
HIMI-IKD-2015-YamajiT #recognition: Recognition of Written Cues System for Users of General Paper Media (DY, JT), pp. 466–476.
ICEIS-v1-2015-GruppiMAFL #heuristic #performance: An Efficient and Topologically Correct Map Generalization Heuristic (MGG, SVGM, MVAA, WRF, WL), pp. 516–525.
ECIR-2015-FerroS #precise: Rank-Biased Precision Reloaded: Reproducibility and Generalization (NF, GS), pp. 768–780.
ICML-2015-EggelingKG #big data: Dealing with small data: On the generalization of context trees (RE, MK, IG), pp. 1245–1253.
ICML-2015-GhoshdastidarD #clustering: A Provable Generalized Tensor Spectral Method for Uniform Hypergraph Partitioning (DG, AD), pp. 400–409.
ICML-2015-GiguereRLM #algorithm #kernel #predict #problem #string: Algorithms for the Hard Pre-Image Problem of String Kernels and the General Problem of String Prediction (SG, AR, FL, MM), pp. 2021–2029.
ICML-2015-GuL #algorithm #fault: A New Generalized Error Path Algorithm for Model Selection (BG, CXL), pp. 2549–2558.
ICML-2015-NishiharaLRPJ #analysis #convergence: A General Analysis of the Convergence of ADMM (RN, LL, BR, AP, MIJ), pp. 343–352.
ICML-2015-ShethWK #modelling: Sparse Variational Inference for Generalized GP Models (RS, YW, RK), pp. 1302–1311.
ICML-2015-TewariC #bound #documentation #fault #learning #matter #question #rank: Generalization error bounds for learning to rank: Does the length of document lists matter? (AT, SC), pp. 315–323.
ICML-2015-ZhangWJ #algorithm #bound #distributed #estimation #matrix #performance #rank: Distributed Estimation of Generalized Matrix Rank: Efficient Algorithms and Lower Bounds (YZ, MJW, MIJ), pp. 457–465.
KDD-2015-CortesMM #adaptation #algorithm: Adaptation Algorithm and Theory Based on Generalized Discrepancy (CC, MM, AMM), pp. 169–178.
SIGIR-2015-GangulyRMJ #information retrieval #word: Word Embedding based Generalized Language Model for Information Retrieval (DG, DR, MM, GJFJ), pp. 795–798.
GPCE-2015-KolesnichenkoPN #contract #gpu #programming: Contract-based general-purpose GPU programming (AK, CMP, SN, BM), pp. 75–84.
SAC-2015-Zheng #algorithm #recommendation: Improve general contextual slim recommendation algorithms by factorizing contexts (YZ), pp. 929–930.
ICSE-v1-2015-MilicevicNKJ #constraints #higher-order #relational #theorem proving: Alloy*: A General-Purpose Higher-Order Relational Constraint Solver (AM, JPN, EK, DJ), pp. 609–619.
PPoPP-2015-CogumbreiroHMY #concurrent #verification: Dynamic deadlock verification for general barrier synchronisation (TC, RH, FM, NY), pp. 150–160.
CASE-2014-GunawanNPL #hybrid #metaheuristic #polynomial #problem: Hybrid metaheuristics for solving the quadratic assignment problem and the generalized quadratic assignment problem (AG, KMN, KLP, HCL), pp. 119–124.
CASE-2014-MarkovskiH #framework #modelling #reliability: A synthesis-centric model-based systems engineering framework for reliable supervision of systems with general distributions (JM, HH), pp. 436–442.
CASE-2014-YangXZL #3d #recognition: Scaled Indexing of General Shapes for complicated 3D motion recognition (JY, HX, XZ, YL), pp. 236–241.
DATE-2014-CabodiPQV #approximate #reachability #satisfiability: Tightening BDD-based approximate reachability with SAT-based clause generalization∗ (GC, PP, SQ, DV), pp. 1–6.
DATE-2014-Guan0 #analysis #performance #scheduling: General and efficient Response Time Analysis for EDF scheduling (NG, WY), pp. 1–6.
DATE-2014-ZhangDGLZXS #framework #named #simulation: MSim: A general cycle accurate simulation platform for memcomputing studies (CZ, PD, HG, JL, QZ, JX, YS), pp. 1–5.
DRR-2014-LundRW #fault #how #multi #question: How well does multiple OCR error correction generalize? (WBL, EKR, DDW), p. ?–13.
VLDB-2014-ChenFZLXCCCTZ #crowdsourcing #framework #named: gMission: A General Spatial Crowdsourcing Platform (ZC, RF, ZZ, ZL, LX, LC, PC, CCC, YT, CJZ), pp. 1629–1632.
VLDB-2014-LinK #on the #query: On Arbitrage-free Pricing for General Data Queries (BRL, DK), pp. 757–768.
VLDB-2014-Lu0OVW #named #pipes and filters #scalability: ScalaGiST: Scalable Generalized Search Trees for MapReduce Systems [Innovative Systems Paper] (PL, GC, BCO, HTV, SW), pp. 1797–1808.
FoSSaCS-2014-AdamekMMU #theorem: Generalized Eilenberg Theorem I: Local Varieties of Languages (JA, SM, RSRM, HU), pp. 366–380.
FoSSaCS-2014-AntonopoulosGHKO #induction #logic #problem: Foundations for Decision Problems in Separation Logic with General Inductive Predicates (TA, NG, CH, MIK, JO), pp. 411–425.
FoSSaCS-2014-FerlezCM: Generalized Synchronization Trees (JF, RC, SM), pp. 304–319.
TACAS-2014-SalemDKT #automaton #invariant #model checking #testing #using: Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata (AEBS, ADL, FK, YTM), pp. 440–454.
STOC-2014-Vegh #algorithm #polynomial: A strongly polynomial algorithm for generalized flow maximization (LAV), pp. 644–653.
ICALP-v1-2014-GolovnevKM #approach #problem #product line: Families with Infants: A General Approach to Solve Hard Partition Problems (AG, ASK, IM), pp. 551–562.
ICALP-v1-2014-KumarS #bound: Superpolynomial Lower Bounds for General Homogeneous Depth 4 Arithmetic Circuits (MK, SS), pp. 751–762.
ICALP-v2-2014-NikzadR #algorithm #approximate #multi #problem: Sending Secrets Swiftly: Approximation Algorithms for Generalized Multicast Problems (AN, RR), pp. 568–607.
SEFM-2014-AttieBBJS #architecture #framework: A General Framework for Architecture Composability (PCA, EB, SB, MJ, JS), pp. 128–143.
DUXU-DI-2014-MonatBL #visual notation: Taking Decisions with Systems Oriented to the General Public — Applying Visual Information Based on Viennese Method (ASM, MB, RCL), pp. 463–471.
ICEIS-v3-2014-SwennenDVJ #framework #testing #towards: Towards a General Framework for Business Tests (MS, BD, KV, MJ), pp. 478–483.
CIKM-2014-KongA #web: Extending Faceted Search to the General Web (WK, JA), pp. 839–848.
CIKM-2014-ShiWLYW #clustering #network: Ranking-based Clustering on General Heterogeneous Information Networks by Network Projection (CS, RW, YL, PSY, BW), pp. 699–708.
CIKM-2014-VouzoukidouAC #named #query #ranking #realtime: MeowsReader: Real-Time Ranking and Filtering of News with Generalized Continuous Top-k Queries (NV, BA, VC), pp. 2066–2068.
CIKM-2014-XuBBGWLL #framework #named #word: RC-NET: A General Framework for Incorporating Knowledge into Word Representations (CX, YB, JB, BG, GW, XL, TYL), pp. 1219–1228.
CIKM-2014-ZhangHSWHH #evaluation: Generalized Bias-Variance Evaluation of TREC Participated Systems (PZ, LH, DS, JW, YH, BH), pp. 1911–1914.
CIKM-2014-ZhangYCQGZSH #ranking #social: Social Book Search Reranking with Generalized Content-Based Filtering (BWZ, XCY, XPC, JQ, BG, FZ, LS, HWH), pp. 361–370.
ICML-c1-2014-KarampatziakisM: Discriminative Features via Generalized Eigenvectors (NK, PM), pp. 494–502.
ICML-c1-2014-LiuYF #algorithm #constraints: Forward-Backward Greedy Algorithms for General Convex Smooth Functions over A Cardinality Constraint (JL, JY, RF), pp. 503–511.
ICML-c1-2014-SinghP #difference #estimation #exponential: Generalized Exponential Concentration Inequality for Renyi Divergence Estimation (SS, BP), pp. 333–341.
ICML-c2-2014-HsuS: Heavy-tailed regression with a generalized median-of-means (DH, SS), pp. 37–45.
ICML-c2-2014-Thomas14a #convergence #named: GeNGA: A Generalization of Natural Gradient Ascent with Positive and Negative Convergence Results (PT), pp. 1575–1583.
ICML-c2-2014-ToulisAR #analysis #linear #modelling #probability #statistics: Statistical analysis of stochastic gradient methods for generalized linear models (PT, EA, JR), pp. 667–675.
ICPR-2014-DrewsNXC: Generalized Optical Flow Model for Scattering Media (PDJ, ERN, AX, MFMC), pp. 3999–4004.
ICPR-2014-GalballyM #anti #assessment #image #quality: Face Anti-spoofing Based on General Image Quality Assessment (JG, SM), pp. 1173–1178.
ICPR-2014-Gonzalez-CastroDC #adaptation #classification #using: Pixel Classification Using General Adaptive Neighborhood-Based Features (VGC, JD, VC), pp. 3750–3755.
ICPR-2014-HiltunenELK #comparison #performance: Comparison of General Object Trackers for Hand Tracking in High-Speed Videos (VH, TE, LL, HK), pp. 2215–2220.
ICPR-2014-HuangW0T #framework #network: A General Nonlinear Embedding Framework Based on Deep Neural Network (YH, WW, LW, TT), pp. 732–737.
ICPR-2014-KhanVP #multi #visual notation: A Generalized Search Method for Multiple Competing Hypotheses in Visual Tracking (MHK, MFV, TPP), pp. 2245–2250.
ICPR-2014-KumarA1 #constraints: Generalized Radial Alignment Constraint for Camera Calibration (AK, NA), pp. 184–189.
ICPR-2014-LiewY #detection #feature model #novel #performance #robust: Generalized BRIEF: A Novel Fast Feature Extraction Method for Robust Hand Detection (CFL, TY), pp. 3014–3019.
ICPR-2014-SunHJC #detection #image #network #robust: Robust Text Detection in Natural Scene Images by Generalized Color-Enhanced Contrasting Extremal Region and Neural Networks (LS, QH, WJ, KC), pp. 2715–2720.
ICPR-2014-TsuchiyaMT #network: Exemplar Network: A Generalized Mixture Model (CT, TM, AT), pp. 598–603.
ICPR-2014-ZhangCQ #realtime: Real-Time Object Tracking with Generalized Part-Based Appearance Model and Structure-Constrained Motion Model (HZ, SC, LQ), pp. 1224–1229.
KDD-2014-WangX #metric #novel: Novel geospatial interpolation analytics for general meteorological measurements (BW, JX), pp. 1553–1562.
KMIS-2014-FredjLC #algorithm #guidelines: Characterizing Generalization Algorithms — First Guidelines for Data Publishers (FBF, NL, ICW), pp. 360–366.
KR-2014-PatriziV #constraints #database #similarity: Action Theories over Generalized Databases with Equality Constraints (Extended Abstract) (FP, SV).
KR-2014-TasharrofiT #multi: Generalized Multi-Context Systems (ST, ET).
MLDM-2014-FuMD #classification #multi #network #performance #towards: Towards the Efficient Recovery of General Multi-Dimensional Bayesian Network Classifier (SF, SM, MCD), pp. 16–30.
MLDM-2014-SharmaT #mining #social #social media: A Generalized Relationship Mining Method for Social Media Text Data (TS, DT), pp. 376–392.
RecSys-2014-BauerN #framework #matrix: A framework for matrix factorization based on general distributions (JB, AN), pp. 249–256.
SIGIR-2014-AmigoGM #clustering #effectiveness #metric #retrieval: A general account of effectiveness metrics for information tasks: retrieval, filtering, and clustering (EA, JG, SM), p. 1289.
ECOOP-2014-ImamS #parallel #scheduling: Cooperative Scheduling of Parallel Tasks with General Synchronization Patterns (SMI, VS), pp. 618–643.
LOPSTR-2014-ChowdhuryLCKY #approximate #case study #logic programming #polynomial #semantics #source code: Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies (MSC, FL, WC, AK, JHY), pp. 279–296.
PPDP-2014-LucasM #declarative #logic #proving #source code #termination: Proving Operational Termination of Declarative Programs in General Logics (SL, JM), pp. 111–122.
POPL-2014-JeannetSS #linear: Abstract acceleration of general linear loops (BJ, PS, SS), pp. 529–540.
POPL-2014-ZhangM #fault #towards: Toward general diagnosis of static errors (DZ, ACM), pp. 569–582.
SAC-2014-IturriozAD #monitoring: Generalizing the “like” button: empowering websites with monitoring capabilities (JI, IA, OD), pp. 743–750.
SLE-2014-HarkesV #modelling #navigation: Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation (DH, EV), pp. 241–260.
ASPLOS-2014-Wood #architecture #named: Resolved: specialized architectures, languages, and system software should supplant general-purpose alternatives within a decade (DAW), pp. 653–654.
PPoPP-2014-BrownER: A general technique for non-blocking trees (TB, FE, ER), pp. 329–342.
LICS-CSL-2014-BilokonE #approach #probability #process: A domain-theoretic approach to Brownian motion and general continuous stochastic processes (PB, AE), p. 10.
CBSE-2013-JafroodiG #implementation: Implementing generalized alternative construct for erasmus language (NJ, PG), pp. 101–110.
HT-2013-WeiHGLZW #analysis #behaviour #case study #twitter: Mainstream media behavior analysis on Twitter: a case study on UK general election (ZW, YH, WG, BL, LZ, KFW), pp. 174–178.
HT-2013-ZhangZLM #collaboration #framework #matrix: A general collaborative filtering framework based on matrix bordered block diagonal forms (YZ, MZ, YL, SM), pp. 219–224.
ICDAR-2013-MoallaLA: Generalized Eigen Cooccurrence: Application to Palaeography (IM, FL, AMA), pp. 555–559.
SIGMOD-2013-ArmbrustLKFFP #incremental #independence: Generalized scale independence through incremental precomputation (MA, EL, TK, AF, MJF, DAP), pp. 625–636.
VLDB-2013-AntenucciLLZCR #named: Ringtail: A Generalized Nowcasting System (DA, EL, SL, BZ, MJC, CR), pp. 1358–1361.
VLDB-2013-ArmenatzoglouPP #framework #query: A General Framework for Geo-Social Query Processing (NA, SP, DP), pp. 913–924.
VLDB-2013-CaoB #implementation #performance #quantifier #query #relational: Efficient Implementation of Generalized Quantification in Relational Query Languages (BC, AB), pp. 241–252.
VLDB-2013-EbaidEIOQ0Y #named: NADEEF: A Generalized Data Cleaning System (AE, AKE, IFI, MO, JAQR, NT, SY), pp. 1218–1221.
VLDB-2013-ManshadiAGKMS #algorithm #distributed #scalability: A Distributed Algorithm for Large-Scale Generalized Matching (FMM, BA, RG, RK, JM, MS), pp. 613–624.
FoSSaCS-2013-MurawskiT #game studies #semantics: Deconstructing General References via Game Semantics (ASM, NT), pp. 241–256.
PLDI-2013-NowatzkiSCSER #architecture #constraints #framework #scheduling: A general constraint-centric scheduling framework for spatial architectures (TN, MST, LDC, KS, CE, BR), pp. 495–506.
PLDI-2013-YuKL #data type #multi #thread: General data structure expansion for multi-threading (HY, HJK, ZL), pp. 243–252.
ICFP-2013-MainlandLJ: Exploiting vector instructions with generalized stream fusio (GM, RL, SLPJ), pp. 37–48.
CHI-2013-JuhlinO #collaboration #design #gesture #interactive #on the: On the relation of ordinary gestures to TV screens: general lessons for the design of collaborative interactive techniques (OJ, EÖ), pp. 919–930.
DUXU-PMT-2013-JoyceK #development #internet: Development of a General Internet Attitude Scale (MJ, JK), pp. 303–311.
HIMI-D-2013-MogawaSI #algorithm #product line #representation #set: Generalized Algorithm for Obtaining a Family of Evaluating Attributes’ Sets Representing Customer’s Preference (TM, FS, SI), pp. 494–504.
ICEIS-v1-2013-KaddesABSA #policy: Enhancement of Generalized Earliest Deadline First Policy (MK, LA, AB, BS, MA), pp. 231–238.
CIKM-2013-ChenMLHCG #topic #using: Discovering coherent topics using general knowledge (ZC, AM, BL, MH, MC, RG), pp. 209–218.
CIKM-2013-KeikhaCC #detection #retrieval: Generalizing diversity detection in blog feed retrieval (MK, FC, WBC), pp. 1201–1204.
ECIR-2013-CarpinetoR #concept #graph #query #semantics: Semantic Search Log k-Anonymization with Generalized k-Cores of Query Concept Graph (CC, GR), pp. 110–121.
ICML-c1-2013-ChenLYY #functional #matrix #using: General Functional Matrix Factorization Using Gradient Boosting (TC, HL, QY, YY), pp. 436–444.
ICML-c1-2013-ChenWY #combinator #framework #multi: Combinatorial Multi-Armed Bandit: General Framework and Applications (WC, YW, YY), pp. 151–159.
ICML-c1-2013-KadriGP #approach #kernel #learning: A Generalized Kernel Approach to Structured Output Learning (HK, MG, PP), pp. 471–479.
ICML-c1-2013-MehtaG #bound #predict: Sparsity-Based Generalization Bounds for Predictive Sparse Coding (NAM, AGG), pp. 36–44.
ICML-c1-2013-MuandetBS #invariant #representation: Domain Generalization via Invariant Feature Representation (KM, DB, BS), pp. 10–18.
ICML-c2-2013-CaiZH #framework #named #robust: SADA: A General Framework to Support Robust Causation Discovery (RC, ZZ, ZH), pp. 208–216.
ICML-c2-2013-GongZLHY #algorithm #optimisation #problem: A General Iterative Shrinkage and Thresholding Algorithm for Non-convex Regularized Optimization Problems (PG, CZ, ZL, JH, JY), pp. 37–45.
ICML-c3-2013-DurrantK #bound #classification #fault: Sharp Generalization Error Bounds for Randomly-projected Classifiers (RJD, AK), pp. 693–701.
ICML-c3-2013-HoXV #learning #on the #taxonomy: On A Nonlinear Generalization of Sparse Coding and Dictionary Learning (JH, YX, BCV), pp. 1480–1488.
ICML-c3-2013-KarS0K #algorithm #learning #on the #online: On the Generalization Ability of Online Learning Algorithms for Pairwise Loss Functions (PK, BKS, PJ, HK), pp. 441–449.
ICML-c3-2013-LattimoreHS #learning: The Sample-Complexity of General Reinforcement Learning (TL, MH, PS), pp. 28–36.
ICML-c3-2013-LondonHTG #predict: Collective Stability in Structured Prediction: Generalization from One Example (BL, BH, BT, LG), pp. 828–836.
ICML-c3-2013-YangLZ #learning #matrix #multi: Multi-Task Learning with Gaussian Matrix Generalized Inverse Gaussian Model (MY, YL, ZZ), pp. 423–431.
KDD-2013-BabaK #crowdsourcing #estimation #quality #statistics: Statistical quality estimation for general crowdsourcing tasks (YB, HK), pp. 554–562.
KDD-2013-BahadoriLX #learning #performance #probability #process: Fast structure learning in generalized stochastic processes with latent factors (MTB, YL, EPX), pp. 284–292.
KDD-2013-KleinerTASJ #performance: A general bootstrap performance diagnostic (AK, AT, SA, IS, MIJ), pp. 419–427.
KDD-2013-ZhouLSYWY #identification #named: FeaFiner: biomarker identification from medical data through feature generalization and selection (JZ, ZL, JS, LY, FW, JY), pp. 1034–1042.
MLDM-2013-PoziMD #estimation #predict: Density Ratio Estimation in Support Vector Machine for Better Generalization: Study on Direct Marketing Prediction (MSMP, AM, AD), pp. 275–280.
SIGIR-2013-AmigoGV #documentation #evaluation: A general evaluation measure for document organization tasks (EA, JG, FV), pp. 643–652.
MoDELS-2013-RajbhojR #approach #detection #metamodelling #version control: A Graph-Pattern Based Approach for Meta-Model Specific Conflict Detection in a General-Purpose Model Versioning System (AR, SR), pp. 422–435.
MoDELS-2013-RajbhojR #approach #detection #metamodelling #version control: A Graph-Pattern Based Approach for Meta-Model Specific Conflict Detection in a General-Purpose Model Versioning System (AR, SR), pp. 422–435.
PADL-2013-FourtounisPR #functional #implementation #lazy evaluation: The Generalized Intensional Transformation for Implementing Lazy Functional Languages (GF, NP, PR), pp. 157–172.
SAC-2013-BrandaoFMPC #framework #pervasive: The CAS project: a general infrastructure for pervasive capture and access systems (RB, PF, AM, FP, RC), pp. 975–980.
SAC-2013-NardelliTB #behaviour: Cross-lattice behavior of general ACO folding for proteins in the HP model (MN, LT, AB), pp. 1320–1327.
PPoPP-2013-EdmondsWL #algorithm #graph #using: Expressing graph algorithms using generalized active messages (NE, JW, AL), pp. 289–290.
CAV-2013-ChatterjeeGK #automaton #ltl #model checking #probability #synthesis: Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis (KC, AG, JK), pp. 559–575.
CAV-2013-ChengRS #constraints #named #polynomial: JBernstein: A Validity Checker for Generalized Polynomial Constraints (CHC, HR, NS), pp. 656–661.
ICLP-J-2013-LifschitzY #modelling: Lloyd-Topor completion and general stable models (VL, FY), pp. 503–515.
TLCA-2013-KrausECA #theorem: Generalizations of Hedberg’s Theorem (NK, MHE, TC, TA), pp. 173–188.
CASE-2012-HouLZ #on the #petri net: On iterative liveness-enforcement for a class of generalized Petri nets (YH, DL, MZ), pp. 188–193.
CASE-2012-LiuJCLX #analysis #canonical #correlation #fault #identification #linear #research: Research on fault identification for complex system based on generalized linear canonical correlation analysis (DL, DJ, XC, AL, GX), pp. 474–478.
DAC-2012-ChungJ #analysis #functional #performance: Functional timing analysis made fast and general (YTC, JHRJ), pp. 1055–1060.
DAC-2012-LuoC #design: Design of pin-constrained general-purpose digital microfluidic biochips (YL, KC), pp. 18–25.
DAC-2012-WelpKK #optimisation: Generalized SAT-sweeping for post-mapping optimization (TW, SK, AK), pp. 814–819.
SIGMOD-2012-OrdonezGC #optimisation #query #sql: Dynamic optimization of generalized SQL queries with horizontal aggregations (CO, JGG, ZC), pp. 637–640.
SIGMOD-2012-SearsR #named: bLSM: a general purpose log structured merge tree (RS, RR), pp. 217–228.
FASE-2012-BradfieldS #calculus #qvt #recursion #μ-calculus: Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal μ Calculus (JCB, PS), pp. 194–208.
TACAS-2012-HeussnerGS #communication #framework #named #verification: McScM: A General Framework for the Verification of Communicating Machines (AH, TLG, GS), pp. 478–484.
SAS-2012-ThakurR: A Generalization of Stålmarck’s Method (AVT, TWR), pp. 334–351.
FLOPS-2012-GuzmanCHS #framework #implementation: A General Implementation Framework for Tabled CLP (PCdG, MC, MVH, PJS), pp. 104–119.
DLT-2012-GiambrunoMNS #bidirectional #finite: A Generalization of Girod’s Bidirectional Decoding Method to Codes with a Finite Deciphering Delay (LG, SM, JN, CS), pp. 471–476.
DLT-2012-HolzerJM #context-free grammar: Generalized Derivations with Synchronized Context-Free Grammars (MH, SJ, IM), pp. 109–120.
ICGT-2012-Golas #concept #modelling: A General Attribution Concept for Models in M-Adhesive Transformation Systems (UG), pp. 187–202.
CHI-2012-DixonFW #analysis #interface #using #visual notation: A general-purpose target-aware pointing enhancement using pixel-level analysis of graphical interfaces (MD, JF, JOW), pp. 3167–3176.
CAiSE-2012-Wieringa #design #research: Designing Technical Action Research and Generalizing from Real-World Cases (RW), pp. 697–698.
ICEIS-J-2012-AyresS12a #mining #similarity: Exploring Similarity Relations According to Different Contexts in Mining Generalized Association Rules (RMJA, MTPS), pp. 137–152.
ICEIS-v1-2012-AyresS #fuzzy #mining #ontology #similarity #using: Mining Generalized Association Rules using Fuzzy Ontologies with Context-based Similarity (RMJA, MTPS), pp. 74–83.
CIKM-2012-CaballeroBA #detection #topic: The generalized dirichlet distribution in enhanced topic detection (KLCE, JB, RA), pp. 773–782.
CIKM-2012-DongFSZY #framework #mining: A general framework to encode heterogeneous information sources for contextual pattern mining (WD, WF, LS, CZ, XY), pp. 65–74.
CIKM-2012-LiL #framework #named #recommendation: MEET: a generalized framework for reciprocal recommender systems (LL, TL), pp. 35–44.
CIKM-2012-LinXCB #algorithm #performance #query: Efficient algorithms for generalized subgraph query processing (WL, XX, JC, SSB), pp. 325–334.
ECIR-2012-MantrachR #framework #multi #people #retrieval #social #social media: A General Framework for People Retrieval in Social Media with Multiple Roles (AM, JMR), pp. 512–516.
ICML-2012-JiYLJH #algorithm #bound #fault #learning: A Simple Algorithm for Semi-supervised Learning with Improved Generalization Error Bound (MJ, TY, BL, RJ, JH), p. 110.
ICML-2012-MorvantKR #bound #classification #matrix #multi: PAC-Bayesian Generalization Bound on Confusion Matrix for Multi-Class Classification (EM, SK, LR), p. 158.
ICML-2012-RavanbakhshYG #approximate #modelling #visual notation: A Generalized Loop Correction Method for Approximate Inference in Graphical Models (S(R, CNY, RG), p. 84.
ICML-2012-SchwingHPU #modelling #performance #predict #visual notation: Efficient Structured Prediction with Latent Variables for General Graphical Models (AGS, TH, MP, RU), p. 216.
ICPR-2012-AiDHC #analysis #component #feature model #independence #multi: Multiple feature selection and fusion based on generalized N-dimensional independent component analysis (DA, GD, XHH, YWC), pp. 971–974.
ICPR-2012-BoulmerkaA #segmentation #using: Thresholding-based segmentation revisited using mixtures of generalized Gaussian distributions (AB, MSA), pp. 2894–2897.
ICPR-2012-LiVBB #clustering #learning #using: Feature learning using Generalized Extreme Value distribution based K-means clustering (ZL, OV, HB, RB), pp. 1538–1541.
ICPR-2012-MakaremiA #image #invariant #recognition: Generalized ordinary moment based blur invariant descriptors for face recognition with degraded images (IM, MA), pp. 3648–3651.
ICPR-2012-SchwanderSNB: k-MLE for mixtures of generalized Gaussians (OS, AJS, FN, YB), pp. 2825–2828.
ICPR-2012-YeKC #classification #multi: Combining general multi-class and specific two-class classifiers for improved customized ECG heartbeat classification (CY, BVKVK, MTC), pp. 2428–2431.
KDD-2012-JainVV #kernel #learning #multi #named: SPF-GMKL: generalized multiple kernel learning with a million kernels (AJ, SVNV, MV), pp. 750–758.
KR-2012-BaaderBM #towards #unification: Extending Unification in EL Towards General TBoxes (FB, SB, BM).
KR-2012-DuboisPS #logic #modelling: Stable Models in Generalized Possibilistic Logic (DD, HP, SS).
KR-2012-HaufeT #automation #game studies #verification: Automated Verification of Epistemic Properties for General Game Playing (SH, MT).
KR-2012-RosatiF #ontology: Generalized Ontology-Based Production Systems (RR, EF).
MLDM-2012-HoaD #learning: A New Learning Strategy of General BAMs (NTH, TDB), pp. 213–221.
MLDM-2012-NguyenF #programming: A General Lp-norm Support Vector Machine via Mixed 0-1 Programming (HTN, KF), pp. 40–49.
MLDM-2012-YangW #classification #modelling: Generalized Nonlinear Classification Model Based on Cross-Oriented Choquet Integral (RY, ZW), pp. 26–39.
SIGIR-2012-LiDZ #markov #query: A generalized hidden Markov model with discriminative training for query spelling correction (YL, HD, CZ), pp. 611–620.
OOPSLA-2012-HaydenSDHF #c #named #performance: Kitsune: efficient, general-purpose dynamic software updating for C (CMH, EKS, MD, MH, JSF), pp. 249–264.
LOPSTR-2012-AngelisFPP #model checking: Specialization with Constrained Generalization for Software Model Checking (EDA, FF, AP, MP), pp. 51–70.
LOPSTR-2012-GieslSSEF #evaluation #graph #logic programming #source code #symbolic computation #term rewriting: Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs (JG, TS, PSK, FE, CF), p. 1.
PPDP-2012-GieslSSEF #evaluation #graph #logic programming #source code #symbolic computation #term rewriting: Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs (JG, TS, PSK, FE, CF), pp. 1–12.
SAC-2012-EmirisMM #algorithm #diagrams: Yet another algorithm for generalized Voronoï Diagrams (IZE, AM, BM), pp. 109–110.
ICSE-2012-AtkinsonGK #domain-specific language: Symbiotic general-purpose and domain-specific languages (CA, RG, BK), pp. 1269–1272.
SLE-2012-ErdwegRKO #generalised parsing #parsing: Layout-Sensitive Generalized Parsing (SE, TR, CK, KO), pp. 244–263.
SPLC-2012-FloresKC #product line: Mega-scale product line engineering at General Motors (RF, CWK, PCC), pp. 259–268.
ISMM-2012-GuD #collaboration: A generalized theory of collaborative caching (XG, CD), pp. 109–120.
PPoPP-2012-DiceMS #design: Lock cohorting: a general technique for designing NUMA locks (DD, VJM, NS), pp. 247–256.
ICLP-2012-LeeM #modelling #quantifier: Stable Models of Formulas with Generalized Quantifiers (Preliminary Report) (JL, YM), pp. 61–71.
ICLP-2012-Tarau #performance: Deriving a Fast Inverse of the Generalized Cantor N-tupling Bijection (PT), pp. 312–322.
ICLP-J-2012-BabbL #modelling #theorem: Module theorem for the general theory of stable models (JB, JL), pp. 719–735.
ICST-2012-JonssonBSE #automation #scalability #towards #using: Towards Automated Anomaly Report Assignment in Large Complex Systems Using Stacked Generalization (LJ, DB, KS, SE), pp. 437–446.
LICS-2012-BarceloFL #graph #logic #problem: Graph Logics with Rational Relations and the Generalized Intersection Problem (PB, DF, LL), pp. 115–124.
LICS-2012-KrebsS #first-order: Non-definability of Languages by Generalized First-order Formulas over (N, +) (AK, AVS), pp. 451–460.
SAT-2012-HoderB #reachability: Generalized Property Directed Reachability (KH, NB), pp. 157–171.
VMCAI-2012-SackZ #framework #probability: A General Framework for Probabilistic Characterizing Formulae (JS, LZ), pp. 396–411.
CBSE-2011-MeloP #component #framework #open source #recommendation: A component-based open-source framework for general-purpose recommender systems (FMM, ÁRPJ), pp. 67–72.
ASE-2011-WongC #dependence #probability: Generalizing evolutionary coupling with stochastic dependencies (SW, YC), pp. 293–302.
DAC-2011-ZhaoAZ #embedded #energy #realtime: Generalized reliability-oriented energy management for real-time embedded applications (BZ, HA, DZ), pp. 381–386.
PODS-2011-Libkin #modelling: Incomplete information and certain answers in general data models (LL), pp. 59–70.
VLDB-2011-Jin0MD #database #random #web: Randomized Generalization for Aggregate Suppression Over Hidden Web Databases (XJ, NZ, AM, GD), pp. 1099–1110.
ESOP-2011-ColonS: Generalizing the Template Polyhedral Domain (MC, SS), pp. 176–195.
ESOP-2011-UrbanK: General Bindings and α-Equivalence in Nominal Isabelle (CU, CK), pp. 480–500.
TACAS-2011-TeigeF #probability #problem #satisfiability: Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems (TT, MF), pp. 158–172.
PLDI-2011-BohmKKFT #compilation #parallel #using: Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator (IB, TJKEvK, SCK, BF, NPT), pp. 74–85.
PLDI-2011-SampsonDFGCG #approximate #data type #named #power management: EnerJ: approximate data types for safe and general low-power computation (AS, WD, EF, DG, LC, DG), pp. 164–174.
STOC-2011-FungHHP #framework #graph: A general framework for graph sparsification (WSF, RH, NJAH, DP), pp. 71–80.
DLT-J-2009-HalavaH11 #problem #reduction: Reduction Tree of the Binary Generalized Post Correspondence Problem (VH, SH), pp. 473–490.
CIAA-J-2010-Dangalchev11: Residual Closeness and Generalized Closeness (CD), pp. 1939–1948.
DLT-2011-CaronHM: Generalized One-Unambiguity (PC, YSH, LM), pp. 129–140.
DLT-2011-PelantovaS #infinity #word: Infinite Words Rich and Almost Rich in Generalized Palindromes (EP, SS), pp. 406–416.
ICALP-v1-2011-CanzarEKM #on the: On Tree-Constrained Matchings and Generalizations (SC, KME, GWK, JM), pp. 98–109.
ICALP-v2-2011-Chechik #fault tolerance #graph: Fault-Tolerant Compact Routing Schemes for General Graphs (SC), pp. 101–112.
IFL-2011-Megacz #design #hardware: Hardware Design with Generalized Arrows (AM), pp. 164–180.
DUXU-v1-2011-KimPHPJPLH: A Guideline for an Outpatient Guidance System for Use in General Hospitals (GK, JP, MH, HP, DJ, SHP, SL, SH), pp. 261–269.
HCD-2011-LieberF #design #integration #question: Human Systems Integration Design: Which Generalized Rationale? (RL, DF), pp. 101–109.
CIKM-2011-KarimzadehganZ #documentation #modelling #query #retrieval: Improving retrieval accuracy of difficult queries through generalizing negative document language models (MK, CZ), pp. 27–36.
ECIR-2011-LiSD #ambiguity #wiki #word: A Generalized Method for Word Sense Disambiguation Based on Wikipedia (CL, AS, AD), pp. 653–664.
ICML-2011-Garcia-GarciaLS: Risk-Based Generalizations of f-divergences (DGG, UvL, RSR), pp. 417–424.
ICML-2011-GrubbB #algorithm #optimisation: Generalized Boosting Algorithms for Convex Optimization (AG, DB), pp. 1209–1216.
ICML-2011-NockMBN #adaptation #on the: On tracking portfolios with certainty equivalents on a generalization of Markowitz model: the Fool, the Wise and the Adaptive (RN, BM, EB, FN), pp. 73–80.
ICML-2011-PazisP #scalability #set: Generalized Value Functions for Large Action Sets (JP, RP), pp. 1185–1192.
KDD-2011-KangTSLF #graph #named #scalability: GBASE: a scalable and general graph management system (UK, HT, JS, CYL, CF), pp. 1091–1099.
RecSys-2011-Faridani #analysis #canonical #correlation #recommendation #sentiment #using: Using canonical correlation analysis for generalized sentiment analysis, product recommendation and search (SF), pp. 355–358.
RecSys-2011-JamaliHE #network #probability #rating #recommendation #social: A generalized stochastic block model for recommendation in social rating networks (MJ, TH, ME), pp. 53–60.
RecSys-2011-ZhangAC #flexibility #matrix: Generalizing matrix factorization through flexible regression priors (LZ, DA, BCC), pp. 13–20.
MoDELS-2011-WagelaarTCJ #composition #model transformation #rule-based #semantics #towards: Towards a General Composition Semantics for Rule-Based Model Transformation (DW, MT, JC, FJ), pp. 623–637.
MoDELS-2011-WagelaarTCJ #composition #model transformation #rule-based #semantics #towards: Towards a General Composition Semantics for Rule-Based Model Transformation (DW, MT, JC, FJ), pp. 623–637.
POPL-2011-Pottier: A typed store-passing translation for general references (FP), pp. 147–158.
SAC-2011-MitakeKCN #embedded #manycore #realtime: Coexisting real-time OS and general purpose OS on an embedded virtualization layer for a multicore processor (HM, YK, AC, TN), pp. 629–630.
CGO-2011-WuHBW #energy #manycore #virtual machine: A HW/SW co-designed heterogeneous multi-core virtual machine for energy-efficient general purpose computing (YW, SH, EB, CW), pp. 236–245.
CADE-2011-LiuL #morphism #performance #unification: Efficient General Unification for XOR with Homomorphism (ZL, CL), pp. 407–421.
CAV-2011-BaeM #ltl #model checking #parametricity: State/Event-Based LTL Model Checking under Parametric Generalized Fairness (KB, JM), pp. 132–148.
LICS-2011-MurawskiT #game studies #semantics: Game Semantics for Good General References (ASM, NT), pp. 75–84.
SAT-2011-Gelder11a #satisfiability: Generalized Conflict-Clause Strengthening for Satisfiability Solvers (AVG), pp. 329–342.
SAT-2011-SpeckenmeyerWP #approach #graph #satisfiability: A Satisfiability-Based Approach for Embedding Generalized Tanglegrams on Level Graphs (ES, AW, SP), pp. 134–144.
CASE-2010-ChanR #clustering #estimation #multi #on the #scheduling #tool support: On gradient estimation of scheduling for multi-cluster tools with general robot moving times (WK(C, TMR), pp. 112–117.
CASE-2010-HanSL #predict #random: Modified generalized predictive power control for wireless networked systems with random delays (CH, DS, ZL), pp. 509–514.
DAC-2010-Coudert #algorithm #performance #verification: An efficient algorithm to verify generalized false paths (OC), pp. 188–193.
DAC-2010-JuHRC #analysis #multi #source code: Timing analysis of esterel programs on general-purpose multiprocessors (LJ, BKH, AR, SC), pp. 48–51.
DAC-2010-YangLW #complexity #fault #named: ECR: a low complexity generalized error cancellation rewiring scheme (XY, TKL, YLW), pp. 511–516.
DATE-2010-ChengLW #diagrams #optimisation: Optimization of FIR filter to improve eye diagram for general transmission line systems (YSC, YCL, RBW), pp. 1321–1324.
DATE-2010-CongHJ #algorithm #behaviour #pattern matching #pattern recognition #recognition #synthesis: A generalized control-flow-aware pattern recognition algorithm for behavioral synthesis (JC, HH, WJ), pp. 1255–1260.
DATE-2010-EguiaTSPT #behaviour #design #manycore #modelling: General behavioral thermal modeling and characterization for multi-core microprocessor design (TJAE, SXDT, RS, EHP, MT), pp. 1136–1141.
DATE-2010-LauLCB #probability: A general mathematical model of probabilistic ripple-carry adders (MSKL, KVL, YCC, AB), pp. 1100–1105.
DATE-2010-SrivastavaSB #3d #performance: Efficient 3D high-frequency impedance extraction for general interconnects and inductors above a layered substrate (NS, RS, KB), pp. 459–464.
DATE-2010-SuCG #multi: A general method to make multi-clock system deterministic (MS, YC, XG), pp. 1480–1485.
DRR-2010-KnoblockCCGMS #approach: A general approach to discovering, registering, and extracting features from raster maps (CAK, CCC, YYC, AG, MM, CS), pp. 1–10.
DRR-2010-OuwayedBA #approach #estimation: General text line extraction approach based on locally orientation estimation (NO, AB, FA), pp. 1–10.
SIGMOD-2010-WongMC #privacy: Non-homogeneous generalization in privacy preserving data publishing (WKW, NM, DWLC), pp. 747–758.
VLDB-2011-SagyKSS10 #difference #distributed #query #representation: Distributed Threshold Querying of General Functions by a Difference of Monotonic Representation (GS, DK, IS, AS), pp. 46–57.
ITiCSE-2010-Rubio-Sanchez #programming #recursion: Tail recursive programming by applying generalization (MRS), pp. 98–102.
PEPM-2010-Siek #metalanguage: General purpose languages should be metalanguages (JGS), pp. 3–4.
CIAA-2010-AntosM #approach #automaton #finite #pattern matching: Finite Automata for Generalized Approach to Backward Pattern Matching (JA, BM), pp. 49–58.
DLT-2010-Okhotin #algorithm #boolean grammar #parsing #performance: Fast Parsing for Boolean Grammars: A Generalization of Valiant’s Algorithm (AO), pp. 340–351.
CHI-2010-HolzB #how: The generalized perceived input point model and how to double touch accuracy by extracting fingerprints (CH, PB), pp. 581–590.
ICEIS-AIDSS-2010-MianiYSF #algorithm #optimisation #process #semantics: NARFO* Algorithm — Optimizing the Process of Obtaining Non-redundant and Generalized Semantic Association Rules (RGM, CAY, MTPS, VRTF), pp. 320–325.
CIKM-2010-ParameswaranGU #recommendation: Evaluating, combining and generalizing recommendations with prerequisites (AGP, HGM, JDU), pp. 919–928.
ICML-2010-CortesMR10a #bound #kernel #learning: Generalization Bounds for Learning Kernels (CC, MM, AR), pp. 247–254.
ICML-2010-WalshSLD #learning: Generalizing Apprenticeship Learning across Hypothesis Classes (TJW, KS, MLL, CD), pp. 1119–1126.
ICML-2010-YangJJ #learning: Learning from Noisy Side Information by Generalized Maximum Entropy Model (TY, RJ, AKJ), pp. 1199–1206.
ICML-2010-Yu #convergence #difference: Convergence of Least Squares Temporal Difference Methods Under General Conditions (HY), pp. 1207–1214.
ICPR-2010-Allili #retrieval #using: Wavelet-Based Texture Retrieval Using a Mixture of Generalized Gaussian Distributions (MSA), pp. 3143–3146.
ICPR-2010-ChaoTLC #detection #fault: A Generalized Anisotropic Diffusion for Defect Detection in Low-Contrast Surfaces (SMC, DMT, WCL, WYC), pp. 4408–4411.
ICPR-2010-FlorianiMV #modelling: Modeling and Generalization of Discrete Morse Terrain Decompositions (LDF, PM, MV), pp. 999–1002.
ICPR-2010-IsmailF #clustering #finite #modelling #robust: Possibilistic Clustering Based on Robust Modeling of Finite Generalized Dirichlet Mixture (MMBI, HF), pp. 573–576.
ICPR-2010-NacereddineTZH10a #algorithm #image #modelling #segmentation #symmetry: Asymmetric Generalized Gaussian Mixture Models and EM Algorithm for Image Segmentation (NN, ST, DZ, LH), pp. 4557–4560.
ICPR-2010-OliveiraL #education: Generalizing Tableau to Any Color of Teaching Boards (DMdO, RDL), pp. 2411–2414.
ICPR-2010-QiaoC #3d #analysis #component #modelling #statistics #using: Statistical Texture Modeling for Medical Volume Using Generalized N-Dimensional Principal Component Analysis Method and 3D Volume Morphing (XQ, YWC), pp. 2488–2491.
ICPR-2010-TanakaIKM #fault #kernel: A Relationship Between Generalization Error and Training Samples in Kernel Regressors (AT, HI, MK, MM), pp. 1421–1424.
ICPR-2010-VesBRAS #modelling #retrieval: Wavelet-Based Texture Retrieval Modeling the Magnitudes of Wavelet Detail Coefficients with a Generalized Gamma Distribution (EdV, XB, AMCR, DGA, LS), pp. 221–224.
ICPR-2010-ZhangW #clustering #named: ARImp: A Generalized Adjusted Rand Index for Cluster Ensembles (SZ, HSW), pp. 778–781.
KDD-2010-ChenLB #approach #detection #named #statistics: GLS-SOD: a generalized local statistical approach for spatial outlier detection (FC, CTL, APB), pp. 1069–1078.
KDD-2010-SarangiM #named #nondeterminism #similarity: DUST: a generalized notion of similarity between uncertain time series (SRS, KM), pp. 383–392.
KEOD-2010-FrixioneL #concept #ontology #representation: The Computational Representation of Concepts in Formal Ontologies — Some General Considerations (MF, AL), pp. 396–403.
KR-2010-BartholomewL #decidability #modelling: A Decidable Class of Groundable Formulas in the General Theory of Stable Models (MB, JL).
KR-2010-GiacomoPS #constraints: Generalized Planning with Loops under Strong Fairness Constraints (GDG, FP, SS).
KR-2010-WangWT #knowledge base #logic: Revising General Knowledge Bases in Description Logics (ZW, KW, RWT).
SIGIR-2010-ArapakisAJ #comparison #modelling #personalisation #predict #topic: A comparison of general vs personalised affective models for the prediction of topical relevance (IA, KA, JMJ), pp. 371–378.
SIGIR-2010-DupretP #behaviour #precise: A user behavior model for average precision and its generalization to graded judgments (GD, BP), pp. 531–538.
SIGIR-2010-HerdagdelenCMHHRA #modelling #query #semantics: Generalized syntactic and semantic models of query reformulation (AH, MC, DM, MH, KBH, SR, EA), pp. 283–290.
MoDELS-v1-2010-SaxenaK #approach #design: MDE-Based Approach for Generalizing Design Space Exploration (TS, GK), pp. 46–60.
ECOOP-2010-SchaferP #component #concurrent #named: JCoBox: Generalizing Active Objects to Concurrent Components (JS, APH), pp. 275–299.
LOPSTR-2010-SakuraiA #library #named #proving #user interface #visualisation: MikiBeta: A General GUI Library for Visualizing Proof Trees — System Description and Demonstration (KS, KA), pp. 84–98.
PADL-2010-HafizF #attribute grammar #combinator #execution #lazy evaluation #specification: Lazy Combinators for Executable Specifications of General Attribute Grammars (RH, RAF), pp. 167–182.
SAC-2010-CampanTC #bound: User-controlled generalization boundaries for p-sensitive k-anonymity (AC, TMT, NC), pp. 1103–1104.
SAC-2010-GuoQL #configuration management #energy #network #optimisation #using: A general energy optimization model for wireless networks using configurable antennas (SG, ZQ, SL), pp. 246–250.
SAC-2010-ReisS #constant #programming language: General constant expressions for system programming languages (GDR, BS), pp. 2131–2136.
FSE-2010-JoshiNSG #detection #dynamic analysis #effectiveness: An effective dynamic analysis for detecting generalized deadlocks (PJ, MN, KS, DG), pp. 327–336.
ICLP-2010-Gaggl10 #programming #towards: Towards a General Argumentation System based on Answer-Set Programming (SAG), pp. 265–269.
ICLP-2010-ShakarianSS10 #network #optimisation #problem #social #source code #using: Using Generalized Annotated Programs to Solve Social Network Optimization Problems (PS, VSS, MLS), pp. 182–191.
ICST-2010-DelahayeBG: Explanation-Based Generalization of Infeasible Path (MD, BB, AG), pp. 215–224.
CASE-2009-BasileCG #petri net: A control oriented model of generalized warehouses based on Colored Timed Petri Nets (FB, PC, DDG), pp. 48–53.
DAC-2009-PlishkerSB #data flow #effectiveness #scheduling: Mode grouping for more effective generalized scheduling of dynamic dataflow applications (WP, NS, SSB), pp. 923–926.
DATE-2009-PlishkerSB #approach #data flow #scheduling: A generalized scheduling approach for dynamic dataflow applications (WP, NS, SSB), pp. 111–116.
DATE-2009-VayrynenSL #execution #fault tolerance #multi #optimisation: Fault-tolerant average execution time optimization for general-purpose multi-processor system-on-chips (MV, VS, EL), pp. 484–489.
HT-2009-YahiaouiPB #documentation #framework #process: The redocumentation process of computer mediated activity traces: a general framework (LY, YP, ZB), pp. 363–364.
PODS-2009-CaliGL #framework #ontology #query: A general datalog-based framework for tractable query answering over ontologies (AC, GG, TL), pp. 77–86.
PODS-2009-Marnette #termination: Generalized schema-mappings: from termination to tractability (BM), pp. 13–22.
VLDB-2009-HeN #top-down: Anonymization of Set-Valued Data via Top-Down, Local Generalization (YH, JFN), pp. 934–945.
VLDB-2009-ZouCO09a #framework #morphism #named #network #privacy: K-Automorphism: A General Framework For Privacy Preserving Network Publication (LZ, LC, MTÖ), pp. 946–957.
ITiCSE-2009-Rubio-SanchezV #recursion #using: Tail recursion by using function generalization (MRS, JÁVI), p. 394.
FoSSaCS-2009-BirkedalST #morphism #parametricity #polymorphism #recursion #semantics: Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types (LB, KS, JT), pp. 456–470.
MSR-2009-ShangJAH #framework #mining #pipes and filters #repository #research: MapReduce as a general framework to support research in Mining Software Repositories (MSR) (WS, ZMJ, BA, AEH), pp. 21–30.
STOC-2009-ChechikLPR #fault tolerance #graph: Fault-tolerant spanners for general graphs (SC, ML, DP, LR), pp. 435–444.
ICALP-v1-2009-KobayashiGNR #communication #network #quantum: General Scheme for Perfect Quantum Network Coding with Free Classical Communication (HK, FLG, HN, MR), pp. 622–633.
ICALP-v1-2009-McDermid #algorithm #approximate: A 3/2-Approximation Algorithm for General Stable Marriage (EM), pp. 689–700.
ICALP-v2-2009-DaskalakisP #network #on the #theorem: On a Network Generalization of the Minmax Theorem (CD, CHP), pp. 423–434.
LATA-2009-Llull-ChavarriaV #complexity #semantics #word: An Application of Generalized Complexity Spaces to Denotational Semantics via the Domain of Words (JLC, OV), pp. 530–541.
GT-VMT-2009-SchimmelGS #graph grammar #term rewriting: Gene Expression with General Purpose Graph Rewriting Systems (JS, TG, CS), pp. 202–212.
HCI-NT-2009-AlmadaLAFC #composition #framework #named: YVision: A General Purpose Software Composition Framework (AA, GL, AA, JF, NC), pp. 779–788.
ICEIS-J-2009-MianiYSB #algorithm #fuzzy #mining #ontology: NARFO Algorithm: Mining Non-redundant and Generalized Association Rules Based on Fuzzy Ontologies (RGM, CAY, MTPS, MB), pp. 415–426.
CIKM-2009-GaoLMWL #framework #markov: A general markov framework for page importance computation (BG, TYL, ZM, TW, HL), pp. 1835–1838.
CIKM-2009-LeeVRKMI #adaptation #performance #topic #using: Measuring system performance and topic discernment using generalized adaptive-weight mean (CTL, VV, EMR, GK, NMF, AI), pp. 2033–2036.
CIKM-2009-ZhuCZWWC #algorithm #ranking: A general magnitude-preserving boosting algorithm for search ranking (CZ, WC, ZAZ, GW, DW, ZC), pp. 817–826.
ICML-2009-LanLML #algorithm #analysis #ranking: Generalization analysis of listwise learning-to-rank algorithms (YL, TYL, ZM, HL), pp. 577–584.
ICML-2009-NickischS #linear #modelling #scalability: Convex variational Bayesian inference for large scale generalized linear models (HN, MWS), pp. 761–768.
ICML-2009-SunJY #machine learning #problem: A least squares formulation for a class of generalized eigenvalue problems in machine learning (LS, SJ, JY), pp. 977–984.
ICML-2009-VarmaB #kernel #learning #multi #performance: More generality in efficient multiple kernel learning (MV, BRB), pp. 1065–1072.
KDD-2009-DengLK #algorithm #graph: A generalized Co-HITS algorithm and its application to bipartite graphs (HD, MRL, IK), pp. 239–248.
KDD-2009-ZhuWKL #mining: Augmenting the generalized hough transform to enable the mining of petroglyphs (QZ, XW, EJK, SHL), pp. 1057–1066.
KEOD-2009-QiangRW #integration #ontology #towards: Towards a General Temporal Ontology for Knowledge Integration (YQ, FR, NVdW), pp. 275–280.
MLDM-2009-ChanguelLB #automation #html #learning: A General Learning Method for Automatic Title Extraction from HTML Pages (SC, NL, BBM), pp. 704–718.
MLDM-2009-JingWYX #categorisation #feature model #framework: A General Framework of Feature Selection for Text Categorization (HJ, BW, YY, YX), pp. 647–662.
OOPSLA-2009-KatsJNV #agile #composition #fault #feedback #parsing: Providing rapid feedback in generated modular language environments: adding error recovery to scannerless generalized-LR parsing (LCLK, MdJ, ENN, EV), pp. 445–464.
GPCE-2009-WehrT #experience #interface: JavaGI in the battlefield: practical experience with generalized interfaces (SW, PT), pp. 65–74.
SAC-2009-AneddaGM #approach #virtual machine: A general service oriented approach for managing virtual machines allocation (PA, MG, SM), pp. 2154–2161.
SAC-2009-MartinsHM #image #multi #re-engineering #using: Super-resolution image reconstruction using the generalized isotropic multi-level logistic model (ALDM, MRPH, NDAM), pp. 934–938.
SAC-2009-ShellD #precise #simulation: Precise generalized contact point and normal determination for rigid body simulation (DAS, ED), pp. 2107–2108.
ICSE-2009-HsuO #framework #named #testing: MINTS: A general framework and tool for supporting test-suite minimization (HYH, AO), pp. 419–429.
CGO-2009-RoyS #algorithm #profiling: Profiling k-Iteration Paths: A Generalization of the Ball-Larus Profiling Algorithm (SR, YNS), pp. 70–80.
CGO-2009-VoronenkoMP #generative #library #linear: Computer Generation of General Size Linear Transform Libraries (YV, FdM, MP), pp. 102–113.
CADE-2009-BoigelotBL #automaton #theorem: A Generalization of Semenov’s Theorem to Automata over Real Numbers (BB, JB, JL), pp. 469–484.
CAV-2009-McMillanKS #logic: Generalizing DPLL to Richer Logics (KLM, AK, MS), pp. 462–476.
CSL-2009-Sumii #equivalence #polymorphism #λ-calculus: A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References (ES), pp. 455–469.
ICLP-2009-Thielscher #game studies #programming #set: Answer Set Programming for Single-Player Games in General Game Playing (MT), pp. 327–341.
ICLP-2009-Truszczynski #logic programming #satisfiability #semantics #source code: Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs (MT), pp. 175–189.
LICS-2009-Leroux #induction #invariant #problem #reachability: The General Vector Addition System Reachability Problem by Presburger Inductive Invariants (JL), pp. 4–13.
SAT-2009-LiffitonS #satisfiability: Generalizing Core-Guided Max-SAT (MHL, KAS), pp. 481–494.
VMCAI-2009-GodefroidP #ltl #model checking #revisited: LTL Generalized Model Checking Revisited (PG, NP), pp. 89–104.
CASE-2008-TanakaF #algorithm #performance #scheduling: An efficient exact algorithm for general single-machine scheduling with machine idle time (ST, SF), pp. 371–376.
DAC-2008-ChenXY #abstraction #automation #evaluation #optimisation #refinement: Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation (YC, FX, JY), pp. 143–148.
DAC-2008-HeloueN #analysis #modelling: Parameterized timing analysis with general delay models and arbitrary variation sources (KRH, FNN), pp. 403–408.
DAC-2008-HsuW #algorithm #memory management #network #power management: A generalized network flow based algorithm for power-aware FPGA memory mapping (TYH, TCW), pp. 30–33.
DAC-2008-YeZP #analysis #equation #linear #multi: Generalized Krylov recycling methods for solution of multiple related linear equation systems in electromagnetic analysis (ZY, ZZ, JRP), pp. 682–687.
DATE-2008-StratigopoulosTM #estimation #parametricity: A General Method to Evaluate RF BIST Techniques Based on Non-parametric Density Estimation (HGDS, JT, SM), pp. 68–73.
ITiCSE-2008-GiangrandiM #student: Enhancing the general background of CS students through a computing history course (PG, CM), pp. 301–305.
STOC-2008-BansalBN #algorithm #random: Randomized competitive algorithms for generalized caching (NB, NB, JN), pp. 235–244.
STOC-2008-DaitchS #algorithm #approximate #performance: Faster approximate lossy generalized flow via interior point algorithms (SID, DAS), pp. 451–460.
FLOPS-2008-AlvezL #semantics: A Generalization of the Folding Rule for the Clark-Kunen Semantics (JÁ, PL), pp. 180–194.
DLT-2008-AllauzenMR #algorithm #ambiguity #automaton #finite #testing: General Algorithms for Testing the Ambiguity of Finite Automata (CA, MM, AR), pp. 108–120.
DLT-2008-BucciLL #morphism #on the #standard: On a Generalization of Standard Episturmian Morphisms (MB, AdL, ADL), pp. 158–169.
DLT-2008-Shallit #problem: The Frobenius Problem and Its Generalizations (JS), pp. 72–83.
LATA-2008-Altenbernd #on the: On Bifix Systems and Generalizations (JHA), pp. 40–51.
LATA-2008-Mercer #automaton #bound #finite #quantum: Lower Bounds for Generalized Quantum Finite Automata (MM), pp. 373–384.
LATA-2008-Puzynina #2d #on the #word: On Periodicity of Generalized Two-Dimensional Words (SP), pp. 440–451.
SEFM-2008-BonifacioMS #generative #modelling #testing: A Generalized Model-Based Test Generation Method (ALB, AVM, AdSS), pp. 139–148.
ICFP-2008-FluetRR #framework #parallel #scheduling: A scheduling framework for general-purpose parallel languages (MF, MR, JHR), pp. 241–252.
CHI-2008-HeerAW #interactive #query: Generalized selection via interactive query relaxation (JH, MA, WW), pp. 959–968.
ICEIS-AIDSS-2008-MerigoG: The Linguistic Generalized OWA Operator and its Application in Strategic Decision Making (JMM, AMGL), pp. 219–224.
ICEIS-ISAS2-2008-CasanovaBBF #generative: Generalization and Blending in the Generation of Entity-Relationship Schemas by Analogy (MAC, SDJB, KKB, ALF), pp. 43–48.
CIKM-2008-DakkaGI #query: Answering general time sensitive queries (WD, LG, PGI), pp. 1437–1438.
CIKM-2008-Metzler #documentation: Generalized inverse document frequency (DM), pp. 399–408.
CIKM-2008-PlacekTSDS #approach #heuristic #query: A heuristic approach for checking containment of generalized tree-pattern queries (PP, DT, SS, TD, TKS), pp. 551–560.
ICML-2008-LanLQML #learning #rank: Query-level stability and generalization in learning to rank (YL, TYL, TQ, ZM, HL), pp. 512–519.
ICML-2008-RishGCPG #linear #modelling #reduction: Closed-form supervised dimensionality reduction with generalized linear models (IR, GG, GAC, FP, GJG), pp. 832–839.
ICML-2008-RothF #algorithm #linear #modelling #performance: The Group-Lasso for generalized linear models: uniqueness of solutions and efficient algorithms (VR, BF), pp. 848–855.
ICML-2008-ShinK #kernel: A generalization of Haussler’s convolution kernel: mapping kernel (KS, TK), pp. 944–951.
ICPR-2008-LuFJW #classification #framework #learning #metric #reduction #visualisation: Metric Learning: A general dimension reduction framework for classification and visualization (CL, GF, JJ, PSPW), pp. 1–4.
ICPR-2008-ZhouZ #metric: Generalized criteria for uniqueness of Gibbs measures (HZ, ZZ), pp. 1–4.
KDD-2008-YenSMS #difference #metric #product line: A family of dissimilarity measures between nodes generalizing both the shortest-path and the commute-time distances (LY, MS, AM, MS), pp. 785–793.
KR-2008-DohertyS #reasoning #using: Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription (PD, AS), pp. 560–570.
SIGIR-2008-DruckMM #learning #using: Learning from labeled features using generalized expectation criteria (GD, GSM, AM), pp. 595–602.
SIGIR-2008-MeiZZ #framework #graph #modelling #optimisation: A general optimization framework for smoothing language models on graph structures (QM, DZ, CZ), pp. 611–618.
MoDELS-2008-LiangDDP #approach #integration: A General Approach for Scenario Integration (HL, ZD, JD, EP), pp. 204–218.
MoDELS-2008-ObataI #modelling #validation: General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool (TO, TI), pp. 889–895.
MoDELS-2008-LiangDDP #approach #integration: A General Approach for Scenario Integration (HL, ZD, JD, EP), pp. 204–218.
MoDELS-2008-ObataI #modelling #validation: General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool (TO, TI), pp. 889–895.
GPCE-2008-ZhangAN #constraints #optimisation #theorem proving: From generic to specific: off-line optimization for a general constraint solver (YZ, TA, FN), pp. 45–54.
LOPSTR-2008-AlpuenteEMO #algorithm #composition #equation: A Modular Equational Generalization Algorithm (MA, SE, JM, PO), pp. 24–39.
POPL-2008-UnkelL #automation #java: Automatic inference of stationary fields: a generalization of java’s final fields (CU, MSL), pp. 183–195.
SAC-2008-LucasCD #classification #fuzzy: General type-2 fuzzy classifiers to land cover classification (LAL, TMC, MRD), pp. 1743–1747.
SAC-2008-Schneider #analysis #hybrid #reachability: Reachability analysis of generalized polygonal hybrid systems (GS), pp. 327–332.
SAC-2008-SchroederM #logic #xml: Conversion of generalization hierarchies and union types from extended entity-relationship model to an XML logical model (RS, RdSM), pp. 1036–1037.
FSE-2008-GabelS #automation #mining #named: Javert: fully automatic mining of general temporal properties from dynamic traces (MG, ZS), pp. 339–349.
ASPLOS-2008-GummarajuCTR #manycore #named #programming #using: Streamware: programming general-purpose multicore processors using streams (JG, JC, YT, MR), pp. 297–307.
CC-2008-KhedkerK #analysis #data flow #interprocedural #performance #precise #string: Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method (UPK, BK), pp. 213–228.
LCTES-2008-EbnerBSKWK #using: Generalized instruction selection using SSA-graphs (DE, FB, BS, AK, PW, AK), pp. 31–40.
OSDI-2008-YuIFBEGC #distributed #named #using: DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language (YY, MI, DF, MB, ÚE, PKG, JC), pp. 1–14.
PPoPP-2008-RulVB #parallel #source code: Extracting coarse-grain parallelism in general-purpose programs (SR, HV, KDB), pp. 281–282.
PPoPP-2008-ZhaiWYH #compilation #concurrent #optimisation #thread: Compiler optimizations for parallelizing general-purpose applications under thread-level speculation (AZ, SW, PCY, GH), pp. 271–272.
CSL-2008-KotekMZ #on the: On Counting Generalized Colorings (TK, JAM, BZ), pp. 339–353.
ICLP-2008-LeeLP #modelling: Safe Formulas in the General Theory of Stable Models (Preliminary Report) (JL, VL, RP), pp. 672–676.
IJCAR-2008-SchmidtT #first-order #logic: A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments (RAS, DT), pp. 194–209.
LICS-2008-Staton #category theory #logic #semantics: General Structural Operational Semantics through Categorical Logic (SS), pp. 166–177.
SAT-2008-AudemardBHJS #analysis #framework: A Generalized Framework for Conflict Analysis (GA, LB, YH, SJ, LS), pp. 21–27.
SAT-2008-PorschenS #linear: A CNF Class Generalizing Exact Linear Formulas (SP, ES), pp. 231–245.
SAT-2008-Urquhart: Regular and General Resolution: An Improved Separation (AU), pp. 277–290.
CASE-2007-ChalfounBKP #fault #matrix #using: Calibration Using Generalized Error Matrices of a Long Reach Articulated Carrier (JC, CB, DK, YP), pp. 777–782.
CASE-2007-RagavanG #framework: A General Telematics Framework for Autonomous Service Robots (SVR, VG), pp. 609–614.
CASE-2007-ReveliotisR0 #algebra #concurrent #correctness #policy #programming #verification: Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies through Mathematical Programming (SR, ER, JYC), pp. 200–206.
CASE-2007-ShibataZHSF #scheduling #self: Generalization of Scheduling Information Acquired Through User Manipulation for Self-construction Production Scheduling System (TS, XZ, XH, YS, SF), pp. 33–38.
DAC-2007-Liu #correlation #design #framework #modelling: A General Framework for Spatial Correlation Modeling in VLSI Design (FL), pp. 817–822.
ICDAR-2007-GuoMBSR #approach #clustering #geometry #web: A General Approach for Partitioning Web Page Content Based on Geometric and Style Information (HFG, JM, YB, AS, IVR), pp. 929–933.
ICDAR-2007-Renaudin #collaboration: A General Method of Segmentation-Recognition Collaboration Applied to Pairs of Touching and Overlapping Symbols (CR), pp. 659–663.
ICDAR-2007-SignerKN #framework #gesture #named #recognition: iGesture: A General Gesture Recognition Framework (BS, UK, MCN), pp. 954–958.
PODS-2007-GottlobMS #np-hard: Generalized hypertree decompositions: np-hardness and tractable variants (GG, ZM, TS), pp. 13–22.
SIGMOD-2007-LiWLWC #clustering #ranking: Supporting ranking and clustering as generalized order-by and group-by (CL, MW, LL, HW, KCCC), pp. 127–138.
VLDB-2007-GibasZF #framework #modelling #optimisation #query: A General Framework for Modeling and Processing Optimization Queries (MG, NZ, HF), pp. 1069–1080.
ESOP-2007-KnowlesF #re-engineering #refinement: Type Reconstruction for General Refinement Types (KLK, CF), pp. 505–519.
FASE-2007-BachFS #eclipse #plugin #programming: Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types (MB, FF, FS), pp. 117–120.
FoSSaCS-2007-BaulandSSSV #complexity #linear #logic #satisfiability: The Complexity of Generalized Satisfiability for Linear Temporal Logic (MB, TS, HS, IS, HV), pp. 48–62.
FoSSaCS-2007-ChatterjeeHP #game studies: Generalized Parity Games (KC, TAH, NP), pp. 153–167.
PLDI-2007-McCreightSLL #framework #garbage collection: A general framework for certifying garbage collectors and their mutators (AM, ZS, CL, LL), pp. 468–479.
SAS-2007-GoubaultP #approximate: Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic (EG, SP), pp. 137–152.
STOC-2007-EnglertRW #metric #order: Reordering buffers for general metric spaces (ME, HR, MW), pp. 556–564.
STOC-2007-GutoskiW #game studies #quantum #towards: Toward a general theory of quantum games (GG, JW), pp. 565–574.
STOC-2007-VassilevskaWY #graph: All-pairs bottleneck paths for general graphs in truly sub-cubic time (VV, RW, RY), pp. 585–589.
CIAA-2007-AllauzenRSSM #finite #library #named #performance #transducer: OpenFst: A General and Efficient Weighted Finite-State Transducer Library (CA, MR, JS, WS, MM), pp. 11–23.
DLT-2007-Henzinger: Quantitative Generalizations of Languages (TAH), pp. 20–22.
ICALP-2007-AlonCHKRS #algorithm #graph: Quasi-randomness and Algorithmic Regularity for Graphs with General Degree Distributions (NA, ACO, HH, MK, VR, MS), pp. 789–800.
ICALP-2007-BoigelotB #automaton #theorem: A Generalization of Cobham’s Theorem to Automata over Real Numbers (BB, JB), pp. 813–824.
ICALP-2007-Laird #semantics: A Fully Abstract Trace Semantics for General References (JL), pp. 667–679.
LATA-2007-HanW #regular expression: Generalizations of One-Deterministic Regular Languages (YSH, DW), pp. 273–284.
IFM-2007-DunneG #correctness: Lifting General Correctness into Partial Correctness is ok (SD, AG), pp. 215–232.
SFM-2007-Balbo #petri net #probability: Introduction to Generalized Stochastic Petri Nets (GB), pp. 83–131.
AGTIVE-2007-GeissK #graph grammar #performance: GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool (RG, MK), pp. 568–569.
HCI-IDU-2007-Berkman #approach #interactive #testing #usability: General Interaction Expertise: An Approach for Sampling in Usability Testing of Consumer Products (AEB), pp. 397–406.
AdaEurope-2007-MosteoM #ada #architecture #mobile #named #research: Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research (ARM, LM), pp. 221–234.
EDOC-2007-MilanovicKGGWDH #integration #process #using: Business Process Integration by Using General Rule Markup Language (MM, NK, DG, AG, GW, VD, MH), pp. 353–364.
ICEIS-AIDSS-2007-CarvalhoRC: Obtaining and Evaluating Generalized Association Rules (VOdC, SOR, MdC), pp. 310–315.
ICEIS-AIDSS-2007-VassilevaVSD #multi #optimisation: Generalized Multicriteria Optimization Software System MKO-2 (MV, VV, BS, DD), pp. 283–288.
CIKM-2007-LadY #feedback #using: Generalizing from relevance feedback using named entity wildcards (AL, YY), pp. 721–730.
ICML-2007-MosciRV #reduction: Dimensionality reduction and generalization (SM, LR, AV), pp. 657–664.
ICML-2007-YamazakiKWSM #fault: Asymptotic Bayesian generalization error when training and test distributions are different (KY, MK, SW, MS, KRM), pp. 1079–1086.
KDD-2007-WangPM #analysis #component: Generalized component analysis for text with heterogeneous attributes (XW, CP, AM), pp. 794–803.
MLDM-2007-CaoH #feature model: Affine Feature Extraction: A Generalization of the Fukunaga-Koontz Transformation (WC, RMH), pp. 160–173.
MLDM-2007-SuarezM #algorithm #clustering: A Clustering Algorithm Based on Generalized Stars (APS, JEMP), pp. 248–262.
ECMDA-FA-2007-MaraeeB #diagrams #finite #performance #reasoning #satisfiability #set #uml: Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets (AM, MB), pp. 17–31.
ECOOP-2007-WehrLT #interface #java: JavaGI : Generalized Interfaces for Java (SW, RL, PT), pp. 347–372.
POPL-2007-AppelMRV #type system: A very modal model of a modern, major, general type system (AWA, PAM, CDR, JV), pp. 109–122.
SAC-2007-JinM #network #scheduling: An analytical model for generalized processor sharing scheduling with heterogeneous network traffic (XJ, GM), pp. 198–202.
SAC-2007-Teo #adaptation #algorithm #generative #optimisation: Investigating adaptive mutation in the generalized generation gap (G3) algorithm for unconstrained global optimization (JT), pp. 743–744.
SAC-2007-Varma #program analysis #program transformation #recognition: Generalizing recognition of an individual dialect in program analysis and transformation (PV), pp. 1432–1439.
SAC-2007-YangWK #analysis #modelling #partial order: General dominant relationship analysis based on partial order models (ZY, BW, MK), pp. 470–474.
ESEC-FSE-2007-CottrellCWD: Determining detailed structural correspondence for generalization tasks (RC, JJCC, RJW, JD), pp. 165–174.
LCTES-2007-CoffmanHMW #analysis #parametricity: Generalizing parametric timing analysis (JC, CAH, FM, DBW), pp. 152–154.
SOSP-2007-FrostMKRHMZ #dependence #file system: Generalized file system dependencies (CF, MM, EK, AdlR, SH, AM, LZ), pp. 307–320.
CADE-2007-Aderhold: Improvements in Formula Generalization (MA), pp. 231–246.
LICS-2007-Tzevelekos #abstraction: Full abstraction for nominal general references (NT), pp. 399–410.
SAT-2007-HeuleM #multi: From Idempotent Generalized Boolean Assignments to Multi-bit Search (MH, HvM), pp. 134–147.
CASE-2006-LeeLS #clustering #graph: Token delays and generalized workload balancing for timed event graphs with application to cluster tool operation (TEL, HYL, RSS), pp. 93–99.
VLDB-2006-ChenLTHAC #bottom-up #documentation #named #query #stack #xml: Twig2Stack: Bottom-up Processing of Generalized-Tree-Pattern Queries over XML Documents (SC, HGL, JT, WPH, DA, KSC), pp. 283–294.
DLT-J-2005-Okhotin06 #algorithm #boolean grammar #glr #parsing: Generalized Lr Parsing Algorithm for Boolean Grammars (AO), pp. 629–664.
DLT-J-2005-Thomas06 #multi #sequence: Multidimensional Sturmian Sequences and Generalized Substitutions (TF), pp. 575–600.
ICALP-v1-2006-KormanP #graph: Dynamic Routing Schemes for General Graphs (AK, DP), pp. 619–630.
ICALP-v2-2006-LyubashevskyM: Generalized Compact Knapsacks Are Collision Resistant (VL, DM), pp. 144–155.
FM-2006-LundS #diagrams #semantics #sequence chart #uml: A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice (MSL, KS), pp. 380–395.
CSCW-2006-GutwinFWDB #network #performance #realtime: Improving network efficiency in real-time groupware with general message compression (CG, CF, MW, JD, TB), pp. 119–128.
CIKM-2006-AchtertBKKPR #approximate #metric #nearest neighbour #query: Approximate reverse k-nearest neighbor queries in general metric spaces (EA, CB, PK, PK, AP, MR), pp. 788–789.
CIKM-2006-KunkleZC #mining #performance: Efficient mining of max frequent patterns in a generalized environment (DK, DZ, GC), pp. 810–811.
CIKM-2006-LiC #detection #topic #using: Improving novelty detection for general topics using sentence level information patterns (XL, WBC), pp. 238–247.
CIKM-2006-Metzler #estimation #modelling #retrieval: Estimation, sensitivity, and generalization in parameterized retrieval models (DM), pp. 812–813.
ICML-2006-MoghaddamWA #bound: Generalized spectral bounds for sparse LDA (BM, YW, SA), pp. 641–648.
ICPR-v1-2006-ArzhaevaGT #classification #detection #distance #image: Image Classification from Generalized Image Distance Features: Application to Detection of Interstitial Disease in Chest Radiographs (YA, BvG, DMJT), pp. 367–370.
ICPR-v2-2006-BrooksA #composition #image: Generalizing inverse compositional image alignment (RB, TA), pp. 1200–1203.
ICPR-v2-2006-ChouKC #nearest neighbour #reduction: The Generalized Condensed Nearest Neighbor Rule as A Data Reduction Method (CHC, BHK, FC), pp. 556–559.
ICPR-v2-2006-Gil-GarciaBP #algorithm #clustering #framework: A General Framework for Agglomerative Hierarchical Clustering Algorithms (RGG, JMBC, APP), pp. 569–572.
ICPR-v2-2006-RahtuSHF #invariant: Generalized affine moment invariants for object recogntion (ER, MS, JH, JF), pp. 634–637.
ICPR-v2-2006-Ren #algorithm: A Pattern Selection Algorithm Based on the Generalized Confidence (JR), pp. 824–827.
ICPR-v2-2006-ZhengT #algorithm #robust: A Robust Algorithm for Generalized Orthonormal Discriminant Vectors (WZ, XT), pp. 784–787.
ICPR-v2-2006-ZouL #learning #performance #sequence: The Generalization Performance of Learning Machine Based on Phi-mixing Sequence (BZ, LL), pp. 548–551.
ICPR-v3-2006-AbateNRS #3d #fourier #recognition #using: 3D Face Recognition using Normal Sphere and General Fourier Descriptor (AFA, MN, DR, GS), pp. 1183–1186.
ICPR-v3-2006-ArtolazabalIA #invariant #named: LIGHT: Local Invariant Generalized Hough Transform (JARA, JI, ASA), pp. 304–307.
ICPR-v3-2006-Morii #algorithm: A Generalized K-Means Algorithm with Semi-Supervised Weight Coefficients (FM), pp. 198–201.
KDD-2006-FanMY #framework #performance #random #summary: A general framework for accurate and fast regression by data summarization in random decision trees (WF, JM, PSY), pp. 136–146.
SIGIR-2006-Baeza-YatesBC #algorithm #rank #ranking: Generalizing PageRank: damping functions for link-based ranking algorithms (RABY, PB, CC), pp. 308–315.
SIGIR-2006-BeerM #named #towards: Rpref: a generalization of Bpref towards graded relevance judgments (JDB, MFM), pp. 637–638.
MoDELS-2006-CostalGQRT #constraints #uml: Facilitating the Definition of General Constraints in UML (DC, CG, AQ, RR, ET), pp. 260–274.
MoDELS-2006-CostalGQRT #constraints #uml: Facilitating the Definition of General Constraints in UML (DC, CG, AQ, RR, ET), pp. 260–274.
ECOOP-2006-EmirKRY #c# #constraints: Variance and Generalized Constraints for C^# Generics (BE, AK, CVR, DY), pp. 279–303.
POPL-2006-PottierR #algebra #data type #type inference: Stratified type inference for generalized algebraic data types (FP, YRG), pp. 232–244.
RE-2006-Smith #development #documentation #requirements: Systematic Development of Requirements Documentation for General Purpose Scientific Computing Software (SS), pp. 205–215.
SAC-2006-Ferrer-TroyanoAS #classification #data type #incremental #learning: Data streams classification by incremental rule learning with parameterized generalization (FJFT, JSAR, JCRS), pp. 657–661.
SAC-2006-WuGL #analysis #database #modelling #towards: Towards value disclosure analysis in modeling general databases (XW, SG, YL), pp. 617–621.
ICSE-2006-ManoliosV #proving #static analysis #termination #theorem proving: Integrating static analysis and general-purpose theorem proving for termination analysis (PM, DV), pp. 873–876.
ASPLOS-2006-TarditiPO #named #parallel #using: Accelerator: using data parallelism to program GPUs for general-purpose uses (DT, SP, JO), pp. 325–335.
OSDI-2006-YangSE #fault #lightweight #named: EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors (JY, CS, DRE), pp. 131–146.
CAV-2006-JuvekarP #automaton: Minimizing Generalized Büchi Automata (SJ, NP), pp. 45–58.
CAV-2006-RoyZFH #consistency #memory management #performance #polynomial #verification: Fast and Generalized Polynomial Time Memory Consistency Verification (AR, SZ, CJF, JCH), pp. 503–516.
ICLP-2006-InoueS #programming #set: Generality Relations in Answer Set Programming (KI, CS), pp. 211–225.
RTA-2006-GramlichL #linear #term rewriting: Generalizing Newman’s Lemma for Left-Linear Rewrite Systems (BG, SL), pp. 66–80.
SAT-2006-JainBC #satisfiability #using: Satisfiability Checking of Non-clausal Formulas Using General Matings (HJ, CB, EMC), pp. 75–89.
WICSA-2005-HofmeisterKNORA #architecture #design #industrial: Generalizing a Model of Software Architecture Design from Five Industrial Approaches (CH, PK, RLN, JHO, AR, PA), pp. 77–88.
WICSA-2005-MuskensBC #consistency: Generalizing Consistency Checking between Software Views (JM, RJB, MRVC), pp. 169–180.
CASE-2005-ChiangF #problem #scheduling: An iterative refining mechanism for general job shop scheduling problems (TCC, LCF), pp. 203–208.
CASE-2005-PanSY #approach #optimisation #problem: A new optimization approach to the general single machine earliness-tardiness problem (YP, LS, HY), pp. 43–48.
DAC-2005-KhandelwalS #analysis #correlation #framework #statistics: A general framework for accurate statistical timing analysis considering correlations (VK, AS), pp. 89–94.
HT-2005-RutledgeAHV #semantics: Generalized semantics-to-document derivation (LR, MA, LH, MV), pp. 284–285.
VLDB-2005-Saint-PaulRM #database #summary: General Purpose Database Summarization (RSP, GR, NM), pp. 733–744.
PASTE-2005-KhurshidS #execution #library #symbolic computation: Generalizing symbolic execution to library classes (SK, YLS), pp. 103–110.
STOC-2005-BadoiuCIS #metric: Low-distortion embeddings of general metrics into the line (MB, JC, PI, AS), pp. 225–233.
STOC-2005-KalaiLP #composition #concurrent #protocol: Concurrent general composition of secure protocols in the timing model (YTK, YL, MP), pp. 644–653.
CIAA-J-2004-HanW05 #automaton: The generalization of generalized automata: expression automata (YSH, DW), pp. 499–510.
ICALP-2005-JainHT #concurrent #problem: The Generalized Deadlock Resolution Problem (KJ, MTH, KT), pp. 853–865.
ICFP-2005-Nilsson #algebra #data type #functional #optimisation #programming #using: Dynamic optimization for functional reactive programming using generalized algebraic data types (HN), pp. 54–65.
ICFP-2005-PettyjohnCMKF #continuation #stack: Continuations from generalized stack inspection (GP, JC, JM, SK, MF), pp. 216–227.
CAiSE-2005-RizopoulosM #approach #concept #generative #model transformation: A General Approach to the Generation of Conceptual Model Transformations (NR, PM), pp. 326–341.
CIKM-2005-ArvolaJK #information retrieval #xml: Generalized contextualization method for XML information retrieval (PA, MJ, JK), pp. 20–27.
ICML-2005-CortesMW #learning: A general regression technique for learning transductions (CC, MM, JW), pp. 153–160.
ICML-2005-CrandallG #game studies #learning: Learning to compete, compromise, and cooperate in repeated general-sum games (JWC, MAG), pp. 161–168.
ICML-2005-DrakeV #learning: A practical generalization of Fourier-based learning (AD, DV), pp. 185–192.
ICML-2005-KaariainenL #bound #comparison #fault: A comparison of tight generalization error bounds (MK, JL), pp. 409–416.
ICML-2005-Keerthi #classification #effectiveness #feature model: Generalized LARS as an effective feature selection tool for text classification with SVMs (SSK), pp. 417–424.
ICML-2005-RayP: Generalized skewing for functions with continuous and nominal attributes (SR, DP), pp. 705–712.
KDD-2005-Li #clustering: A general model for clustering binary data (TL), pp. 188–197.
KDD-2005-YangPM #framework #mining: A generalized framework for mining spatio-temporal patterns in scientific data (HY, SP, SM), pp. 716–721.
ECMDA-FA-2005-Kleppe #towards: Towards General Purpose, High Level, Software Languages (AK), pp. 220–238.
OOPSLA-2005-KennedyR #algebra #data type #object-oriented #programming: Generalized algebraic data types and object-oriented programming (AK, CVR), pp. 21–40.
GPCE-2005-BravenboerVVV #ambiguity #metaprogramming #source code #syntax #type system: Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax (MB, RV, JJV, EV), pp. 157–172.
SAC-2005-StefanescuTT #distributed #evaluation #query: Distributed evaluation of generalized path queries (DCS, AT, LT), pp. 610–616.
ICSE-2005-BasitRJ #case study: Beyond templates: a study of clones in the STL and some general implications (HAB, DCR, SJ), pp. 451–459.
CC-2005-BartonTBA: Generalized Index-Set Splitting (CB, AT, BB, JNA), pp. 106–120.
CGO-2005-DaiZHY #compilation #framework #optimisation #using: A General Compiler Framework for Speculative Optimizations Using Data Speculative Code Motion (XD, AZ, WCH, PCY), pp. 280–290.
HPDC-2005-DalheimerPM #grid #named: Calana: a general-purpose agent-based grid scheduler (MD, FJP, PM), pp. 279–280.
SAT-J-2004-BaulandCCHV05 #algebra #approach #complexity #query: An Algebraic Approach to the Complexity of Generalized Conjunctive Queries (MB, PC, NC, MH, HV), pp. 30–45.
CADE-2005-FermullerP #representation: Model Representation via Contexts and Implicit Generalizations (CGF, RP), pp. 409–423.
LICS-2005-Dalmau: Generalized Majority-Minority Operations are Tractable (VD), pp. 438–447.
LICS-2005-GodefroidH #logic #model checking #semantics: Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics (PG, MH), pp. 158–167.
LICS-2005-WashburnW #data flow #parametricity #using: Generalizing Parametricity Using Information-flow (GW, SW), pp. 62–71.
RTA-2005-EscobarMT #term rewriting: Natural Narrowing for General Term Rewriting Systems (SE, JM, PT), pp. 279–293.
RTA-2005-PolZ: Generalized Innermost Rewriting (JvdP, HZ), pp. 2–16.
VMCAI-2005-LamKR #consistency #data type #type system: Generalized Typestate Checking for Data Structure Consistency (PL, VK, MCR), pp. 430–447.
DAC-2004-ShehataA #composition #verification: A general decomposition strategy for verifying register renaming (HIS, MA), pp. 234–237.
DAC-2004-WangM #constraints #power management: Buffer sizing for clock power minimization subject to general skew constraints (KW, MMS), pp. 159–164.
DATE-v2-2004-SinghT #architecture #multi: Generalized Latency-Insensitive Systems for Single-Clock and Multi-Clock Architectures (MS, MT), pp. 1008–1013.
DRR-2004-WenD #documentation #framework #multi #segmentation: A general framework for multicharacter segmentation and its application in recognizing multilingual Asian documents (DW, XD), pp. 147–154.
VLDB-2004-PandeyDO #algorithm #monitoring #named #web: WIC: A General-Purpose Algorithm for Monitoring Web Information Sources (SP, KD, CO), pp. 360–371.
ITiCSE-2004-Leska #education #programming #using: Introducing undergraduates to programming using robots in the general education curriculum (CL), p. 263.
PLDI-2004-SmithRH #algorithm #graph: A generalized algorithm for graph-coloring register allocation (MDS, NR, GHH), pp. 277–288.
SAS-2004-KuncakR #logic: Generalized Records and Spatial Conjunction in Role Logic (VK, MCR), pp. 361–376.
STOC-2004-ShpilkaW #morphism #testing: Derandomizing homomorphism testing in general groups (AS, AW), pp. 427–435.
CIAA-2004-AllauzenMR #library: A General Weighted Grammar Library (CA, MM, BR), pp. 23–34.
CIAA-2004-HanW #automaton: The Generalization of Generalized Automata: Expression Automata (YSH, DW), pp. 156–166.
ICALP-2004-FranceschiniG #data type #string: A General Technique for Managing Strings in Comparison-Driven Data Structures (GF, RG), pp. 606–617.
ICALP-2004-NikoletseasRS #graph #independence #performance #random #scalability #set: The Existence and Efficient Construction of Large Independent Sets in General Random Intersection Graphs (SEN, CR, PGS), pp. 1029–1040.
ICALP-2004-OstrovskyRS #commit #consistency #database #performance #proving #query: Efficient Consistency Proofs for Generalized Queries on a Committed Database (RO, CR, AS), pp. 1041–1053.
SEFM-2004-LaibinisT #architecture #fault tolerance #specification: Fault Tolerance in a Layered Architecture: A General Specification Pattern in B (LL, ET), pp. 346–355.
IFL-2004-ShafarenkoS: General Homomorphic Overloading (AVS, SBS), pp. 195–210.
CAiSE-2004-Soderstrom #lifecycle #standard: Formulating a General Standards Life Cycle (ES), pp. 263–275.
ICEIS-v2-2004-WallaceK #clustering #performance #robust: Robust, Generalized, Quick and Efficient Agglomerative Clustering (MW, SDK), pp. 409–416.
ICEIS-v5-2004-KoutsomitropoulosTTP #development #repository #towards: Towards the Development of a General-Purpose Digital Repository (DAK, AAT, DKT, TSP), pp. 271–278.
ICML-2004-TaoSVO #approximate #learning #multi: SVM-based generalized multiple-instance learning via approximate box counting (QT, SDS, NVV, TTO).
ICML-2004-Ye #approximate #matrix #rank: Generalized low rank approximations of matrices (JY).
ICML-2004-YeJLP #analysis #feature model #linear: Feature extraction via generalized uncorrelated linear discriminant analysis (JY, RJ, QL, HP).
ICPR-v1-2004-BouguilaZ #finite #learning #modelling: A Powreful Finite Mixture Model Based on the Generalized Dirichlet Distribution: Unsupervised Learning and Applications (NB, DZ), pp. 280–283.
ICPR-v1-2004-ChaoK: A Fibre Bundle Model of Surfaces and Its Generalization (JC, JK), pp. 560–563.
ICPR-v1-2004-FungM #parallel #using: Using Multiple Graphics Cards as a General Purpose Parallel Computer : Applications to Computer Vision (JF, SM), pp. 805–808.
ICPR-v4-2004-MacDormanCA #component #generative #network #segmentation: Periodic Nonlinear Principal Component Neural Networks for Humanoid Motion Segmentation, Generalization, and Generation (KFM, RC, MA), pp. 537–540.
KDD-2004-BanerjeeDGMM #approach #approximate #clustering #matrix: A generalized maximum entropy approach to bregman co-clustering and matrix approximation (AB, ISD, JG, SM, DSM), pp. 509–514.
KDD-2004-DavidsonGST #algorithm #approach #data mining #matrix #mining #quality: A general approach to incorporate data quality matrices into data mining algorithms (ID, AG, AS, GKT), pp. 794–798.
KDD-2004-SteinbachTXK: Generalizing the notion of support (MS, PNT, HX, VK), pp. 689–694.
SEKE-2004-CookZ #generalised parsing #named #parsing: GOLD: A Generalized Parsing System (DC, DZ), pp. 179–184.
GPCE-2004-ZolyomiP #library #towards: Towards a General Template Introspection Library (IZ, ZP), pp. 266–282.
LOPSTR-2004-EscobarMT #term rewriting: Natural Rewriting for General Term Rewriting Systems (SE, JM, PT), pp. 101–116.
SAC-2004-FeltlR #algorithm #hybrid #problem #search-based: An improved hybrid genetic algorithm for the generalized assignment problem (HF, GRR), pp. 990–995.
SPLC-2004-Taborda #architecture #product line #release planning: Generalized Release Planning for Product Line Architectures (LJMT), pp. 238–254.
ASPLOS-2004-LowellSS #maintenance #online #virtual machine: Devirtualizable virtual machines enabling general, single-node, online maintenance (DEL, YS, EJS), pp. 211–223.
ISMM-2004-Smaragdakis #adaptation #policy: General adaptive replacement policies (YS), pp. 108–119.
CSL-2004-DawsonG #termination #theorem: A General Theorem on Termination of Rewriting (JED, RG), pp. 100–114.
IJCAR-2004-BaaderGT #decidability #logic #problem #word: A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics (FB, SG, CT), pp. 183–197.
SAT-2004-BaulandCCHV #algebra #approach #complexity #query: An Algebraic Approach to the Complexity of Generalized Conjunctive Queries (MB, PC, NC, MH, HV), pp. 181–190.
DAC-2003-JiangMB #evaluation #logic: Generalized cofactoring for logic function evaluation (YJ, SM, RKB), pp. 155–158.
DAC-2003-QinC #reduction #using: Realizable parasitic reduction using generalized Y-Delta transformation (ZQ, CKC), pp. 220–225.
DATE-2003-ChakrabortyKT #design #embedded #framework: A General Framework for Analysing System Properties in Platform-Based Embedded System Designs (SC, SK, LT), pp. 10190–10195.
DATE-2003-Dales #configuration management: Managing a Reconfigurable Processor in a General Purpose Workstation Environment (MD), pp. 10980–10985.
DATE-2003-EeckelaertDGS #modelling #performance: Generalized Posynomial Performance Modeling (TE, WD, GGEG, WMCS), pp. 10250–10255.
DATE-2003-LuzKKS #behaviour #data transformation: Generalized Data Transformations for Enhancing Cache Behavior (VDLL, MTK, IK, US), pp. 10906–10911.
DATE-2003-RapakaM #analysis #embedded #performance: Pre-Characterization Free, Efficient Power/Performance Analysis of Embedded and General Purpose Software Applications (VSPR, DM), pp. 10504–10509.
DRR-2003-LuanLD #documentation: General Chinese document capture system with an improved error-rejecting module (DL, CL, XD), pp. 257–265.
ICDAR-2003-PearceA #algorithm #segmentation: An Evolutionary Algorithm for General Symbol Segmentation (SP, MA), pp. 726–730.
ICDAR-2003-ToujAA #recognition: Generalized Hough Transform for Arabic Optical Character Recognition (ST, NEBA, HA), pp. 1242–1246.
VLDB-2003-ChenJLP #evaluation #performance #xquery: From Tree Patterns to Generalized Tree Patterns: On Efficient Evaluation of XQuery (ZC, HVJ, LVSL, SP), pp. 237–248.
VLDB-2003-TsoisS #dependence #optimisation: The Generalized Pre-Grouping Transformation: Aggregate-Query Optimization in the Presence of Dependencies (AT, TKS), pp. 644–655.
FoSSaCS-2003-AbelMU #data type #higher-order: Generalized Iteration and Coiteration for Higher-Order Nested Datatypes (AA, RM, TU), pp. 54–69.
TACAS-2003-KhurshidPV #execution #model checking #symbolic computation #testing: Generalized Symbolic Execution for Model Checking and Testing (SK, CSP, WV), pp. 553–568.
IWPC-2003-Cordy #agile #semiparsing #source code #using #xml: Generalized Selective XML Markup of Source Code Using Agile Parsing (JRC), pp. 144–153.
DLT-2003-DrewesE #branch: Branching Grammars: A Generalization of ET0L Systems (FD, JE), pp. 266–278.
ICALP-2003-BonisGV #framework #testing: Generalized Framework for Selectors with Applications in Optimal Group Testing (ADB, LG, UV), pp. 81–96.
ICALP-2003-BruniM: Generalized Rewrite Theories (RB, JM), pp. 252–266.
ICALP-2003-HromkovicS03a #automaton #finite #nondeterminism: Nondeterminism versus Determinism for Two-Way Finite Automata: Generalizations of Sipser’s Separation (JH, GS), pp. 439–451.
ICALP-2003-SittersSP #algorithm #problem: A Competitive Algorithm for the General 2-Server Problem (RS, LS, WdP), pp. 624–636.
FME-2003-AldiniB #approach #architecture #concurrent #verification: A General Approach to Deadlock Freedom Verification for Software Architectures (AA, MB), pp. 658–677.
ICFP-2003-BenzakenCF #named #xml: CDuce: an XML-centric general-purpose language (VB, GC, AF), pp. 51–63.
ICEIS-v2-2003-KjellinD #knowledge base: A General Knowledge Base for Comparing Descriptions of Knowledge (HK, SD), pp. 272–279.
CIKM-2003-LiZO #analysis #categorisation #multi #performance: Efficient multi-way text categorization via generalized discriminant analysis (TL, SZ, MO), pp. 317–324.
ICML-2003-ConitzerS #algorithm #learning #multi #named #self: AWESOME: A General Multiagent Learning Algorithm that Converges in Self-Play and Learns a Best Response Against Stationary Opponents (VC, TS), pp. 83–90.
ICML-2003-Zinkevich #online #programming: Online Convex Programming and Generalized Infinitesimal Gradient Ascent (MZ), pp. 928–936.
MLDM-2003-AntunesO #constraints #mining: Generalization of Pattern-Growth Methods for Sequential Pattern Mining with Gap Constraints (CA, ALO), pp. 239–251.
SEKE-2003-ShaoC: Management of the Growing Book as Generalized Objects (SS, SKC), pp. 599–606.
OOPSLA-2003-TipKB #constraints #refactoring #using: Refactoring for generalization using type constraints (FT, AK, DB), pp. 13–26.
LDTA-2003-BrandKMV #ambiguity #generalised parsing #parsing #semantics #term rewriting: Generalized Parsing and Term Rewriting: Semantics Driven Disambiguation (MvdB, SK, LM, JJV), pp. 575–591.
DAC-2002-LinC #named #orthogonal: TCG-S: orthogonal coupling of P*-admissible representations for general floorplans (JML, YWC), pp. 842–847.
DAC-2002-MassoudW #approach: Improving the generality of the fictitious magnetic charge approach to computing inductances in the presence of permeable materials (YM, JW), pp. 552–555.
DAC-2002-OrshanskyK #analysis #framework #probability: A general probabilistic framework for worst case timing analysis (MO, KK), pp. 556–561.
DATE-2002-Hieu #analysis #design #feedback #linear #optimisation: Optimization Techniques for Design of General and Feedback Linear Analog Amplifier with Symbolic Analysis (TcH), p. 1104.
DATE-2002-ThorntonFRT #evaluation #self: Generalized Early Evaluation in Self-Timed Circuits (MAT, KF, RBR, CT), pp. 255–259.
SIGMOD-2002-MoonWH #database #sequence: General match: a subsequence matching method in time-series databases based on generalized windows (YSM, KYW, WSH), pp. 382–393.
VLDB-2002-LakshmananNWZJ #approach #summary: The Generalized MDL Approach for Summarization (LVSL, RTN, CXW, XZ, TJ), pp. 766–777.
PASTE-2002-BrownDEHJVW #encoding #framework #named #performance: STEP: a framework for the efficient encoding of general trace data (RB, KD, DE, LJH, JJ, CV, QW), pp. 27–34.
ASIA-PEPM-2002-FutamuraKG #algorithm #automation #generative #performance #string: Automatic generation of efficient string matching algorithms by generalized partial computation (YF, ZK, RG), pp. 1–8.
PLDI-2002-ChilimbiH #data type #source code: Dynamic Hot Data Stream Prefetching for General-Purpose Programs (TMC, MH), pp. 199–209.
STOC-2002-AlekhnovichJPU #exponential: An exponential separation between regular and general resolution (MA, JJ, TP, AU), pp. 448–456.
STOC-2002-FiatGHK: Competitive generalized auctions (AF, AVG, JDH, ARK), pp. 72–81.
STOC-2002-FischerLNRRS #testing: Monotonicity testing over general poset domains (EF, EL, IN, SR, RR, AS), pp. 474–483.
CSCW-2002-DavisSL #standard: Generalizing operational transformation to the standard general markup language (AHD, CS, JL), pp. 58–67.
ICML-2002-GargHR #bound #on the: On generalization bounds, projection profile, and margin distribution (AG, SHP, DR), pp. 171–178.
ICPR-v1-2002-KimuraW #2d #detection #invariant: An Extension of the Generalized Hough Transform to Realize Affine-Invariant Two-dimensional (2D) Shape Detection (AK, TW), pp. 65–69.
ICPR-v1-2002-WechslerDLC #bound #predict #using: Motion Prediction Using VC-Generalization Bounds (HW, ZD, FL, VC), pp. 151–154.
ICPR-v1-2002-Wilkinson: Generalized Pattern Spectra Sensitive to Spatial Information (MHFW), pp. 21–24.
ICPR-v2-2002-RonnebergerBS #3d #classification #invariant #recognition #set #using: General-Purpose Object Recognition in 3D Volume Data Sets Using Gray-Scale Invariants --- Classification of Airborne Pollen-Grains Recorded with a Confocal Laser Scanning Microscope (OR, HB, ES), p. 290–?.
ICPR-v3-2002-LeungKCT #documentation #fuzzy #image #normalisation #using: Normalization of Contrast in Document Images Using Generalized Fuzzy Operator with Least Square Method (CCL, PCKK, FHYC, WKT), pp. 115–118.
ICPR-v3-2002-MolinaMKV #image #modelling #multi #using: A General Multichannel Image Restoration Method Using Compound Models (RM, JM, AKK, MV), pp. 835–838.
KDD-2002-Agarwal: Shrinkage estimator generalizations of Proximal Support Vector Machines (DKA), pp. 173–182.
KR-2002-KoniecznyLM #complexity #distance #framework: Distance Based Merging: A General Framework and some Complexity Results (SK, JL, PM), pp. 97–108.
SIGIR-2002-KeskustaloHA #framework #query: UTACLIR -: general query translation framework for several language pairs (HK, TH, EA), p. 448.
LOPSTR-2002-AmatoS #alias #framework #towards: A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties (GA, FS), pp. 52–70.
CC-2002-BrandSVV #ambiguity #glr #parsing: Disambiguation Filters for Scannerless Generalized LR Parsers (MvdB, JS, JJV, EV), pp. 143–158.
CAV-2002-GodefroidJ #abstraction #automation #model checking #using: Automatic Abstraction Using Generalized Model Checking (PG, RJ), pp. 137–150.
CSL-2002-BaazM #on the: On Generalizations of Semi-terms of Particularly Simple Form (MB, GM), pp. 382–396.
CSL-2002-Levy #call-by #semantics: Possible World Semantics for General Storage in Call-By-Value (PBL), pp. 232–246.
ICLP-2002-VaucheretGM #fuzzy #implementation #prolog #using: Fuzzy Prolog: A Simple General Implementation Using CLP(R) (CV, SG, SMH), p. 469.
LICS-2002-AhmedAV #semantics: A Stratified Semantics of General References A Stratified Semantics of General References (AJA, AWA, RV), p. 75–?.
SAT-2002-CreignouD #problem #random #satisfiability: Random generalized satisfiability problems (NC, HD), p. 2.
SAT-2002-Szeider: Generalizations of matched CNF formulas (SS), p. 7.
CBSE-2001-Wile #architecture #using: Ensuring General-Purpose and Domain-Specific Properties Using Architectural Styles (DSW), p. 6.
DATE-2001-EspejoEMO #logic #optimisation #reasoning: Generalized reasoning scheme for redundancy addition and removal logic optimization (JAE, LE, ESM, EO), pp. 391–397.
HT-2001-WuKB #adaptation #design #hypermedia: Design issues for general-purpose adaptive hypermedia systems (HW, EdK, PDB), pp. 141–150.
ICDAR-2001-MartiB #independence #recognition #segmentation #word: Text Line Segmentation and Word Recognition in a System for General Writer Independent Handwriting Recognition (UVM, HB), pp. 159–163.
ICDAR-2001-ZhaoL #documentation #kernel #recognition: High-Precision Two-Kernel Chinese Character Recognition in General Document Processing Systems (SLZ, HJL), pp. 617–621.
VLDB-2001-CuiW: Lineage Tracing for General Data Warehouse Transformations (YC, JW), pp. 471–480.
CSEET-2001-Cowling #re-engineering: Structuring the Disciplines Related to Software Engineering: A General Model (AJC), p. 231–?.
STOC-2001-ElkinP #graph: (1+ε,β)-Spanner Constructions for General Graphs (ME, DP), pp. 173–182.
FLOPS-2001-Sulzmann #framework #type inference: A General Type Inference Framework for Hindley/Milner Style Systems (MS), pp. 248–263.
CIAA-2001-Bochmann: Submodule Construction and Supervisory Control: A Generalization (GvB), pp. 27–39.
CIAA-2001-Neto #adaptation #case study: Adaptive Rule-Driven Devices — General Formulation and Case Study (JJN), pp. 234–250.
DLT-2001-Esik #equation #fixpoint: The Equational Theory of Fixed Points with Applications to Generalized Language Theory (ZÉ), pp. 21–36.
ICML-2001-ChoiR #approximate #difference #fixpoint #learning #performance: A Generalized Kalman Filter for Fixed Point Approximation and Efficient Temporal Difference Learning (DC, BVR), pp. 43–50.
ICML-2001-DomingosH #algorithm #clustering #machine learning #scalability: A General Method for Scaling Up Machine Learning Algorithms and its Application to Clustering (PMD, GH), pp. 106–113.
ICML-2001-Hutter #bound #predict #sequence: General Loss Bounds for Universal Sequence Prediction (MH), pp. 210–217.
ICML-2001-Littman #game studies: Friend-or-Foe Q-learning in General-Sum Games (MLL), pp. 322–328.
KDD-2001-Agrarwal #modelling #predict: Applications of generalized support vector machines to predictive modeling (NA), p. 6.
KDD-2001-KaltonLWY #clustering #learning: Generalized clustering, supervised learning, and data assignment (AK, PL, KW, JPY), pp. 299–304.
SEKE-2001-SierraFFN: Operationalizing Application Descriptions in DTC: Building Applications with Generalized Markup Technologies (JLS, AFV, BFM, AN), pp. 379–386.
SIGIR-2001-AndoL #analysis: Iterative Residual Rescaling: An Analysis and Generalization of LSI (RKA, LL), pp. 154–162.
GCSE-2001-HanenbergBU #aspect-oriented: An Object Model for General-Purpose Aspect Languages (SH, BB, RU), pp. 80–91.
LOPSTR-2001-Caldwell #recursion #type system: Extracting General Recursive Program Schemes in Nuprl’s Type Theory (JLC), pp. 233–244.
SAC-2001-TranHJ #design #multi #physics: A generalized air-cache design for efficiently boradcasting on multiple physical channels (DAT, KAH, NJ), pp. 387–392.
ICSE-2001-McUmberC #formal method #framework #uml: A General Framework for Formalizing UML with Formal Languages (WEM, BHCC), pp. 433–442.
LCTES-OM-2001-MerillonM #embedded #framework #hardware: Dealing with Hardware in Embedded Software: A General Framework Based on the Devil Language (FM, GM), pp. 121–127.
SOSP-2001-EnglerCC #approach #behaviour #consistency #debugging #fault: Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code (DRE, DYC, AC), pp. 57–72.
CAV-2001-KuehlmannB #using #verification: Transformation-Based Verification Using Generalized Retiming (AK, JB), pp. 104–117.
CSL-2001-GalotaV #automaton #theorem: A Generalization of the Büchi-Elgot-Trakhtenbrot Theorem (MG, HV), pp. 355–368.
IJCAR-2001-Peltier #automation #deduction #using: A General Method for Using Schematizations in Automated Deduction (NP), pp. 578–592.
RTA-2001-BerarducciB #algebra #higher-order #recursion: General Recursion on Second Order Term Algebras (AB, CB), pp. 15–30.
DAC-2000-HutchingsN #design #programming language #using: Using general-purpose programming languages for FPGA design (BLH, BEN), pp. 561–566.
DAC-2000-QiuWP #petri net #power management #probability #using: Dynamic power management of complex systems using generalized stochastic Petri nets (QQ, QW, MP), pp. 352–356.
DATE-2000-SchwenckerSGA #automation #bound #design: The Generalized Boundary Curve-A Common Method for Automatic Nominal Design and Design Centering of Analog Circuits (RS, FS, HEG, KA), pp. 42–47.
SIGMOD-2000-AggarwalY #clustering: Finding Generalized Projected Clusters In High Dimensional Spaces (CCA, PSY), pp. 70–81.
TACAS-2000-Aspinall #development #proving: Proof General: A Generic Tool for Proof Development (DA0), pp. 38–42.
STOC-2000-CzumajS #algorithm #approach #problem #satisfiability #scheduling: A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems (extended abstract) (AC, CS), pp. 38–47.
STOC-2000-Kilian #theorem: More general completeness theorems for secure two-party computation (JK), pp. 316–324.
CIAA-2000-IbarraS #automaton: Generalizing the Discrete Timed Automaton (OHI, JS), pp. 157–169.
ICALP-2000-JansenP #approximate #multi #scheduling: Polynominal Time Approximation Schemes for General Multiprocessor Job Shop Scheduling (KJ, LP), pp. 878–889.
WLC-2000-PopovicBPC #automaton: Generalized Directable Automata (ZP, SB, TP, MC), pp. 378–395.
ICML-2000-Bowling #convergence #learning #multi #problem: Convergence Problems of General-Sum Multiagent Reinforcement Learning (MHB), pp. 89–94.
ICML-2000-EvgeniouPPP #bound #kernel #performance: Bounds on the Generalization Performance of Kernel Machine Ensembles (TE, LPB, MP, TP), pp. 271–278.
ICML-2000-HuW #game studies #probability: Experimental Results on Q-Learning for General-Sum Stochastic Games (JH, MPW), pp. 407–414.
ICML-2000-Joachims #performance: Estimating the Generalization Performance of an SVM Efficiently (TJ), pp. 431–438.
ICML-2000-KatayamaKK #learning #using: A Universal Generalization for Temporal-Difference Learning Using Haar Basis Functions (SK, HK, SK), pp. 447–454.
ICML-2000-OkamotoY #algorithm #analysis #nearest neighbour: Generalized Average-Case Analyses of the Nearest Neighbor Algorithm (SO, NY), pp. 695–702.
ICML-2000-Scheffer #performance #predict: Predicting the Generalization Performance of Cross Validatory Model Selection Criteria (TS), pp. 831–838.
ICML-2000-TeowL #kernel #parametricity: Selection of Support Vector Kernel Parameters for Improved Generalization (LNT, KFL), pp. 967–974.
ICPR-v1-2000-Chetverikov #approach #fault: Structural Defects: General Approach and Application to Textile Inspection (DC), pp. 1521–1524.
ICPR-v1-2000-IsgroT #matrix: A General Rank-2 Parameterization of the Fundamental Matrix (FI, ET), pp. 1868–1871.
ICPR-v1-2000-NelsonS #3d #empirical #learning #modelling #recognition: Learning 3D Recognition Models for General Objects from Unlabeled Imagery: An Experiment in Intelligent Brute Force (RCN, AS), pp. 1001–1008.
ICPR-v2-2000-Abe #classification #fuzzy: Generalization Improvement of a Fuzzy Classifier with Pyramidal Membership Functions (SA), pp. 2211–2214.
ICPR-v2-2000-HansenH #bias #composition #exponential #fault #independence #product line: General Bias/Variance Decomposition with Target Independent Variance of Error Functions Derived from the Exponential Family of Distributions (JVH, TH), pp. 2207–2210.
ICPR-v2-2000-MalekTA #classification #fault: Effect of the Feature Vector Size on the Generalization Error: The Case of MLPNN and RBFNN Classifiers (JEM, RT, AMA), pp. 2630–2633.
ICPR-v2-2000-ValevSR: Generalized Non-Reducible Descriptors (VV, BS, PR), pp. 2394–2397.
ICPR-v3-2000-DaoudiM #invariant #multi #representation: New Multiscale Planar Shape Invariant Representation under a General Affine Transformations (MD, SM), pp. 3794–3797.
ICPR-v3-2000-HuotYHC #evolution: A General Surface Matching Model: Application to Ground Evolution Tracking (EGH, HMY, IH, IC), pp. 3167–3170.
ICPR-v3-2000-Liu: A Generalized Shape-Axis Model for Planar Shapes (TLL), pp. 3491–3495.
KDD-2000-BrijsGSVW #data mining #framework #mining: A data mining framework for optimal product selection in retail supermarket data: the generalized PROFSET model (TB, BG, GS, KV, GW), pp. 300–304.
KDD-2000-CadezGS #clustering #framework #probability: A general probabilistic framework for clustering individuals and objects (IVC, SG, PS), pp. 140–149.
KDD-2000-SchefferW #algorithm: A sequential sampling algorithm for a general class of utility criteria (TS, SW), pp. 330–334.
KDD-2000-Tresp: The generalized Bayesian committee machine (VT), pp. 130–139.
KR-2000-MartinG #concept #learning #policy #using: Learning Generalized Policies in Planning Using Concept Languages (MM, HG), pp. 667–677.
SIGIR-2000-SoboroffN #collaboration: Collaborative filtering and the generalized vector space model (IS, CKN), pp. 351–353.
LOPSTR-2000-SerebrenikS #analysis #logic programming #source code #termination: Non-tranformational termination analysis of logic programs, based on general term-orderings (AS, DDS).
LOPSTR-J-2000-SerebrenikS #analysis #logic programming #source code #termination: Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings (AS, DDS), pp. 69–85.
POPL-2000-GunterJ: Generalized Certificate Revocation (CAG, TJ), pp. 316–329.
ICSE-2000-Michail #data mining #library #mining #reuse #using: Data mining library reuse patterns using generalized association rules (AM), pp. 167–176.
ISMM-2000-Rodriguez-RiveraSF #garbage collection #memory management: Conservative Garbage Collection for General Memory Allocators (GRR, MS, CF), pp. 71–79.
CAV-2000-BaumgartnerTASA #abstraction #algorithm #design #verification: An Abstraction Algorithm for the Verification of Generalized C-Slow Designs (JB, AT, AA, VS, FA), pp. 5–19.
CL-2000-AlferesHP #logic programming #modelling #source code: Partial Models of Extended Generalized Logic Programs (JJA, HH, LMP), pp. 149–163.
LICS-2000-Birkedal: A General Notion of Realizability (LB), pp. 7–17.
RTA-2000-JoachimskiM #confluence #standard #λ-calculus: Standardization and Confluence for a λ Calculus with Generalized Applications (FJ, RM), pp. 141–155.
RTA-2000-Pichler: The Explicit Representability of Implicit Generalizations (RP), pp. 187–202.
DAC-1999-TsaiCB #quality #using: Improving the Test Quality for Scan-Based BIST Using a General Test Application Scheme (HCT, KTC, SB), pp. 748–753.
ICDAR-1999-NicchiottiS #normalisation: Generalized Projections: A Tool for Cursive Handwriting Normalization (GN, CS), pp. 729–732.
ICDAR-1999-RemakiC #documentation #image #kernel #product line #using #visual notation: Visual Data Extraction from Bi-level Document Images using a Generalized Kernel Family with Compact Support, in Scale-Space (LR, MC), pp. 609–612.
PODS-1999-AlonsoFPS #component #correctness #transaction: Correctness in General Configurations of Transactional Components (GA, AF, GP, HJS), pp. 285–293.
PASTE-1999-LiangH #analysis #data flow #equivalence #performance #pointer: Equivalence Analysis: A General Technique to Improve the Efficiency of Data-flow Analyses in the Presence of Pointers (DL, MJH), pp. 39–46.
STOC-1999-ChenM #approximate #multi #polynomial #scheduling: A Polynomial Time Approximation Scheme for General Multiprocessor Job Scheduling (Extended Abstract) (JC, AM), pp. 418–427.
STOC-1999-Wayne #algorithm #combinator #polynomial: A Polynomial Combinatorial Algorithm for Generalized Minimum Cost Flow (KDW), pp. 11–18.
DLT-1999-BuchholzKK #automaton #on the: On tally languages and generalized interacting automata (TB, AK, MK), pp. 316–325.
DLT-1999-Holzer #on the: On fixed and general membership for external and internal contextual languages (MH), pp. 351–361.
ICALP-1999-BednarczykB #morphism #petri net: General Morphisms of Petri Nets (Extended Abstract) (MAB, AMB), pp. 190–199.
ICALP-1999-PeichlV #automaton #finite: Finite Automata with Generalized Acceptance Criteria (TP, HV), pp. 605–614.
FM-v2-1999-Moreira #component #proving: Proof Preservation in Component Generalization (AMM), p. 1866.
ICEIS-1999-FaldellaP #3d #recognition: A General Methodology for Robotic Haptic Recognition of 3-D Objects (EF, MP), pp. 203–210.
CIKM-1999-SongC #information retrieval: A General Language Model for Information Retrieval (FS, WBC), pp. 316–321.
KDD-1999-Cerquides #induction: Applying General Bayesian Techniques to Improve TAN Induction (JC), pp. 292–296.
KDD-1999-Domingos #classification #named: MetaCost: A General Method for Making Classifiers Cost-Sensitive (PMD), pp. 155–164.
KDD-1999-Potts #network: Generalized Additive Neural Networks (WJEP), pp. 194–200.
MLDM-1999-PetrouS #fuzzy: Generalized Fuzzy Aggregation Operators (MP, KRS), pp. 195–208.
SIGIR-1999-SongC #information retrieval: A General Language Model for Information Retrieval (poster abstract) (FS, WBC), pp. 279–280.
PPDP-1999-BaldanCFP #abstract interpretation: A Simple and General Method for Integrating Abstract Interpretation in SICStus (DB, NC, GF, FP), pp. 207–223.
ICSE-1999-LaitenbergerA #development #object-oriented: Generalizing Perspective-Based Inspection to Handle Object-Oriented Development Artifacts (OL, CA), pp. 494–503.
CC-1999-AycockH #glr #parsing #performance: Faster Generalized LR Parsing (JA, RNH), pp. 32–46.
HPCA-1999-TanakaMH #distributed #hardware #lightweight #memory management: Lightweight Hardware Distributed Shared Memory Supported by Generalized Combining (KT, TM, KH), pp. 90–99.
PPoPP-1999-MainwaringC #challenge #communication #design #network #performance: Design Challenges of Virtual Networks: Fast, General-Purpose Communication (AMM, DEC), pp. 119–130.
SOSP-1999-DudaC #scheduling #thread: Borrowed-virtual-time (BVT) scheduling: supporting latency-sensitive threads in a general-purpose schedular (KJD, DRC), pp. 261–276.
CSL-1999-AltenkirchR #induction #monad #using: Monadic Presentations of λ Terms Using Generalized Inductive Types (TA, BR), pp. 453–468.
ICLP-1999-RoychoudhuryKR #logic programming #source code: Generalized Unfold/fold Transformation Systems for Normal Logic Programs (AR, KNK, IVR), p. 616.
ICLP-1999-Verbaeten #abduction #analysis #logic programming #source code #termination: Termination Analysis for Abductive General Logic Programs (SV), pp. 365–379.
DAC-1998-ArsintescuCMCK #constraints: General AC Constraint Transformation for Analog ICs (BGA, EC, EM, UC, WHK), pp. 38–43.
DAC-1998-CongM #design #multi #performance: Performance Driven Multi-Layer General Area Routing for PCB/MCM Designs (JC, PHM), pp. 356–361.
DAC-1998-LeeKPM #architecture #multi #programmable: Media Architecture: General Purpose vs. Multiple Application-Specific Programmable Processor (CL, JK, MP, WHMS), pp. 321–326.
DATE-1998-SongSZ #clustering #concept #effectiveness: An Effective General Connectivity Concept for Clustering (JS, ZS, WZ), pp. 398–405.
DATE-1998-VercauterenVJL #analysis #partial order #performance #using #verification: Efficient Verification using Generalized Partial Order Analysis (SV, DV, GGdJ, BL), pp. 782–789.
PODS-1998-SamaratiS: Generalizing Data to Provide Anonymity when Disclosing Information (Abstract) (PS, LS), p. 188.
SIGMOD-1998-ShintaniK #algorithm #classification #mining #parallel: Parallel Mining Algorithms for Generalized Association Rules with Classification Hierarchy (TS, MK), pp. 25–36.
SIGMOD-1998-TsurUACMNR #mining #query: Query Flocks: A Generalization of Association-Rule Mining (ST, JDU, SA, CC, RM, SN, AR), pp. 1–12.
FoSSaCS-1998-Mislove: Generalizing Domain Theory (MWM), pp. 1–19.
WRLA-1998-Clavel #logic #maude: Reflection in general logics, rewriting logic, and Maude (MC), pp. 71–82.
STOC-1998-GoldreichSV #statistics: Honest-Verifier Statistical Zero-Knowledge Equals General Statistical Zero-Knowledge (OG, AS, SPV), pp. 399–408.
CHI-1998-OlsenBVPML #interactive #multi: Generalized Pointing: Enabling Multiagent Interaction (DRO, DB, TV, MP, JLM, ELL), pp. 526–533.
ICML-1998-Gama: Local Cascade Generalization (JG), pp. 206–214.
ICML-1998-KearnsM #algorithm #bottom-up #performance: A Fast, Bottom-Up Decision Tree Pruning Algorithm with Near-Optimal Generalization (MJK, YM), pp. 269–277.
ICPR-1998-MottlKK #image: Edge-preserving in generalized smoothing of signals and images (VM, AK, AK), pp. 1579–1581.
ICPR-1998-Perez-CortesV #heuristic: The extended general spacefilling curves heuristic (JCPC, EV), pp. 515–517.
ICPR-1998-XiaoYM: Some general grouping principles: line perception from points as an example (JX, ZY, SM), pp. 1825–1827.
KDD-1998-CohenH #classification #using: Joins that Generalize: Text Classification Using WHIRL (WWC, HH), pp. 169–173.
KDD-1998-Suzuki #database #evaluation #reliability: Simultaneous Reliability Evaluation of Generality and Accuracy for Rule Discovery in Databases (ES), pp. 339–343.
KDD-1998-ThomasS #mining #query #sql #using: Mining Generalized Association Rules and Sequential Patterns Using SQL Queries (ST, SS), pp. 344–348.
KR-1998-BenferhatDLPSS #approach #consistency #knowledge base #nondeterminism: A General Approach for Inconsistency Handling and Merging Information in Prioritized Knowledge Bases (SB, DD, JL, HP, AS, PS), pp. 466–477.
SIGIR-1998-LaiT #image #retrieval #using: Using Global Colour Features for General Photographic Image Indexing and Retrieval (TSL, JT), pp. 349–350.
SIGIR-1998-LamH #automation #categorisation #set #using: Using a Generalized Instance Set for Automatic Text Categorization (WL, CYH), pp. 81–89.
ALP-PLILP-1998-LimetS #framework #problem: A General Framework for R-Unification Problems (SL, FS), pp. 266–281.
LOPSTR-1998-BrogiCT #source code: The Use of Renaming in Composing General Programs (AB, SC, FT), pp. 124–142.
LOPSTR-1998-GluckHJ #online: Generalization in Hierarchies of Online Program Specialization Systems (RG, JH, JJ), pp. 179–198.
SAC-1998-MaJ #image #retrieval: A generalized content-based image retrieval system (NLM, JSJ), pp. 460–461.
CAV-1998-AbdullaJKP #approach #partial order #reduction #verification: A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract) (PAA, BJ, MK, DP), pp. 379–390.
LICS-1998-AbramskyHM #game studies #semantics: A Fully Abstract Game Semantics for General References (SA, KH, GM), pp. 334–344.
LICS-1998-DawarHS #finite #quantifier: Ordering Finite Variable Types with Generalized Quantifiers (AD, LH, AS), pp. 28–43.
EDTC-1997-BeckmannH #constraints #in memory #logic programming #memory management #synthesis #using: Using constraint logic programming in memory synthesis for general purpose computers (RB, JH), p. 619.
ICDAR-1997-BruggerZI #documentation #modelling #n-gram #recognition #using: Modeling Documents for Structure Recognition Using Generalized N-Grams (RB, AWZ, RI), pp. 56–60.
ICDAR-1997-DuDLA #documentation #evaluation #lazy evaluation #recognition #semantics #using: Generalized Contextual Recognition of Hand-Printed Documents Using Semantic Trees with Lazy Evaluation (LD, ACD, SML, BAB), pp. 238–242.
ICDAR-1997-Favata #approximate #recognition #string #using #word: General word recognition using approximate segment-string matching (JTF), pp. 92–96.
ICDAR-1997-MadhvanathK #scalability #using #word: Pruning Large Lexicons Using Generalized Word Shape Descriptors (SM, VK), pp. 552–555.
ICDAR-1997-SudaBKM #approach #using #word: Logo and Word Matching Using a General Approach to Signal Registration (PS, CB, BK, GM), p. 61–?.
SIGMOD-1997-BrinMS #correlation: Beyond Market Baskets: Generalizing Association Rules to Correlations (SB, RM, CS), pp. 265–276.
SIGMOD-1997-KornackerMH #concurrent: Concurrency and Recovery in Generalized Search Trees (MK, CM, JMH), pp. 62–72.
STOC-1997-AsanoKTT #approximate #polynomial #towards: Covering Points in the Plane by k-Tours: Towards a Polynomial Time Approximation Scheme for General k (TA, NK, HT, TT), pp. 275–283.
STOC-1997-KaoLPST: General Techniques for Comparing Unrooted Evolutionary Trees (MYK, TWL, TMP, WKS, HFT), pp. 54–65.
DLT-1997-PazC #array #automaton #evolution #probability: Chaotic Evolution via Generalized Probabilistic Automata (Probabilistic Arrays) (AP, JWC), pp. 9–35.
WIA-1997-AlonsoCF #glr #parsing #performance: Construction of Efficient Generalized LR Parsers (MAA, DC, MVF), pp. 7–24.
ICML-1997-SchuurmansUF #performance: Characterizing the generalization performance of model selection strategies (DS, LHU, DPF), pp. 340–348.
KDD-1997-KahngM #algorithm #mining: Mining Generalized Term Associations: Count Propagation Algorithm (JK, WHKL, DM), pp. 203–206.
KDD-1997-LiuHC #classification #using: Using General Impressions to Analyze Discovered Classification Rules (BL, WH, SC), pp. 31–36.
ECOOP-1997-HolstS #framework #inheritance #object-oriented: A General Framework for Inheritance Management and Method Dispatch in Object-Oriented Languages (WH, DS), pp. 276–301.
TOOLS-ASIA-1997-StobartPT #case study #object-oriented #polymorphism #source code #testing #using: Using Extended General Statecharts to Generate Test Cases for Overloaded/Polymorphic Object-Oriented Programs: A Case Study (SS, NP, BYT), pp. 96–103.
TOOLS-USA-1997-Tichy #design pattern: A Catalogue of General-Purpose Software Design Patterns (WFT), pp. 330–339.
ALP-1997-GeserG #functional #source code: Parallelizing Functional Programs by Generalization (AG, SG), pp. 46–60.
RE-1997-BoisDZ #on the #problem: On the Use of a Formal R. E. Language — The Generalized Railroad Crossing Problem (PDB, ED, JMZ), p. 128–?.
ICSE-1997-KusumotoMKHTS #petri net #probability: A New Software Project Simulator Based on Generalized Stochastic Petri-net (SK, OM, TK, YH, YT, KS), pp. 293–302.
HPDC-1997-ArmstrongWYBB #component: Frame-Based Components for Generalized Particle Methods (RCA, PW, CY, MBP, NB), pp. 50–59.
HPDC-1997-BaldoniBP #communication #distributed #flexibility: Flexible General Purpose Communication Primitives for Distributed Systems (RB, RB, RP), pp. 201–210.
ICLP-1997-CodishDS #program analysis: XSB as the Natural Habitat for General Purpose Program Analysis (MC, BD, KFS), p. 416.
ICLP-1997-Petukhin #embedded: Embedded Implications as a Generalization of Negation as Failure (VP), p. 420.
DAC-1996-MiliozziVCMS #design #modelling: Use of Sensitivities and Generalized Substrate Models in Mixed-Signal IC Design (PM, IV, EC, EM, ALSV), pp. 227–232.
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.
SIGMOD-1996-ChristophidesCM #query: Evaluating Queries with Generalized Path Expressions (VC, SC, GM), pp. 413–422.
SIGMOD-1996-GoelI #optimisation #order #query #sql: SQL Query Optimization: Reordering for a General Class of Queries (PG, BRI), pp. 47–56.
PLDI-1996-BilardiP #dependence: Generalized Dominance and Control Dependence (GB, KP), pp. 291–300.
PLDI-1996-DawsonRW #case study #logic programming #program analysis #using: Practical Program Analysis Using General Purpose Logic Programming Systems — A Case Study (SD, CRR, DSW), pp. 117–126.
SAS-1996-AlstrupLT #source code: Generalized Dominators for Structured Programs (SA, PWL, MT), pp. 42–51.
SAS-1996-FechtS #equation #performance: An Even Faster Solver for General Systems of Equations (CF, HS), pp. 189–204.
STOC-1996-BshoutyGMST #concept #geometry #learning: Noise-Tolerant Distribution-Free Learning of General Geometric Concepts (NHB, SAG, HDM, SS, HT), pp. 151–160.
CSCW-1996-GlancePP #flexibility #process: Generalized Process Structure Grammars GPSG for Flexible Representations of Work (NSG, DP, RP), pp. 180–189.
ICML-1996-LittmanS #convergence: A Generalized Reinforcement-Learning Model: Convergence and Applications (MLL, CS), pp. 310–318.
ICML-1996-Vapnik #statistics: Statistical Theory of Generalization (Abstract) (VV), p. 557.
ICPR-1996-AkhmetshinL #difference #fourier #image #principle #re-engineering: The reconstruction of signals and images from the noisy Fourier transform phase by means of the generalized difference principle (AMA, IL), pp. 370–375.
ICPR-1996-FungLK #2d #detection #random: Randomized generalized Hough transform for 2-D gray scale object detection (PFF, WSL, IK), pp. 511–515.
ICPR-1996-Hauta-KasariPJL #analysis #matrix #multi: Generalized co-occurrence matrix for multispectral texture analysis (MHK, JP, TJ, RL), pp. 785–789.
ICPR-1996-LanitisSTCM #image #modelling: A general non-linear method for modelling shape and locating image objects (AL, PDS, CJT, TFC, ECDM), pp. 266–270.
ICPR-1996-MottlMBK #image #problem: Hidden tree-like quasi-Markov model and generalized technique for a class of image processing problems (VM, IBM, AB, AK), pp. 715–719.
ICPR-1996-OommenL #fault #pattern matching #pattern recognition #probability #recognition: Probabilistic syntactic pattern recognition for traditional and generalized transposition errors (BJO, RKSL), pp. 685–689.
ICPR-1996-WangRNBJ: A generalized expansion matching based feature extractor (ZW, KRR, DN, JBA, NJ), pp. 29–33.
KDD-1996-Domingos96a #induction #performance: Efficient Specific-to-General Rule Induction (PMD), pp. 319–322.
KDD-1996-KnorrN #concept #proximity: Extraction of Spatial Proximity Patterns by Concept Generalization (EMK, RTN), pp. 347–350.
KDD-1996-Lange #approach #empirical #predict #recursion #using: An Empirical Test of the Weighted Effect Approach to Generalized Prediction Using Recursive Neural Nets (RL), pp. 183–188.
KDD-1996-MannilaT #using: Discovering Generalized Episodes Using Minimal Occurrences (HM, HT), pp. 146–151.
SEKE-1996-HuangTS #maintenance #slicing: Generalized Program Slicing for Software Maintenance (HH, WTT, SS), pp. 261–268.
PLILP-1996-KamareddineR: Generalized β-Reduction and Explicit Substitution (FK, AR), pp. 378–392.
POPL-1996-ConselN #approach #c #runtime: A General Approach for Run-Time Specialization and its Application to C (CC, FN), pp. 145–156.
FSE-1996-SiffR #c #c++ #reuse: Program Generalization for Software Reuse: From C to C++ (MS, TWR), pp. 135–146.
CC-1996-VerbruggeCH #c #case study #constant: Generalized Constant Propagation: A Study in C (CV, PC, LJH), pp. 74–90.
CADE-1996-IrelandB #induction #proving: Extensions to a Generalization Critic for Inductive Proof (AI, AB), pp. 47–61.
JICSLP-1996-JampelJG #framework: A General Framework for Integrating HCLP and PCSP (Poster Abstract) (MJ, JMJ, DRG), p. 543.
LICS-1996-AbdullaCJT #decidability #infinity #theorem: General Decidability Theorems for Infinite-State Systems (PAA, KC, BJ, YKT), pp. 313–321.
LICS-1996-MedinaI #theorem: A Generalization of Fagin’s Theorem (JAM, NI), pp. 2–12.
DAC-1995-FrenchLLO #compilation #simulation: A General Method for Compiling Event-Driven Simulations (RSF, MSL, JRL, KO), pp. 151–156.
DAC-1995-GuptaKTWP #bound: The Elmore Delay as a Bound for RC Trees with Generalized Input Signals (RG, BK, BT, JW, LTP), pp. 364–369.
ICDAR-v2-1995-LiD95a #algorithm #recognition: A personal handwritten Chinese character recognition algorithm based on the generalized Hough transform (ML, RWD), pp. 828–831.
ICDAR-v2-1995-Liu-GongDP #analysis #documentation #layout #recognition: A general analysis system for document’s layout structure recognition (YHLG, BD, HNP), pp. 597–600.
SIGMOD-1995-Freeston #problem: A General Solution of the n-dimensional B-tree Problem (MF), pp. 80–91.
VLDB-1995-GravanoG #database: Generalizing GlOSS to Vector-Space Databases and Broker Hierarchies (LG, HGM), pp. 78–89.
VLDB-1995-HellersteinNP #database: Generalized Search Trees for Database Systems (JMH, JFN, AP), pp. 562–573.
VLDB-1995-SrikantA #mining: Mining Generalized Association Rules (RS, RA), pp. 407–419.
PEPM-1995-Reps #analysis #problem: Shape Analysis as a Generalized Path Problem (TWR), pp. 1–11.
ICALP-1995-BozanisKMT #bound #problem: New Upper Bounds for Generalized Intersection Searching Problems (PB, NK, CM, AKT), pp. 464–474.
ICALP-1995-DiekertG #concurrent #termination: A Domain for Concurrent Termination: A Generalization of Mazurkiewicz Traces (Extended Abstract) (VD, PG), pp. 15–26.
ICALP-1995-LopezN: Generalized Sturmian Languages (LML, PN), pp. 336–347.
FPCA-1995-GunterRR #exception: A Generalization of Exceptions and Control in ML-like Languages (CAG, DR, JGR), pp. 12–23.
CAiSE-1995-BurgR #approach #modelling #named: COLOR-X: Linguistically-based Event Modeling: A General Approach to Dynamic Modeling (JFMB, RPvdR), pp. 26–39.
CIKM-1995-AbdelmotyE #database #reasoning: A General Method for Spatial Reasoning in Spatial Databases (AIA, BAEG), pp. 312–317.
ICML-1995-RaoGS #question: For Every Generalization Action, Is There Really an Equal and Opposite Reaction? (RBR, DFG, WMS), pp. 471–479.
ICML-1995-Schmidhuber #complexity: Discovering Solutions with Low Kolmogorov Complexity and High Generalization Capability (JS), pp. 488–496.
ICML-1995-Wolpert: Horizonal Generalization (DW), pp. 566–574.
KDD-1995-AndersonSZ #architecture #named: STAR: A General Architecture for the Support of Distortion Oriented Displays (PA, RS, ZZ), pp. 15–20.
LOPSTR-1995-FlenerD #logic programming #program transformation: Logic Program Transformation through Generalization Schemata (PF, YD), pp. 171–173.
ESEC-1995-KoskimiesM #design #framework: Designing a Framework by Stepwise Generalization (KK, HM), pp. 479–498.
SOSP-1995-FongS #approach #resource management #scheduling: Time-Function Scheduling: A General Approach To Controllable Resource Management (LLF, MSS), p. 230.
ILPS-1995-SorensenG #algorithm #supercompilation: An Algorithm of Generalization in Positive Supercompilation (MHS, RG), pp. 465–479.
LICS-1995-DawarG #quantifier: Generalized Quantifiers and 0-1 Laws (AD, EG), pp. 54–64.
LICS-1995-Gottlob #finite #quantifier: Relativized Logspace and Generalized Quantifiers over Finite Structures (GG), pp. 65–78.
RTA-1995-AbdulrabM #equation #linear: General Solution of Systems of Linear Diophantine Equations and Inequations (HA, MM), pp. 339–351.
DAC-1994-TsaiM #using: Boolean Matching Using Generalized Reed-Muller Forms (CCT, MMS), pp. 339–344.
EDAC-1994-VanbekbergenYLM #graph #interface #specification: A Generalized Signal Transition Graph Model for Specification of Complex Interfaces (PV, CYC, BL, HDM), pp. 378–384.
KBSE-1994-JengC #approach #component #formal method #reuse: A Formal Approach to Reusing More General Components (JJJ, BHCC), pp. 90–97.
PLDI-1994-HummelHN #data flow #data type #dependence #pointer: A General Data Dependence Test for Dynamic, Pointer-Based Data Structures (JH, LJH, AN), pp. 218–229.
SAS-1994-Goubault: Generalized Boxings, Congruences and Partial Inlining (JG), pp. 147–161.
ICALP-1994-Breugel #lts: Generalized Finiteness Conditions of Labelled Transition Systems (FvB), pp. 376–387.
TRI-Ada-1994-Kortright #approach #component #development #incremental #reuse: An Incremental Approach to the Development of Reusable General-Purpose Discrete-Event Simulator Components (LMLK), pp. 486–493.
CAiSE-1994-CauvetS #abstraction #concept #locality #modelling #object-oriented: Abstraction Forms in Object-Oriented Conceptual Modeling: Localization, Aggregation and Generalization Extensions (CC, FS), pp. 149–171.
CIKM-1994-LabrouF #approach #communication #semantics: A Semantics Approach for KQML — A General Purpose Communication Language for Software Agents (YL, TWF), pp. 447–455.
ICML-1994-Schaffer #performance: A Conservation Law for Generalization Performance (CS), pp. 259–265.
KR-1994-DelgrandeS #approach #reasoning: A General Approach to Specificity in Default Reasoning (JPD, TS), pp. 146–157.
ECOOP-1994-NayeriHM #distributed #object-oriented: Generalizing Dispatching in a Distributed Object System (FN, BH, FM), pp. 450–473.
TOOLS-EUROPE-1994-AdnaniS #approach #information management #named #object-oriented: SPATIO2: An Object Oriented Approach for a Generalized Spatial Information System (MEA, MS), pp. 375–381.
LOPSTR-1994-Renault #execution #source code: Generalizing Extended Execution for Normal Programs (SR), pp. 154–169.
SAC-1994-Chen #learning: Application of Boolean expression minimization to learning via hierarchical generalization (JC), pp. 303–307.
CC-1994-CheathamGS #analysis #interpreter #tool support: A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter (TC, HG, DCS), pp. 188–202.
CADE-1994-RichardsKSW #logic #named: Mollusc: A General Proof-Development Shell for Sequent-Based Logics (BLR, IK, AS, GAW), pp. 826–830.
CADE-1994-Socher-Ambrosius: A Refined Version of General E-Unification (RSA), pp. 665–677.
LICS-1994-DawarH #power of #quantifier: The Expressive Power of Finitely Many Generalized Quantifiers (AD, LH), pp. 20–29.
LICS-1994-Moggi #evaluation #logic #semantics: A General Semantics for Evaluation Logic (EM), pp. 353–362.
LICS-1994-Otto #quantifier: Generalized Quantifiers for Simple Properties (MO), pp. 30–39.
DAC-1993-SiegelMD #automation #design: Automatic Technology Mapping for Generalized Fundamental-Mode Asynchronous Designs (PS, GDM, DLD), pp. 61–67.
KBSE-1993-Hall #rule-based #validation: Validation of Rule-based Reactive Systems by Sound Scenario Generalization (RJH), p. 8.
ICDAR-1993-HoriuchiTYYI #optimisation #problem: Generalized interpretation of optimization methods for labeling problems (TH, KT, HY, KY, TI), pp. 6–9.
ICDAR-1993-PettierC #representation: Script representation by a generalized skeleton (JCP, JC), pp. 850–853.
PEPM-1993-Mossin #parsing #partial evaluation: Partial Evaluation of General Parsers (CM), pp. 13–21.
STOC-1993-BorowskyG: Generalized FLP impossibility result for t-resilient asynchronous computations (EB, EG), pp. 91–100.
STOC-1993-WilliamsonGMV #algorithm #approximate #network #problem: A primal-dual approximation algorithm for generalized Steiner network problems (DPW, MXG, MM, VVV), pp. 708–717.
WSA-1993-CharlierDMH #abstract interpretation #algorithm #fixpoint #optimisation #performance #prolog: Optimization Techniques for General Purpose Fixpoint Algorithms — Practical Efficiency for the Abstract Interpretation of Prolog (BLC, OD, LM, PVH), pp. 15–26.
DLT-1993-Kudlek: General Formal Systems (MK), pp. 461–471.
DLT-1993-Kuich: Lindenmayer Systems Generalized to Formal Power Series and Their Growth Functions (WK), pp. 171–178.
FME-1993-EngelhardtR #problem: Generalizing Abadi & Lamport’s Method to Solve a Problem Posed by A. Pnueli (KE, WPdR), pp. 294–313.
HCI-ACS-1993-RubinoMPST #bibliography: Longitudinal Survey of Ocular Disorders and General Complaints in VDU Operators (GFR, GM, GP, AS, MT), pp. 768–773.
ICML-1993-Idestam-Almquist #anti #recursion: Generalization under Implication by Recursive Anti-unification (PIA), pp. 151–158.
ICML-1993-ORorkeFE: Explaining and Generalizing Diagnostic Decisions (PO, YEF, ME), pp. 228–235.
TOOLS-PACIFIC-1993-Fuller #modelling: Class-Based Modelling Of A General Ledger System (AF), pp. 37–48.
TOOLS-USA-1993-DeublerK #object-oriented #operating system: Object Oriented Restructuring of the General Purpose Operating System BS2000 (HHD, MK), pp. 21–30.
LOPSTR-1993-MaddenHGB #automation #generative #performance #proving #source code #theorem proving: A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract) (PM, JH, IG, AB), pp. 64–66.
SAC-1993-BeaversB: “Dynamic” Inferencing with Generalized Resolution (GB, HB), pp. 614–621.
SAC-1993-JoshiRN #algorithm #network #performance #problem: A Fast Algorithm for Generalized Network Location Problems (DSJ, SR, CN), pp. 701–708.
SAC-1993-KulkarniY #bidirectional #image: Generalized Bidirectional Associative Memories for Image Processing (ADK, IY), pp. 373–379.
ICSE-1993-Hall #behaviour #retrieval: Generalized Behavior-Based Retrieval (RJH), pp. 371–380.
CSL-1993-Stewart #fixpoint #quantifier: Incorporating Generalized Quantifiers and the Least Fixed Point Operator (IAS), pp. 318–333.
ICLP-1993-Imbert #constraints #linear: Variable Elimination for Generalized Linear Constraints (JLI), pp. 499–516.
ICLP-1993-KusalikO #logic programming #towards #visualisation: Towards Generalized Visualization Support for Logic Programming (AJK, GMO), p. 844.
ILPS-1993-BaralGK #approximate #logic programming #source code: Approximating General Logic Programs (CB, MG, OK), pp. 181–198.
ISSTA-1993-Vogel #automation #testing: An Integrated General Purpose Automated Test Environment (PAV), pp. 61–69.
RTA-1993-Moser: Improving Transformation Systems for General E-Unification (MM), pp. 92–105.
DAC-1992-ChiproutN #analysis #network: Generalized Moment-Matching Methods for Transient Analysis of Interconnect Networks (EC, MSN), pp. 201–206.
DAC-1992-Peltz #design #interpreter: An Interpreter for General Netlist Design Rule Checking (GP), pp. 305–310.
DAC-1992-RaghavanBR #named #performance #problem #simulation: AWESpice: A General Tool for the Accurate and Efficient Simulation of Interconnect Problems (VR, JEB, RAR), pp. 87–92.
HT-ECHT-1992-PacelliP #distributed #hypermedia #named: HYPERCRESTS: A General Purpose Distributed Hypermedia System (Demonstration) (MAP, FP), p. 292.
SIGMOD-1992-Bigelow #constraints #implementation: Implementation of General Constraints in SIM (RB), p. 382.
SIGMOD-1992-CluetD #framework #object-oriented #optimisation #query: A General Framework for the Optimization of Object-Oriented Queries (SC, CD), pp. 383–392.
PLDI-1992-SarkarT #framework: A General Framework for Iteration-Reordering Loop Transformations (VS, RT), pp. 175–187.
STOC-1992-EvenGLNV #approximate #independence: Approximations of General Independent Distributions (GE, OG, ML, NN, BV), pp. 10–16.
ICALP-1992-PeladeauP #on the: On Reverse and General Definite Tree Languages (Extended Abstract) (PP, AP), pp. 150–161.
ICALP-1992-Straubing #complexity #first-order #power of: Circuit Complexity and the Expressive Power of Generalized First-Order Formulas (HS), pp. 16–27.
CHI-1992-RectorHFKNNRW #development #experience: User centered development of a general practice medical workstation: the PEN&PAD experience (ALR, BH, MF, SK, PDN, WAN, DR, AW), pp. 447–453.
KR-1992-Iwanska #natural language #representation #semantics: A General Semantic Model of Negation in Natural Language: Representation and Inference (LI), pp. 357–368.
KR-1992-LifschitzW #reasoning #set: Answer Sets in General Nonmonotonic Reasoning (Preliminary Report) (VL, TYCW), pp. 603–614.
ML-1992-Aha #case study: Generalizing from Case studies: A Case Study (DWA), pp. 1–10.
ML-1992-ClarkH #integration #lazy evaluation #partial evaluation: Lazy Partial Evaluation: An Integration of Explanation-Based Generalization and Partial Evaluation (PC, RCH), pp. 82–91.
ML-1992-FengM #higher-order #induction #logic #towards: Towards Inductive Generalization in Higher Order Logic (CF, SM), pp. 154–162.
ML-1992-Markov #approach #concept #learning: An Approach to Concept Learning Based on Term Generalization (ZM), pp. 310–315.
SEKE-1992-Bendix #automation #configuration management: Automatic Configuration Management in a General Object-Based Environment (LB), pp. 186–193.
ALP-1992-Gramlich #composition #termination: Generalized Sufficient Conditions for Modular Termination of Rewriting (BG), pp. 53–68.
ALP-1992-Lopez-Fraguas #constraints #functional #logic programming: A General Scheme for Constraint Functional Logic Programming (FJLF), pp. 213–227.
PLILP-1992-Ducasse #prolog #query: A General Trace Query Mechanism Based on Prolog (MD), pp. 400–414.
POPL-1992-Gupta: Generalized Dominators and Post-Dominators (RG), pp. 246–257.
ICSE-1992-GaffneyC #reuse: A General Economics Model of Software Reuse (JEGJ, RDC), pp. 327–337.
CAV-1992-Corbett #integer #liveness #programming #safety #verification: Verifying General Safety and Liveness Propterties with Integer Programming (JCC), pp. 357–369.
LICS-1992-VaananenK #finite #game studies #quantifier: Generalized Quantifiers and Pebble Games on Finite Structures (PGK, JAV), pp. 348–359.
DAC-1991-GuruswamyW #multi: A General Multi-Layer Area Router (MG, DFW), pp. 335–340.
DAC-1991-MontessoroG #concurrent #fault #multi #named #performance #simulation: Creator: General and Efficient Multilevel Concurrent Fault Simulation (PLM, SG), pp. 160–163.
DAC-1991-PatilBP #generative #parallel #testing: Parallel Test Generation for Sequential Circuits on General-Purpose Multiprocessors (SP, PB, JHP), pp. 155–159.
DAC-1991-YehCL #algorithm #clustering #multi: A General Purpose Multiple Way Partitioning Algorithm (CWY, CKC, TTYL), pp. 421–426.
PODS-1991-SeibL #datalog #source code: Parallelizing Datalog Programs by Generalized Pivoting (JS, GL), pp. 241–251.
PEPM-1991-Takano #functional #lazy evaluation: Generalized Partial Computation for a Lazy Functional Language (AT), pp. 1–11.
PLDI-1991-FritzsonGKS #algorithm #debugging #testing: Generalized Algorithmic Debugging and Testing (PF, TG, MK, NS), pp. 317–326.
STOC-1991-AgrawalKR #algorithm #approximate #network #problem: When Trees Collide: An Approximation Algorithm for the Generalized Steiner Problem on Networks (AA, PNK, RR), pp. 134–144.
STOC-1991-Kilian #game studies #theorem: A General Completeness Theorem for Two-Party Games (JK), pp. 553–560.
ICALP-1991-Fouks: General Resolution of Tseitin Formulas is Hard (JDF), pp. 151–162.
KDD-1991-KaufmanMK #database #mining: Mining for Knowledge in Databases: Goals and General Description of the INLEN System (KAK, RSM, LK), pp. 449–464.
KR-1991-FrischS #deduction #framework: A General Framework for Modal Deduction (AMF, RBS), pp. 196–207.
KR-1991-Grosof: Generalizing Prioritization (BNG), pp. 289–300.
KR-1991-PagePF #constraints #logic: Generalizing Atoms in Constraint Logic (CDPJ, AMF), pp. 429–440.
ML-1991-Cohen: The Generality of Overgenerality (WWC), pp. 490–494.
ML-1991-Nedellec: A Smallest Generalization Step Strategy (CN), pp. 529–533.
ML-1991-Saxena #on the #representation: On the Effect of Instance Representation on Generalization (SS), pp. 198–202.
ICLP-1991-Decker #axiom #on the: On Generalized Cover Axioms (HD), pp. 693–707.
ICLP-1991-HuY #logic programming #semantics #source code: Extended Well-Founded Model Semantics for General Logic Programs (YH, LYY), pp. 412–425.
ISLP-1991-BruynoogheSM #deduction #infinity #logic programming #source code: A General Criterion for Avoiding Infinite Unfolding During Partial Deduction of Logic Programs (MB, DDS, BM), pp. 117–131.
ISLP-1991-Carpenter #first-order: Typed Feature Structures: A Generalization of First-Order Terms (BC), pp. 187–201.
ISLP-1991-Fitting #semantics: Well-Founded Semantics, Generalized (MF), pp. 71–84.
RTA-1991-Baader #bound #problem #unification: Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems (FB), pp. 86–97.
RTA-1991-Hofbauer #bound #proving #term rewriting #termination: Time Bounded Rewrite Systems and Termination Proofs by Generalized Embedding (DH), pp. 62–73.
DAC-1990-CongPL #algorithm #design #modelling #standard: General Models and Algorithms for Over-the-Cell Routing in Standard Cell Design (JC, BP, CLL), pp. 709–715.
DAC-1990-LyEG #synthesis: A Generalized Interconnect Model for Data Path Synthesis (TAL, WLE, EFG), pp. 168–173.
ICALP-1990-Blum #approach #graph: A New Approach to Maximum Matching in General Graphs (NB), pp. 586–597.
GG-1990-Bauderon #equation #recursion: General Solution to a System of Recursive Equations (MB), pp. 113–126.
ML-1990-Bisson #knowledge base: KBG : A Knowledge Based Generalizer (GB), pp. 9–15.
ML-1990-Bostrom #approach #order: Generalizing the Order of Goals as an Approach to Generalizing Number (HB), pp. 260–267.
ML-1990-Holder #machine learning #problem: The General Utility Problem in Machine Learning (LBH), pp. 402–410.
ML-1990-Lehman #learning: A General Method for Learning Idiosyncratic Grammars (JFL), pp. 368–376.
CADE-1990-BaralLM #logic programming #semantics #source code: Generalized Well-founded Semantics for Logic Programs (Extended Abstract) (CB, JL, JM), pp. 102–116.
CADE-1990-DoughertyJ: An Improved General E-Unification Method (DJD, PJ), pp. 261–275.
CADE-1990-Sutcliffe #proving #theorem proving: A General Clause Theorem Prover (GS), pp. 675–676.
CLP-1990-Fages90 #fixpoint #logic programming #semantics #source code: A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics (FF), pp. 441–458.
CLP-1990-GiordanoM90 #maintenance #modelling: Generalized Stable Models, Truth Maintenance and Conflict Resolution (LG, AM), pp. 427–441.
CSL-1990-Jaspars #information management: A Generalization of Stability and its Application to Circumscription of Positive Introspective Knowledge (JJ), pp. 289–299.
DAC-1989-CahnK #clustering #network: Computing Signal Delay in General RC Networks by Tree/Link Partitioning (PKC, KK), pp. 485–490.
DAC-1989-Chowdhury #design #graph #network #reliability: Optimum Design of Reliable IC Power Networks Having General Graph Topologies (SC), pp. 787–790.
DAC-1989-Devadas89a #composition: General Decomposition of Sequential Machines: Relationships to State Assignment (SD), pp. 314–320.
DAC-1989-DuYG #analysis #on the #problem: On the General False Path Problem in Timing Analysis (DHCD, SHY, SG), pp. 555–560.
SIGMOD-1989-Bry #evaluation #performance #quantifier #query #revisited #towards: Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited (FB), pp. 193–204.
VLDB-1989-LiptonN #transitive: Estimating the Size of Generalized Transitive Closures (RJL, JFN), pp. 165–171.
STOC-1989-AggarwalAK #graph #parallel: Parallel Depth-First Search in General Directed Graphs (Preliminary Version) (AA, RJA, MYK), pp. 297–308.
STOC-1989-Beame #trade-off: A General Sequential Time-Space Tradeoff for Finding Unique Elements (PB), pp. 197–203.
ICALP-1989-Kenyon-MathieuV #analysis #data type: General Methods for the Analysis of the Maximum Size of Dynamic Data Structures (Extended Abstract) (CKM, JSV), pp. 473–487.
CHI-1989-LewisHS #consistency: Generalization, consistency, and control (CHL, DCH, VS), pp. 1–5.
KR-1989-Frisch #deduction #framework #hybrid #reasoning: A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning (AMF), pp. 126–136.
ML-1989-Ali: Augmenting Domain Theory for Explanation-Based Generalization (KMA), pp. 40–42.
ML-1989-DietzenP #framework #higher-order #logic: Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization (SD, FP), pp. 447–449.
ML-1989-LambertTL #algorithm #concept #hybrid #learning #recursion: Generalized Recursive Splitting Algorithms for Learning Hybrid Concepts (BLL, DKT, SCYL), pp. 496–498.
ML-1989-MaclinS: Enriching Vocabularies by Generalizing Explanation Structures (RM, JWS), pp. 444–446.
OOPSLA-1989-Pedersen #inheritance: Extending Ordinary Inheritance Schemes to Include Generalization (CHP), pp. 407–417.
POPL-1989-Monteleone: Generalized Conjunctive Types (GM), pp. 242–249.
CSL-1989-DeckerC: Generalizing Allowedness While Retaining Completeness of SLDNF-Resolution (HD, LC), pp. 98–115.
CSL-1989-StepankovaS #logic programming #source code: Stratification of Definite Clause Programs and of General Logic Programs (OS, PS), pp. 396–408.
LICS-1989-KfouryTU #problem #unification: Computational Consequences and Partial Solutions of a Generalized Unification Problem (Partial Report) (AJK, JT, PU), pp. 98–105.
NACLP-1989-DevilleB #logic programming #source code #towards: Generalization and Program Schemata: A Step Towards Computer-Aided Construction of Logic Programs (YD, JB), pp. 409–425.
NACLP-1989-DungK #on the #source code: On the Generalized Predicate Completion of Non-Horn Programs (PMD, KK), pp. 587–603.
NACLP-1989-RajasekarM #semantics #source code: A Stratification Semantics for General Disjunctive Programs (AR, JM), pp. 573–586.
RTA-1989-Lankford #theory and practice: Generalized Gröbner Bases: Theory and Applications. A Condensation (DL), pp. 203–221.
RTA-1989-ZhangK: Consider Only General Superpositions in Completion Procedures (HZ, DK), pp. 513–527.
DAC-1988-HelliwellP #algorithm #multi #performance: A Fast Algorithm to Minimize Multi-Output Mixed-Polarity Generalized Reed-Muller Forms (MH, MAP), pp. 427–432.
DAC-1988-SouleB #logic #parallel #simulation: Parallel Logic Simulation on General Purpose Machines (LS, TB), pp. 166–171.
DAC-1988-Stroud #approach #automation #logic #synthesis: An Automated BIST Approach for General Sequential Logic Synthesis (CES), pp. 3–8.
PODS-1988-GelderRS #logic programming #semantics #set #source code: Unfounded Sets and Well-Founded Semantics for General Logic Programs (AVG, KAR, JSS), pp. 221–230.
PODS-1988-SippuS #query #relational #transitive: A Generalized Transitive Closure for Relational Queries (SS, ESS), pp. 325–332.
SIGMOD-1988-GadiaY #database #relational: A Generalized Model for a Relational Temporal Database (SKG, CSY), pp. 251–259.
PLDI-1988-WalzJ #attribute grammar #evaluation #incremental: Incremental Evaluation for a General Class of Circular Attribute Grammars (JAW, GFJ), pp. 209–221.
ICALP-1988-StraubingTT #quantifier #regular expression: regular Languages Defined with Generalized Quantifiers (HS, DT, WT), pp. 561–575.
ML-1988-ChengFIQ: Improved Decision Trees: A Generalized Version of ID3 (JC, UMF, KBI, ZQ), pp. 100–106.
ML-1988-Cohen #learning #multi: Generalizing Number and Learning from Multiple Examples in Explanation Based Learning (WWC), pp. 256–269.
ML-1988-Kerber #using: Using a Generalization Hierarchy to Learn from Examples (RK), pp. 1–7.
ML-1988-Mooney #order: Generalizing the Order of Operators in Macro-Operators (RJM), pp. 270–283.
SIGIR-1988-Nie #information retrieval: An Outline of a General Model for Information Retrieval Systems (JYN), pp. 495–506.
CSL-1988-Eder #calculus #comparison: A Comparison of the Resolution Caculus and the Connection Method, and a new Calculus Generalizing Both Methods (EE), pp. 80–98.
CSL-1988-Goerdt #complexity #recursion: Characterizing Complexity Classes by General Recursive Definitions in Higher Types (AG), pp. 99–117.
DAC-1987-EnbodyD: General Purpose Router (RJE, HCD), pp. 637–640.
HT-1987-CampbellG #automaton #hypermedia #named: HAM: A General-Purpose Hypertext Abstract Machine (BC, JMG), pp. 21–32.
ICALP-1987-Finkel: A Generalization of the Procedure of Karp and Miller to Well Structured Transition Systems (AF), pp. 499–508.
ICALP-1987-LevcopoulosLS #geometry #heuristic: Nearly Optimal Heuristics for Binary Search Trees with Geometric Generalizations (Extended Abstract) (CL, AL, JRS), pp. 376–385.
ICLP-1987-GeeMP87 #implementation #prolog: Advantages of Implementing PROLOG by Microprogramming a Host General Purpose Computer (JG, SWM, YNP), pp. 1–20.
ICLP-1987-KanamoriH87 #logic programming #source code: Construction of Logic Programs Based on Generalized Unfold/Fold Rules (TK, KH), pp. 744–768.
ICLP-1987-TribbleMKBAS87 #named: Channels: A Generalization of Streams (EDT, MSM, KMK, DGB, CA, EYS), pp. 839–857.
RTA-1987-GallierS: A General Complete E-Unification Procedure (JHG, WS), pp. 216–227.
SLP-1987-CoxP87 #abduction: General Diagnosis by Abductive Inference (PTC, TP), pp. 183–189.
DAC-1986-DevadasN #array #named #synthesis: GENIE: a generalized array optimizer for VLSI synthesis (SD, ARN), pp. 631–637.
DAC-1986-RieuN #database #semantics: Semantics of CAD objects for generalized databases (DR, GTN), pp. 34–40.
VLDB-1986-KlaholdSW #database: A General Model for Version Management in Databases (PK, GS, WW), pp. 319–327.
VLDB-1986-ManolaO #object-oriented #towards: Toward a General Spatial Data Model for an Object-Oriented DBMS (FM, JAO), pp. 328–335.
VLDB-1986-PistorA #design #interface: Designing A Generalized NF2 Model with an SQL-Type Language Interface (PP, FA), pp. 278–285.
ESOP-1986-FelgentreuL #approach #optimisation: A General Approach to the Optimization of Function Calls (KUF, WML), pp. 41–52.
CADE-1986-GreenbaumP #proving #theorem proving: The Illinois Prover: A General Purpose Resolution Theorem Prover (SG, DAP), pp. 685–687.
CADE-1986-Plaisted86a #abstraction #using: Abstraction Using Generalization Functions (DAP), pp. 365–376.
ICLP-1986-Boizumault86: A General Model to Implement DIF and FREEZE (PB), pp. 585–592.
LICS-1986-Schlipf #how: How Uncomputable is General Circumscription? (Extended Abstract) (JSS), pp. 92–95.
SLP-1986-Gelder86 #logic programming #source code #using: Negation as Failure Using Tight Derivations for General Logic Programs (AVG), pp. 127–138.
DAC-1985-GiambiasiMLdDR #adaptation #modelling: An adaptive and evolutive tool for describing general hierarchical models, based on frames and demons (NG, BM, RL, LDd, CD, PR), pp. 460–467.
SIGMOD-1985-Robinson #hardware #performance: A Fast General-Purpose Hardware Synchronisation Mechanism (JTR), pp. 122–130.
STOC-1985-Bracha #protocol #random: An O(lg n) Expected Rounds Randomized Byzantine Generals Protocol (GB), pp. 316–326.
STOC-1985-YaoY #approach #geometry #query: A General Approach to d-Dimensional Geometric Queries (Extended Abstract) (ACCY, FFY), pp. 163–168.
ICALP-1985-KaufmannM: Routing Through a Generalized Switchbox (MK, KM), pp. 328–337.
SIGIR-1985-McGregor #knowledge base #memory management: Generalized Associative Memory Devices: Their Place in Intelligent Knowledge Based Systems (DM), p. 226.
SIGIR-1985-WongZW #information retrieval: Generalized Vector Space Model in Information Retrieval (SKMW, WZ, PCNW), pp. 18–25.
ICSE-1985-CrawfordF #development #process: Software Development Process Audits — A General Procedure (SGC, MHF), pp. 137–141.
DAC-1984-Clow #algorithm: A global routing algorithm for general cells (GWC), pp. 45–51.
DAC-1984-ParkerKM #design #synthesis #verification: A general methodology for synthesis and verification of register-transfer designs (ACP, FJK, MJM), pp. 329–335.
VLDB-1984-AdibaN #data transformation #information management: Information Processing for CAD/VLSI on a Generalized Data Management System (MEA, GTN), pp. 371–374.
VLDB-1984-GoldhirschY #query: Processing Read-Only Queries Over Views With Generalization (DG, LY), pp. 344–348.
VLDB-1984-HarderP #multi #operating system: Evaluating Multiple Server DBMS in General Purpors Operating System Environments (TH, PP), pp. 129–140.
VLDB-1984-YoshikawaK #difference #query: Processing Inequality Queries Based on Generalized Semi-Joins (MY, YK), pp. 416–428.
STOC-1984-Harel #infinity: A General Result on Infinite Trees and Its Applications (Preliminary Report) (DH), pp. 418–427.
POPL-1984-FrancezK #termination: Generalized Fair Termination (NF, DK), pp. 46–53.
CADE-1984-Kirchner #algorithm #equation #unification: A New Equational Unification Method: A Generalization of Martelli-Montanari’s Algorithm (CK), pp. 224–247.
CADE-1984-Kirchner84a #algorithm #data type #induction: A General Inductive Completion Algorithm and Application to Abstract Data Types (HK), pp. 282–302.
ILPC-1984-Kacsuk84 #data flow #interpreter #parallel #prolog: A Highly Parallel Prolog Interpreter Based on the Generalized Data Flow Model (PK), pp. 195–205.
DAC-1983-Hsu #algorithm: General river routing algorithm (CPH), pp. 578–583.
DAC-1983-Tomkinson #automation #design #named #tool support: UCAD: Building Design Automation with general purpose software tools on UNIX (JHT), pp. 774–787.
SIGMOD-1983-LohmanSBMC #database #experience: Remotely-Sensed Geophysical Databases: Experience and Implications for Generalized DBMS (GML, JCS, ANB, MDM, AFC), pp. 146–160.
VLDB-1983-DasguptaK #concurrent #database #protocol: A Non-Two-Phase Locking Protocol for Concurrency Control in General Databases (PD, ZMK), pp. 92–94.
VLDB-1983-Dayal #multi #query: Processing Queries Over Generalization Hierarchies in a Multidatabase System (UD), pp. 342–353.
STOC-1983-Adleman #on the: On Breaking Generalized Knapsack Public Key Cryptosystems (Abstract) (LMA), pp. 402–412.
STOC-1983-DolevDPW: Superconcentrators, Generalizers and Generalized Connectors with Limited Depth (Preliminary Version) (DD, CD, NP, AW), pp. 42–51.
STOC-1983-GuibasS #diagrams: Primitives for the Manipulation of General Subdivisions and the Computation of Voronoi Diagrams (LJG, JS), pp. 221–234.
DAC-1982-Bruggere #hardware: Special purpose vs. general purpose hardware for da (THB), p. 338.
DAC-1982-Hassett #approach #automation #layout #problem: Automated layout in ASHLAR: An approach to the problems of “General Cell” layout for VLSI (JEH), pp. 777–784.
SIGMOD-1982-KambayashiYY #database #distributed #query #using: Query Processing for Distributed Databases Using Generalized Semi-Joins (YK, MY, SY), pp. 151–160.
SIGIR-1982-Bookstein #information retrieval #modelling: Explanation and Generalization of Vector Models in Information Retrieval (AB), pp. 118–132.
ASPLOS-1982-Reed #memory management #on the: On a General Property of Memory Mapping Tables (KR), pp. 81–86.
DAC-1981-Heinisch: Aiming at a general routing strategy (JH), pp. 668–675.
STOC-1981-GalilP #parallel #performance: An Efficient General Purpose Parallel Computer (ZG, WJP), pp. 247–262.
STOC-1981-Mayr #algorithm #petri net #problem #reachability: An Algorithm for the General Petri Net Reachability Problem (EWM), pp. 238–246.
ICALP-1981-EhrenfeuchtR #on the #problem: On the (Generalized) Post Correspondence Problem with Lists of Length 2 (AE, GR), pp. 408–416.
ICALP-1981-Karhumaki #morphism: Generalized Parikh Mappings and Homomorphisms (JK), pp. 324–332.
SIGIR-1981-Bookstein #problem #retrieval: The Generalized Retrieval Problem (AB), pp. 4–14.
DAC-1980-GiambiasiMM #deduction #fault #simulation: Methods for generalized deductive fault simulation (NG, AM, DM), pp. 386–392.
DAC-1980-HeynsSB #algorithm #problem: A line-expansion algorithm for the general routing problem with a guaranteed solution (WH, WS, HB), pp. 243–249.
DAC-1980-HightowerB: A generalized channel router (DWH, RLB), pp. 12–21.
SIGMOD-1980-DogacO #database #implementation: A Generalized DBMS Implementation on a Database Machine (AD, EAO), pp. 133–143.
STOC-1980-BorodinC #sorting #trade-off: A Time-Space Tradeoff for Sorting on a General Sequential Model of Computation (AB, SAC), pp. 294–301.
STOC-1980-FredericksonJ #ranking: Generalized Selection and Ranking (Preliminary Version) (GNF, DBJ), pp. 420–428.
DAC-1979-HsiehR #functional #latency #megamodelling: Macrosimulation with Quasi-general Symbolic FET Macromodel and Functional Latency (HYH, NBR), pp. 229–234.
DAC-1979-Lauther #algorithm #graph #representation: A min-cut placement algorithm for general cell assemblies based on a graph representation (UL), pp. 1–10.
VLDB-1979-BachCK #adaptation #approach #towards: The ADAPT System: A Generalized Approach Towards Data Conversion (MJB, NHC, MMK), pp. 183–193.
VLDB-1979-MendelzonM #composition #database #dependence: Generalized Mutual Dependencies and the Decomposition of Database Relations (AOM, DM), pp. 75–82.
STOC-1979-GalilN #network: Network Flow and Generalized Path Compression (ZG, AN), pp. 13–26.
ICALP-1979-Choffrut: A Generalization of Ginsburg and Rose’s Characterization of G-S-M Mappings (CC), pp. 88–103.
ICALP-1979-FichB: A Characterization of a Dot-Depth Two Analogue of Generalized Definite Languages (FEF, JAB), pp. 230–244.
ICALP-1979-Gallier #recursion: Recursion Schemes and Generalized Interpretations (Extended Abstract) (JHG), pp. 256–270.
ICALP-1979-Ruzzo #complexity #context-free grammar #on the #parsing #recognition: On the Complexity of General Context-Free Language Parsing and Recognition (Extended Abstract) (WLR), pp. 489–497.
ICSE-1979-Rohmer #re-engineering: The APL2M System : A General Computer-Aided Software Engineering Environment for Mini and Microcomputers (JR), pp. 403–411.
DAC-1978-DavidV #concept #design #named: SIGMA-CAD: Some new concepts in design of general purpose CAD systems (BTD, GV), pp. 321–325.
DAC-1978-Frasson #database: Generalized translation in a data base system (CF), pp. 176–181.
SIGMOD-1978-LeeG #semantics: Extended Semantics for Generalization Hierarchies (RML, RG), pp. 18–25.
SIGMOD-1978-YamamotoTUI #design #multi #order: Design of a Generalized Balanced Multiple-Valued File Organization Scheme of Order Two (SY, ST, KU, HI), pp. 47–51.
STOC-1978-KirkpatrickH #on the #problem: On the Completeness of a Generalized Matching Problem (DGK, PH), pp. 240–245.
ICALP-1978-Zilli #combinator #logic #normalisation: Head Recurrent Terms in Combinatory Logic: A Generalization of the Notion of Head Normal Form (MVZ), pp. 477–493.
POPL-1978-KaplanU #automation: A General Scheme for the Automatic Inference of Variable Types (MAK, JDU), pp. 60–75.
VLDB-1977-HakozakiMMUH #concept #database #design: A Conceptual Design of a Generalized Database Subsystem (KH, TM, MM, MU, SH), pp. 246–253.
VLDB-1977-SpathS #architecture #database #relational: A Generalized End-User Facility Architecture for Relational Database Systems (CRS, LSS), pp. 359–369.
VLDB-1977-StonebrakerR #programming language: Observations on Data Manipulation Languages and Their Embedding in General Purpose Programming Languages (MS, LAR), pp. 128–143.
STOC-1977-Miller #graph #morphism: Graph Isomorphism, General Remarks (GLM), pp. 143–150.
POPL-1977-Demers #parsing: Generalized Left Corner Parsing (AJD), pp. 170–182.
POPL-1977-Fong: Generalized Common Subexpressions in Very High Level Languages (ACF), pp. 48–57.
POPL-1977-Harrison #code generation #compilation #optimisation: A New Strategy for Code Generation — The General Purpose Optimizing Compiler (WHH), pp. 29–37.
SOSP-1977-BabonneauAMM #adaptation #automation #source code: Automatic and General Solution to the Adaption of Programs in a Paging Environment (JYB, MSA, GM, MBM), pp. 109–116.
SIGMOD-1976-CarlsonK #database #relational: A Generalized Access Path Model and its Application to a Relational Data Base System (CRC, RSK), pp. 143–154.
VLDB-1976-NahouraiiBC #approach #communication #database: An Approach to Data Communication between Different Generalized Data Base Management Systems (EN, LOB, AFC), pp. 117–142.
VLDB-1976-SenkoA #abstraction #data access #physics: DIAM II and Levels of Abstraction — The Physical Device Level: A General Model for Access Methods (MES, EBA), pp. 79–94.
ICSE-1976-Chow: A Generalized Assertion Language (TSC), pp. 392–399.
ICSE-1976-Claybrook #data type #design: The Design of a Template Structure for a Generalized Data Structure Definition Facility (BGC), pp. 408–413.
DAC-1975-JacquartRVF #development #roadmap: Current trends in the development of integrated general purpose CAD systems (RJ, PR, FRV, JF), pp. 180–188.
SIGMOD-1975-BakkomB #implementation #prototype: Implementation of a Prototype Generalized File Translator (DEB, JAB), pp. 99–110.
VLDB-1975-SchroederKGB #database: Stanford’s Generalized Database System (JRS, WCK, RLG, WJB), pp. 120–143.
STOC-1975-RivestV #proving: A Generalization and Proof of the Aanderaa-Rosenberg Conjecture (RLR, JV), pp. 6–11.
DAC-1974-JacquartRV #design #named #towards: GERMINAL: Towards a general and integrated system for computer aided design (RJ, PR, FRV), pp. 352–358.
SIGFIDET-1974-CaseyO #algorithm #database #relational: Generalized Page replacement Algorithms in a Relational Data Base (RGC, IMO), pp. 101–124.
STOC-1974-DobkinL #on the: On Some Generalizations of Binary Search (DPD, RJL), pp. 310–316.
ICALP-1974-Chandra: Generalized Program Schemas (AKC), pp. 562–576.
ICALP-1974-Novotny: Operators Reducing Generalized OL-Systems (MN), pp. 481–494.
DAC-1972-Szygenda #generative #logic #named #simulation #testing: TEGAS2 — anatomy of a general purpose TEST GENERATION AND SIMULATION system for digital logic (SAS), pp. 116–127.
ICALP-1972-Vilfan #theorem: A Generalization of a Theorem of Specker and Some Applications (BV), pp. 609–622.
STOC-1971-Buttelmann #automaton #finite #generative #on the #strict: On Generalized Finite Automata and Unrestricted Generative Grammars (HWB), pp. 63–77.
STOC-1971-McNaughton #set: A Decision Procedure for Generalized Sequential Mapability-onto of Regular Sets (RM), pp. 206–218.
STOC-1971-Wise #algorithm: Domolki’s Algorithm Applied to Generalized Overlap Resolvable Grammars (DSW), pp. 171–184.
SIGFIDET-1970-SibleyT: Preliminary Discussion of a General Data to Storage Structure Mapping Language (EHS, RWT), pp. 368–380.
DAC-1969-Chace #multi #representation: A network-variational basis for generalized computer representation of multifreedom, constrained, mechanical systems (MAC), pp. 169–178.
STOC-1969-Shepard #algebra: Languages in General Algebras (CDS), pp. 155–163.
STOC-1969-Thatcher #automaton #finite: Transformations and Translations from the Point of View of Generalized Finite Automata Theory (JWT), pp. 129–142.
DAC-1968-BenningtonR #design: A general examination of engineering design (BJB, CMIR).
DAC-1968-FreemanR #automation #composition #design #hardware #named: GENDA — a generalized design automation system for modular hardware (MFF, MR).
DAC-1968-Marin #algorithm #logic #on the #strict #synthesis #using: On a general synthesis algorithm of logical circuits using a restricted inventory of integrated circuits (MAM).
DAC-1967-BeretvasLT #automation #design #file system: A general purpose design automation file system (TB, CHL, LRT).
DAC-1967-Semple #automation #design #information management: Generalized information system — a tool for design automation (PSJ).
SHARE-1965-Fountain #requirements #simulation #testing: A general computer simulation technique for assessments and testing requirements (JHF).