Tag #top-down
97 papers:
CIAA-2019-0001M #composition #linear #transducer- Composition Closure of Linear Weighted Extended Top-Down Tree Transducers (ZF0, AM), pp. 133–145.
ICPR-2018-GuanZT #segmentation #semantics- Inception Donut Convolution for Top-down Semantic Segmentation (HG, ZZ, TT), pp. 2492–2497.
PPDP-2018-SeidlV - Three Improvements to the Top-Down Solver (HS, RV), p. 14.
ASE-2018-Sferruzza #modelling #web #web service- Top-down model-driven engineering of web services from extended OpenAPI models (DS), pp. 940–943.
ICGT-2015-DrewesHM #parsing #predict- Predictive Top-Down Parsing for Hyperedge Replacement Grammars (FD, BH, MM), pp. 19–34.
CAiSE-2015-SunB #approach #clustering #novel- A Novel Top-Down Approach for Clustering Traces (YS, BB), pp. 331–345.
ICEIS-v2-2015-TangL #framework #mining #product line- Top-down Feature Mining Framework for Software Product Line (YT, HL), pp. 71–81.
LOPSTR-2015-ChaudhariD #bottom-up- Combining Top-Down and Bottom-Up Techniques in Program Derivation (DLC, OPD), pp. 244–258.
SAS-2015-CastelnuovoNRSY #analysis #bottom-up #case study #composition- Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis (GC, MN, NR, MS, HY), pp. 252–274.
DLT-2014-EngelfrietMS #how #transducer- How to Remove the Look-Ahead of Top-Down Tree Transducers (JE, SM, HS), pp. 103–115.
LATA-2014-KoHS - Top-Down Tree Edit-Distance of Regular Tree Languages (SKK, YSH, KS), pp. 466–477.
- ICEIS-v1-2014-Tribolet #adaptation #approach #bottom-up #enterprise
- 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 #bottom-up #hybrid #interprocedural- Hybrid top-down and bottom-up interprocedural analysis (XZ, RM, MN, HY), p. 28.
VLDB-2013-FenderM - Counter Strike: Generic Top-Down Join Enumeration for Hypergraphs (PF, GM), pp. 1822–1833.
- DLT-2013-FulopM #composition #linear #transducer
- Composition Closure of ε-Free Linear Extended Top-Down Tree Transducers (ZF, AM), pp. 239–251.
ICML-c3-2013-LakshminarayananRT - Top-down particle filtering for Bayesian decision trees (BL, DMR, YWT), pp. 280–288.
- ICPR-2012-LinL #bottom-up #process
- Integrating bottom-up and top-down processes for accurate pedestrian counting (YL, NL), pp. 2508–2511.
- ICPR-2012-ShaukatGWB #approach #bottom-up #detection
- Meeting in the Middle: A top-down and bottom-up approach to detect pedestrians (AS, AG, DW, RB), pp. 874–877.
- PLDI-2012-AlbarghouthiKNR #analysis #interprocedural
- Parallelizing top-down interprocedural analyses (AA, RK, AVN, SKR), pp. 217–228.
- LATA-2011-LaurenceLNST #normalisation #transducer
- Normalization of Sequential Top-Down Tree-to-Word Transducers (GL, AL, JN, SS, MT), pp. 354–365.
CIKM-2011-YuKL #approach #bidirectional #bottom-up #information management #towards- Towards a top-down and bottom-up bidirectional approach to joint information extraction (XY, IK, MRL), pp. 847–856.
ASPLOS-2011-PorterBHOH #library- Rethinking the library OS from the top down (DEP, SBW, JH, RO, GCH), pp. 291–304.
PODS-2010-LemayMN #algorithm #learning #xml- A learning algorithm for top-down XML transformations (AL, SM, JN), pp. 285–296.
- DLT-2010-Maletti #transducer
- Input Products for Weighted Extended Top-Down Tree Transducers (AM), pp. 316–327.
- ICPR-2010-KasiviswanathanBS #analysis #documentation
- Top Down Analysis of Line Structure in Handwritten Documents (HK, GRB, SNS), pp. 2025–2028.
- ICPR-2010-LiHLYZL #recognition
- Event Recognition Based on Top-Down Motion Attention (LL, WH, BL, CY, PZ, WL), pp. 3561–3564.
- ICPR-2010-SangWW #learning #modelling #visual notation
- A Biologically-Inspired Top-Down Learning Model Based on Visual Attention (NS, LW, YW), pp. 3736–3739.
- ICPR-2010-WangAYL #bottom-up #estimation #learning #using
- Combined Top-Down/Bottom-Up Human Articulated Pose Estimation Using AdaBoost Learning (SW, HA, TY, SL), pp. 3670–3673.
SEKE-2010-MadieshW #process- A Top-Down Method for Secure SOA-based B2B Processes (MM, GW), pp. 698–703.
- VLDB-2009-HeN
- Anonymization of Set-Valued Data via Top-Down, Local Generalization (YH, JFN), pp. 934–945.
PADL-2009-PereiraP #logic programming #modelling #query #source code- Layered Models Top-Down Querying of Normal Logic Programs (LMP, AMP), pp. 254–268.
Haskell-2008-VieraSL #haskell #parsing #performance #runtime- Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime (MV, SDS, EL), pp. 63–74.
- ICPR-2008-MooreSLD #image #segmentation #using
- Top down image segmentation using congealing and graph-cut (DM, JS, SL, BAD), pp. 1–4.
ICDAR-2007-CaoPNM #bottom-up #fault #robust #segmentation- Robust Page Segmentation Based on Smearing and Error Correction Unifying Top-down and Bottom-up Approaches (HC, RP, PN, EM), pp. 392–396.
SIGMOD-2007-DeHaanT - Optimal top-down join enumeration (DD, FWT), pp. 785–796.
- VLDB-2007-DeRoseSCDR #approach #community #composition #incremental #web
- Building Structured Web Community Portals: A Top-Down, Compositional, and Incremental Approach (PD, WS, FC, AD, RR), pp. 399–410.
- LATA-2007-Maletti #composition #transducer
- Compositions of Extended Top-down Tree Transducers (AM), pp. 379–390.
OCSC-2007-CarcilloR #bottom-up #classification- Tags for Citizens: Integrating Top-Down and Bottom-Up Classification in the Turin Municipality Website (FC, LR), pp. 256–264.
EDOC-2007-RosenbergEMPD #aspect-oriented #development #process #quality #using- Integrating Quality of Service Aspects in Top-Down Business Process Development Using WS-CDL and WS-BPEL (FR, CE, AM, CP, SD), pp. 15–26.
DATE-2007-CrepaldiCGZ #design #effectiveness- An effective AMS top-down methodology applied to the design of a mixed-signal UWB system-on-chip (MC, MRC, MG, MZ), pp. 1424–1429.
KDD-2006-ArunasalamC #classification #named- CCCS: a top-down associative classifier for imbalanced class distribution (BA, SC), pp. 517–522.
- PADL-2006-NavasBH #analysis #clique #performance #using
- Efficient Top-Down Set-Sharing Analysis Using Cliques (JAN, FB, MVH), pp. 183–198.
ICSE-2006-KojarskiL #approach #modelling- Modeling aspect mechanisms: a top-down approach (SK, DHL), pp. 212–221.
- DATE-2006-MartensE #synthesis
- Top-down heterogeneous synthesis of analog and mixed-signal systems (EM, GGEG), pp. 275–280.
PPoPP-2006-SharapovKDCR #case study #estimation #parallel #performance #scalability- A case study in top-down performance estimation for a large-scale parallel application (IS, RK, GD, RC, MR), pp. 81–89.
- CIAA-2005-SudaH #algorithm #automaton #backtracking
- Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment (TS, HH), pp. 294–306.
- ICEIS-v1-2005-SimonssonLJNGW #approach #enterprise #evaluation
- Scenario-based Evaluation of Enterprise — a Top-Down Approach for Chief Information Officer Decision Making (MS, ÅL, PJ, LN, JG, OW), pp. 130–137.
- DATE-2005-MullerTAL #design #multi #power management
- Top-Down Design of a Low-Power Multi-Channel 2.5-Gbit/s/Channel Gated Oscillator Clock-Recovery Circuit (PM, AT, SMA, YL), pp. 258–263.
ECIR-2004-HungWS #bottom-up #clustering #predict- Predictive Top-Down Knowledge Improves Neural Exploratory Bottom-Up Clustering (CH, SW, PS), pp. 154–166.
- SAS-2004-NystromKH #analysis #bottom-up #pointer
- Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis (EMN, HSK, WmWH), pp. 165–180.
- ICDAR-2003-IshideraN #case study #generative #image #recognition #word
- A Study on Top-down Word Image Generation for Handwritten Word Recognition (EI, DN), pp. 1173–1177.
- VLDB-2003-XinHLW #bottom-up #integration #named
- Star-Cubing: Computing Iceberg Cubes by Top-Down and Bottom-Up Integration (DX, JH, XL, BWW), pp. 476–487.
SAC-2003-PenaCA #approach #protocol- A Top Down Approach for MAS Protocol Descriptions (JP, RC, JLA), pp. 45–49.
- DATE-2003-DaglioR #bottom-up #design
- A Fully Qualified Top-Down and Bottom-Up Mixed-Signal Design Flow for Non Volatile Memories Technologies (PD, CR), pp. 20274–20279.
- DATE-2003-McCorquodaleGKMSB #challenge #design
- A Top-Down Microsystems Design Methodology and Associated Challenges (MSM, FHG, KLK, EDM, RMS, RBB), pp. 20292–20296.
- DATE-2002-CaiGKO #design #using
- Top-Down System Level Design Methodology Using SpecC, VCC and SystemC (LC, DG, PK, MO), p. 1137.
- DATE-2002-SommerRHGMMECSN #design #layout #specification
- From System Specification To Layout: Seamless Top-Down Design Methods for Analog and Mixed-Signal Applications (RS, IRH, EH, UG, PM, FM, KE, CC, PS, GN), pp. 884–891.
- DATE-2001-RioRMPR #design
- Top-down design of a xDSL 14-bit 4MS/s sigma-delta modulator in digital CMOS technology (RdR, JLdlR, FM, MBPV, ÁRV), pp. 348–352.
IJCAR-2001-Wang #semantics- A Top-Down Procedure for Disjunctive Well-Founded Semantics (KW), pp. 305–317.
FM-v1-1999-Hoare #bottom-up #programming- Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle (CARH), pp. 1–27.
- ICML-1998-BlockeelRR #clustering #induction
- Top-Down Induction of Clustering Trees (HB, LDR, JR), pp. 55–63.
DAC-1998-McGrawAK #design #pipes and filters- A Top-Down Design Environment for Developing Pipelined Datapaths (RMM, JHA, RHK), pp. 236–241.
- DATE-1998-VandenbusscheDLGS #design #interface #specification
- Hierarchical Top-Down Design of Analog Sensor Interfaces: From System-Level Specifications Down to Silicon (JV, SD, FL, GGEG, WMCS), pp. 716–720.
- EDTC-1997-LangDG #automation #design #modelling #parametricity
- Automatic transfer of parametric FEM models into CAD-layout formats for top-down design of microsystems (ML, DD, MG), pp. 200–204.
CADE-1997-HasegawaIOK #bottom-up #proving #set #theorem proving- Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving (RH, KI, YO, MK), pp. 176–190.
- CADE-1997-Iwanuma #proving #theorem proving
- Lemma Matching for a PTTP-based Top-down Theorem Prover (KI), pp. 146–160.
- FME-1996-ZwiersHLRS #composition #development #reuse #using
- Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development (JZ, UH, YL, WPdR, FAS), pp. 595–608.
- ICPR-1996-Pavlidis #bottom-up #challenge #documentation #process #recognition
- Challenges in document recognition bottom up and top down processes (TP), pp. 500–504.
STOC-1996-KearnsM #algorithm #learning #on the- On the Boosting Ability of Top-Down Decision Tree Learning Algorithms (MJK, YM), pp. 459–468.
ILPS-1995-Toman #bottom-up #constraints #datalog- Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog (DT), pp. 98–112.
- VLDB-1994-OuzzaniAB #approach
- A Top-Down Approach for Two Level Serializability (MO, MAA, NLB), pp. 226–237.
- ICML-1994-ZelleMK #bottom-up #induction #logic programming
- Combining Top-down and Bottom-up Techniques in Inductive Logic Programming (JMZ, RJM, JBK), pp. 343–351.
- LOPSTR-1994-MarakakisG #data type #design #logic programming #source code #using
- Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types (EIM, JPG), pp. 138–153.
- CADE-1994-Schumann #bottom-up #named #preprocessor #proving #theorem proving
- DELTA — A Bottom-up Preprocessor for Top-Down Theorem Provers — System Abstract (JS), pp. 774–777.
- ILPS-1994-AlferesDP #named #source code
- SLX — A Top-down Derivation Procedure for Programs with Explicit Negation (JJA, CVD, LMP), pp. 424–438.
- PLILP-1993-Nederhof #algorithm #definite clause grammar #parsing #recursion
- A New Top-Down Parsing Algorithm for Left-Recursive DCGs (MJN), pp. 108–122.
CC-1992-Muller #parsing- Attribute-Directed Top-Down Parsing (KM), pp. 37–43.
ECOOP-1991-Champeaux #analysis #development #object-oriented- Object-Oriented Analysis and Top-Down Software Development (DdC), pp. 360–376.
CAV-1991-GjessingKM #approach #specification- A Top Down Approach to the Formal Specification of SCI Cache Coherence (SG, SK, EMK), pp. 83–91.
- ISLP-1991-RamakrishnanS #bottom-up #revisited
- Top-Down versus Bottom-Up Revisited (RR, SS), pp. 321–336.
- ISLP-1991-SatoM #first-order #interpreter #source code
- A Complete Top-Down Interpreter for First Order Programs (TS, FM), pp. 35–53.
- CC-1990-Dobler #hybrid #parsing
- A Hybrid Top-Down Parsing Technique (HD), pp. 210–211.
- CLP-1990-GriefahnL90 #constraints #database #deduction
- Top-Down Integrity Constraint Checking for Deductive Databases (UG, SL), pp. 130–144.
- CLP-1990-LauP90 #first-order #logic #recursion #specification #synthesis
- Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications (KKL, SDP), pp. 667–684.
- PODS-1989-Ullman #bottom-up #datalog
- Bottom-Up Beats Top-Down for Datalog (JDU), pp. 140–149.
- ML-1989-BergadanoGP #deduction #induction #learning
- Deduction in Top-Down Inductive Learning (FB, AG, SP), pp. 23–25.
- DAC-1989-JabriS #algorithm #knowledge-based #named
- PIAF: A Knowledge-based/Algorithm Top-Down Floorplanning System (MAJ, DJS), pp. 582–585.
- JICSCP-1988-KempT88 #database #evaluation #query
- Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases (DBK, RWT), pp. 178–194.
AS-1985-Broy #design #distributed #specification- Specification and Top Down Design of Distributed Systems (MB), pp. 4–28.
- DAC-1984-KozawaMT #algorithm #layout #logic
- Combine and top down block placement algorithm for hierarchical logic VLSI layout (TK, CM, HT), pp. 667–669.
- SIGMOD-1983-Rowe #database #estimation #statistics
- Top-Down Statistical Estimation on a Database (NCR), pp. 135–145.
- DAC-1982-AdachiKNS #design #layout
- Hierarchical top-down layout design method for VLSI chip (TA, HK, MN, TS), pp. 785–791.
- DAC-1982-BassetS #design #testing
- Top down design and testability of VLSI circuits (PB, GS), pp. 851–857.
- ICSE-1978-Lindstrom #parsing #using
- Control Structure Aptness: A Cast Study Using Top-Down Parsing (GL), pp. 5–12.
- SIGMOD-1977-Merrett #approach #cost analysis #database
- Database Cost Analysis: a Top-Down Approach (THM), pp. 135–143.
POPL-1973-Pratt #precedence- Top Down Operator Precedence (VRP), pp. 41–51.
- STOC-1969-RosenkrantzS
- Properties of Deterministic Top Down Grammars (DJR, RES), pp. 165–180.
