Stem bottom$ (all stems)

111 papers:

CASE-2015-GuoD #bottom-up #coordination #multi

Bottom-up motion and task coordination for loosely-coupled multi-agent systems with dependent local tasks (MG, DVD), pp. 348–355.

SAS-2015-CastelnuovoNRSY #analysis #bottom-up #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.

SPLC-2015-MartinezZBKT #approach #bottom-up #product line

Bottom-up adoption of software product lines: a generic and extensible approach (JM, TZ, TFB, JK, YLT), pp. 101–110.

CADE-2015-JacquemardKS #bottom-up #constraints #term rewriting

Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies (FJ, YK, MS), pp. 137–151.

ICLP-2015-YangSZ #bottom-up #evaluation #logic programming #manycore #parallel #source code

Parallel Bottom-Up Evaluation of Logic Programs: DeALS on Shared-Memory Multicore Machines (MY, AS, CZ).

PLDI-2014-ZhangMNY #analysis #bottom-up #hybrid #interprocedural #top-down

Hybrid top-down and bottom-up interprocedural analysis (XZ, RM, MN, HY), p. 28.

CIAA-2014-Maletti #bottom-up #multi #power of #transducer

The Power of Regularity-Preserving Multi Bottom-up Tree Transducers (AM), pp. 278–289.

CHI-2014-JotaLWJ #how #scalability

Let’s kick it: how to stop wasting the bottom third of your large screen display (RJ, PL, DW, JAJ), pp. 1411–1414.

ICEIS-v1-2014-Tribolet #adaptation #approach #bottom-up #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.

STOC-2013-Thorup #independence #set #similarity

Bottom-k and priority sampling, set similarity and subset sums with minimal independence (MT), pp. 371–380.

LATA-2013-HashimotoSISF #bottom-up #transducer

Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers (KH, RS, YI, HS, TF), pp. 335–346.

ICSE-2013-BagheriS #bottom-up #development #modelling

Bottom-up model-driven development (HB, KJS), pp. 1221–1224.

ICLP-J-2013-GrecoMT #bottom-up #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 #bottom-up #named #repository

Astra: Bottom-up Construction of Structured Artifact Repositories (JO, HS, CVL), pp. 41–50.

ICEIS-v2-2012-Pohjalainen #agile #bottom-up #modelling

Agile Models Need to be Bottom-up — Adding Productivity to a Late Project Makes it Later (PP), pp. 395–400.

ICPR-2012-LinL #bottom-up #process #top-down

Integrating bottom-up and top-down processes for accurate pedestrian counting (YL, NL), pp. 2508–2511.

ICPR-2012-ShaukatGWB #approach #bottom-up #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 #bottom-up #interactive #metamodelling

Bottom-Up Meta-Modelling: An Interactive Approach (JSC, JdL, EG), pp. 3–19.

MoDELS-2012-CuadradoLG #approach #bottom-up #interactive #metamodelling

Bottom-Up Meta-Modelling: An Interactive Approach (JSC, JdL, EG), pp. 3–19.

CGO-2012-MatosevicA #analysis #bottom-up #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 #bottom-up #normalisation #transducer

Earliest Normal Form and Minimization for Bottom-up Tree Transducers (SF, HS, SM), pp. 1607–1623.

CAiSE-2011-MedjahedM #bottom-up #fault #web #web service

Bottom-Up Fault Management in Composite Web Services (BM, ZM), pp. 597–611.

CIKM-2011-YuKL #approach #bidirectional #bottom-up #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 #bottom-up #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 #bottom-up #transducer

Minimization of Deterministic Bottom-Up Tree Transducers (SF, HS, SM), pp. 185–196.

CAiSE-2010-KohlbornLKFRRK #approach #bottom-up #concept

Conceptualizing a Bottom-Up Approach to Service Bundling (TK, CL, AK, EF, MR, CR, HK), pp. 129–134.

ICML-2010-DavisD #bottom-up #learning #markov #network

Bottom-Up Learning of Markov Network Structure (JD, PMD), pp. 271–278.

