Stem decomposit$ (all stems)

404 papers:

CASE-2015-LiDLZ #approach #composition #problem

A decomposition approach to colored traveling salesman problems (JL, XD, HL, MZ), pp. 51–56.

CASE-2015-NguyenLK #composition #problem

Decomposition techniques for urban consolidation problems (DTN, HCL, AK), pp. 57–62.

DATE-2015-RustLP #approximate #architecture

QR-decomposition architecture based on two-variable numeric function approximation (JR, FL, SP), pp. 892–895.

SIGMOD-2015-TuR #named #query #using

DunceCap: Query Plans Using Generalized Hypertree Decompositions (ST, CR), pp. 2077–2078.

VLDB-2015-LazersonSKSGS #distributed #monitoring #using

Monitoring Distributed Streams using Convex Decompositions (AL, IS, DK, AS, MNG, VS), pp. 545–556.

STOC-2015-BarakKS #composition #learning #taxonomy

Dictionary Learning and Tensor Decomposition via the Sum-of-Squares Method (BB, JAK, DS), pp. 143–151.

ICML-2015-TangS #approach #composition

Guaranteed Tensor Decomposition: A Moment Approach (GT, PS), pp. 1491–1500.

KDD-2015-NikolaevDGUGS #composition #evaluation #online

Extreme States Distribution Decomposition Method for Search Engine Online Evaluation (KN, AD, EG, AU, GG, PS), pp. 845–854.

KDD-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.

SAC-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-FSE-2015-ArcainiGR #composition #generative #modelling #testing

Improving model-based test generation by model decomposition (PA, AG, ER), pp. 119–130.

ICSE-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.

ICSE-v1-2015-VakilianSMM #automation #composition

Automated Decomposition of Build Targets (MV, RS, JDM, VM), pp. 123–133.

ICLP-2015-Charwat #diagrams #programming #research #summary #using

Dynamic Programming on Tree Decompositions using Binary Decision Diagrams: Research Summary (GC).

DAC-2014-YuP #composition #layout

Layout Decomposition for Quadruple Patterning Lithography and Beyond (BY, DZP), p. 6.

DATE-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.

STOC-2014-AbrahamGGNT #composition #graph

Cops, robbers, and threatening skeletons: padded decomposition for minor-free graphs (IA, CG, AG, ON, KT), pp. 79–88.

STOC-2014-BhaskaraCMV #analysis

Smoothed analysis of tensor decompositions (AB, MC, AM, AV), pp. 594–603.

STOC-2014-BoutsidisW #matrix

Optimal CUR matrix decompositions (CB, DPW), pp. 353–362.

STOC-2014-GoyalVX #composition #fourier #robust

Fourier PCA and robust tensor decomposition (NG, SV, YX), pp. 584–593.

STOC-2014-Yoshida #composition #invariant #theorem

A characterization of locally testable affine-invariant properties via decomposition theorems (YY), pp. 154–163.

ICEIS-v3-2014-KubovyAK #behaviour #composition #control flow

Behavior-based Decomposition of BPMN 2.0 Control Flow (JK, DA, JK), pp. 263–271.

CIKM-2014-FangQHZ #bibliography #composition #ranking #sentiment #summary #using

Ranking Sentiment Explanations for Review Summarization Using Dual Decomposition (LF, QQ, MH, XZ), pp. 1931–1934.

CIKM-2014-KimC #array #performance

Efficient Static and Dynamic In-Database Tensor Decompositions on Chunk-Based Array Stores (MK, KSC), pp. 969–978.

CIKM-2014-LiHCS #composition #personalisation

Focusing Decomposition Accuracy by Personalizing Tensor Decomposition (PTD) (XL, SH, KSC, MLS), pp. 689–698.

ICML-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.

ICPR-2014-ChenH #composition #detection

Implicit Rank-Sparsity Decomposition: Applications to Saliency/Co-saliency Detection (YLC, CTH), pp. 2305–2310.

ICPR-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.

ICPR-2014-GhoraiC #algorithm #composition #higher-order #image #using

An Image Inpainting Algorithm Using Higher Order Singular Value Decomposition (MG, BC), pp. 2867–2872.

ICPR-2014-HuML #composition #probability

Dynamic Task Decomposition for Probabilistic Tracking in Complex Scenes (TH, SM, OL), pp. 4134–4139.

KDD-2014-AkibaMK #analysis #network

Network structural analysis via core-tree-decomposition Publication of this article pending inquiry (TA, TM, KiK), pp. 1476–1485.

KDD-2014-BonchiGKV #composition #graph #nondeterminism

Core decomposition of uncertain graphs (FB, FG, AK, YV), pp. 1316–1325.

KDD-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.

PPoPP-2014-CatanzaroKG #composition #matrix

A decomposition for in-place matrix transposition (BCC, AK, MG), pp. 193–206.

CAV-2014-VeanesBNB #composition #monad

Monadic Decomposition (MV, NB, LN, SB), pp. 628–645.

CAV-2014-WijsKB #component #composition #graph

GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components (AW, JPK, DB), pp. 310–326.

LICS-CSL-2014-BojanczykDK #calculus #composition #model checking #theorem #μ-calculus

Decomposition theorems and model-checking for the modal μ-calculus (MB, CD, SK), p. 10.

LICS-CSL-2014-HarwathHS #bound #composition #theorem

Preservation and decomposition theorems for bounded degree structures (FH, LH, NS), p. 10.

CASE-2013-BentahaBD #composition #probability

A decomposition method for stochastic partial disassembly line balancing with profit maximization (MLB, OB, AD), pp. 404–409.

CASE-2013-GrosbardKTR #composition #network #using

A queuing network model for wafer fabrication using decomposition without aggregation (DG, AK, IT, GR), pp. 717–722.

DAC-2013-AmaruGM #composition #logic #named #synthesis

BDS-MAJ: a BDD-based logic synthesis tool exploiting majority logic decomposition (LGA, PEG, GDM), p. 6.

DAC-2013-KuangY #approach #composition #layout #performance

An efficient layout decomposition approach for triple patterning lithography (JK, EFYY), p. 6.

DATE-2013-RustLP #architecture #complexity #using

Low complexity QR-decomposition architecture using the logarithmic number system (JR, FL, SP), pp. 97–102.

DATE-2013-TzouBHC #bound #composition #using

Periodic jitter and bounded uncorrelated jitter decomposition using incoherent undersampling (NT, DB, SWH, AC), pp. 1667–1672.

DRR-2013-KumarPR13a #composition #documentation #evaluation #using

Evaluation of document binarization using eigen value decomposition (DK, MNAP, AGR).

ICDAR-2013-Furukawa #composition #using

A New Method for Discriminating Printers Based on Contours Qualities of Printed Characters Using Wavelet Decomposition (TF), pp. 1115–1119.

ICDAR-2013-HamdaniMN #composition #recognition #using

Open Vocabulary Arabic Handwriting Recognition Using Morphological Decomposition (MH, AEDM, HN), pp. 280–284.

SIGMOD-2013-ChangYQLLL #component #composition #graph

Efficiently computing k-edge connected components via graph decomposition (LC, JXY, LQ, XL, CL, WL), pp. 205–216.

