Tag #bottom-up
112 papers:
CIAA-2018-AttouMZ #automaton- The Bottom-Up Position Tree Automaton and Its Compact Version (SA, LM, DZ), pp. 59–70.
AIIDE-2018-SifaYRB #architecture #comparative #evaluation #game studies #matrix #online #recommendation- Matrix and Tensor Factorization Based Game Content Recommender Systems: A Bottom-Up Architecture and a Comparative Online Evaluation (RS, RY, RR, CB), pp. 102–108.
ICPR-2018-LiZLL #bound #constraints #estimation #multi- Bottom-up Pose Estimation of Multiple Person with Bounding Box Constraint (ML, ZZ, JL, XL), pp. 115–120.
DiGRA-FDG-2016-LimLH #approach #category theory #clustering #image #social #using- Discovering Social and Aesthetic Categories of Avatars: A Bottom-Up Artificial Intelligence Approach Using Image Clustering (CUL, AL, DFH).
FDG-2015-RyanKMW #game studies- Bottom-up Game Studies (JOR, EK, MM, NWF).
CIKM-2015-Sifer - Bottom-up Faceted Search: Creating Search Neighbourhoods with Datacube Cells (MS), pp. 1771–1774.
SPLC-2015-MartinezZBKT #approach #product line- Bottom-up adoption of software product lines: a generic and extensible approach (JM, TZ, TFB, JK, YLT), pp. 101–110.
LOPSTR-2015-ChaudhariD #top-down- Combining Top-Down and Bottom-Up Techniques in Program Derivation (DLC, OPD), pp. 244–258.
SAS-2015-CastelnuovoNRSY #analysis #case study #composition #top-down- Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis (GC, MN, NR, MS, HY), pp. 252–274.
CASE-2015-GuoD #coordination #multi- Bottom-up motion and task coordination for loosely-coupled multi-agent systems with dependent local tasks (MG, DVD), pp. 348–355.
CADE-2015-JacquemardKS #constraints #term rewriting- Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies (FJ, YK, MS), pp. 137–151.
ICLP-2015-YangSZ #evaluation #logic programming #manycore #parallel #source code- Parallel Bottom-Up Evaluation of Logic Programs: DeALS on Shared-Memory Multicore Machines (MY, AS, CZ), pp. 6–17.
- CIAA-2014-Maletti #multi #power of #transducer
- The Power of Regularity-Preserving Multi Bottom-up Tree Transducers (AM), pp. 278–289.
CHI-PLAY-2014-KabakovCEBCTCA #behaviour- A bottom-up method for developing a trait-based model of player behavior (MAK, AC, MSEN, JBB, RCC, ST, ZC, KA), pp. 427–428.
ICEIS-v1-2014-Tribolet #adaptation #approach #enterprise #top-down- An Engineering Approach to Natural Enterprise Dynamics — From Top-down Purposeful Systemic Steering to Bottom-up Adaptive Guidance Control (JT), p. XIII.
PLDI-2014-ZhangMNY #analysis #hybrid #interprocedural #top-down- Hybrid top-down and bottom-up interprocedural analysis (XZ, RM, MN, HY), p. 28.
LATA-2013-HashimotoSISF #transducer- Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers (KH, RS, YI, HS, TF), pp. 335–346.
ICSE-2013-BagheriS #development #modelling- Bottom-up model-driven development (HB, KJS), pp. 1221–1224.
- ICLP-J-2013-GrecoMT #evaluation #logic programming #termination
- Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments (SG, CM, IT), pp. 737–752.
WCRE-2012-OssherSL #named #repository- Astra: Bottom-up Construction of Structured Artifact Repositories (JO, HS, CVL), pp. 41–50.
- ICEIS-v2-2012-Pohjalainen #agile #modelling
- Agile Models Need to be Bottom-up — Adding Productivity to a Late Project Makes it Later (PP), pp. 395–400.
- ICPR-2012-LinL #process #top-down
- Integrating bottom-up and top-down processes for accurate pedestrian counting (YL, NL), pp. 2508–2511.
- ICPR-2012-ShaukatGWB #approach #detection #top-down
- Meeting in the Middle: A top-down and bottom-up approach to detect pedestrians (AS, AG, DW, RB), pp. 874–877.
MoDELS-2012-CuadradoLG #approach #interactive #metamodelling- Bottom-Up Meta-Modelling: An Interactive Approach (JSC, JdL, EG), pp. 3–19.
CGO-2012-MatosevicA #analysis #data access #performance #summary- Efficient bottom-up heap analysis for symbolic path-based data access summaries (IM, TSA), pp. 252–263.
DLT-J-2010-FrieseSM11 #normalisation #transducer- Earliest Normal Form and Minimization for Bottom-up Tree Transducers (SF, HS, SM), pp. 1607–1623.
CAiSE-2011-MedjahedM #fault #web #web service- Bottom-Up Fault Management in Composite Web Services (BM, ZM), pp. 597–611.
- CIKM-2011-YuKL #approach #bidirectional #information management #top-down #towards
- Towards a top-down and bottom-up bidirectional approach to joint information extraction (XY, IK, MRL), pp. 847–856.
- SPLC-2011-Pohjalainen #agile #case study #experience #mobile #modelling #network #product line
- Bottom-up Modeling for a Software Product Line: An Experience Report on Agile Modeling of Governmental Mobile Networks (PP), pp. 323–332.
- DLT-2010-FrieseSM #transducer
- Minimization of Deterministic Bottom-Up Tree Transducers (SF, HS, SM), pp. 185–196.
- CAiSE-2010-KohlbornLKFRRK #approach #concept
- Conceptualizing a Bottom-Up Approach to Service Bundling (TK, CL, AK, EF, MR, CR, HK), pp. 129–134.
ICML-2010-DavisD #learning #markov #network- Bottom-Up Learning of Markov Network Structure (JD, PMD), pp. 271–278.
- ICPR-2010-WangAYL #estimation #learning #top-down #using
- Combined Top-Down/Bottom-Up Human Articulated Pose Estimation Using AdaBoost Learning (SW, HA, TY, SL), pp. 3670–3673.
- ICLP-2010-Brass10 #evaluation #implementation
- Implementation Alternatives for Bottom-Up Evaluation (SB), pp. 44–53.
- SAS-2009-GulavaniCRN #analysis
- Bottom-Up Shape Analysis (BSG, SC, GR, AVN), pp. 188–204.
- DLT-2008-EngelfrietLM #multi #transducer
- Extended Multi Bottom-Up Tree Transducers (JE, EL, AM), pp. 289–300.
- ICPR-2008-ThomeA #detection #invariant
- A bottom-up, view-point invariant human detector (NT, SA), pp. 1–4.
ICDAR-2007-CaoPNM #fault #robust #segmentation #top-down- Robust Page Segmentation Based on Smearing and Error Correction Unifying Top-down and Bottom-up Approaches (HC, RP, PN, EM), pp. 392–396.
RTA-2007-DurandS - Bottom-Up Rewriting Is Inverse Recognizability Preserving (ID, GS), pp. 107–121.
OCSC-2007-CarcilloR #classification #top-down- Tags for Citizens: Integrating Top-Down and Bottom-Up Classification in the Turin Municipality Website (FC, LR), pp. 256–264.
- ICEIS-SAIC-2007-ChenC #detection #difference #process
- A Simulation-Based Difference Detection Technique for Bottom-Up Process Reconciliation (XC, PWHC), pp. 72–77.
- ICML-2007-MihalkovaM #learning #logic #markov #network
- Bottom-up learning of Markov logic network structure (LM, RJM), pp. 625–632.
VLDB-2006-ChenLTHAC #documentation #named #query #stack #xml- Twig2Stack: Bottom-up Processing of Generalized-Tree-Pattern Queries over XML Documents (SC, HGL, JT, WPH, DA, KSC), pp. 283–294.
- ICPR-v2-2006-PanBD #contest #functional #image #segmentation #using
- Bottom-Up Hierarchical Image Segmentation Using Region Competition and the Mumford-Shah Functional (YP, JDB, SMD), pp. 117–121.
IJCAR-2006-BaumgartnerS #generative- Blocking and Other Enhancements for Bottom-Up Model Generation Methods (PB, RAS), pp. 125–139.
ESOP-2005-ShiversW - Bottom-Up β-Reduction: Uplinks and λ-DAGs (OS, MW), pp. 217–232.
ECIR-2004-HungWS #clustering #predict #top-down- Predictive Top-Down Knowledge Improves Neural Exploratory Bottom-Up Clustering (CH, SW, PS), pp. 154–166.
- SAS-2004-NystromKH #analysis #pointer #top-down
- Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis (EMN, HSK, WmWH), pp. 165–180.
SAC-2004-AlvezLO - Constructive negation by bottom-up computation of literal answers (JÁ, PL, FO), pp. 1468–1475.
- VLDB-2003-LeeHJT #approach
- Supporting Frequent Updates in R-Trees: A Bottom-Up Approach (MLL, WH, CSJ, BC, KLT), pp. 608–619.
- VLDB-2003-XinHLW #integration #named #top-down
- Star-Cubing: Computing Iceberg Cubes by Top-Down and Bottom-Up Integration (DX, JH, XL, BWW), pp. 476–487.
ITiCSE-2003-Knuth #education- Bottom-up education (DEK), p. 2.
DATE-2003-DaglioR #design #top-down- A Fully Qualified Top-Down and Bottom-Up Mixed-Signal Design Flow for Non Volatile Memories Technologies (PD, CR), pp. 20274–20279.
CSEET-2002-McCracken #comprehension #design #education #modelling #re-engineering- Models of Designing: Understanding Software Engineering Education from the Bottom Up (WMM), p. 55–?.
- LOPSTR-2002-ClaytonCPU #logic programming
- Tabling Structures for Bottom-Up Logic Programming (RC, JGC, BP, MU), pp. 50–51.
- ICDAR-2001-KogaMSF #2d #parsing #recognition #segmentation
- A Recognition Method of Machine-Printed Monetary Amounts Based on the Two-Dimensional Segmentation and the Bottom-up Parsing (MK, RM, HS, HF), pp. 968–971.
FLOPS-2001-Almendros-JimenezB #evaluation #framework #functional #logic programming #source code- A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs (JMAJ, ABT), pp. 153–169.
- FLOPS-2001-BozzanoDM #effectiveness #first-order #linear #logic programming #semantics #source code
- An Effective Bottom-Up Semantics for First-Order Linear Logic Programs (MB, GD, MM), pp. 138–152.
- IJCAR-2001-GanzingerM #logic programming #source code #theorem
- A New Meta-complexity Theorem for Bottom-Up Logic Programs (HG, DAM), pp. 514–528.
PPDP-2000-BozzanoDM #linear #logic programming #semantics #source code- A bottom-up semantics for linear logic programs (MB, GD, MM), pp. 92–102.
SIGMOD-1999-BeyerR - Bottom-Up Computation of Sparse and Iceberg CUBEs (KSB, RR), pp. 359–370.
FM-v1-1999-Hoare #programming #top-down- Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle (CARH), pp. 1–27.
- HCI-CCAD-1999-BarnekowSZS #architecture
- An architecture for recovering business events bottom-up (TB, SS, JZ, RS), pp. 614–618.
- ICML-1998-KearnsM #algorithm #performance
- A Fast, Bottom-Up Decision Tree Pruning Algorithm with Near-Optimal Generalization (MJK, YM), pp. 269–277.
- ALP-PLILP-1998-VanhoofSM #framework #logic programming #source code
- A Framework for Bottom Up Specialisation of Logic Programs (WV, DDS, BM), pp. 54–72.
- LOPSTR-1998-VanhoofSM #logic programming #source code
- Bottom-Up Specialisation of Logic Programs (WV, DDS, BM), pp. 325–327.
- CADE-1997-HasegawaIOK #proving #set #theorem proving #top-down
- Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving (RH, KI, YO, MK), pp. 176–190.
- ICLP-1997-Codish #evaluation #logic programming #performance #source code
- Efficient Goal Directed Bottom-up Evaluation of Logic Programs (MC), p. 422.
- ICLP-1997-ZukowskiF #difference #semantics
- Differential Bottom-Up Computation of the Well-Founded Semantics (UZ, BF, SB), p. 421.
- ICPR-1996-Pavlidis #challenge #documentation #process #recognition #top-down
- Challenges in document recognition bottom up and top down processes (TP), pp. 500–504.
TAPSOFT-1995-AndreB #equivalence #problem #transducer- The Equivalence Problem for Letter-to-Letter Bottom-up Tree Transducers is Solvable (YA, FB), pp. 155–171.
- ICLP-1995-BrassD #evaluation #semantics
- Disjunctive Semantics based upon Partial and Bottom-Up Evaluation (SB, JD), pp. 199–213.
- ILPS-1995-Toman #constraints #datalog #top-down
- Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog (DT), pp. 98–112.
- ICML-1994-ZelleMK #induction #logic programming #top-down
- Combining Top-down and Bottom-up Techniques in Inductive Logic Programming (JMZ, RJM, JBK), pp. 343–351.
- PLILP-1994-Voronkov #implementation
- An Implementation Technique for a Class of Bottom-Up Procedures (AV), pp. 147–164.
- SAC-1994-ChangCG #abstract interpretation #execution #logic programming #source code
- Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation (BMC, KMC, RG), pp. 388–393.
- ESOP-1994-JeuringS #analysis #functional
- Bottom-up Grammar Analysis — A Functional Formulation (JJ, SDS), pp. 317–332.
- CADE-1994-FribourgP #constraints #datalog #evaluation #source code
- Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints (LF, MVP), pp. 311–325.
- CADE-1994-Schumann #named #preprocessor #proving #theorem proving #top-down
- DELTA — A Bottom-up Preprocessor for Top-Down Theorem Provers — System Abstract (JS), pp. 774–777.
- ICLP-1994-BossiFM #semantics
- A Bottom-up Semantics for Constructive Negation (AB, MF, MCM), pp. 520–534.
- RTA-1993-Lippe #generative
- Generating Tables for Bottom-Up Matching (EL), pp. 274–288.
- ICML-1993-BrezellecS #learning #named
- ÉLÉNA: A Bottom-Up Learning Method (PB, HS), pp. 9–16.
- PLILP-1993-CorsiniMRC #abstract interpretation #constraints #finite #performance #prolog #theorem proving
- Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains (MMC, KM, AR, BLC), pp. 75–91.
DAC-1993-CongS #algorithm #clustering #design #parallel- A Parallel Bottom-Up Clustering Algorithm with Applications to Circuit Partitioning in VLSI Design (JC, MS), pp. 755–760.
- ILPS-1993-DelzannoM #finite
- A Bottom-Up Characterization of Finite Success (GD, MM), p. 676.
- ILPS-1993-Nilsson #evaluation #logic programming #source code
- Goal-directed Bottom-up Evaluation of Normal Logic Programs (UN), p. 647.
- ILPS-1993-SudarshanR #evaluation #optimisation
- Optimizations of Bottom-Up Evaluation with Non-Ground Terms (SS, RR), pp. 557–574.
- PLILP-1992-Hoa #higher-order #interpreter #logic programming #programming language
- A Bottom-Up Interpreter for a Higher-Order Logic Programming Language (AHBH), pp. 326–340.
- PLILP-1992-Thiemann #evaluation #functional #named #source code #tool support
- LaToKi: A Language Toolkit for Bottom-Up Evaluation of Functional Programs (PT), pp. 481–482.
- ESOP-1992-GiacobazziR #abstract interpretation #detection
- Detecting Determinate Computations by Bottom-up Abstract Interpretation (RG, LR), pp. 167–181.
- JICSLP-1992-KempSS #evaluation #logic programming #query #source code #strict
- Query Restricted Bottom-Up Evaluation of Normal Logic Programs (DBK, PJS, DS), pp. 288–302.
- JICSLP-1992-RamakrishnanSS #evaluation
- Controlling the Search in Bottom-Up Evaluation (RR, DS, SS), pp. 273–287.
- SIGMOD-1991-SudarshanSRN #evaluation #logic programming #optimisation #source code
- Space Optimization in the Bottom-Up Evaluation of Logic Programs (SS, DS, RR, JFN), pp. 68–77.
- RTA-1991-CoquideDGV #automaton #term rewriting
- Bottom-Up Tree Pushdown Automata and Rewrite Systems (JLC, MD, RG, SV), pp. 287–298.
- DAC-1991-LyM #fuzzy #synthesis
- Bottom Up Synthesis Based on Fuzzy Schedules (TAL, JTM), pp. 674–679.
- ICLP-1991-FernandezM #database #deduction #evaluation
- Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases (JAF, JM), pp. 660–675.
- ISLP-1991-KempSS #evaluation #modelling #set
- Magic Sets and Bottom-Up Evaluation of Well-Founded Models (DBK, DS, PJS), pp. 337–351.
- ISLP-1991-RamakrishnanS #revisited #top-down
- Top-Down versus Bottom-Up Revisited (RR, SS), pp. 321–336.
- VLDB-1990-KuittinenNSS #evaluation #implementation #logic #performance #query
- Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries (JK, ON, SS, ESS), pp. 372–379.
- VLDB-1990-RamakrishnanSS #evaluation #fixpoint #logic programming #source code
- Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs (RR, DS, SS), pp. 359–371.
PODS-1989-Ullman #datalog #top-down- Bottom-Up Beats Top-Down for Datalog (JDU), pp. 140–149.
- NACLP-1989-Helm #execution #on the
- On the Dedection and Elimination of Redundant Derivations during Bottom-up Execution (ARH), pp. 945–962.
- PLILP-1988-Voisin #adaptation #algorithm #earley #parsing
- A Bottom-Up Adaption of Earley’s Parsing Algorithm (FV), pp. 146–160.
- JICSCP-1988-MarriottS88 #abstract interpretation #logic programming #source code
- Bottom-up Abstract Interpretation of Logic Programs (KM, HS), pp. 733–748.
POPL-1987-Chase #pattern matching- An Improvement to Bottom-up Tree Pattern Matching (DRC), pp. 168–177.
- POPL-1986-HatcherC #code generation #pattern matching
- High-Quality Code Generation Via Bottom-Up Tree Pattern Matching (PJH, TWC), pp. 119–130.
- DAC-1986-McFarland #behaviour #design #hardware #synthesis #using
- Using bottom-up design techniques in the synthesis of digital hardware from abstract behavioral descriptions (MCM), pp. 474–480.
- CAAP-1985-FachiniN #automaton
- Synchronized Bottom-Up Tree Automata and L-Systems (EF, MN), pp. 298–307.
- SLP-1984-UeharaOKT84 #implementation #logic #overview #parsing
- A Bottom-Up Parser Based on Predicate Logic: A Survey of the Formalism and its Implementation Technique (KU, RO, OK, JT), pp. 220–227.
ICALP-1979-Ukkonen #lr #parsing- A Modification of the LR(k) Method for Constructing Compact Bottom-Up Parsers (EU), pp. 646–658.
- ICSE-1978-AzemaAB #approach #communication #design #verification
- Design and Verification of Communication Procedures: A Bottom-Up Approach (PA, JMA, BB), pp. 168–174.
STOC-1971-Terrine #algorithm #context-free grammar #generative #parsing #set- An Algorithm Generating the Decision Table of a Deterministic Bottom Up Parser for a Subset of Context Free Grammars (GT), pp. 185–205.