ICPR-2010-WangAYL #bottom-up #estimation #learning #top-down #using

Combined Top-Down/Bottom-Up Human Articulated Pose Estimation Using AdaBoost Learning (SW, HA, TY, SL), pp. 3670–3673.

CAV-2010-RepsLTBL #verification

There’s Plenty of Room at the Bottom: Analyzing and Verifying Machine Code (TWR, JL, AVT, GB, AL), pp. 41–56.

ICLP-2010-Brass10 #bottom-up #evaluation #implementation

Implementation Alternatives for Bottom-Up Evaluation (SB), pp. 44–53.

SAS-2009-GulavaniCRN #analysis #bottom-up

Bottom-Up Shape Analysis (BSG, SC, GR, AVN), pp. 188–204.

IDGD-2009-ChavanAKK #how #mobile #women

How Mobile Money Can Drive Financial Inclusion for Women at the Bottom of the Pyramid (BOP) in Indian Urban Centers (ALC, SA, AK, PK), pp. 475–484.

VLDB-2008-CohenK #estimation #sketching #using

Tighter estimation using bottom k sketches (EC, HK), pp. 213–224.

DLT-2008-EngelfrietLM #bottom-up #multi #transducer

Extended Multi Bottom-Up Tree Transducers (JE, EL, AM), pp. 289–300.

ICPR-2008-ThomeA #bottom-up #detection #invariant

A bottom-up, view-point invariant human detector (NT, SA), pp. 1–4.

ICDAR-2007-CaoPNM #bottom-up #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.

OCSC-2007-CarcilloR #bottom-up #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 #bottom-up #detection #difference #process

A Simulation-Based Difference Detection Technique for Bottom-Up Process Reconciliation (XC, PWHC), pp. 72–77.

ICML-2007-MihalkovaM #bottom-up #learning #logic #markov #network

Bottom-up learning of Markov logic network structure (LM, RJM), pp. 625–632.

RTA-2007-DurandS #bottom-up

Bottom-Up Rewriting Is Inverse Recognizability Preserving (ID, GS), pp. 107–121.

DAC-2006-EeckelaertSGSS #design #optimisation #standard

Hierarchical bottom--up analog optimization methodology validated by a delta-sigma A/D converter design for the 802.11a/b/g standard (TE, RS, GGEG, MS, WMCS), pp. 25–30.

VLDB-2006-ChenLTHAC #bottom-up #documentation #named #query #stack #xml

Twig2Stack: Bottom-up Processing of Generalized-Tree-Pattern Queries over XML Documents (SC, HGL, JT, WPH, DA, KSC), pp. 283–294.

ICPR-v2-2006-PanBD #bottom-up #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 #bottom-up #generative

Blocking and Other Enhancements for Bottom-Up Model Generation Methods (PB, RAS), pp. 125–139.

ESOP-2005-ShiversW #bottom-up

Bottom-Up β-Reduction: Uplinks and λ-DAGs (OS, MW), pp. 217–232.

ESOP-2005-TsuikiS #functional

Streams with a Bottom in Functional Languages (HT, KS), pp. 201–216.

SAS-2004-NystromKH #analysis #bottom-up #pointer #top-down

Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis (EMN, HSK, WmWH), pp. 165–180.

ECIR-2004-HungWS #bottom-up #clustering #predict #top-down

Predictive Top-Down Knowledge Improves Neural Exploratory Bottom-Up Clustering (CH, SW, PS), pp. 154–166.

SAC-2004-AlvezLO #bottom-up

Constructive negation by bottom-up computation of literal answers (JÁ, PL, FO), pp. 1468–1475.

DATE-2003-DaglioR #bottom-up #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.

VLDB-2003-LeeHJT #approach #bottom-up

Supporting Frequent Updates in R-Trees: A Bottom-Up Approach (MLL, WH, CSJ, BC, KLT), pp. 608–619.

VLDB-2003-XinHLW #bottom-up #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 #bottom-up #education

Bottom-up education (DEK), p. 2.