VLDB-2013-SariyuceGJWC #algorithm #composition #streaming

Streaming Algorithms for k-core Decomposition (AES, BG, GJS, KLW, ÜVÇ), pp. 433–444.

FoSSaCS-2013-DreierELL #composition #on the #process #π-calculus

On Unique Decomposition of Processes in the Applied π-Calculus (JD, CE, PL, YL), pp. 50–64.

TACAS-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.

STOC-2013-ChekuriC #graph

Large-treewidth graph decompositions and applications (CC, JC), pp. 291–300.

STOC-2013-KleinMS #graph #linear #recursion

Structured recursive separator decompositions for planar graphs in linear time (PNK, SM, CS), pp. 505–514.

ICALP-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.

CAiSE-2013-MilaniDM #composition #modelling #process

Decomposition Driven Consolidation of Process Models (FM, MD, RM), pp. 193–207.

ICML-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.

ICML-c3-2013-SongIPXP #composition #modelling #visual notation

Hierarchical Tensor Decomposition of Latent Tree Graphical Models (LS, MI, APP, EPX, HP), pp. 334–342.

MLDM-2013-HaralickLM #composition

Relation Decomposition: The Theory (RMH, LL, EM), pp. 311–324.

SIGIR-2013-ZhangSWH #composition #evaluation #information retrieval

Bias-variance decomposition of ir evaluation (PZ, DS, JW, YH), pp. 1021–1024.

ECOOP-2013-ZhuL #composition #linear #programming

Heap Decomposition Inference with Linear Programming (HSZ, YDL), pp. 104–128.

SAC-2013-Serafino #clustering #composition #graph

Speeding up graph clustering via modular decomposition based compression (PS), pp. 156–163.

PPoPP-2013-PadmanabhanCC #composition #streaming

Decomposition techniques for optimal design-space exploration of streaming applications (SP, YC, RDC), pp. 285–286.

CADE-2013-LoupSCAB #algebra #composition #constraints

A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition (UL, KS, FC, EÁ, BB), pp. 193–207.

CASE-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.

CASE-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.

CASE-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.

CASE-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.

DAC-2012-FangCC #algorithm #composition #layout #novel

A novel layout decomposition algorithm for triple patterning lithography (SYF, YWC, WYC), pp. 1185–1190.

DATE-2012-ChenJM

QBf-based boolean function bi-decomposition (HC, MJ, JMS), pp. 816–819.

DATE-2012-Sasao #generative

Row-shift decompositions for index generation functions (TS), pp. 1585–1590.

DRR-2012-FengY #component #composition #detection #documentation #using

Using connected component decomposition to detect straight line segments in documents (XF, AY).

VLDB-2012-WangC #composition #network

Truss Decomposition in Massive Networks (JW, JC), pp. 812–823.

STOC-2012-AbrahamN #using

Using petal-decompositions to build a low stretch spanning tree (IA, ON), pp. 395–406.

SEFM-2012-FathabadiBR #approach #composition

A Systematic Approach to Atomicity Decomposition in Event-B (ASF, MJB, AR), pp. 78–93.

CIKM-2012-KimC #approximate #composition #dependence #functional #performance

Decomposition-by-normalization (DBN): leveraging approximate functional dependencies for efficient tensor decomposition (MK, KSC), pp. 355–364.

ICML-2012-JanzaminA #composition #independence #markov

High-Dimensional Covariance Decomposition into Sparse Markov and Independence Domains (MJ, AA), p. 60.

ICML-2012-WangC #process

Levy Measure Decompositions for the Beta and Gamma Processes (YW, LC), p. 68.

ICML-2012-XuYQ #composition #data analysis #infinity #modelling #multi #parametricity

Infinite Tucker Decomposition: Nonparametric Bayesian Models for Multiway Data Analysis (ZX, FY, AQ), p. 218.

ICML-2012-YangO #clustering #composition #matrix #probability #rank

Clustering by Low-Rank Doubly Stochastic Matrix Decomposition (ZY, EO), p. 94.

ICML-2012-ZhangLLR #composition #rank

Improved Nystrom Low-rank Decomposition with Priors (KZ, LL, JL, AR), p. 22.

ICPR-2012-LewinJC #algorithm #composition #evaluation #framework #performance

Framework for quantitative performance evaluation of shape decomposition algorithms (SL, XJ, AC), pp. 3696–3699.

ICPR-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.

ICPR-2012-SuWF12a #composition

Submanifold decomposition (YS, SW, YF), pp. 1755–1758.

ICPR-2012-ZhangLM #composition #multi #recognition #using

Multi-subregion face recognition using coarse-to-fine Quad-tree decomposition (CZ, XL, TM), pp. 1004–1007.

KDD-2012-HanSCX #composition #modelling #visual notation

Overlapping decomposition for causal graphical modeling (LH, GS, GC, KX), pp. 114–122.

SEKE-2012-BelkhatirOV #composition #quality

A Model Introducing SOAs Quality Attributes Decomposition (RB, MO, AV), pp. 324–327.

SAC-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.

SAC-2012-MathisSI #composition #constraints #geometry

Decomposition of geometrical constraint systems with reparameterization (PM, PS, RI), pp. 102–108.

SAC-2012-WickerPK #classification #composition #matrix #multi #using

Multi-label classification using boolean matrix decomposition (JW, BP, SK), pp. 179–186.

ICLP-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.

SAT-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.

CASE-2011-KloetzerG

Software tool for constructing cell decompositions (MK, NG), pp. 507–512.

DAC-2011-BanLP #2d #composition #flexibility #framework #layout

Flexible 2D layout decomposition framework for spacer-type double pattering lithography (YB, KL, DZP), pp. 789–794.

DAC-2011-ZhangDWT #composition #detection #self

Self-aligned double patterning decomposition for overlay minimization and hot spot detection (HZ, YD, MDFW, ROT), pp. 71–76.

DATE-2011-ChenM #composition #functional #generative #testing

Decision ordering based property decomposition for functional test generation (MC, PM), pp. 167–172.

CSMR-2011-ShternT #composition #generative

Factbase and Decomposition Generation (MS, VT), pp. 111–120.

ICSM-2011-ShternT #clustering #multi #using

Evaluating software clustering using multiple simulated authoritative decompositions (MS, VT), pp. 353–361.

STOC-2011-DemaineHK #algorithm #composition #graph

Contraction decomposition in h-minor-free graphs and algorithmic applications (EDD, MH, KiK), pp. 441–450.

STOC-2011-KawarabayashiW #algorithm #composition #graph #proving

A simpler algorithm and shorter proof for the graph minor decomposition (KiK, PW), pp. 451–458.

AFL-2011-Egri-NagyMN #algorithm #composition #performance

Algorithms for the Efficient Calculation of the Holonomy Decomposition (AEN, JDM, CLN), pp. 389–390.

DLT-2011-DrosteMST #composition #finite

A Cascade Decomposition of Weighted Finite Transition Systems (MD, IM, BS, AT), pp. 472–473.

GT-VMT-2011-BlumeBFK

