BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
bottom-up
Google bottom-up

Tag #bottom-up

112 papers:

CIAACIAA-2018-AttouMZ #automaton
The Bottom-Up Position Tree Automaton and Its Compact Version (SA, LM, DZ), pp. 59–70.
AIIDEAIIDE-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.
ICPRICPR-2018-LiZLL #bound #constraints #estimation #multi
Bottom-up Pose Estimation of Multiple Person with Bounding Box Constraint (ML, ZZ, JL, XL), pp. 115–120.
DiGRADiGRA-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).
FDGFDG-2015-RyanKMW #game studies
Bottom-up Game Studies (JOR, EK, MM, NWF).
CIKMCIKM-2015-Sifer
Bottom-up Faceted Search: Creating Search Neighbourhoods with Datacube Cells (MS), pp. 1771–1774.
SPLCSPLC-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.
LOPSTRLOPSTR-2015-ChaudhariD #top-down
Combining Top-Down and Bottom-Up Techniques in Program Derivation (DLC, OPD), pp. 244–258.
SASSAS-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.
CASECASE-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.
CADECADE-2015-JacquemardKS #constraints #term rewriting
Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies (FJ, YK, MS), pp. 137–151.
ICLPICLP-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.
CIAACIAA-2014-Maletti #multi #power of #transducer
The Power of Regularity-Preserving Multi Bottom-up Tree Transducers (AM), pp. 278–289.
CHI-PLAYCHI-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.
ICEISICEIS-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.
PLDIPLDI-2014-ZhangMNY #analysis #hybrid #interprocedural #top-down
Hybrid top-down and bottom-up interprocedural analysis (XZ, RM, MN, HY), p. 28.
LATALATA-2013-HashimotoSISF #transducer
Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers (KH, RS, YI, HS, TF), pp. 335–346.
ICSEICSE-2013-BagheriS #development #modelling
Bottom-up model-driven development (HB, KJS), pp. 1221–1224.
ICLPICLP-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.
WCREWCRE-2012-OssherSL #named #repository
Astra: Bottom-up Construction of Structured Artifact Repositories (JO, HS, CVL), pp. 41–50.
ICEISICEIS-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.
ICPRICPR-2012-LinL #process #top-down
Integrating bottom-up and top-down processes for accurate pedestrian counting (YL, NL), pp. 2508–2511.
ICPRICPR-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.
MODELSMoDELS-2012-CuadradoLG #approach #interactive #metamodelling
Bottom-Up Meta-Modelling: An Interactive Approach (JSC, JdL, EG), pp. 3–19.
CGOCGO-2012-MatosevicA #analysis #data access #performance #summary
Efficient bottom-up heap analysis for symbolic path-based data access summaries (IM, TSA), pp. 252–263.
DLTDLT-J-2010-FrieseSM11 #normalisation #transducer
Earliest Normal Form and Minimization for Bottom-up Tree Transducers (SF, HS, SM), pp. 1607–1623.
CAiSECAiSE-2011-MedjahedM #fault #web #web service
Bottom-Up Fault Management in Composite Web Services (BM, ZM), pp. 597–611.
CIKMCIKM-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.
SPLCSPLC-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.
DLTDLT-2010-FrieseSM #transducer
Minimization of Deterministic Bottom-Up Tree Transducers (SF, HS, SM), pp. 185–196.
CAiSECAiSE-2010-KohlbornLKFRRK #approach #concept
Conceptualizing a Bottom-Up Approach to Service Bundling (TK, CL, AK, EF, MR, CR, HK), pp. 129–134.
ICMLICML-2010-DavisD #learning #markov #network
Bottom-Up Learning of Markov Network Structure (JD, PMD), pp. 271–278.
ICPRICPR-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.
ICLPICLP-2010-Brass10 #evaluation #implementation
Implementation Alternatives for Bottom-Up Evaluation (SB), pp. 44–53.
SASSAS-2009-GulavaniCRN #analysis
Bottom-Up Shape Analysis (BSG, SC, GR, AVN), pp. 188–204.
DLTDLT-2008-EngelfrietLM #multi #transducer
Extended Multi Bottom-Up Tree Transducers (JE, EL, AM), pp. 289–300.
ICPRICPR-2008-ThomeA #detection #invariant
A bottom-up, view-point invariant human detector (NT, SA), pp. 1–4.
ICDARICDAR-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.
RTARTA-2007-DurandS
Bottom-Up Rewriting Is Inverse Recognizability Preserving (ID, GS), pp. 107–121.
HCIOCSC-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.
ICEISICEIS-SAIC-2007-ChenC #detection #difference #process
A Simulation-Based Difference Detection Technique for Bottom-Up Process Reconciliation (XC, PWHC), pp. 72–77.
ICMLICML-2007-MihalkovaM #learning #logic #markov #network
Bottom-up learning of Markov logic network structure (LM, RJM), pp. 625–632.
VLDBVLDB-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.
ICPRICPR-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.
IJCARIJCAR-2006-BaumgartnerS #generative
Blocking and Other Enhancements for Bottom-Up Model Generation Methods (PB, RAS), pp. 125–139.
ESOPESOP-2005-ShiversW
Bottom-Up β-Reduction: Uplinks and λ-DAGs (OS, MW), pp. 217–232.
ECIRECIR-2004-HungWS #clustering #predict #top-down
Predictive Top-Down Knowledge Improves Neural Exploratory Bottom-Up Clustering (CH, SW, PS), pp. 154–166.
SASSAS-2004-NystromKH #analysis #pointer #top-down
Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis (EMN, HSK, WmWH), pp. 165–180.
SACSAC-2004-AlvezLO
Constructive negation by bottom-up computation of literal answers (, PL, FO), pp. 1468–1475.
VLDBVLDB-2003-LeeHJT #approach
Supporting Frequent Updates in R-Trees: A Bottom-Up Approach (MLL, WH, CSJ, BC, KLT), pp. 608–619.
VLDBVLDB-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.
ITiCSEITiCSE-2003-Knuth #education
Bottom-up education (DEK), p. 2.
DATEDATE-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.
CSEETCSEET-2002-McCracken #comprehension #design #education #modelling #re-engineering
Models of Designing: Understanding Software Engineering Education from the Bottom Up (WMM), p. 55–?.
LOPSTRLOPSTR-2002-ClaytonCPU #logic programming
Tabling Structures for Bottom-Up Logic Programming (RC, JGC, BP, MU), pp. 50–51.
ICDARICDAR-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.
FLOPSFLOPS-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.
FLOPSFLOPS-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.
IJCARIJCAR-2001-GanzingerM #logic programming #source code #theorem
A New Meta-complexity Theorem for Bottom-Up Logic Programs (HG, DAM), pp. 514–528.
PPDPPPDP-2000-BozzanoDM #linear #logic programming #semantics #source code
A bottom-up semantics for linear logic programs (MB, GD, MM), pp. 92–102.
SIGMODSIGMOD-1999-BeyerR
Bottom-Up Computation of Sparse and Iceberg CUBEs (KSB, RR), pp. 359–370.
FMFM-v1-1999-Hoare #programming #top-down
Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle (CARH), pp. 1–27.
HCIHCI-CCAD-1999-BarnekowSZS #architecture
An architecture for recovering business events bottom-up (TB, SS, JZ, RS), pp. 614–618.
ICMLICML-1998-KearnsM #algorithm #performance
A Fast, Bottom-Up Decision Tree Pruning Algorithm with Near-Optimal Generalization (MJK, YM), pp. 269–277.
PPDPALP-PLILP-1998-VanhoofSM #framework #logic programming #source code
A Framework for Bottom Up Specialisation of Logic Programs (WV, DDS, BM), pp. 54–72.
LOPSTRLOPSTR-1998-VanhoofSM #logic programming #source code
Bottom-Up Specialisation of Logic Programs (WV, DDS, BM), pp. 325–327.
CADECADE-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.
ICLPICLP-1997-Codish #evaluation #logic programming #performance #source code
Efficient Goal Directed Bottom-up Evaluation of Logic Programs (MC), p. 422.
ICLPICLP-1997-ZukowskiF #difference #semantics
Differential Bottom-Up Computation of the Well-Founded Semantics (UZ, BF, SB), p. 421.
ICPRICPR-1996-Pavlidis #challenge #documentation #process #recognition #top-down
Challenges in document recognition bottom up and top down processes (TP), pp. 500–504.
TAPSOFTTAPSOFT-1995-AndreB #equivalence #problem #transducer
The Equivalence Problem for Letter-to-Letter Bottom-up Tree Transducers is Solvable (YA, FB), pp. 155–171.
ICLPICLP-1995-BrassD #evaluation #semantics
Disjunctive Semantics based upon Partial and Bottom-Up Evaluation (SB, JD), pp. 199–213.
ICLPILPS-1995-Toman #constraints #datalog #top-down
Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog (DT), pp. 98–112.
ICMLICML-1994-ZelleMK #induction #logic programming #top-down
Combining Top-down and Bottom-up Techniques in Inductive Logic Programming (JMZ, RJM, JBK), pp. 343–351.
PPDPPLILP-1994-Voronkov #implementation
An Implementation Technique for a Class of Bottom-Up Procedures (AV), pp. 147–164.
SACSAC-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.
ESOPESOP-1994-JeuringS #analysis #functional
Bottom-up Grammar Analysis — A Functional Formulation (JJ, SDS), pp. 317–332.
CADECADE-1994-FribourgP #constraints #datalog #evaluation #source code
Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints (LF, MVP), pp. 311–325.
CADECADE-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.
ICLPICLP-1994-BossiFM #semantics
A Bottom-up Semantics for Constructive Negation (AB, MF, MCM), pp. 520–534.
RTARTA-1993-Lippe #generative
Generating Tables for Bottom-Up Matching (EL), pp. 274–288.
ICMLICML-1993-BrezellecS #learning #named
ÉLÉNA: A Bottom-Up Learning Method (PB, HS), pp. 9–16.
PPDPPLILP-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.
DACDAC-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.
ICLPILPS-1993-DelzannoM #finite
A Bottom-Up Characterization of Finite Success (GD, MM), p. 676.
ICLPILPS-1993-Nilsson #evaluation #logic programming #source code
Goal-directed Bottom-up Evaluation of Normal Logic Programs (UN), p. 647.
ICLPILPS-1993-SudarshanR #evaluation #optimisation
Optimizations of Bottom-Up Evaluation with Non-Ground Terms (SS, RR), pp. 557–574.
PPDPPLILP-1992-Hoa #higher-order #interpreter #logic programming #programming language
A Bottom-Up Interpreter for a Higher-Order Logic Programming Language (AHBH), pp. 326–340.
PPDPPLILP-1992-Thiemann #evaluation #functional #named #source code #tool support
LaToKi: A Language Toolkit for Bottom-Up Evaluation of Functional Programs (PT), pp. 481–482.
ESOPESOP-1992-GiacobazziR #abstract interpretation #detection
Detecting Determinate Computations by Bottom-up Abstract Interpretation (RG, LR), pp. 167–181.
ICLPJICSLP-1992-KempSS #evaluation #logic programming #query #source code #strict
Query Restricted Bottom-Up Evaluation of Normal Logic Programs (DBK, PJS, DS), pp. 288–302.
ICLPJICSLP-1992-RamakrishnanSS #evaluation
Controlling the Search in Bottom-Up Evaluation (RR, DS, SS), pp. 273–287.
SIGMODSIGMOD-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.
RTARTA-1991-CoquideDGV #automaton #term rewriting
Bottom-Up Tree Pushdown Automata and Rewrite Systems (JLC, MD, RG, SV), pp. 287–298.
DACDAC-1991-LyM #fuzzy #synthesis
Bottom Up Synthesis Based on Fuzzy Schedules (TAL, JTM), pp. 674–679.
ICLPICLP-1991-FernandezM #database #deduction #evaluation
Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases (JAF, JM), pp. 660–675.
ICLPISLP-1991-KempSS #evaluation #modelling #set
Magic Sets and Bottom-Up Evaluation of Well-Founded Models (DBK, DS, PJS), pp. 337–351.
ICLPISLP-1991-RamakrishnanS #revisited #top-down
Top-Down versus Bottom-Up Revisited (RR, SS), pp. 321–336.
VLDBVLDB-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.
VLDBVLDB-1990-RamakrishnanSS #evaluation #fixpoint #logic programming #source code
Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs (RR, DS, SS), pp. 359–371.
PODSPODS-1989-Ullman #datalog #top-down
Bottom-Up Beats Top-Down for Datalog (JDU), pp. 140–149.
ICLPNACLP-1989-Helm #execution #on the
On the Dedection and Elimination of Redundant Derivations during Bottom-up Execution (ARH), pp. 945–962.
PPDPPLILP-1988-Voisin #adaptation #algorithm #earley #parsing
A Bottom-Up Adaption of Earley’s Parsing Algorithm (FV), pp. 146–160.
ICLPJICSCP-1988-MarriottS88 #abstract interpretation #logic programming #source code
Bottom-up Abstract Interpretation of Logic Programs (KM, HS), pp. 733–748.
POPLPOPL-1987-Chase #pattern matching
An Improvement to Bottom-up Tree Pattern Matching (DRC), pp. 168–177.
POPLPOPL-1986-HatcherC #code generation #pattern matching
High-Quality Code Generation Via Bottom-Up Tree Pattern Matching (PJH, TWC), pp. 119–130.
DACDAC-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.
TAPSOFTCAAP-1985-FachiniN #automaton
Synchronized Bottom-Up Tree Automata and L-Systems (EF, MN), pp. 298–307.
ICLPSLP-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.
ICALPICALP-1979-Ukkonen #lr #parsing
A Modification of the LR(k) Method for Constructing Compact Bottom-Up Parsers (EU), pp. 646–658.
ICSEICSE-1978-AzemaAB #approach #communication #design #verification
Design and Verification of Communication Procedures: A Bottom-Up Approach (PA, JMA, BB), pp. 168–174.
STOCSTOC-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.

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.