CSEET-2002-McCracken #bottom-up #comprehension #design #education #modelling #re-engineering

Models of Designing: Understanding Software Engineering Education from the Bottom Up (WMM), p. 55–?.

LOPSTR-2002-ClaytonCPU #bottom-up #logic programming

Tabling Structures for Bottom-Up Logic Programming (RC, JGC, BP, MU), pp. 50–51.

ICDAR-2001-KogaMSF #2d #bottom-up #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 #bottom-up #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 #bottom-up #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 #bottom-up #logic programming #source code #theorem

A New Meta-complexity Theorem for Bottom-Up Logic Programs (HG, DAM), pp. 514–528.

PPDP-2000-BozzanoDM #bottom-up #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

Bottom-Up Computation of Sparse and Iceberg CUBEs (KSB, RR), pp. 359–370.

FM-v1-1999-Hoare #bottom-up #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 #bottom-up

An architecture for recovering business events bottom-up (TB, SS, JZ, RS), pp. 614–618.

ICML-1998-KearnsM #algorithm #bottom-up #performance

A Fast, Bottom-Up Decision Tree Pruning Algorithm with Near-Optimal Generalization (MJK, YM), pp. 269–277.

ALP-PLILP-1998-VanhoofSM #bottom-up #framework #logic programming #source code

A Framework for Bottom Up Specialisation of Logic Programs (WV, DDS, BM), pp. 54–72.

LOPSTR-1998-VanhoofSM #bottom-up #logic programming #source code

Bottom-Up Specialisation of Logic Programs (WV, DDS, BM), pp. 325–327.

CADE-1997-HasegawaIOK #bottom-up #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 #bottom-up #evaluation #logic programming #performance #source code

Efficient Goal Directed Bottom-up Evaluation of Logic Programs (MC), p. 422.

ICLP-1997-ZukowskiF #bottom-up #difference #semantics

Differential Bottom-Up Computation of the Well-Founded Semantics (UZ, BF, SB), p. 421.

ICPR-1996-DugelayGA #multi #segmentation

Segmentation of multibeam acoustic imagery in the exploration of the deep sea-bottom (SD, CG, JMA), pp. 437–446.

ICPR-1996-Pavlidis #bottom-up #challenge #documentation #process #recognition #top-down

Challenges in document recognition bottom up and top down processes (TP), pp. 500–504.

ICLP-1995-BrassD #bottom-up #evaluation #semantics

Disjunctive Semantics based upon Partial and Bottom-Up Evaluation (SB, JD), pp. 199–213.

ILPS-1995-Toman #bottom-up #constraints #datalog #top-down

Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog (DT), pp. 98–112.

ESOP-1994-JeuringS #analysis #bottom-up #functional

Bottom-up Grammar Analysis — A Functional Formulation (JJ, SDS), pp. 317–332.

ICML-1994-ZelleMK #bottom-up #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 #bottom-up #implementation

An Implementation Technique for a Class of Bottom-Up Procedures (AV), pp. 147–164.

SAC-1994-ChangCG #abstract interpretation #bottom-up #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.

CADE-1994-FribourgP #bottom-up #constraints #datalog #evaluation #source code

Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints (LF, MVP), pp. 311–325.

CADE-1994-Schumann #bottom-up #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 #bottom-up #semantics

A Bottom-up Semantics for Constructive Negation (AB, MF, MCM), pp. 520–534.

DAC-1993-CongS #algorithm #bottom-up #clustering #design #parallel

A Parallel Bottom-Up Clustering Algorithm with Applications to Circuit Partitioning in VLSI Design (JC, MS), pp. 755–760.

ICML-1993-BrezellecS #bottom-up #learning #named

ÉLÉNA: A Bottom-Up Learning Method (PB, HS), pp. 9–16.

PLILP-1993-CorsiniMRC #abstract interpretation #bottom-up #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.

ILPS-1993-DelzannoM #bottom-up #finite

A Bottom-Up Characterization of Finite Success (GD, MM), p. 676.