Treewidth, Pathwidth and Cospan Decompositions (CB, HJSB, MF, BK).

CIKM-2011-KalyanpurPBLC #composition #ranking

Fact-based question decomposition for candidate answer re-ranking (AK, SP, BB, AL, JCC), pp. 2045–2048.

CIKM-2011-KimC #algebra #approximate #composition #framework

Approximate tensor decomposition within a tensor-relational algebraic framework (MK, KSC), pp. 1737–1742.

CIKM-2011-SchifanellaCS #composition #multi #performance

Fast metadata-driven multiresolution tensor decomposition (CS, KSC, MLS), pp. 1275–1284.

ICML-2011-AgarwalNW #composition #matrix

Noisy matrix decomposition via convex relaxation: Optimal rates in high dimensions (AA, SN, MJW), pp. 1129–1136.

ICML-2011-ChenWC #automation #composition

Automatic Feature Decomposition for Single View Co-training (MC, KQW, YC), pp. 953–960.

ICML-2011-ZhouT #composition #matrix #named #random

GoDec: Randomized Lowrank & Sparse Matrix Decomposition in Noisy Case (TZ, DT), pp. 33–40.

SIGIR-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.

SAC-2011-FosterS #composition #monitoring

Advanced service monitoring configurations with SLA decomposition and selection (HF, GS), pp. 1582–1589.

ICSE-2011-BianculliGP #composition #interface

Interface decomposition for service compositions (DB, DG, CSP), pp. 501–510.

DAC-2010-Agarwal #composition

Frequency domain decomposition of layouts for double dipole lithography (KA), pp. 404–407.

CIAA-2010-LiuGLT #automaton #composition #matrix #regular expression

Compressing Regular Expressions’ DFA Table by Matrix Decomposition (YL, LG, PL, JT), pp. 282–289.

ICALP-v1-2010-Kral #composition

Decomposition Width of Matroids (DK), pp. 55–66.

ICEIS-DISI-2010-SellamiBAF #composition #process

Improving Real World Schema Matching with Decomposition Process (SS, ANB, YA, FF), pp. 151–158.

CIKM-2010-ZhaoAY #composition #nondeterminism #on the #set

On wavelet decomposition of uncertain time series data sets (YZ, CCA, PSY), pp. 129–138.

ICML-2010-JojicGK #composition

Accelerated dual decomposition for MAP inference (VJ, SG, DK), pp. 503–510.

ICPR-2010-DengH #composition #detection #exponential #process

Voice Activity Detection Based on Complex Exponential Atomic Decomposition and Likelihood Ratio Test (SD, JH), pp. 89–92.

ICPR-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.

ICPR-2010-FaureF #composition #linear

Linear Decomposition of Planar Shapes (AF, FF), pp. 1096–1099.

ICPR-2010-Feschet #analysis #composition #geometry #multi #parametricity

Multiscale Analysis from 1D Parametric Geometric Decomposition of Shapes (FF), pp. 2102–2105.

ICPR-2010-FlorianiMV #modelling

Modeling and Generalization of Discrete Morse Terrain Decompositions (LDF, PM, MV), pp. 999–1002.

ICPR-2010-GueguenSP #composition #difference #image #multi #segmentation

Differential Morphological Decomposition Segmentation: A Multi-Scale Object Based Image Description (LG, PS, MP), pp. 938–941.

ICPR-2010-GunluB #3d #composition

3D Face Decomposition and Region Selection Against Expression Variations (GG, HSB), pp. 1298–1301.

ICPR-2010-LenzMC #composition #geometry

Iwasawa Decomposition and Computational Riemannian Geometry (RL, RM, JC), pp. 4472–4475.

ICPR-2010-LiangLXL #composition #image #perspective

Face Hallucination under an Image Decomposition Perspective (YL, JHL, XX, WL), pp. 2158–2161.

ICPR-2010-SerinoBA #composition

Object Decomposition Via Curvilinear Skeleton Partition (LS, GSdB, CA), pp. 4081–4084.

ICPR-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.

ICPR-2010-SodaI #composition #dataset #integration #learning

Decomposition Methods and Learning Approaches for Imbalanced Dataset: An Experimental Integration (PS, GI), pp. 3117–3120.

ICPR-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.

ICPR-2010-WakaharaU #composition #recognition

Hierarchical Decomposition of Handwriting Deformation Vector Field for Improving Recognition Accuracy (TW, SU), pp. 1860–1863.

ICPR-2010-XiongOL #algorithm #composition #recursion

A Recursive and Model-Constrained Region Splitting Algorithm for Cell Clump Decomposition (WX, SHO, JHL), pp. 4416–4419.

SIGIR-2010-ZhengLLZ #composition #recommendation

Flickr group recommendation based on tensor decomposition (NZ, QL, SL, LZ), pp. 737–738.

SAC-2010-CaetanoST #composition #principle #process

A method for business process decomposition based on the separation of concerns principle (AC, ARS, JMT), pp. 79–85.

DATE-2009-KravetsM #logic #synthesis #using

Sequential logic synthesis using symbolic bi-decomposition (VNK, AM), pp. 1458–1463.

ICDAR-2009-CoustatyOPV #composition

Drop Caps Decomposition for Indexing a New Letter Extraction Method (MC, JMO, RP, NV), pp. 476–480.

ICDAR-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.

ITiCSE-2009-Sooriamurthi #abstraction #composition

Introducing abstraction and decomposition to novice programmers (RS), pp. 196–200.

CIAA-J-2008-Yen09 #composition #petri net

Path Decomposition and Semilinearity of Petri Nets (HCY), pp. 581–596.

LATA-2009-AfoninG #regular expression

Minimal Union-Free Decompositions of Regular Languages (SA, DG), pp. 83–92.

IFM-2009-Butler #composition

Decomposition Structures for Event-B (MJB), pp. 20–38.

IFM-2009-Rakow #petri net #reduction

Decompositional Petri Net Reductions (AR), pp. 352–366.

ICML-2009-KumarMT #approximate #composition #on the

On sampling-based approximate spectral decomposition (SK, MM, AT), pp. 553–560.

KDD-2009-KolczC #composition #email

Genre-based decomposition of email class noise (AK, GVC), pp. 427–436.

KDIR-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.

SEKE-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.

SAC-2009-Brand #composition #constraints #matrix #problem

The sum-of-increments constraint in the consecutive-ones matrix decomposition problem (SB), pp. 1417–1418.

SAC-2009-FarberB #composition #multi

Multivariate root finding with search space decomposition and randomisation (MF, BB), pp. 1142–1143.

SAC-2009-ShenU #approximate #composition #concept #matrix #multi

A class of multistep sparse matrix strategies for concept decomposition matrix approximation (CS, MU), pp. 1714–1718.

WICSA-2008-MolesiniGCB #analysis #architecture #on the

On the Quantitative Analysis of Architecture Stability in Aspectual Decompositions (AM, AFG, CvFGC, TVB), pp. 29–38.

CASE-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.

DAC-2008-CzajkowskiB #composition #linear #logic #synthesis

Functionally linear decomposition and synthesis of logic circuits for FPGAs (TSC, SDB), pp. 18–23.

