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:
use (61)
base (51)
function (30)
graph (29)
algorithm (29)

Stem decomposit$ (all stems)

404 papers:

CASECASE-2015-LiDLZ #approach #composition #problem
A decomposition approach to colored traveling salesman problems (JL, XD, HL, MZ), pp. 51–56.
CASECASE-2015-NguyenLK #composition #problem
Decomposition techniques for urban consolidation problems (DTN, HCL, AK), pp. 57–62.
DATEDATE-2015-RustLP #approximate #architecture
QR-decomposition architecture based on two-variable numeric function approximation (JR, FL, SP), pp. 892–895.
SIGMODSIGMOD-2015-TuR #named #query #using
DunceCap: Query Plans Using Generalized Hypertree Decompositions (ST, CR), pp. 2077–2078.
VLDBVLDB-2015-LazersonSKSGS #distributed #monitoring #using
Monitoring Distributed Streams using Convex Decompositions (AL, IS, DK, AS, MNG, VS), pp. 545–556.
STOCSTOC-2015-BarakKS #composition #learning #taxonomy
Dictionary Learning and Tensor Decomposition via the Sum-of-Squares Method (BB, JAK, DS), pp. 143–151.
ICMLICML-2015-TangS #approach #composition
Guaranteed Tensor Decomposition: A Moment Approach (GT, PS), pp. 1491–1500.
KDDKDD-2015-NikolaevDGUGS #composition #evaluation #online
Extreme States Distribution Decomposition Method for Search Engine Online Evaluation (KN, AD, EG, AU, GG, PS), pp. 845–854.
KDDKDD-2015-WangLSH #approach #composition #interactive #recursion #topic #towards
Towards Interactive Construction of Topical Hierarchy: A Recursive Tensor Decomposition Approach (CW, XL, YS, JH), pp. 1225–1234.
SACSAC-2015-SioutisSC #composition #graph #on the #reasoning
On the use and effect of graph decomposition in qualitative spatial and temporal reasoning (MS, YS, JFC), pp. 1874–1879.
ESEC-FSEESEC-FSE-2015-ArcainiGR #composition #generative #modelling #testing
Improving model-based test generation by model decomposition (PA, AG, ER), pp. 119–130.
ICSEICSE-v1-2015-BarnettBBL #automation #bibliography #code review #composition #developer
Helping Developers Help Themselves: Automatic Decomposition of Code Review Changesets (MB, CB, JB, SKL), pp. 134–144.
ICSEICSE-v1-2015-VakilianSMM #automation #composition
Automated Decomposition of Build Targets (MV, RS, JDM, VM), pp. 123–133.
ICLPICLP-2015-Charwat #diagrams #programming #research #summary #using
Dynamic Programming on Tree Decompositions using Binary Decision Diagrams: Research Summary (GC).
DACDAC-2014-YuP #composition #layout
Layout Decomposition for Quadruple Patterning Lithography and Beyond (BY, DZP), p. 6.
DATEDATE-2014-SharmaPLAC #composition #data flow #energy #performance
Energy efficient data flow transformation for Givens Rotation based QR Decomposition (NS, PRP, ML, PA, FC), pp. 1–4.
STOCSTOC-2014-AbrahamGGNT #composition #graph
Cops, robbers, and threatening skeletons: padded decomposition for minor-free graphs (IA, CG, AG, ON, KT), pp. 79–88.
STOCSTOC-2014-BhaskaraCMV #analysis
Smoothed analysis of tensor decompositions (AB, MC, AM, AV), pp. 594–603.
STOCSTOC-2014-BoutsidisW #matrix
Optimal CUR matrix decompositions (CB, DPW), pp. 353–362.
STOCSTOC-2014-GoyalVX #composition #fourier #robust
Fourier PCA and robust tensor decomposition (NG, SV, YX), pp. 584–593.
STOCSTOC-2014-Yoshida #composition #invariant #theorem
A characterization of locally testable affine-invariant properties via decomposition theorems (YY), pp. 154–163.
ICEISICEIS-v3-2014-KubovyAK #behaviour #composition #control flow
Behavior-based Decomposition of BPMN 2.0 Control Flow (JK, DA, JK), pp. 263–271.
CIKMCIKM-2014-FangQHZ #bibliography #composition #ranking #sentiment #summary #using
Ranking Sentiment Explanations for Review Summarization Using Dual Decomposition (LF, QQ, MH, XZ), pp. 1931–1934.
CIKMCIKM-2014-KimC #array #performance
Efficient Static and Dynamic In-Database Tensor Decompositions on Chunk-Based Array Stores (MK, KSC), pp. 969–978.
CIKMCIKM-2014-LiHCS #composition #personalisation
Focusing Decomposition Accuracy by Personalizing Tensor Decomposition (PTD) (XL, SH, KSC, MLS), pp. 689–698.
ICMLICML-c2-2014-RaiWGCDC #composition #multi #rank #scalability
Scalable Bayesian Low-Rank Decomposition of Incomplete Multiway Tensors (PR, YW, SG, GC, DBD, LC), pp. 1800–1808.
ICPRICPR-2014-ChenH #composition #detection
Implicit Rank-Sparsity Decomposition: Applications to Saliency/Co-saliency Detection (YLC, CTH), pp. 2305–2310.
ICPRICPR-2014-DengHXC #analysis #composition #matrix #rank
Sparse and Low Rank Matrix Decomposition Based Local Morphological Analysis and Its Application to Diagnosis of Cirrhosis Livers (JD, XHH, GX, YWC), pp. 3363–3368.
ICPRICPR-2014-GhoraiC #algorithm #composition #higher-order #image #using
An Image Inpainting Algorithm Using Higher Order Singular Value Decomposition (MG, BC), pp. 2867–2872.
ICPRICPR-2014-HuML #composition #probability
Dynamic Task Decomposition for Probabilistic Tracking in Complex Scenes (TH, SM, OL), pp. 4134–4139.
KDDKDD-2014-AkibaMK #analysis #network
Network structural analysis via core-tree-decomposition Publication of this article pending inquiry (TA, TM, KiK), pp. 1476–1485.
KDDKDD-2014-BonchiGKV #composition #graph #nondeterminism
Core decomposition of uncertain graphs (FB, FG, AK, YV), pp. 1316–1325.
KDDKDD-2014-ChenC #incremental #named #rank #set
LWI-SVD: low-rank, windowed, incremental singular value decompositions on time-evolving data sets (XC, KSC), pp. 987–996.
PPoPPPPoPP-2014-CatanzaroKG #composition #matrix
A decomposition for in-place matrix transposition (BCC, AK, MG), pp. 193–206.
CAVCAV-2014-VeanesBNB #composition #monad
Monadic Decomposition (MV, NB, LN, SB), pp. 628–645.
CAVCAV-2014-WijsKB #component #composition #graph
GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components (AW, JPK, DB), pp. 310–326.
LICSLICS-CSL-2014-BojanczykDK #calculus #composition #model checking #theorem #μ-calculus
Decomposition theorems and model-checking for the modal μ-calculus (MB, CD, SK), p. 10.
LICSLICS-CSL-2014-HarwathHS #bound #composition #theorem
Preservation and decomposition theorems for bounded degree structures (FH, LH, NS), p. 10.
CASECASE-2013-BentahaBD #composition #probability
A decomposition method for stochastic partial disassembly line balancing with profit maximization (MLB, OB, AD), pp. 404–409.
CASECASE-2013-GrosbardKTR #composition #network #using
A queuing network model for wafer fabrication using decomposition without aggregation (DG, AK, IT, GR), pp. 717–722.
DACDAC-2013-AmaruGM #composition #logic #named #synthesis
BDS-MAJ: a BDD-based logic synthesis tool exploiting majority logic decomposition (LGA, PEG, GDM), p. 6.
DACDAC-2013-KuangY #approach #composition #layout #performance
An efficient layout decomposition approach for triple patterning lithography (JK, EFYY), p. 6.
DATEDATE-2013-RustLP #architecture #complexity #using
Low complexity QR-decomposition architecture using the logarithmic number system (JR, FL, SP), pp. 97–102.
DATEDATE-2013-TzouBHC #bound #composition #using
Periodic jitter and bounded uncorrelated jitter decomposition using incoherent undersampling (NT, DB, SWH, AC), pp. 1667–1672.
DRRDRR-2013-KumarPR13a #composition #documentation #evaluation #using
Evaluation of document binarization using eigen value decomposition (DK, MNAP, AGR).
ICDARICDAR-2013-Furukawa #composition #using
A New Method for Discriminating Printers Based on Contours Qualities of Printed Characters Using Wavelet Decomposition (TF), pp. 1115–1119.
ICDARICDAR-2013-HamdaniMN #composition #recognition #using
Open Vocabulary Arabic Handwriting Recognition Using Morphological Decomposition (MH, AEDM, HN), pp. 280–284.
SIGMODSIGMOD-2013-ChangYQLLL #component #composition #graph
Efficiently computing k-edge connected components via graph decomposition (LC, JXY, LQ, XL, CL, WL), pp. 205–216.
VLDBVLDB-2013-SariyuceGJWC #algorithm #composition #streaming
Streaming Algorithms for k-core Decomposition (AES, BG, GJS, KLW, ÜVÇ), pp. 433–444.
FoSSaCSFoSSaCS-2013-DreierELL #composition #on the #process #π-calculus
On Unique Decomposition of Processes in the Applied π-Calculus (JD, CE, PL, YL), pp. 50–64.
TACASTACAS-2013-RenaultDKP #automaton #composition #model checking #performance
Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking (ER, ADL, FK, DP), pp. 580–593.
STOCSTOC-2013-ChekuriC #graph
Large-treewidth graph decompositions and applications (CC, JC), pp. 291–300.
STOCSTOC-2013-KleinMS #graph #linear #recursion
Structured recursive separator decompositions for planar graphs in linear time (PNK, SM, CS), pp. 505–514.
ICALPICALP-v1-2013-0002LPRRSS #algorithm #kernel #linear
Linear Kernels and Single-Exponential Algorithms via Protrusion Decompositions (EJK, AL, CP, FR, PR, IS, SS), pp. 613–624.
CAiSECAiSE-2013-MilaniDM #composition #modelling #process
Decomposition Driven Consolidation of Process Models (FM, MD, RM), pp. 193–207.
ICMLICML-c2-2013-Tran-DinhKC #framework #graph #learning #matrix
A proximal Newton framework for composite minimization: Graph learning without Cholesky decompositions and matrix inversions (QTD, ATK, VC), pp. 271–279.
ICMLICML-c3-2013-SongIPXP #composition #modelling #visual notation
Hierarchical Tensor Decomposition of Latent Tree Graphical Models (LS, MI, APP, EPX, HP), pp. 334–342.
MLDMMLDM-2013-HaralickLM #composition
Relation Decomposition: The Theory (RMH, LL, EM), pp. 311–324.
SIGIRSIGIR-2013-ZhangSWH #composition #evaluation #information retrieval
Bias-variance decomposition of ir evaluation (PZ, DS, JW, YH), pp. 1021–1024.
ECOOPECOOP-2013-ZhuL #composition #linear #programming
Heap Decomposition Inference with Linear Programming (HSZ, YDL), pp. 104–128.
SACSAC-2013-Serafino #clustering #composition #graph
Speeding up graph clustering via modular decomposition based compression (PS), pp. 156–163.
PPoPPPPoPP-2013-PadmanabhanCC #composition #streaming
Decomposition techniques for optimal design-space exploration of streaming applications (SP, YC, RDC), pp. 285–286.
CADECADE-2013-LoupSCAB #algebra #composition #constraints
A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition (UL, KS, FC, , BB), pp. 193–207.
CASECASE-2012-DriesselM #case study #composition #heuristic #scheduling
An exploratory study of a decomposition heuristic for complex shop scheduling with transportation (RD, LM), pp. 413–418.
CASECASE-2012-MatsumotoN #approach #clustering #composition #concurrent #petri net #scheduling #tool support
Petri net decomposition approach to deadlock-free scheduling for dual-armed cluster tools (IM, TN), pp. 194–199.
CASECASE-2012-NgoS #composition #design
Hierarchical control of discrete-event systems: A new command and control design based on feasible system decomposition (QHN, KTS), pp. 674–679.
CASECASE-2012-SugiyamaNITU #approach #composition #problem
A bilevel decomposition approach to railway crew rostering problems for fair labor condition (TS, TN, MI, ST, KU), pp. 383–389.
DACDAC-2012-FangCC #algorithm #composition #layout #novel
A novel layout decomposition algorithm for triple patterning lithography (SYF, YWC, WYC), pp. 1185–1190.
DATEDATE-2012-ChenJM
QBf-based boolean function bi-decomposition (HC, MJ, JMS), pp. 816–819.
DATEDATE-2012-Sasao #generative
Row-shift decompositions for index generation functions (TS), pp. 1585–1590.
DRRDRR-2012-FengY #component #composition #detection #documentation #using
Using connected component decomposition to detect straight line segments in documents (XF, AY).
VLDBVLDB-2012-WangC #composition #network
Truss Decomposition in Massive Networks (JW, JC), pp. 812–823.
STOCSTOC-2012-AbrahamN #using
Using petal-decompositions to build a low stretch spanning tree (IA, ON), pp. 395–406.
SEFMSEFM-2012-FathabadiBR #approach #composition
A Systematic Approach to Atomicity Decomposition in Event-B (ASF, MJB, AR), pp. 78–93.
CIKMCIKM-2012-KimC #approximate #composition #dependence #functional #performance
Decomposition-by-normalization (DBN): leveraging approximate functional dependencies for efficient tensor decomposition (MK, KSC), pp. 355–364.
ICMLICML-2012-JanzaminA #composition #independence #markov
High-Dimensional Covariance Decomposition into Sparse Markov and Independence Domains (MJ, AA), p. 60.
ICMLICML-2012-WangC #process
Levy Measure Decompositions for the Beta and Gamma Processes (YW, LC), p. 68.
ICMLICML-2012-XuYQ #composition #data analysis #infinity #modelling #multi #parametricity
Infinite Tucker Decomposition: Nonparametric Bayesian Models for Multiway Data Analysis (ZX, FY, AQ), p. 218.
ICMLICML-2012-YangO #clustering #composition #matrix #probability #rank
Clustering by Low-Rank Doubly Stochastic Matrix Decomposition (ZY, EO), p. 94.
ICMLICML-2012-ZhangLLR #composition #rank
Improved Nystrom Low-rank Decomposition with Priors (KZ, LL, JL, AR), p. 22.
ICPRICPR-2012-LewinJC #algorithm #composition #evaluation #framework #performance
Framework for quantitative performance evaluation of shape decomposition algorithms (SL, XJ, AC), pp. 3696–3699.
ICPRICPR-2012-ShiraiOI #component #composition #image
Color-line vector field and local color component decomposition for smoothing and denoising of color images (KS, MO, MI), pp. 3050–3053.
ICPRICPR-2012-SuWF12a #composition
Submanifold decomposition (YS, SW, YF), pp. 1755–1758.
ICPRICPR-2012-ZhangLM #composition #multi #recognition #using
Multi-subregion face recognition using coarse-to-fine Quad-tree decomposition (CZ, XL, TM), pp. 1004–1007.
KDDKDD-2012-HanSCX #composition #modelling #visual notation
Overlapping decomposition for causal graphical modeling (LH, GS, GC, KX), pp. 114–122.
SEKESEKE-2012-BelkhatirOV #composition #quality
A Model Introducing SOAs Quality Attributes Decomposition (RB, MO, AV), pp. 324–327.
SACSAC-2012-MakanjuZML #clustering #composition #detection #identification
Spatio-temporal decomposition, clustering and identification for alert detection in system logs (AM, ANZH, EEM, ML), pp. 621–628.
SACSAC-2012-MathisSI #composition #constraints #geometry
Decomposition of geometrical constraint systems with reparameterization (PM, PS, RI), pp. 102–108.
SACSAC-2012-WickerPK #classification #composition #matrix #multi #using
Multi-label classification using boolean matrix decomposition (JW, BP, SK), pp. 179–186.
ICLPICLP-J-2012-BliemMW #declarative #named #problem #programming #using
D-FLAT: Declarative problem solving using tree decompositions and answer-set programming (BB, MM, SW), pp. 445–464.
ICSTSAT-2012-DemirovicG #composition #performance #satisfiability
An Efficient Method for Solving UNSAT 3-SAT and Similar Instances via Static Decomposition — (Poster Presentation) (ED, HG), pp. 489–490.
CASECASE-2011-KloetzerG
Software tool for constructing cell decompositions (MK, NG), pp. 507–512.
DACDAC-2011-BanLP #2d #composition #flexibility #framework #layout
Flexible 2D layout decomposition framework for spacer-type double pattering lithography (YB, KL, DZP), pp. 789–794.
DACDAC-2011-ZhangDWT #composition #detection #self
Self-aligned double patterning decomposition for overlay minimization and hot spot detection (HZ, YD, MDFW, ROT), pp. 71–76.
DATEDATE-2011-ChenM #composition #functional #generative #testing
Decision ordering based property decomposition for functional test generation (MC, PM), pp. 167–172.
CSMRCSMR-2011-ShternT #composition #generative
Factbase and Decomposition Generation (MS, VT), pp. 111–120.
ICSMEICSM-2011-ShternT #clustering #multi #using
Evaluating software clustering using multiple simulated authoritative decompositions (MS, VT), pp. 353–361.
STOCSTOC-2011-DemaineHK #algorithm #composition #graph
Contraction decomposition in h-minor-free graphs and algorithmic applications (EDD, MH, KiK), pp. 441–450.
STOCSTOC-2011-KawarabayashiW #algorithm #composition #graph #proving
A simpler algorithm and shorter proof for the graph minor decomposition (KiK, PW), pp. 451–458.
AFLAFL-2011-Egri-NagyMN #algorithm #composition #performance
Algorithms for the Efficient Calculation of the Holonomy Decomposition (AEN, JDM, CLN), pp. 389–390.
DLTDLT-2011-DrosteMST #composition #finite
A Cascade Decomposition of Weighted Finite Transition Systems (MD, IM, BS, AT), pp. 472–473.
GT-VMTGT-VMT-2011-BlumeBFK
Treewidth, Pathwidth and Cospan Decompositions (CB, HJSB, MF, BK).
CIKMCIKM-2011-KalyanpurPBLC #composition #ranking
Fact-based question decomposition for candidate answer re-ranking (AK, SP, BB, AL, JCC), pp. 2045–2048.
CIKMCIKM-2011-KimC #algebra #approximate #composition #framework
Approximate tensor decomposition within a tensor-relational algebraic framework (MK, KSC), pp. 1737–1742.
CIKMCIKM-2011-SchifanellaCS #composition #multi #performance
Fast metadata-driven multiresolution tensor decomposition (CS, KSC, MLS), pp. 1275–1284.
ICMLICML-2011-AgarwalNW #composition #matrix
Noisy matrix decomposition via convex relaxation: Optimal rates in high dimensions (AA, SN, MJW), pp. 1129–1136.
ICMLICML-2011-ChenWC #automation #composition
Automatic Feature Decomposition for Single View Co-training (MC, KQW, YC), pp. 953–960.
ICMLICML-2011-ZhouT #composition #matrix #named #random
GoDec: Randomized Lowrank & Sparse Matrix Decomposition in Noisy Case (TZ, DT), pp. 33–40.
SIGIRSIGIR-2011-WengLCZZYZ #approach #documentation #query #retrieval
Query by document via a decomposition-based two-level retrieval approach (LW, ZL, RC, YZ, YZ, LTY, LZ), pp. 505–514.
SACSAC-2011-FosterS #composition #monitoring
Advanced service monitoring configurations with SLA decomposition and selection (HF, GS), pp. 1582–1589.
ICSEICSE-2011-BianculliGP #composition #interface
Interface decomposition for service compositions (DB, DG, CSP), pp. 501–510.
DACDAC-2010-Agarwal #composition
Frequency domain decomposition of layouts for double dipole lithography (KA), pp. 404–407.
CIAACIAA-2010-LiuGLT #automaton #composition #matrix #regular expression
Compressing Regular Expressions’ DFA Table by Matrix Decomposition (YL, LG, PL, JT), pp. 282–289.
ICALPICALP-v1-2010-Kral #composition
Decomposition Width of Matroids (DK), pp. 55–66.
ICEISICEIS-DISI-2010-SellamiBAF #composition #process
Improving Real World Schema Matching with Decomposition Process (SS, ANB, YA, FF), pp. 151–158.
CIKMCIKM-2010-ZhaoAY #composition #nondeterminism #on the #set
On wavelet decomposition of uncertain time series data sets (YZ, CCA, PSY), pp. 129–138.
ICMLICML-2010-JojicGK #composition
Accelerated dual decomposition for MAP inference (VJ, SG, DK), pp. 503–510.
ICPRICPR-2010-DengH #composition #detection #exponential #process
Voice Activity Detection Based on Complex Exponential Atomic Decomposition and Likelihood Ratio Test (SD, JH), pp. 89–92.
ICPRICPR-2010-DuboisPM #adaptation #analysis #component #composition #using
Decomposition of Dynamic Textures Using Morphological Component Analysis: A New Adaptative Strategy (SD, RP, MM), pp. 2258–2261.
ICPRICPR-2010-FaureF #composition #linear
Linear Decomposition of Planar Shapes (AF, FF), pp. 1096–1099.
ICPRICPR-2010-Feschet #analysis #composition #geometry #multi #parametricity
Multiscale Analysis from 1D Parametric Geometric Decomposition of Shapes (FF), pp. 2102–2105.
ICPRICPR-2010-FlorianiMV #modelling
Modeling and Generalization of Discrete Morse Terrain Decompositions (LDF, PM, MV), pp. 999–1002.
ICPRICPR-2010-GueguenSP #composition #difference #image #multi #segmentation
Differential Morphological Decomposition Segmentation: A Multi-Scale Object Based Image Description (LG, PS, MP), pp. 938–941.
ICPRICPR-2010-GunluB #3d #composition
3D Face Decomposition and Region Selection Against Expression Variations (GG, HSB), pp. 1298–1301.
ICPRICPR-2010-LenzMC #composition #geometry
Iwasawa Decomposition and Computational Riemannian Geometry (RL, RM, JC), pp. 4472–4475.
ICPRICPR-2010-LiangLXL #composition #image #perspective
Face Hallucination under an Image Decomposition Perspective (YL, JHL, XX, WL), pp. 2158–2161.
ICPRICPR-2010-SerinoBA #composition
Object Decomposition Via Curvilinear Skeleton Partition (LS, GSdB, CA), pp. 4081–4084.
ICPRICPR-2010-SmeetsFHVS #3d #approach #composition #invariant #modelling #recognition #using
Fusion of an Isometric Deformation Modeling Approach Using Spectral Decomposition and a Region-Based Approach Using ICP for Expression-Invariant 3D Face Recognition (DS, TF, JH, DV, PS), pp. 1172–1175.
ICPRICPR-2010-SodaI #composition #dataset #integration #learning
Decomposition Methods and Learning Approaches for Imbalanced Dataset: An Experimental Integration (PS, GI), pp. 3117–3120.
ICPRICPR-2010-SzeptyckiACZGS #2d #composition #using
Partial Face Biometry Using Shape Decomposition on 2D Conformal Maps of Faces (PS, MA, LC, WZ, XDG, DS), pp. 1505–1508.
ICPRICPR-2010-WakaharaU #composition #recognition
Hierarchical Decomposition of Handwriting Deformation Vector Field for Improving Recognition Accuracy (TW, SU), pp. 1860–1863.
ICPRICPR-2010-XiongOL #algorithm #composition #recursion
A Recursive and Model-Constrained Region Splitting Algorithm for Cell Clump Decomposition (WX, SHO, JHL), pp. 4416–4419.
SIGIRSIGIR-2010-ZhengLLZ #composition #recommendation
Flickr group recommendation based on tensor decomposition (NZ, QL, SL, LZ), pp. 737–738.
SACSAC-2010-CaetanoST #composition #principle #process
A method for business process decomposition based on the separation of concerns principle (AC, ARS, JMT), pp. 79–85.
DATEDATE-2009-KravetsM #logic #synthesis #using
Sequential logic synthesis using symbolic bi-decomposition (VNK, AM), pp. 1458–1463.
ICDARICDAR-2009-CoustatyOPV #composition
Drop Caps Decomposition for Indexing a New Letter Extraction Method (MC, JMO, RP, NV), pp. 476–480.
ICDARICDAR-2009-WakaharaU #2d #composition #using
Hierarchical Decomposition of Handwriting Deformation Vector Field Using 2D Warping and Global/Local Affine Transformation (TW, SU), pp. 1141–1145.
ITiCSEITiCSE-2009-Sooriamurthi #abstraction #composition
Introducing abstraction and decomposition to novice programmers (RS), pp. 196–200.
CIAACIAA-J-2008-Yen09 #composition #petri net
Path Decomposition and Semilinearity of Petri Nets (HCY), pp. 581–596.
LATALATA-2009-AfoninG #regular expression
Minimal Union-Free Decompositions of Regular Languages (SA, DG), pp. 83–92.
IFMIFM-2009-Butler #composition
Decomposition Structures for Event-B (MJB), pp. 20–38.
IFMIFM-2009-Rakow #petri net #reduction
Decompositional Petri Net Reductions (AR), pp. 352–366.
ICMLICML-2009-KumarMT #approximate #composition #on the
On sampling-based approximate spectral decomposition (SK, MM, AT), pp. 553–560.
KDDKDD-2009-KolczC #composition #email
Genre-based decomposition of email class noise (AK, GVC), pp. 427–436.
KDIRKDIR-2009-WohrerZDB #composition #data mining #metaprogramming #mining #optimisation #towards
Unboxing Data Mining Via Decomposition in Operators — Towards Macro Optimization and Distribution (AW, YZ, EuHD, PB), pp. 243–248.
SEKESEKE-2009-EzenwoyeVSFDK #adaptation #composition #distributed #staging #workflow
Task Decomposition for Adaptive Data Staging in Workflows for Distributed Environments (OE, BV, SMS, LF, GD, SK), pp. 16–19.
SACSAC-2009-Brand #composition #constraints #matrix #problem
The sum-of-increments constraint in the consecutive-ones matrix decomposition problem (SB), pp. 1417–1418.
SACSAC-2009-FarberB #composition #multi
Multivariate root finding with search space decomposition and randomisation (MF, BB), pp. 1142–1143.
SACSAC-2009-ShenU #approximate #composition #concept #matrix #multi
A class of multistep sparse matrix strategies for concept decomposition matrix approximation (CS, MU), pp. 1714–1718.
WICSAWICSA-2008-MolesiniGCB #analysis #architecture #on the
On the Quantitative Analysis of Architecture Stability in Aspectual Decompositions (AM, AFG, CvFGC, TVB), pp. 29–38.
CASECASE-2008-NishiTI #approach #automation #composition #optimisation #petri net
Petri Net decomposition approach for the simultaneous optimization of task assignment and routing with automated guided vehicles (TN, YT, MI), pp. 175–180.
DACDAC-2008-CzajkowskiB #composition #linear #logic #synthesis
Functionally linear decomposition and synthesis of logic circuits for FPGAs (TSC, SDB), pp. 18–23.
DATEDATE-2008-LeinweberB #clustering #composition #fine-grained #reduction
Fine-Grained Supply Gating Through Hypergraph Partitioning and Shannon Decomposition for Active Power Reduction (LL, SB), pp. 373–378.
SIGMODSIGMOD-2008-PanZW #clustering #composition #dataset #matrix #named #performance #scalability
CRD: fast co-clustering on large datasets utilizing sampling-based matrix decomposition (FP, XZ, WW), pp. 173–184.
SASSAS-2008-ManevichLSRB #analysis #composition #concurrent
Heap Decomposition for Concurrent Shape Analysis (RM, TLA, MS, GR, JB), pp. 363–377.
STOCSTOC-2008-Racke #network
Optimal hierarchical decompositions for congestion minimization in networks (HR), pp. 255–264.
CIAACIAA-2008-Salomaa
Language Decompositions, Primality, and Trajectory-Based Operations (KS), pp. 17–22.
ICALPICALP-A-2008-TedderCHP #composition #linear #permutation #recursion
Simpler Linear-Time Modular Decomposition Via Recursive Factorizing Permutations (MT, DGC, MH, CP), pp. 634–645.
CIKMCIKM-2008-Ibekwe-SanjuanSV #composition #graph #information management
Decomposition of terminology graphs for domain knowledge acquisition (FIS, ES, MSEV), pp. 1463–1464.
ECIRECIR-2008-SongHRB #composition #mining #modelling #multi #query #using
Facilitating Query Decomposition in Query Language Modeling by Association Rule Mining Using Multiple Sliding Windows (DS, QH, SMR, PB), pp. 334–345.
ICPRICPR-2008-RoussillonST #composition #robust
Robust decomposition of a digital curve into convex and concave parts (TR, IS, LT), pp. 1–4.
ICPRICPR-2008-TianFG #composition #multi #recognition
Multi-view face recognition by nonlinear tensor decomposition (CT, GF, XG), pp. 1–4.
KDDKDD-2008-BonchiCDG #composition #query #topic
Topical query decomposition (FB, CC, DD, AG), pp. 52–60.
KDDKDD-2008-HyvonenMT #matrix
Interpretable nonnegative matrix decompositions (SH, PM, ET), pp. 345–353.
KRKR-2008-Petrick #calculus #composition
Cartesian Situations and Knowledge Decomposition in the Situation Calculus (RPAP), pp. 629–639.
ICSTICST-2008-SherriffW #composition #empirical #impact analysis #using
Empirical Software Change Impact Analysis using Singular Value Decomposition (MS, LW), pp. 268–277.
LICSLICS-2008-Grohe08a
Definable Tree Decompositions (MG), pp. 406–417.
CASECASE-2007-NishiHIG #composition #generative #multi #scheduling
A Decomposition Method with Cut Generation for Simultaneous Production Scheduling and Routing for multiple AGVs (TN, YH, MI, IEG), pp. 658–663.
DACDAC-2007-RamalingamSNOP #analysis #composition #modelling #using
Accurate Waveform Modeling using Singular Value Decomposition with Applications to Timing Analysis (AR, AKS, SRN, MO, DZP), pp. 148–153.
DACDAC-2007-VermaBI #composition #heuristic
Progressive Decomposition: A Heuristic to Structure Arithmetic Circuits (AKV, PB, PI), pp. 404–409.
DATEDATE-2007-SatishRK #approach #communication #constraints #graph #multi #optimisation #scheduling
A decomposition-based constraint optimization approach for statically scheduling task graphs with communication delays to multiprocessors (NS, KR, KK), pp. 57–62.
PODSPODS-2007-GottlobMS #np-hard
Generalized hypertree decompositions: np-hardness and tractable variants (GG, ZM, TS), pp. 13–22.
ITiCSEITiCSE-2007-MullerGH #composition #problem
Pattern-oriented instruction and its influence on problem decomposition and solution construction (OM, DG, BH), pp. 151–155.
TACASTACAS-2007-ManevichBCRS #analysis #composition #graph
Shape Analysis by Graph Decomposition (RM, JB, BC, GR, MS), pp. 3–18.
WCREWCRE-2007-ShternT #comparison
Lossless Comparison of Nested Software Decompositions (MS, VT), pp. 249–258.
ICALPICALP-2007-DemaineMRW #algorithm #composition #distance #edit distance
An Optimal Decomposition Algorithm for Tree Edit Distance (EDD, SM, BR, OW), pp. 146–157.
HCIDHM-2007-ZhangDC #composition #pattern matching #pattern recognition #process #recognition
Wavelet Transform and Singular Value Decomposition of EEG Signal for Pattern Recognition of Complicated Hand Activities (XZ, WD, ZC), pp. 294–303.
HCIHCI-IDU-2007-FangTZ #approach #composition #design #interactive
A Pattern Decomposition and Interaction Design Approach (CF, PT, MZ), pp. 1102–1108.
HCIHIMI-MTT-2007-NoorinaeiniLW #classification #composition #hybrid
Hybrid Singular Value Decomposition: A Model of Human Text Classification (AN, MRL, SjW), pp. 517–525.
ICEISICEIS-EIS-2007-LongP #composition #grid #scheduling #workflow
Grid Workflow Scheduling with Temporal Decomposition (FL, HKP), pp. 440–446.
ICMLICML-2007-Marthi #automation #composition
Automatic shaping and decomposition of reward functions (BM), pp. 601–608.
KDDKDD-2007-WuWCX #analysis #composition
Local decomposition for rare class analysis (JW, HX, PW, JC), pp. 814–823.
ECOOPECOOP-2007-GreenwoodBFDGCSSBKR #design #empirical #on the
On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study (PG, TTB, EF, MD, AFG, NC, CS, SS, PB, UK, AR), pp. 176–200.
SACSAC-2007-WuFY #architecture #composition #re-engineering
Software reengineering with architecture decomposition (LW, YF, HY), pp. 1489–1493.
SPLCSPLC-2007-ParkHSK #component #composition #product line
A Component Model supporting Decomposition and Composition of Consumer Electronics Software Product Lines (CMP, SH, KHS, JK), pp. 181–192.
CCCC-2007-ScholzB #analysis #composition #data flow #framework #using
A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees (BS, JB), pp. 202–217.
CGOCGO-2007-BarthouDCDJ #compilation #composition #kernel #optimisation #using
Loop Optimization using Hierarchical Compilation and Kernel Decomposition (DB, SD, PC, AD, WJ), pp. 170–184.
PPoPPPPoPP-2007-JohnsonEV #composition #concurrent #empirical #optimisation #thread
Speculative thread decomposition through empirical optimization (TAJ, RE, TNV), pp. 205–214.
CADECADE-2007-BonacinaE #composition
T-Decision by Decomposition (MPB, ME), pp. 199–214.
CASECASE-2006-NishiM #composition #optimisation #petri net #problem
Decomposition of Petri Nets for Optimization of Routing Problem for AGVs in Semiconductor Fabrication Bays (TN, RM), pp. 236–241.
DATEDATE-2006-KooM #functional #generative #pipes and filters #testing #using #validation
Functional test generation using property decompositions for validation of pipelined processors (HMK, PM), pp. 1240–1245.
DATEDATE-2006-SovianiTE #composition #optimisation
Optimizing sequential cycles through Shannon decomposition and retiming (CS, OT, SAE), pp. 1085–1090.
DATEDATE-2006-ZhouSMS #analysis #composition #grid #power management #scalability #using
Large power grid analysis using domain decomposition (QZ, KS, KM, DCS), pp. 27–32.
CSMRCSMR-2006-LunguL #named
Softwarenaut: Exploring Hierarchical System Decompositions (ML, ML), pp. 351–354.
DLTDLT-2006-HanSW #regular expression
Prime Decompositions of Regular Languages (YSH, KS, DW), pp. 145–155.
ICGTICGT-2006-BaldanEK #composition
Composition and Decomposition of DPO Transformations with Borrowed Context (PB, HE, BK), pp. 153–167.
CIKMCIKM-2006-ChiTT #analysis #named
Eigen-trend: trend analysis in the blogosphere based on singular value decompositions (YC, BLT, JT), pp. 68–77.
ICMLICML-2006-PereiraG #composition
The support vector decomposition machine (FP, GJG), pp. 689–696.
ICPRICPR-v1-2006-MiaoQS #composition #principle #using
Unsupervised Decomposition of Mixed Pixels Using the Maximum Entropy Principle (LM, HQ, HS), pp. 1067–1070.
ICPRICPR-v2-2006-ChenH #bound #composition #image #segmentation
Boundary correction for total variation regularized L^1 function with applications to image decomposition and segmentation (TC, TSH), pp. 316–319.
ICPRICPR-v2-2006-HeW #composition #empirical #image
Spatial-variant Image Filtering Based on Bidimensional Empirical Mode Decomposition (LH, HW), pp. 1196–1199.
ICPRICPR-v2-2006-YangG #composition #invariant #using
Line-Based Affine Invariant Object Location Using Transformation Space Decomposition (RY, YG), pp. 646–649.
ICPRICPR-v3-2006-AbdallahHB #composition #image #performance #robust #using
A robust block-based image watermarking scheme using fast Hadamard transform and singular value decomposition (EEA, ABH, PB), pp. 673–676.
ICPRICPR-v4-2006-SaadS #approach #composition #image #segmentation
Shape Decomposition Approach for Ultrasound Color Doppler Image Segmentation (AAS, LGS), pp. 691–694.
ICPRICPR-v4-2006-SvenssonGFSOS #composition #framework #fuzzy #image #using
Using a fuzzy framework for delineation and decomposition of Immunoglobulin G in cryo electron tomographic images (SS, MG, DF, US, LGO, SS), pp. 687–690.
KDDKDD-2006-MahoneyMD
Tensor-CUR decompositions for tensor-based data (MWM, MM, PD), pp. 327–336.
KRKR-2006-CroitoruC #algorithm #composition #concept #graph
A Tree Decomposition Algorithm for Conceptual Graph Projection (MC, EC), pp. 271–276.
SEKESEKE-2006-PauliX #case study #composition #consistency
Ensuring Consistent Use/Misuse Case Decomposition for Secure Systems (JJP, DX), pp. 392–397.
SACSAC-2006-ZhangG #composition #constraints #geometry #graph #theorem proving
Spatial geometric constraint solving based on k-connected graph decomposition (GFZ, XSG), pp. 979–983.
FATESFATES-RV-2006-LiD #algorithm #aspect-oriented #safety #testing #verification
Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems (CL, ZD), pp. 100–114.
ISSTAISSTA-2006-CobleighAC #composition #reasoning
Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning (JMC, GSA, LAC), pp. 97–108.
DACDAC-2005-SasaoM #composition #functional #logic #multi #representation
BDD representation for incompletely specifiedvmultiple-output logic functions and its applications to functional decomposition (TS, MM), pp. 373–378.
DATEDATE-2005-MartinelliD #bound #composition #set
Bound Set Selection and Circuit Re-Synthesis for Area/Delay Driven Decomposition (AM, ED), pp. 430–431.
DATEDATE-2005-OgrasM #approach #architecture #communication #composition #energy #synthesis #using
Energy- and Performance-Driven NoC Communication Architecture Synthesis Using a Decomposition Approach (ÜYO, RM), pp. 352–357.
ICDARICDAR-2005-AbedELE #composition #documentation #retrieval
Frequencies Decomposition and Partial Similarities Retrieval for Ancient Handwriting Documents Compression (AEA, VE, FL, HE), pp. 996–1000.
ICDARICDAR-2005-MozaffariFFZ #composition #statistics
Structural Decomposition and Statistical Description of Farsi/Arabic Handwritten Numeric Characters (SM, KF, MZ), pp. 237–241.
FoSSaCSFoSSaCS-2005-Froschle #composition
Composition and Decomposition in True-Concurrency (SBF), pp. 333–347.
FoSSaCSFoSSaCS-2005-SchaeferV #component #composition #refinement
Component Refinement and CSC Solving for STG Decomposition (MS, WV), pp. 348–363.
ICSMEICSM-2005-Bollin #composition #maintenance #scalability #specification
Maintaining Formal Specifications — Decomposition of Large Z-Specifications (AB), pp. 443–452.
ICSMEICSM-2005-LuoZS #clustering #composition #identification #object-oriented
A Hierarchical Decomposition Method for Object-Oriented Systems Based on Identifying Omnipresent Clusters (JL, LZ, JS), pp. 647–650.
STOCSTOC-2005-VegaKKV #approximate #composition #constraints #problem
Tensor decomposition and approximation schemes for constraint satisfaction problems (WFdlV, MK, RK, SV), pp. 747–754.
ICALPICALP-2005-GuT #graph
Optimal Branch-Decomposition of Planar Graphs in O(n3) Time (QPG, HT), pp. 373–384.
ICMLICML-2005-BachJ #composition #kernel #predict #rank
Predictive low-rank decomposition for kernel methods (FRB, MIJ), pp. 33–40.
ICMLICML-2005-JonssonB #approach #composition
A causal approach to hierarchical decomposition of factored MDPs (AJ, AGB), pp. 401–408.
ICMLICML-2005-MenchettiCF #composition #kernel
Weighted decomposition kernels (SM, FC, PF), pp. 585–592.
KDDKDD-2005-LongZY #clustering #composition
Co-clustering by block value decomposition (BL, Z(Z, PSY), pp. 635–640.
MLDMMLDM-2005-DongKSP #composition #geometry #low level #representation #word
Low-Level Cursive Word Representation Based on Geometric Decomposition (JxD, AK, CYS, DP), pp. 590–599.
SEKESEKE-2005-LungXZ #architecture #composition #using
Software Architecture Decomposition Using Attributes (CHL, XX, MZ), pp. 747–752.
SEKESEKE-2005-MarewKB #aspect-oriented #case study #composition #development #functional #product line #using
Case Study on Systematic Functional Decomposition in a Product Line using Aspect Oriented Software Development (TM, JK, DHB), pp. 152–157.
SACSAC-2005-BockerL #composition #performance
Efficient mass decomposition (SB, ZL), pp. 151–157.
SACSAC-2005-OuajaR #composition #hybrid
Hybrid Lagrangian relaxation for bandwidth-constrained routing: knapsack decomposition (WO, BR), pp. 383–387.
CSLCSL-2005-CourcelleD #composition #graph #higher-order #logic #monad
The Modular Decomposition of Countable Graphs: Constructions in Monadic Second-Order Logic (BC, CD), pp. 325–338.
FATESFATES-2005-XieD #approach #concurrent #testing
Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach (GX, ZD), pp. 170–186.
WICSAWICSA-2004-PoortW #composition #non-functional
Resolving Requirement Conflicts through Non-Functional Decomposition (ERP, PHNdW), pp. 145–154.
ASEASE-2004-Xie #approach #component #hybrid #verification
Decompositional Verification of Component-based Systems — A Hybrid Approach (GX), pp. 414–417.
DACDAC-2004-ShehataA #composition #verification
A general decomposition strategy for verifying register renaming (HIS, MA), pp. 234–237.
DATEDATE-v1-2004-KuoHW #composition #design #power management
Decomposition of Instruction Decoder for Low Power Design (WAK, TH, ACHW), pp. 664–665.
PODSPODS-2004-ScarcelloGL #query
Weighted Hypertree Decompositions and Optimal Query Plans (FS, GG, NL), pp. 210–221.
ICSMEICSM-2004-WenT #metric #similarity
Evaluating Similarity Measures for Software Decompositions (ZW, VT), pp. 368–377.
WCREWCRE-2004-ShternT #comparison #framework
A Framework for the Comparison of Nested Software Decompositions (MS, VT), pp. 284–292.
PLDIPLDI-2004-JohnsonEV #composition #concurrent #thread
Min-cut program decomposition for thread-level speculation (TAJ, RE, TNV), pp. 59–70.
CIAACIAA-2004-Egri-NagyN #algebra #automaton #comparison #composition #finite #implementation
Algebraic Hierarchical Decomposition of Finite State Automata: Comparison of Implementations for Krohn-Rhodes Theory (AEN, CLN), pp. 315–316.
CIKMCIKM-2004-ChundiR #documentation #on the
On lossy time decompositions of time stamped documents (PC, DJR), pp. 437–445.
ICPRICPR-v1-2004-WangA #composition #multi #representation #using
Compact Representation of Multidimensional Data Using Tensor Rank-One Decomposition (HW, NA), pp. 44–47.
ICPRICPR-v2-2004-LuCY #approach #composition #graph
A Graph Decomposition Approach to Least Squares Attributed Graph Matching (JL, TC, JYY), pp. 471–474.
ICPRICPR-v2-2004-MilanovaTK #algorithm #composition #image #recursion
Lossless Data Compression for Image Decomposition With Recursive IDP Algorithm (MGM, VT, RK), pp. 823–826.
ICPRICPR-v2-2004-TeraiMO #composition
Color Decomposition of Overlapped Watercolors (TT, SM, MO), pp. 919–922.
ICPRICPR-v4-2004-LiuWP #classification #composition #empirical
Texture Classification Through Directional Empirical Mode Decomposition (ZL, HW, SP), pp. 803–806.
KDDKDD-2004-YePLJXK #algorithm #composition #incremental #named #reduction
IDR/QR: an incremental dimension reduction algorithm via QR decomposition (JY, QL, HX, HP, RJ, VK), pp. 364–373.
RERE-2004-RapanottiHJN #architecture #composition #problem
Architecture-driven Problem Decomposition (LR, JGH, MJ, BN), pp. 80–89.
ICSEICSE-2004-HaRCRD #case study #composition #experience #induction #proving #realtime
Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report (VH, MR, DDC, HR, BD), pp. 304–313.
DACDAC-2003-MishchenkoS #composition #functional #scalability #using
Large-scale SOP minimization using decomposition and functional properties (AM, TS), pp. 149–154.
DACDAC-2003-MishchenkoWK #algorithm #composition
A new enhanced constructive decomposition and mapping algorithm (AM, XW, TK), pp. 143–148.
DACDAC-2003-WongM #composition #data-driven #synthesis
High-level synthesis of asynchronous systems by data-driven decomposition (CGW, AJM), pp. 508–513.
DATEDATE-2003-LeeHH #composition #design #finite #power management #state machine
Decomposition of Extended Finite State Machine for Low Power Design (ML, TH, SYH), pp. 11152–11153.
DRRDRR-2003-SuwaN #algorithm #composition #image #using
Separation algorithm of superimposed pattern using directional decomposition of an image (MS, SN), pp. 278–285.
IWPCIWPC-2003-GallagherL #composition #question #slicing
Are Decomposition Slices Clones? (KG, LL), pp. 251–257.
WCREWCRE-2003-GallagherB #composition #empirical #equivalence #slicing
An Empirical Study of Computation Equivalence as Determined by Decomposition Slice Equivalence (KG, DB), pp. 316–322.
STOCSTOC-2003-GaoZ #composition #graph #metric
Well-separated pair decomposition for the unit-disk graph metric and its applications (JG, LZ), pp. 483–492.
FMFME-2003-PoppletonB #composition
Structuring Retrenchments in B by Decomposition (MP, RB), pp. 814–833.
ICMLICML-2003-BrownW #ambiguity #composition #learning #network
The Use of the Ambiguity Decomposition in Neural Network Ensemble Learning Methods (GB, JLW), pp. 67–74.
ICMLICML-2003-RussellZ #learning
Q-Decomposition for Reinforcement Learning Agents (SJR, AZ), pp. 656–663.
ICSTSAT-2003-BjesseKDSZ #satisfiability
Guiding SAT Diagnosis with Tree Decompositions (PB, JHK, RFD, TS, YZ), pp. 315–329.
DATEDATE-2002-KutzschebauchS #composition #layout
Layout Driven Decomposition with Congestion Consideration (TK, LS), pp. 672–676.
CIAACIAA-2002-CzyzowiczFPR
Prime Decompositions of Regular Prefix Codes (JC, WF, AP, WR), pp. 85–94.
ICMLICML-2002-GoebelRB #composition #performance #predict
A Unified Decomposition of Ensemble Loss for Predicting Ensemble Performance (MG, PJR, MB), pp. 211–218.
ICPRICPR-v1-2002-FlorianiMD #composition
A Smale-Like Decomposition for Discrete Scalar Fields (LDF, MMM, ED), pp. 184–187.
ICPRICPR-v3-2002-ParkO #composition
Shape Decomposition and Skeleton Extraction of Character Patterns (JSP, ISO), pp. 411–414.
DACDAC-2001-MishchenkoSP #algorithm #logic
An Algorithm for Bi-Decomposition of Logic Functions (AM, BS, MAP), pp. 103–108.
DATEDATE-2001-JozwiakC #composition #functional #metric
High-quality sub-function construction in functional decomposition based on information relationship measures (LJ, AC), pp. 383–390.
ICDARICDAR-2001-HadjarHI #approach #composition #using
Newspaper Page Decomposition Using a Split and Merge Approach (KH, OH, RI), pp. 1186–1189.
ICDARICDAR-2001-JinT #composition #locality #using
Text Area Localization under Complex-Background Using Wavelet Decomposition (NJ, YYT), pp. 1126–1130.
ICSMEICSM-2001-MitchellM #algorithm #clustering #metric #similarity #using
Comparing the Decompositions Produced by Software Clustering Algorithms Using Similarity Measurements (BSM, SM), pp. 744–753.
WCREWCRE-2001-MitchellM #benchmark #clustering #framework #metric #named
CRAFT: A Framework for Evaluating Software Clustering Results in the Absence of Benchmark Decompositions (BSM, SM), pp. 93–102.
CIAACIAA-2001-BergeronH #algorithm
Cascade Decompositions are Bit-Vector Algorithms (AB, SH), pp. 13–26.
DLTDLT-2001-CampeanuSV
Shuffle Quotient and Decompositions (CC, KS, SV), pp. 186–196.
SACSAC-2001-LarocheBS #composition #markov #process
A new decomposition technique for solving Markov decision processes (PL, YB, RS), pp. 12–16.
ICSTSAT-2001-AmirM #composition #problem #satisfiability #using
Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report) (EA, SM), pp. 329–343.
DACDAC-2000-ZhouW #composition #power management
Optimal low power X OR gate decomposition (HZ, DFW), pp. 104–107.
WLCWLC-2000-Auinger #pseudo
Join Decompositions of Pseudovarieties of the Form DH ECom (KA), pp. 40–50.
CIKMCIKM-2000-WuAA #approximate #composition #query #using
Using Wavelet Decomposition to Support Progressive and Approximate Range-Sum Queries over Data Cubes (YLW, DA, AEA), pp. 414–421.
ICMLICML-2000-Domingos00a #composition
A Unifeid Bias-Variance Decomposition and its Applications (PMD), pp. 231–238.
ICPRICPR-v1-2000-RavyseSCR #composition #detection #process #recognition #using
Eye Activity Detection and Recognition Using Morphological Scale-Space Decomposition (IR, HS, JC, MJTR), pp. 5080–5083.
ICPRICPR-v1-2000-WangT #composition #matrix
An SVD Decomposition of Essential Matrix with Eight Solutions for the Relative Positions of Two Perspective Cameras (WW, HTT), pp. 1362–1365.
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-LuoH #algorithm #composition #graph #using
Symbolic Graph Matching Using the EM Algorithm and Singular Value Decomposition (BL, ERH), pp. 2141–2144.
ICPRICPR-v2-2000-Salotti #algorithm #composition
Improvement of Perez and Vidal Algorithm for the Decomposition of Digitized Curves into Line Segments (MS), pp. 2878–2882.
ICPRICPR-v3-2000-ChenHD #composition #using
Circle Location from Intensity and Range Data Using the Singular Value Decomposition (NsC, GH, SD), pp. 3782–3785.
ICPRICPR-v3-2000-PeceP #composition #performance
Fast Atomic Decomposition by the Inhibition Method (AECP, NP), pp. 3215–3218.
ICPRICPR-v3-2000-Rocha #composition #diagrams #performance
Efficient Polygonal Decomposition into Singular and Regular Regions via Voronoi Diagrams (JR), pp. 3770–3773.
DACDAC-1999-PerkowskiMGBM #algorithm #evaluation #graph #performance
Graph Coloring Algorithms for Fast Evaluation of Curtis Decompositions (MAP, RM, SG, MB, AM), pp. 225–230.
ICDARICDAR-1999-GatosMCTP #algorithm #composition
Integrated Algorithms for Newspaper Page Decomposition and Article Tracking (BG, SLM, KC, AT, SJP), pp. 559–562.
ICDARICDAR-1999-Hobby #classification #composition #geometry #layout
Page Decomposition and Signature Finding via Shape Classification and Geometric Layout (JDH), pp. 555–558.
ICDARICDAR-1999-TangSMRTC #2d #algorithm #composition
Accelerating the 2-D Mallat Decomposition Algorithm with Cyclical Convolution and FNTT (YYT, QS, HM, DBR, YT, ZKC), pp. 87–90.
PODSPODS-1999-GottlobLS #query
Hypertree Decompositions and Tractable Queries (GG, NL, FS), pp. 21–32.
DLTDLT-1999-SalomaaY #composition #finite #on the
On the decomposition of finite languages (AS, SY), pp. 22–31.
ICALPICALP-1999-BouyerP #automaton #composition
Decomposition and Composition of Timed Automata (PB, AP), pp. 210–219.
AGTIVEAGTIVE-1999-HoffmannLS #composition #constraints #geometry #graph transformation
Planning Geometric Constraint Decomposition via Optimal Graph Transformations (CMH, AL, MS), pp. 309–324.
SIGIRSIGIR-1999-JingM #composition #summary
The Decomposition of Human-Written Summary Sentences (HJ, KM), pp. 129–136.
RTARTA-1999-Courcelle #graph #logic
Hierarchical Graph Decompositions Defined by Grammars and Logical Formulas (BC), pp. 90–91.
DACDAC-1998-JiangJH #composition #encoding #synthesis
Compatible Class Encoding in Hyper-Function Decomposition for FPGA Synthesis (JHRJ, JYJ, JDH), pp. 712–717.
DACDAC-1998-MonteiroO #composition #finite #power management #state machine
Finite State Machine Decomposition For Low Power (JCM, ALO), pp. 758–763.
DACDAC-1998-RaviMSS #approximate #composition #diagrams
Approximation and Decomposition of Binary Decision Diagrams (KR, KLM, TRS, FS), pp. 445–450.
DATEDATE-1998-SawadaYN #detection #logic
Restructuring Logic Representations with Easily Detectable Simple Disjunctive Decompositions (HS, SY, AN), pp. 755–759.
DATEDATE-1998-Scholl #composition #functional #multi
Multi-output Functional Decomposition with Exploitation of Don’t Cares (CS), pp. 743–748.
WCREWCRE-1998-OcaC #composition #representation #visual notation
A Visual Representation Model for Software Subsystem Decomposition (CMdO, DLC), pp. 231–240.
STOCSTOC-1998-HuangR #algebra #approach #black box #composition #problem #set
A Black Box Approach to the Algebraic Set Decomposition Problem (MDAH, AJR), pp. 497–506.
CIKMCIKM-1998-ThomasianCL #approximate #clustering #composition
Clustering and Singular Value Decomposition for Approximate Indexing in High Dimensional Spaces (AT, VC, CSL), pp. 201–207.
ICPRICPR-1998-WangLL #classification #composition #markov #modelling #random #using
Texture classification using wavelet decomposition with Markov random field models (LW, JL, SZL), pp. 1613–1615.
DATEEDTC-1997-CortadellaKKLY #composition #independence
Technology mapping of speed-independent circuits based on combinational decomposition and resynthesis (JC, MK, AK, LL, AY), pp. 98–105.
ICDARICDAR-1997-FoggiaSTV #geometry #recognition
Character Recognition by Geometrical Moments on Structural Decompositions (PF, CS, FT, MV), pp. 6–10.
ICSMEICSM-1997-Abd-El-Hafiz #composition #comprehension #knowledge-based
Effects of Decomposition Techniques on Knowledge-Based Program Understanding (SKAEH), p. 21–?.
ICGTGG-Handbook-Vol1-EhrenfeuchtHR #composition #framework #graph #named
2-Structures — A Framework For Decomposition And Transformation Of Graphs (AE, TH, GR), pp. 401–478.
CAiSECAiSE-1997-JajodiaRA #composition #implementation #semantics #transaction
Implementing Semantic-Based Decomposition of Transactions (SJ, IR, PA), pp. 75–88.
ICMLICML-1997-MayorazM #composition #on the
On the Decomposition of Polychotomies into Dichotomies (EM, MM), pp. 219–226.
ICMLICML-1997-ReddyT #learning #using
Learning Goal-Decomposition Rules using Exercises (CR, PT), pp. 278–286.
ICMLICML-1997-ZupanBBD #composition #machine learning
Machine Learning by Function Decomposition (BZ, MB, IB, JD), pp. 421–429.
KDDKDD-1997-ZupanBBC #approach #composition #data mining #dataset #mining
A Dataset Decomposition Approach to Data Mining and Machine Discovery (BZ, MB, IB, BC), pp. 299–302.
DACDAC-1996-CongH #composition #design
Structural Gate Decomposition for Depth-Optimal Technology Mapping in LUT-based FPGA Design (JC, YYH), pp. 726–729.
DACDAC-1996-ThakurWK #composition #multi
Delay Minimal Decomposition of Multiplexers in Technology Mapping (ST, DFW, SK), pp. 254–257.
HTHT-1996-SaltonSBM #automation #composition #using
Automatic Text Decomposition Using Text Segments and Text Themes (GS, AS, CB, MM), pp. 53–65.
VLDBVLDB-1996-Suciu #composition #maintenance #query #semistructured data
Query Decomposition and View Maintenance for Query Languages for Unstructured Data (DS), pp. 227–238.
CIKMCIKM-1996-LeePHC #composition #query #using
Spatial Query Processing Using Object Decomposition Method (YJL, HHP, NHH, CWC), pp. 53–61.
ICMLICML-1996-KahaviW #bias #composition
Bias Plus Variance Decomposition for Zero-One Loss Functions (RK, DW), pp. 275–283.
ICMLICML-1996-ReddyTR #composition #empirical #learning
Theory-guided Empirical Speedup Learning of Goal Decomposition Rules (CR, PT, SR), pp. 409–417.
ICPRICPR-1996-AblameykoFM #composition
Shape decomposition by (d1, d2)-weighted skeleton and directional information (SA, MF, AM), pp. 275–279.
ICPRICPR-1996-HuY #composition
Structural decomposition and description of printed and handwritten characters (JH, HY), pp. 230–234.
ICPRICPR-1996-KnipeL #composition #re-engineering
A new quadtree decomposition reconstruction method (JK, XL), pp. 364–369.
ICPRICPR-1996-RamaswamyNR #composition #image #using
Lossless image compression using wavelet decomposition (VNR, KRN, NR), pp. 924–928.
ICPRICPR-1996-SauvolaP #composition #documentation #interface
A document management interface utilizing page decomposition and content-based compression (JJS, MP), pp. 752–757.
REICRE-1996-HsiaHKH #clustering #composition #requirements
User-Centered System Decomposition: Z-Based Requirements Clustering (PH, CTH, DCK, LBH), pp. 126–135.
FSEFSE-1996-ZhangRL #alias #analysis #composition #pointer #towards
Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses (SZ, BGR, WL), pp. 81–92.
DACDAC-1995-ShenHC #composition #set
Lambda Set Selection in Roth-Karp Decomposition for LUT-Based FPGA Technology Mapping (WZS, JDH, SMC), pp. 65–69.
DACDAC-1995-StanionS #synthesis
A Method for Finding Good Ashenhurst Decompositions and Its Application to FPGA Synthesis (TS, CS), pp. 60–64.
DACDAC-1995-WurthEA #algorithm #composition #functional #multi
Functional Multiple-Output Decomposition: Theory and an Implicit Algorithm (BW, KE, KA), pp. 54–59.
ICDARICDAR-v2-1995-HaHP95a #bound #composition #documentation
Document page decomposition by the bounding-box project (JH, RMH, ITP), pp. 1119–1122.
ICDARICDAR-v2-1995-TaylorLN #classification #composition #documentation #functional
Classification and functional decomposition of business documents (SLT, ML, RWN), pp. 563–566.
VLDBVLDB-1995-AmmannJR #formal method #semantics #transaction #using
Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions (PA, SJ, IR), pp. 218–227.
SEKESEKE-1995-Al-SaadoonTE #approach #composition #named #object-oriented
AURA-CFG/E: An Object-Oriented approach for Acquisition and Decomposition of DFDs from End users (OAAS, WTT, HEb), pp. 1–7.
SEKESEKE-1995-KuhnSG #composition #slicing
The Decomposition Slice Display System (BMK, DJS, KBG), pp. 328–333.
HPDCHPDC-1995-Crandall #clustering #composition
The Limited Applicability of Block Decomposition in Cluster Computing (PC), pp. 102–109.
DACDAC-1994-DagaB #composition #interface #state machine
The Minimization and Decomposition of Interface State Machines (AJD, WPB), pp. 120–125.
DACDAC-1994-MurgaiBS #composition #encoding #functional #using
Optimum Functional Decomposition Using Encoding (RM, RKB, ALSV), pp. 408–414.
DATEEDAC-1994-ChoHMPS #algorithm #approximate #automaton #composition #traversal
A State Space Decomposition Algorithm for Approximate FSM Traversal (HC, GDH, EM, MP, FS), pp. 137–141.
DATEEDAC-1994-LinKL #approach #synthesis
Direct Synthesis of Hazard-Free Asynchronous Circuits from STGs Based on Lock Relation and BG-Decomposition Approach (KJL, JWK, CSL), pp. 178–183.
PODSPODS-1994-HuaLL #clustering
A Decomposition-Based Simulated Annealing Technique for Data Clustering (KAH, SDL, WKL), pp. 117–128.
ICGTTAGT-1994-Courcelle #composition #graph #higher-order #logic #monad
The Definition in Monadic Second-Order Logic of Modular Decompositions of Ordered Graphs (BC), pp. 487–501.
ICGTTAGT-1994-Janssens #composition
The Decomposition of ESM Computations (DJ), pp. 271–287.
CAiSECAiSE-1994-AntonMP #analysis #composition #process #re-engineering
Goal Decomposition and Scenario Analysis in Business Process Reengineering (AIA, WMM, CP), pp. 94–104.
ICMLICML-1994-ThamP #architecture #composition
A Modular Q-Learning Architecture for Manipulator Task Decomposition (CKT, RWP), pp. 309–317.
HPDCHPDC-1994-CrandallQ #composition #semistructured data
A Decomposition Advisory System for Heterogeneous Data-Parallel Processing (PC, MJQ), pp. 114–121.
HPDCHPDC-1994-NguyenZZ #distributed #problem #using
Distributed Computation of Electromagnetic Scattering Problems Using Finite-Difference Time-Domain Decompositions (SN, BJZ, XZ), pp. 85–89.
DACDAC-1993-ChatterjeeR #architecture #composition #multi #optimisation
An Architectural Transformation Program for Optimization of Digital Systems by Multi-Level Decomposition (AC, RKR), pp. 343–348.
DACDAC-1993-LaiPV #composition #logic #synthesis
BDD Based Decomposition of Logic Functions with Application to FPGA Synthesis (YTL, MP, SBKV), pp. 642–647.
DACDAC-1993-TsuiPD #composition #power management
Technology Decomposition and Mapping Targeting Low Power Dissipation (CYT, MP, AMD), pp. 68–73.
STOCSTOC-1993-Bodlaender #algorithm #linear
A linear time algorithm for finding tree-decompositions of small treewidth (HLB), pp. 226–234.
STOCSTOC-1993-KleinPR #composition #multi #network
Excluded minors, network decomposition, and multicommodity flow (PNK, SAP, SR), pp. 682–690.
SACSAC-1993-PanH #array #composition #pipes and filters
Computation of Singular Value Decomposition on Arrays with Pipelined Optical Buses (YP, MH), pp. 525–532.
HPDCHPDC-1993-CrandallQ #composition #network #programming
Block Data Decomposition for Data-Parallel Programming on a Heterogeneous Workstation Network (PC, MJQ), pp. 42–49.
SOSPSOSP-1993-MaedaB #composition #network #protocol
Protocol Service Decomposition for High-Performance Networking (CM, BNB), pp. 244–255.
CAVCAV-1993-BrinksmaLB #composition
Functionality Decomposition by Compositional Correstness Preserving Transformation (EB, RL, PB), pp. 371–384.
STOCSTOC-1992-CallahanK #composition #multi #nearest neighbour
A Decomposition of Multi-Dimensional Point-Sets with Applications to k-Nearest-Neighbors and n-Body Potential Fields (Preliminary Version) (PBC, SRK), pp. 546–556.
STOCSTOC-1992-DorT #composition #graph #proving
Graph Decomposition Is NPC-A Complete Proof of Holyer’s Conjecture (DD, MT), pp. 252–263.
STOCSTOC-1992-PanconesiS #algorithm #composition #distributed #network #problem
Improved Distributed Algorithms for Coloring and Network Decomposition Problems (AP, AS), pp. 581–592.
CHICHI-1992-KimL #composition #design #functional #logic #object-oriented #process #towards
Towards a model of cognitive process in logical design: comparing object-oriented and traditional functional decomposition software methodologies (JK, FJL), pp. 489–498.
SEKESEKE-1992-ArndtG #composition #data flow #diagrams
Decomposition of Data Flow Diagrams (TA, AG), pp. 560–566.
DACDAC-1991-GeigerM #algebra #automaton #benchmark #composition #metric
FSM Decomposition Revisited: Algebraic Structure Theory Applied to MCNC Benchmark FSMs (MG, TMW), pp. 182–185.
ICSEICSE-1991-Hartman #composition #comprehension #source code #using
Understanding Natural Programs Using Proper Decomposition (JH), pp. 62–73.
DACDAC-1990-AsharDN #approach #composition
A Unified Approach to the Decomposition and Re-Decomposition of Sequential Machines (PA, SD, ARN), pp. 601–606.
ICALPICALP-1990-ClerboutLR #composition
Decomposition of Partial Commutations (MC, ML, YR), pp. 501–511.
LISPLFP-1990-PuelS #compilation #composition #pattern matching
Compiling Pattern Matching by Term Decomposition (LP, AS), pp. 273–281.
ICGTGG-1990-Lautemann #automaton #composition
Tree Automata, Tree Decomposition and Hyperedge Replacement (CL), pp. 520–537.
CADECADE-1990-ChouG #algorithm #composition #geometry #proving #theorem proving
Ritt-Wu’s Decomposition Algorithm and Geometry Theorem Proving (SCC, XSG), pp. 207–220.
DACDAC-1989-Devadas89a #composition
General Decomposition of Sequential Machines: Relationships to State Assignment (SD), pp. 314–320.
PLDIPLDI-1989-RogersP #composition #locality #process
Process Decomposition Through Locality of Reference (AR, KP), pp. 69–80.
ICSEICSE-1989-Yue #composition #dynamic analysis #functional #requirements #validation
Validating System Requirements by Functional Decomposition and Dynamic Analysis (KY), pp. 188–196.
DACDAC-1988-BerkcandL #compilation
Analog Compilation Based on Successive Decompositions (EB, MAd, WL), pp. 369–375.
PODSPODS-1988-Hegner #component #composition #relational #strict
Decomposition of Relational Schemata into Components Defined by Both Projection and Restriction (SJH), pp. 174–183.
SIGIRSIGIR-1988-FurnasDDLHSL #composition #information retrieval #semantics #using
Information Retrieval using a Singular Value Decomposition Model of Latent Semantic Structure (GWF, SCD, STD, TKL, RAH, LAS, KEL), pp. 465–480.
PPoPPPPEALS-1988-Rose #composition #implementation #parallel
The Parallel Decomposition and Implementation of an Integrated Circuit Global Router (JR), pp. 138–145.
FMVDME-1987-Andrews #composition
Data Reification and Program Decomposition (DA), pp. 389–422.
POPLPOPL-1987-AllenCK #automation #composition #execution #parallel #source code
Automatic Decomposition of Scientific Programs for Parallel Execution (RA, DC, KK), pp. 63–76.
PODSPODS-1986-RulandS #database #relational
Alpha-Acyclic Decompositions of Relational Database Schemes (DR, DS), pp. 191–201.
ICALPICALP-1986-Lange #nondeterminism #reduction
Decompositions of Nondeterministic Reductions (Extended Abstract) (KJL), pp. 206–214.
DACDAC-1985-HealeyG #composition #logic #network
Decomposition of logic networks into silicon (STH, DDG), pp. 162–168.
SIGMODSIGMOD-1985-CopelandK #composition
A Decomposition Storage Model (GPC, SK), pp. 268–279.
ICALPICALP-1985-Bra #dependence
Imposed-Functional Dependencies Inducing Horizontal Decompositions (PDB), pp. 158–170.
RTARTA-1985-Rusinowitch #composition #recursion #revisited
Path of Subterms Ordering and Recursive Decomposition Ordering Revisited (MR), pp. 225–240.
PODSPODS-1984-GyssensP #composition #dependence #on the
On the Decomposition of Join Dependencies (MG, JP), pp. 143–152.
PODSPODS-1983-Hegner #algebra #aspect-oriented #composition #database #relational
Algebraic Aspects of Relational Database Decomposition (SJH), pp. 400–413.
PODSPODS-1983-HsuM #composition #concurrent #database
Hierarchical Database Decomposition — A Technique for Database Concurrency Control (MH, SEM), pp. 182–191.
SIGMODSIGMOD-1983-KambayashiY #composition #dependence #query
Query Processing Utilizing Dependencies and Horizontal Decomposition (YK, MY), pp. 55–67.
VLDBVLDB-1983-GrahneR #composition #database #normalisation
Database Decomposition into Fourth Normal Form (GG, KJR), pp. 186–196.
ICALPICALP-1983-BraP #dependence
Conditional Dependencies for Horizontal Decompositions (PDB, JP), pp. 67–82.
ICSEICSE-1982-Forman #analysis #composition #data flow
Global Data Flow Analysis by Decomposition into Primes (IRF), pp. 386–392.
STOCSTOC-1981-Chazelle
Convex Decompositions of Polyhedra (BC), pp. 70–79.
VLDBVLDB-1979-MendelzonM #composition #database #dependence
Generalized Mutual Dependencies and the Decomposition of Database Relations (AOM, DM), pp. 75–82.
ICALPICALP-1979-Ury #automaton #composition #linear
Optimal Decomposition of Linear Automata (), pp. 659–667.
ICGTGG-1978-EhrigR #composition #graph grammar
Decomposition of Graph Grammar Productions and Derivations (HE, BKR), pp. 192–205.
VLDBVLDB-1977-Fagin #approach #composition #database #design #relational
The Decomposition Versus Synthetic Approach to Relational Database Design (RF), pp. 441–446.
VLDBVLDB-1977-TanakaT #composition #database #relational
Decomposition and Composition of a Relational Database (YT, TT), pp. 454–462.
ICALPICALP-1977-BensonJ #composition #lr #parallel #parsing
Parallel Decomposition of LR(k) Parsers (Extended Abstract) (DBB, RDJ), pp. 76–86.
SIGMODSIGMOD-1976-WongY #composition #named #query
Decomposition — A Strategy for Query Processing (Abstract) (EW, KY), p. 155.
SIGMODSIGMOD-1975-Chang #composition #database
Data Base Decomposition in a Hierarchical Computer System (SKC), pp. 48–53.

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.