ILPS-1993-Nilsson #bottom-up #evaluation #logic programming #source code

Goal-directed Bottom-up Evaluation of Normal Logic Programs (UN), p. 647.

ILPS-1993-SudarshanR #bottom-up #evaluation #optimisation

Optimizations of Bottom-Up Evaluation with Non-Ground Terms (SS, RR), pp. 557–574.

RTA-1993-Lippe #bottom-up #generative

Generating Tables for Bottom-Up Matching (EL), pp. 274–288.

ESOP-1992-GiacobazziR #abstract interpretation #bottom-up #detection

Detecting Determinate Computations by Bottom-up Abstract Interpretation (RG, LR), pp. 167–181.

PLILP-1992-Hoa #bottom-up #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 #bottom-up #evaluation #functional #named #source code #tool support

LaToKi: A Language Toolkit for Bottom-Up Evaluation of Functional Programs (PT), pp. 481–482.

JICSLP-1992-KempSS #bottom-up #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 #bottom-up #evaluation

Controlling the Search in Bottom-Up Evaluation (RR, DS, SS), pp. 273–287.

DAC-1991-LyM #bottom-up #fuzzy #synthesis

Bottom Up Synthesis Based on Fuzzy Schedules (TAL, JTM), pp. 674–679.

SIGMOD-1991-SudarshanSRN #bottom-up #evaluation #logic programming #optimisation #source code

Space Optimization in the Bottom-Up Evaluation of Logic Programs (SS, DS, RR, JFN), pp. 68–77.

ICLP-1991-FernandezM #bottom-up #database #deduction #evaluation

Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases (JAF, JM), pp. 660–675.

ISLP-1991-KempSS #bottom-up #evaluation #modelling #set

Magic Sets and Bottom-Up Evaluation of Well-Founded Models (DBK, DS, PJS), pp. 337–351.

ISLP-1991-RamakrishnanS #bottom-up #revisited #top-down

Top-Down versus Bottom-Up Revisited (RR, SS), pp. 321–336.

RTA-1991-CoquideDGV #automaton #bottom-up #term rewriting

Bottom-Up Tree Pushdown Automata and Rewrite Systems (JLC, MD, RG, SV), pp. 287–298.

VLDB-1990-KuittinenNSS #bottom-up #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 #bottom-up #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 #bottom-up #datalog #top-down

Bottom-Up Beats Top-Down for Datalog (JDU), pp. 140–149.

NACLP-1989-Helm #bottom-up #execution #on the

On the Dedection and Elimination of Redundant Derivations during Bottom-up Execution (ARH), pp. 945–962.

PLILP-1988-Voisin #adaptation #algorithm #bottom-up #earley #parsing

A Bottom-Up Adaption of Earley’s Parsing Algorithm (FV), pp. 146–160.

JICSCP-1988-MarriottS88 #abstract interpretation #bottom-up #logic programming #source code

Bottom-up Abstract Interpretation of Logic Programs (KM, HS), pp. 733–748.

POPL-1987-Chase #bottom-up #pattern matching

An Improvement to Bottom-up Tree Pattern Matching (DRC), pp. 168–177.

DAC-1986-McFarland #behaviour #bottom-up #design #hardware #synthesis #using

Using bottom-up design techniques in the synthesis of digital hardware from abstract behavioral descriptions (MCM), pp. 474–480.

POPL-1986-HatcherC #bottom-up #code generation #pattern matching

High-Quality Code Generation Via Bottom-Up Tree Pattern Matching (PJH, TWC), pp. 119–130.

SLP-1984-UeharaOKT84 #bibliography #bottom-up #implementation #logic #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 #bottom-up #lr #parsing

A Modification of the LR(k) Method for Constructing Compact Bottom-Up Parsers (EU), pp. 646–658.

ICSE-1978-AzemaAB #approach #bottom-up #communication #design #verification

Design and Verification of Communication Procedures: A Bottom-Up Approach (PA, JMA, BB), pp. 168–174.

STOC-1971-Terrine #algorithm #bottom-up #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.