DATE-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.

SIGMOD-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.

SAS-2008-ManevichLSRB #analysis #composition #concurrent

Heap Decomposition for Concurrent Shape Analysis (RM, TLA, MS, GR, JB), pp. 363–377.

STOC-2008-Racke #network

Optimal hierarchical decompositions for congestion minimization in networks (HR), pp. 255–264.

CIAA-2008-Salomaa

Language Decompositions, Primality, and Trajectory-Based Operations (KS), pp. 17–22.

ICALP-A-2008-TedderCHP #composition #linear #permutation #recursion

Simpler Linear-Time Modular Decomposition Via Recursive Factorizing Permutations (MT, DGC, MH, CP), pp. 634–645.

CIKM-2008-Ibekwe-SanjuanSV #composition #graph #information management

Decomposition of terminology graphs for domain knowledge acquisition (FIS, ES, MSEV), pp. 1463–1464.

ECIR-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.

ICPR-2008-RoussillonST #composition #robust

Robust decomposition of a digital curve into convex and concave parts (TR, IS, LT), pp. 1–4.

ICPR-2008-TianFG #composition #multi #recognition

Multi-view face recognition by nonlinear tensor decomposition (CT, GF, XG), pp. 1–4.

KDD-2008-BonchiCDG #composition #query #topic

Topical query decomposition (FB, CC, DD, AG), pp. 52–60.

KDD-2008-HyvonenMT #matrix

Interpretable nonnegative matrix decompositions (SH, PM, ET), pp. 345–353.

KR-2008-Petrick #calculus #composition

Cartesian Situations and Knowledge Decomposition in the Situation Calculus (RPAP), pp. 629–639.

ICST-2008-SherriffW #composition #empirical #impact analysis #using

Empirical Software Change Impact Analysis using Singular Value Decomposition (MS, LW), pp. 268–277.

LICS-2008-Grohe08a

Definable Tree Decompositions (MG), pp. 406–417.

CASE-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.

DAC-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.

DAC-2007-VermaBI #composition #heuristic

Progressive Decomposition: A Heuristic to Structure Arithmetic Circuits (AKV, PB, PI), pp. 404–409.

DATE-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.

PODS-2007-GottlobMS #np-hard

Generalized hypertree decompositions: np-hardness and tractable variants (GG, ZM, TS), pp. 13–22.

ITiCSE-2007-MullerGH #composition #problem

Pattern-oriented instruction and its influence on problem decomposition and solution construction (OM, DG, BH), pp. 151–155.

TACAS-2007-ManevichBCRS #analysis #composition #graph

Shape Analysis by Graph Decomposition (RM, JB, BC, GR, MS), pp. 3–18.

WCRE-2007-ShternT #comparison

Lossless Comparison of Nested Software Decompositions (MS, VT), pp. 249–258.

ICALP-2007-DemaineMRW #algorithm #composition #distance #edit distance

An Optimal Decomposition Algorithm for Tree Edit Distance (EDD, SM, BR, OW), pp. 146–157.

DHM-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.

HCI-IDU-2007-FangTZ #approach #composition #design #interactive

A Pattern Decomposition and Interaction Design Approach (CF, PT, MZ), pp. 1102–1108.

HIMI-MTT-2007-NoorinaeiniLW #classification #composition #hybrid

Hybrid Singular Value Decomposition: A Model of Human Text Classification (AN, MRL, SjW), pp. 517–525.

ICEIS-EIS-2007-LongP #composition #grid #scheduling #workflow

Grid Workflow Scheduling with Temporal Decomposition (FL, HKP), pp. 440–446.

ICML-2007-Marthi #automation #composition

Automatic shaping and decomposition of reward functions (BM), pp. 601–608.

KDD-2007-WuWCX #analysis #composition

Local decomposition for rare class analysis (JW, HX, PW, JC), pp. 814–823.

ECOOP-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.

SAC-2007-WuFY #architecture #composition #re-engineering

Software reengineering with architecture decomposition (LW, YF, HY), pp. 1489–1493.

SPLC-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.

CC-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.

CGO-2007-BarthouDCDJ #compilation #composition #kernel #optimisation #using

Loop Optimization using Hierarchical Compilation and Kernel Decomposition (DB, SD, PC, AD, WJ), pp. 170–184.

PPoPP-2007-JohnsonEV #composition #concurrent #empirical #optimisation #thread

Speculative thread decomposition through empirical optimization (TAJ, RE, TNV), pp. 205–214.

CADE-2007-BonacinaE #composition

T-Decision by Decomposition (MPB, ME), pp. 199–214.

CASE-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.

DATE-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.

DATE-2006-SovianiTE #composition #optimisation

Optimizing sequential cycles through Shannon decomposition and retiming (CS, OT, SAE), pp. 1085–1090.

DATE-2006-ZhouSMS #analysis #composition #grid #power management #scalability #using

Large power grid analysis using domain decomposition (QZ, KS, KM, DCS), pp. 27–32.

CSMR-2006-LunguL #named

Softwarenaut: Exploring Hierarchical System Decompositions (ML, ML), pp. 351–354.

DLT-2006-HanSW #regular expression

Prime Decompositions of Regular Languages (YSH, KS, DW), pp. 145–155.

ICGT-2006-BaldanEK #composition

Composition and Decomposition of DPO Transformations with Borrowed Context (PB, HE, BK), pp. 153–167.

CIKM-2006-ChiTT #analysis #named

Eigen-trend: trend analysis in the blogosphere based on singular value decompositions (YC, BLT, JT), pp. 68–77.

ICML-2006-PereiraG #composition

The support vector decomposition machine (FP, GJG), pp. 689–696.

ICPR-v1-2006-MiaoQS #composition #principle #using

Unsupervised Decomposition of Mixed Pixels Using the Maximum Entropy Principle (LM, HQ, HS), pp. 1067–1070.

ICPR-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.

ICPR-v2-2006-HeW #composition #empirical #image

Spatial-variant Image Filtering Based on Bidimensional Empirical Mode Decomposition (LH, HW), pp. 1196–1199.

ICPR-v2-2006-YangG #composition #invariant #using

Line-Based Affine Invariant Object Location Using Transformation Space Decomposition (RY, YG), pp. 646–649.

ICPR-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.

ICPR-v4-2006-SaadS #approach #composition #image #segmentation

Shape Decomposition Approach for Ultrasound Color Doppler Image Segmentation (AAS, LGS), pp. 691–694.

ICPR-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.

KDD-2006-MahoneyMD

Tensor-CUR decompositions for tensor-based data (MWM, MM, PD), pp. 327–336.

KR-2006-CroitoruC #algorithm #composition #concept #graph

A Tree Decomposition Algorithm for Conceptual Graph Projection (MC, EC), pp. 271–276.

SEKE-2006-PauliX #case study #composition #consistency

Ensuring Consistent Use/Misuse Case Decomposition for Secure Systems (JJP, DX), pp. 392–397.

SAC-2006-ZhangG #composition #constraints #geometry #graph #theorem proving

Spatial geometric constraint solving based on k-connected graph decomposition (GFZ, XSG), pp. 979–983.

