BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (129)
base (104)
system (103)
use (88)
algorithm (83)

Stem general$ (all stems)

1134 papers:

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

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