FATES-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.

ISSTA-2006-CobleighAC #composition #reasoning

Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning (JMC, GSA, LAC), pp. 97–108.

DAC-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.

DATE-2005-MartinelliD #bound #composition #set

Bound Set Selection and Circuit Re-Synthesis for Area/Delay Driven Decomposition (AM, ED), pp. 430–431.

DATE-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.

ICDAR-2005-AbedELE #composition #documentation #retrieval

Frequencies Decomposition and Partial Similarities Retrieval for Ancient Handwriting Documents Compression (AEA, VE, FL, HE), pp. 996–1000.

ICDAR-2005-MozaffariFFZ #composition #statistics

Structural Decomposition and Statistical Description of Farsi/Arabic Handwritten Numeric Characters (SM, KF, MZ), pp. 237–241.

FoSSaCS-2005-Froschle #composition

Composition and Decomposition in True-Concurrency (SBF), pp. 333–347.

FoSSaCS-2005-SchaeferV #component #composition #refinement

Component Refinement and CSC Solving for STG Decomposition (MS, WV), pp. 348–363.

ICSM-2005-Bollin #composition #maintenance #scalability #specification

Maintaining Formal Specifications — Decomposition of Large Z-Specifications (AB), pp. 443–452.

ICSM-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.

STOC-2005-VegaKKV #approximate #composition #constraints #problem

Tensor decomposition and approximation schemes for constraint satisfaction problems (WFdlV, MK, RK, SV), pp. 747–754.

ICALP-2005-GuT #graph

Optimal Branch-Decomposition of Planar Graphs in O(n3) Time (QPG, HT), pp. 373–384.

ICML-2005-BachJ #composition #kernel #predict #rank

Predictive low-rank decomposition for kernel methods (FRB, MIJ), pp. 33–40.

ICML-2005-JonssonB #approach #composition

A causal approach to hierarchical decomposition of factored MDPs (AJ, AGB), pp. 401–408.

ICML-2005-MenchettiCF #composition #kernel

Weighted decomposition kernels (SM, FC, PF), pp. 585–592.

KDD-2005-LongZY #clustering #composition

Co-clustering by block value decomposition (BL, Z(Z, PSY), pp. 635–640.

MLDM-2005-DongKSP #composition #geometry #low level #representation #word

Low-Level Cursive Word Representation Based on Geometric Decomposition (JxD, AK, CYS, DP), pp. 590–599.

SEKE-2005-LungXZ #architecture #composition #using

Software Architecture Decomposition Using Attributes (CHL, XX, MZ), pp. 747–752.

SEKE-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.

SAC-2005-BockerL #composition #performance

Efficient mass decomposition (SB, ZL), pp. 151–157.

SAC-2005-OuajaR #composition #hybrid

Hybrid Lagrangian relaxation for bandwidth-constrained routing: knapsack decomposition (WO, BR), pp. 383–387.

CSL-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.

FATES-2005-XieD #approach #concurrent #testing

Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach (GX, ZD), pp. 170–186.

WICSA-2004-PoortW #composition #non-functional

Resolving Requirement Conflicts through Non-Functional Decomposition (ERP, PHNdW), pp. 145–154.

ASE-2004-Xie #approach #component #hybrid #verification

Decompositional Verification of Component-based Systems — A Hybrid Approach (GX), pp. 414–417.

DAC-2004-ShehataA #composition #verification

A general decomposition strategy for verifying register renaming (HIS, MA), pp. 234–237.

DATE-v1-2004-KuoHW #composition #design #power management

Decomposition of Instruction Decoder for Low Power Design (WAK, TH, ACHW), pp. 664–665.

PODS-2004-ScarcelloGL #query

Weighted Hypertree Decompositions and Optimal Query Plans (FS, GG, NL), pp. 210–221.

ICSM-2004-WenT #metric #similarity

Evaluating Similarity Measures for Software Decompositions (ZW, VT), pp. 368–377.

WCRE-2004-ShternT #comparison #framework

A Framework for the Comparison of Nested Software Decompositions (MS, VT), pp. 284–292.

PLDI-2004-JohnsonEV #composition #concurrent #thread

Min-cut program decomposition for thread-level speculation (TAJ, RE, TNV), pp. 59–70.

CIAA-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.

CIKM-2004-ChundiR #documentation #on the

On lossy time decompositions of time stamped documents (PC, DJR), pp. 437–445.

ICPR-v1-2004-WangA #composition #multi #representation #using

Compact Representation of Multidimensional Data Using Tensor Rank-One Decomposition (HW, NA), pp. 44–47.

ICPR-v2-2004-LuCY #approach #composition #graph

A Graph Decomposition Approach to Least Squares Attributed Graph Matching (JL, TC, JYY), pp. 471–474.

ICPR-v2-2004-MilanovaTK #algorithm #composition #image #recursion

Lossless Data Compression for Image Decomposition With Recursive IDP Algorithm (MGM, VT, RK), pp. 823–826.

ICPR-v2-2004-TeraiMO #composition

Color Decomposition of Overlapped Watercolors (TT, SM, MO), pp. 919–922.

ICPR-v4-2004-LiuWP #classification #composition #empirical

Texture Classification Through Directional Empirical Mode Decomposition (ZL, HW, SP), pp. 803–806.

KDD-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.

RE-2004-RapanottiHJN #architecture #composition #problem

Architecture-driven Problem Decomposition (LR, JGH, MJ, BN), pp. 80–89.

ICSE-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.

DAC-2003-MishchenkoS #composition #functional #scalability #using

Large-scale SOP minimization using decomposition and functional properties (AM, TS), pp. 149–154.

DAC-2003-MishchenkoWK #algorithm #composition

A new enhanced constructive decomposition and mapping algorithm (AM, XW, TK), pp. 143–148.

DAC-2003-WongM #composition #data-driven #synthesis

High-level synthesis of asynchronous systems by data-driven decomposition (CGW, AJM), pp. 508–513.

DATE-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.

DRR-2003-SuwaN #algorithm #composition #image #using

Separation algorithm of superimposed pattern using directional decomposition of an image (MS, SN), pp. 278–285.

IWPC-2003-GallagherL #composition #question #slicing

Are Decomposition Slices Clones? (KG, LL), pp. 251–257.

WCRE-2003-GallagherB #composition #empirical #equivalence #slicing

An Empirical Study of Computation Equivalence as Determined by Decomposition Slice Equivalence (KG, DB), pp. 316–322.

STOC-2003-GaoZ #composition #graph #metric

Well-separated pair decomposition for the unit-disk graph metric and its applications (JG, LZ), pp. 483–492.

FME-2003-PoppletonB #composition

Structuring Retrenchments in B by Decomposition (MP, RB), pp. 814–833.

ICML-2003-BrownW #ambiguity #composition #learning #network

The Use of the Ambiguity Decomposition in Neural Network Ensemble Learning Methods (GB, JLW), pp. 67–74.

ICML-2003-RussellZ #learning

Q-Decomposition for Reinforcement Learning Agents (SJR, AZ), pp. 656–663.

SAT-2003-BjesseKDSZ #satisfiability

Guiding SAT Diagnosis with Tree Decompositions (PB, JHK, RFD, TS, YZ), pp. 315–329.

DATE-2002-KutzschebauchS #composition #layout

Layout Driven Decomposition with Congestion Consideration (TK, LS), pp. 672–676.

CIAA-2002-CzyzowiczFPR

Prime Decompositions of Regular Prefix Codes (JC, WF, AP, WR), pp. 85–94.

ICML-2002-GoebelRB #composition #performance #predict

A Unified Decomposition of Ensemble Loss for Predicting Ensemble Performance (MG, PJR, MB), pp. 211–218.

ICPR-v1-2002-FlorianiMD #composition

A Smale-Like Decomposition for Discrete Scalar Fields (LDF, MMM, ED), pp. 184–187.

ICPR-v3-2002-ParkO #composition

Shape Decomposition and Skeleton Extraction of Character Patterns (JSP, ISO), pp. 411–414.

DAC-2001-MishchenkoSP #algorithm #logic

An Algorithm for Bi-Decomposition of Logic Functions (AM, BS, MAP), pp. 103–108.

DATE-2001-JozwiakC #composition #functional #metric

High-quality sub-function construction in functional decomposition based on information relationship measures (LJ, AC), pp. 383–390.

ICDAR-2001-HadjarHI #approach #composition #using

Newspaper Page Decomposition Using a Split and Merge Approach (KH, OH, RI), pp. 1186–1189.

ICDAR-2001-JinT #composition #locality #using

Text Area Localization under Complex-Background Using Wavelet Decomposition (NJ, YYT), pp. 1126–1130.

ICSM-2001-MitchellM #algorithm #clustering #metric #similarity #using

Comparing the Decompositions Produced by Software Clustering Algorithms Using Similarity Measurements (BSM, SM), pp. 744–753.

WCRE-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.

CIAA-2001-BergeronH #algorithm

Cascade Decompositions are Bit-Vector Algorithms (AB, SH), pp. 13–26.

DLT-2001-CampeanuSV

Shuffle Quotient and Decompositions (CC, KS, SV), pp. 186–196.

SAC-2001-LarocheBS #composition #markov #process

A new decomposition technique for solving Markov decision processes (PL, YB, RS), pp. 12–16.

SAT-2001-AmirM #composition #problem #satisfiability #using

Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report) (EA, SM), pp. 329–343.

DAC-2000-ZhouW #composition #power management

Optimal low power X OR gate decomposition (HZ, DFW), pp. 104–107.

WLC-2000-Auinger #pseudo

Join Decompositions of Pseudovarieties of the Form DH ECom (KA), pp. 40–50.

CIKM-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.

ICML-2000-Domingos00a #composition

A Unifeid Bias-Variance Decomposition and its Applications (PMD), pp. 231–238.

ICPR-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.

ICPR-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.

ICPR-v2-2000-HansenH #bias #composition #exponential #fault #independence #product line

General Bias/Variance Decomposition with Target Independent Variance of Error Functions Derived from the Exponential Family of Distributions (JVH, TH), pp. 2207–2210.

ICPR-v2-2000-LuoH #algorithm #composition #graph #using

Symbolic Graph Matching Using the EM Algorithm and Singular Value Decomposition (BL, ERH), pp. 2141–2144.

ICPR-v2-2000-Salotti #algorithm #composition

Improvement of Perez and Vidal Algorithm for the Decomposition of Digitized Curves into Line Segments (MS), pp. 2878–2882.

ICPR-v3-2000-ChenHD #composition #using

Circle Location from Intensity and Range Data Using the Singular Value Decomposition (NsC, GH, SD), pp. 3782–3785.

ICPR-v3-2000-PeceP #composition #performance

Fast Atomic Decomposition by the Inhibition Method (AECP, NP), pp. 3215–3218.

ICPR-v3-2000-Rocha #composition #diagrams #performance

Efficient Polygonal Decomposition into Singular and Regular Regions via Voronoi Diagrams (JR), pp. 3770–3773.

DAC-1999-PerkowskiMGBM #algorithm #evaluation #graph #performance

Graph Coloring Algorithms for Fast Evaluation of Curtis Decompositions (MAP, RM, SG, MB, AM), pp. 225–230.

ICDAR-1999-GatosMCTP #algorithm #composition

Integrated Algorithms for Newspaper Page Decomposition and Article Tracking (BG, SLM, KC, AT, SJP), pp. 559–562.

ICDAR-1999-Hobby #classification #composition #geometry #layout

Page Decomposition and Signature Finding via Shape Classification and Geometric Layout (JDH), pp. 555–558.

ICDAR-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.

PODS-1999-GottlobLS #query

Hypertree Decompositions and Tractable Queries (GG, NL, FS), pp. 21–32.

DLT-1999-SalomaaY #composition #finite #on the

On the decomposition of finite languages (AS, SY), pp. 22–31.

ICALP-1999-BouyerP #automaton #composition

Decomposition and Composition of Timed Automata (PB, AP), pp. 210–219.

AGTIVE-1999-HoffmannLS #composition #constraints #geometry #graph transformation

Planning Geometric Constraint Decomposition via Optimal Graph Transformations (CMH, AL, MS), pp. 309–324.

SIGIR-1999-JingM #composition #summary

The Decomposition of Human-Written Summary Sentences (HJ, KM), pp. 129–136.

RTA-1999-Courcelle #graph #logic

Hierarchical Graph Decompositions Defined by Grammars and Logical Formulas (BC), pp. 90–91.

DAC-1998-JiangJH #composition #encoding #synthesis

Compatible Class Encoding in Hyper-Function Decomposition for FPGA Synthesis (JHRJ, JYJ, JDH), pp. 712–717.

DAC-1998-MonteiroO #composition #finite #power management #state machine

Finite State Machine Decomposition For Low Power (JCM, ALO), pp. 758–763.

DAC-1998-RaviMSS #approximate #composition #diagrams

Approximation and Decomposition of Binary Decision Diagrams (KR, KLM, TRS, FS), pp. 445–450.

DATE-1998-SawadaYN #detection #logic

Restructuring Logic Representations with Easily Detectable Simple Disjunctive Decompositions (HS, SY, AN), pp. 755–759.

DATE-1998-Scholl #composition #functional #multi

Multi-output Functional Decomposition with Exploitation of Don’t Cares (CS), pp. 743–748.

WCRE-1998-OcaC #composition #representation #visual notation

A Visual Representation Model for Software Subsystem Decomposition (CMdO, DLC), pp. 231–240.

STOC-1998-HuangR #algebra #approach #black box #composition #problem #set

A Black Box Approach to the Algebraic Set Decomposition Problem (MDAH, AJR), pp. 497–506.

CIKM-1998-ThomasianCL #approximate #clustering #composition

Clustering and Singular Value Decomposition for Approximate Indexing in High Dimensional Spaces (AT, VC, CSL), pp. 201–207.

ICPR-1998-WangLL #classification #composition #markov #modelling #random #using

Texture classification using wavelet decomposition with Markov random field models (LW, JL, SZL), pp. 1613–1615.

EDTC-1997-CortadellaKKLY #composition #independence

Technology mapping of speed-independent circuits based on combinational decomposition and resynthesis (JC, MK, AK, LL, AY), pp. 98–105.

ICDAR-1997-FoggiaSTV #geometry #recognition

Character Recognition by Geometrical Moments on Structural Decompositions (PF, CS, FT, MV), pp. 6–10.

ICSM-1997-Abd-El-Hafiz #composition #comprehension #knowledge-based

Effects of Decomposition Techniques on Knowledge-Based Program Understanding (SKAEH), p. 21–?.

GG-Handbook-Vol1-EhrenfeuchtHR #composition #framework #graph #named

2-Structures — A Framework For Decomposition And Transformation Of Graphs (AE, TH, GR), pp. 401–478.

CAiSE-1997-JajodiaRA #composition #implementation #semantics #transaction

Implementing Semantic-Based Decomposition of Transactions (SJ, IR, PA), pp. 75–88.

ICML-1997-MayorazM #composition #on the

On the Decomposition of Polychotomies into Dichotomies (EM, MM), pp. 219–226.

ICML-1997-ReddyT #learning #using

Learning Goal-Decomposition Rules using Exercises (CR, PT), pp. 278–286.

ICML-1997-ZupanBBD #composition #machine learning

Machine Learning by Function Decomposition (BZ, MB, IB, JD), pp. 421–429.

KDD-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.

DAC-1996-CongH #composition #design

Structural Gate Decomposition for Depth-Optimal Technology Mapping in LUT-based FPGA Design (JC, YYH), pp. 726–729.

DAC-1996-ThakurWK #composition #multi

Delay Minimal Decomposition of Multiplexers in Technology Mapping (ST, DFW, SK), pp. 254–257.

HT-1996-SaltonSBM #automation #composition #using

Automatic Text Decomposition Using Text Segments and Text Themes (GS, AS, CB, MM), pp. 53–65.

VLDB-1996-Suciu #composition #maintenance #query #semistructured data

Query Decomposition and View Maintenance for Query Languages for Unstructured Data (DS), pp. 227–238.

CIKM-1996-LeePHC #composition #query #using

Spatial Query Processing Using Object Decomposition Method (YJL, HHP, NHH, CWC), pp. 53–61.

ICML-1996-KahaviW #bias #composition

Bias Plus Variance Decomposition for Zero-One Loss Functions (RK, DW), pp. 275–283.

ICML-1996-ReddyTR #composition #empirical #learning

Theory-guided Empirical Speedup Learning of Goal Decomposition Rules (CR, PT, SR), pp. 409–417.

ICPR-1996-AblameykoFM #composition

Shape decomposition by (d1, d2)-weighted skeleton and directional information (SA, MF, AM), pp. 275–279.

ICPR-1996-HuY #composition

Structural decomposition and description of printed and handwritten characters (JH, HY), pp. 230–234.

ICPR-1996-KnipeL #composition #re-engineering

A new quadtree decomposition reconstruction method (JK, XL), pp. 364–369.

ICPR-1996-RamaswamyNR #composition #image #using

Lossless image compression using wavelet decomposition (VNR, KRN, NR), pp. 924–928.

ICPR-1996-SauvolaP #composition #documentation #interface

A document management interface utilizing page decomposition and content-based compression (JJS, MP), pp. 752–757.

ICRE-1996-HsiaHKH #clustering #composition #requirements

User-Centered System Decomposition: Z-Based Requirements Clustering (PH, CTH, DCK, LBH), pp. 126–135.

FSE-1996-ZhangRL #alias #analysis #composition #pointer #towards

Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses (SZ, BGR, WL), pp. 81–92.

DAC-1995-ShenHC #composition #set

Lambda Set Selection in Roth-Karp Decomposition for LUT-Based FPGA Technology Mapping (WZS, JDH, SMC), pp. 65–69.

DAC-1995-StanionS #synthesis

A Method for Finding Good Ashenhurst Decompositions and Its Application to FPGA Synthesis (TS, CS), pp. 60–64.

DAC-1995-WurthEA #algorithm #composition #functional #multi

Functional Multiple-Output Decomposition: Theory and an Implicit Algorithm (BW, KE, KA), pp. 54–59.

ICDAR-v2-1995-HaHP95a #bound #composition #documentation

Document page decomposition by the bounding-box project (JH, RMH, ITP), pp. 1119–1122.

ICDAR-v2-1995-TaylorLN #classification #composition #documentation #functional

Classification and functional decomposition of business documents (SLT, ML, RWN), pp. 563–566.

VLDB-1995-AmmannJR #formal method #semantics #transaction #using

Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions (PA, SJ, IR), pp. 218–227.

SEKE-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.

SEKE-1995-KuhnSG #composition #slicing

The Decomposition Slice Display System (BMK, DJS, KBG), pp. 328–333.

HPDC-1995-Crandall #clustering #composition

The Limited Applicability of Block Decomposition in Cluster Computing (PC), pp. 102–109.

DAC-1994-DagaB #composition #interface #state machine

The Minimization and Decomposition of Interface State Machines (AJD, WPB), pp. 120–125.

DAC-1994-MurgaiBS #composition #encoding #functional #using

Optimum Functional Decomposition Using Encoding (RM, RKB, ALSV), pp. 408–414.

EDAC-1994-ChoHMPS #algorithm #approximate #automaton #composition #traversal

A State Space Decomposition Algorithm for Approximate FSM Traversal (HC, GDH, EM, MP, FS), pp. 137–141.

EDAC-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.

PODS-1994-HuaLL #clustering

A Decomposition-Based Simulated Annealing Technique for Data Clustering (KAH, SDL, WKL), pp. 117–128.

TAGT-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.

TAGT-1994-Janssens #composition

The Decomposition of ESM Computations (DJ), pp. 271–287.

CAiSE-1994-AntonMP #analysis #composition #process #re-engineering

Goal Decomposition and Scenario Analysis in Business Process Reengineering (AIA, WMM, CP), pp. 94–104.

ICML-1994-ThamP #architecture #composition

A Modular Q-Learning Architecture for Manipulator Task Decomposition (CKT, RWP), pp. 309–317.

HPDC-1994-CrandallQ #composition #semistructured data

A Decomposition Advisory System for Heterogeneous Data-Parallel Processing (PC, MJQ), pp. 114–121.

HPDC-1994-NguyenZZ #distributed #problem #using

Distributed Computation of Electromagnetic Scattering Problems Using Finite-Difference Time-Domain Decompositions (SN, BJZ, XZ), pp. 85–89.

DAC-1993-ChatterjeeR #architecture #composition #multi #optimisation

An Architectural Transformation Program for Optimization of Digital Systems by Multi-Level Decomposition (AC, RKR), pp. 343–348.

DAC-1993-LaiPV #composition #logic #synthesis

BDD Based Decomposition of Logic Functions with Application to FPGA Synthesis (YTL, MP, SBKV), pp. 642–647.

DAC-1993-TsuiPD #composition #power management

Technology Decomposition and Mapping Targeting Low Power Dissipation (CYT, MP, AMD), pp. 68–73.

STOC-1993-Bodlaender #algorithm #linear

A linear time algorithm for finding tree-decompositions of small treewidth (HLB), pp. 226–234.

STOC-1993-KleinPR #composition #multi #network

Excluded minors, network decomposition, and multicommodity flow (PNK, SAP, SR), pp. 682–690.

SAC-1993-PanH #array #composition #pipes and filters

Computation of Singular Value Decomposition on Arrays with Pipelined Optical Buses (YP, MH), pp. 525–532.

HPDC-1993-CrandallQ #composition #network #programming

Block Data Decomposition for Data-Parallel Programming on a Heterogeneous Workstation Network (PC, MJQ), pp. 42–49.

SOSP-1993-MaedaB #composition #network #protocol

Protocol Service Decomposition for High-Performance Networking (CM, BNB), pp. 244–255.

CAV-1993-BrinksmaLB #composition

Functionality Decomposition by Compositional Correstness Preserving Transformation (EB, RL, PB), pp. 371–384.

STOC-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.

STOC-1992-DorT #composition #graph #proving

Graph Decomposition Is NPC-A Complete Proof of Holyer’s Conjecture (DD, MT), pp. 252–263.

STOC-1992-PanconesiS #algorithm #composition #distributed #network #problem

Improved Distributed Algorithms for Coloring and Network Decomposition Problems (AP, AS), pp. 581–592.

CHI-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.

SEKE-1992-ArndtG #composition #data flow #diagrams

Decomposition of Data Flow Diagrams (TA, AG), pp. 560–566.

DAC-1991-GeigerM #algebra #automaton #benchmark #composition #metric

FSM Decomposition Revisited: Algebraic Structure Theory Applied to MCNC Benchmark FSMs (MG, TMW), pp. 182–185.

ICSE-1991-Hartman #composition #comprehension #source code #using

Understanding Natural Programs Using Proper Decomposition (JH), pp. 62–73.

DAC-1990-AsharDN #approach #composition

A Unified Approach to the Decomposition and Re-Decomposition of Sequential Machines (PA, SD, ARN), pp. 601–606.

ICALP-1990-ClerboutLR #composition

Decomposition of Partial Commutations (MC, ML, YR), pp. 501–511.

LFP-1990-PuelS #compilation #composition #pattern matching

Compiling Pattern Matching by Term Decomposition (LP, AS), pp. 273–281.

GG-1990-Lautemann #automaton #composition

Tree Automata, Tree Decomposition and Hyperedge Replacement (CL), pp. 520–537.

CADE-1990-ChouG #algorithm #composition #geometry #proving #theorem proving

Ritt-Wu’s Decomposition Algorithm and Geometry Theorem Proving (SCC, XSG), pp. 207–220.

DAC-1989-Devadas89a #composition

General Decomposition of Sequential Machines: Relationships to State Assignment (SD), pp. 314–320.

PLDI-1989-RogersP #composition #locality #process

Process Decomposition Through Locality of Reference (AR, KP), pp. 69–80.

ICSE-1989-Yue #composition #dynamic analysis #functional #requirements #validation

Validating System Requirements by Functional Decomposition and Dynamic Analysis (KY), pp. 188–196.

DAC-1988-BerkcandL #compilation

Analog Compilation Based on Successive Decompositions (EB, MAd, WL), pp. 369–375.

PODS-1988-Hegner #component #composition #relational #strict

Decomposition of Relational Schemata into Components Defined by Both Projection and Restriction (SJH), pp. 174–183.

SIGIR-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.

PPEALS-1988-Rose #composition #implementation #parallel

The Parallel Decomposition and Implementation of an Integrated Circuit Global Router (JR), pp. 138–145.

VDME-1987-Andrews #composition

Data Reification and Program Decomposition (DA), pp. 389–422.

POPL-1987-AllenCK #automation #composition #execution #parallel #source code

Automatic Decomposition of Scientific Programs for Parallel Execution (RA, DC, KK), pp. 63–76.

PODS-1986-RulandS #database #relational

Alpha-Acyclic Decompositions of Relational Database Schemes (DR, DS), pp. 191–201.

ICALP-1986-Lange #nondeterminism #reduction

Decompositions of Nondeterministic Reductions (Extended Abstract) (KJL), pp. 206–214.

DAC-1985-HealeyG #composition #logic #network

Decomposition of logic networks into silicon (STH, DDG), pp. 162–168.

SIGMOD-1985-CopelandK #composition

A Decomposition Storage Model (GPC, SK), pp. 268–279.

ICALP-1985-Bra #dependence

Imposed-Functional Dependencies Inducing Horizontal Decompositions (PDB), pp. 158–170.

RTA-1985-Rusinowitch #composition #recursion #revisited

Path of Subterms Ordering and Recursive Decomposition Ordering Revisited (MR), pp. 225–240.

PODS-1984-GyssensP #composition #dependence #on the

On the Decomposition of Join Dependencies (MG, JP), pp. 143–152.

PODS-1983-Hegner #algebra #aspect-oriented #composition #database #relational

Algebraic Aspects of Relational Database Decomposition (SJH), pp. 400–413.

PODS-1983-HsuM #composition #concurrent #database

Hierarchical Database Decomposition — A Technique for Database Concurrency Control (MH, SEM), pp. 182–191.

SIGMOD-1983-KambayashiY #composition #dependence #query

Query Processing Utilizing Dependencies and Horizontal Decomposition (YK, MY), pp. 55–67.

VLDB-1983-GrahneR #composition #database #normalisation

Database Decomposition into Fourth Normal Form (GG, KJR), pp. 186–196.

ICALP-1983-BraP #dependence

Conditional Dependencies for Horizontal Decompositions (PDB, JP), pp. 67–82.

ICSE-1982-Forman #analysis #composition #data flow

Global Data Flow Analysis by Decomposition into Primes (IRF), pp. 386–392.

STOC-1981-Chazelle

Convex Decompositions of Polyhedra (BC), pp. 70–79.

VLDB-1979-MendelzonM #composition #database #dependence

Generalized Mutual Dependencies and the Decomposition of Database Relations (AOM, DM), pp. 75–82.

ICALP-1979-Ury #automaton #composition #linear

Optimal Decomposition of Linear Automata (LÚ), pp. 659–667.

GG-1978-EhrigR #composition #graph grammar

Decomposition of Graph Grammar Productions and Derivations (HE, BKR), pp. 192–205.

VLDB-1977-Fagin #approach #composition #database #design #relational

The Decomposition Versus Synthetic Approach to Relational Database Design (RF), pp. 441–446.

VLDB-1977-TanakaT #composition #database #relational

Decomposition and Composition of a Relational Database (YT, TT), pp. 454–462.

ICALP-1977-BensonJ #composition #lr #parallel #parsing

Parallel Decomposition of LR(k) Parsers (Extended Abstract) (DBB, RDJ), pp. 76–86.

SIGMOD-1976-WongY #composition #named #query

Decomposition — A Strategy for Query Processing (Abstract) (EW, KY), p. 155.

SIGMOD-1975-Chang #composition #database

Data Base Decomposition in a Hierarchical Computer System (SKC), pp. 48–53.