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
top-down
Google top-down

Tag #top-down

97 papers:

CIAACIAA-2019-0001M #composition #linear #transducer
Composition Closure of Linear Weighted Extended Top-Down Tree Transducers (ZF0, AM), pp. 133–145.
ICPRICPR-2018-GuanZT #segmentation #semantics
Inception Donut Convolution for Top-down Semantic Segmentation (HG, ZZ, TT), pp. 2492–2497.
PPDPPPDP-2018-SeidlV
Three Improvements to the Top-Down Solver (HS, RV), p. 14.
ASEASE-2018-Sferruzza #modelling #web #web service
Top-down model-driven engineering of web services from extended OpenAPI models (DS), pp. 940–943.
ICGTICGT-2015-DrewesHM #parsing #predict
Predictive Top-Down Parsing for Hyperedge Replacement Grammars (FD, BH, MM), pp. 19–34.
CAiSECAiSE-2015-SunB #approach #clustering #novel
A Novel Top-Down Approach for Clustering Traces (YS, BB), pp. 331–345.
ICEISICEIS-v2-2015-TangL #framework #mining #product line
Top-down Feature Mining Framework for Software Product Line (YT, HL), pp. 71–81.
LOPSTRLOPSTR-2015-ChaudhariD #bottom-up
Combining Top-Down and Bottom-Up Techniques in Program Derivation (DLC, OPD), pp. 244–258.
SASSAS-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.
DLTDLT-2014-EngelfrietMS #how #transducer
How to Remove the Look-Ahead of Top-Down Tree Transducers (JE, SM, HS), pp. 103–115.
LATALATA-2014-KoHS
Top-Down Tree Edit-Distance of Regular Tree Languages (SKK, YSH, KS), pp. 466–477.
ICEISICEIS-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.
PLDIPLDI-2014-ZhangMNY #analysis #bottom-up #hybrid #interprocedural
Hybrid top-down and bottom-up interprocedural analysis (XZ, RM, MN, HY), p. 28.
VLDBVLDB-2013-FenderM
Counter Strike: Generic Top-Down Join Enumeration for Hypergraphs (PF, GM), pp. 1822–1833.
DLTDLT-2013-FulopM #composition #linear #transducer
Composition Closure of ε-Free Linear Extended Top-Down Tree Transducers (ZF, AM), pp. 239–251.
ICMLICML-c3-2013-LakshminarayananRT
Top-down particle filtering for Bayesian decision trees (BL, DMR, YWT), pp. 280–288.
ICPRICPR-2012-LinL #bottom-up #process
Integrating bottom-up and top-down processes for accurate pedestrian counting (YL, NL), pp. 2508–2511.
ICPRICPR-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.
PLDIPLDI-2012-AlbarghouthiKNR #analysis #interprocedural
Parallelizing top-down interprocedural analyses (AA, RK, AVN, SKR), pp. 217–228.
LATALATA-2011-LaurenceLNST #normalisation #transducer
Normalization of Sequential Top-Down Tree-to-Word Transducers (GL, AL, JN, SS, MT), pp. 354–365.
CIKMCIKM-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.
ASPLOSASPLOS-2011-PorterBHOH #library
Rethinking the library OS from the top down (DEP, SBW, JH, RO, GCH), pp. 291–304.
PODSPODS-2010-LemayMN #algorithm #learning #xml
A learning algorithm for top-down XML transformations (AL, SM, JN), pp. 285–296.
DLTDLT-2010-Maletti #transducer
Input Products for Weighted Extended Top-Down Tree Transducers (AM), pp. 316–327.
ICPRICPR-2010-KasiviswanathanBS #analysis #documentation
Top Down Analysis of Line Structure in Handwritten Documents (HK, GRB, SNS), pp. 2025–2028.
ICPRICPR-2010-LiHLYZL #recognition
Event Recognition Based on Top-Down Motion Attention (LL, WH, BL, CY, PZ, WL), pp. 3561–3564.
ICPRICPR-2010-SangWW #learning #modelling #visual notation
A Biologically-Inspired Top-Down Learning Model Based on Visual Attention (NS, LW, YW), pp. 3736–3739.
ICPRICPR-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.
SEKESEKE-2010-MadieshW #process
A Top-Down Method for Secure SOA-based B2B Processes (MM, GW), pp. 698–703.
VLDBVLDB-2009-HeN
Anonymization of Set-Valued Data via Top-Down, Local Generalization (YH, JFN), pp. 934–945.
PADLPADL-2009-PereiraP #logic programming #modelling #query #source code
Layered Models Top-Down Querying of Normal Logic Programs (LMP, AMP), pp. 254–268.
HaskellHaskell-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.
ICPRICPR-2008-MooreSLD #image #segmentation #using
Top down image segmentation using congealing and graph-cut (DM, JS, SL, BAD), pp. 1–4.
ICDARICDAR-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.
SIGMODSIGMOD-2007-DeHaanT
Optimal top-down join enumeration (DD, FWT), pp. 785–796.
VLDBVLDB-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.
LATALATA-2007-Maletti #composition #transducer
Compositions of Extended Top-down Tree Transducers (AM), pp. 379–390.
HCIOCSC-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.
EDOCEDOC-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.
DATEDATE-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.
KDDKDD-2006-ArunasalamC #classification #named
CCCS: a top-down associative classifier for imbalanced class distribution (BA, SC), pp. 517–522.
PADLPADL-2006-NavasBH #analysis #clique #performance #using
Efficient Top-Down Set-Sharing Analysis Using Cliques (JAN, FB, MVH), pp. 183–198.
ICSEICSE-2006-KojarskiL #approach #modelling
Modeling aspect mechanisms: a top-down approach (SK, DHL), pp. 212–221.
DATEDATE-2006-MartensE #synthesis
Top-down heterogeneous synthesis of analog and mixed-signal systems (EM, GGEG), pp. 275–280.
PPoPPPPoPP-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.
CIAACIAA-2005-SudaH #algorithm #automaton #backtracking
Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment (TS, HH), pp. 294–306.
ICEISICEIS-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.
DATEDATE-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.
ECIRECIR-2004-HungWS #bottom-up #clustering #predict
Predictive Top-Down Knowledge Improves Neural Exploratory Bottom-Up Clustering (CH, SW, PS), pp. 154–166.
SASSAS-2004-NystromKH #analysis #bottom-up #pointer
Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis (EMN, HSK, WmWH), pp. 165–180.
ICDARICDAR-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.
VLDBVLDB-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.
SACSAC-2003-PenaCA #approach #protocol
A Top Down Approach for MAS Protocol Descriptions (JP, RC, JLA), pp. 45–49.
DATEDATE-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.
DATEDATE-2003-McCorquodaleGKMSB #challenge #design
A Top-Down Microsystems Design Methodology and Associated Challenges (MSM, FHG, KLK, EDM, RMS, RBB), pp. 20292–20296.
DATEDATE-2002-CaiGKO #design #using
Top-Down System Level Design Methodology Using SpecC, VCC and SystemC (LC, DG, PK, MO), p. 1137.
DATEDATE-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.
DATEDATE-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.
IJCARIJCAR-2001-Wang #semantics
A Top-Down Procedure for Disjunctive Well-Founded Semantics (KW), pp. 305–317.
FMFM-v1-1999-Hoare #bottom-up #programming
Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle (CARH), pp. 1–27.
ICMLICML-1998-BlockeelRR #clustering #induction
Top-Down Induction of Clustering Trees (HB, LDR, JR), pp. 55–63.
DACDAC-1998-McGrawAK #design #pipes and filters
A Top-Down Design Environment for Developing Pipelined Datapaths (RMM, JHA, RHK), pp. 236–241.
DATEDATE-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.
DATEEDTC-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.
CADECADE-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.
CADECADE-1997-Iwanuma #proving #theorem proving
Lemma Matching for a PTTP-based Top-down Theorem Prover (KI), pp. 146–160.
FMFME-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.
ICPRICPR-1996-Pavlidis #bottom-up #challenge #documentation #process #recognition
Challenges in document recognition bottom up and top down processes (TP), pp. 500–504.
STOCSTOC-1996-KearnsM #algorithm #learning #on the
On the Boosting Ability of Top-Down Decision Tree Learning Algorithms (MJK, YM), pp. 459–468.
ICLPILPS-1995-Toman #bottom-up #constraints #datalog
Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog (DT), pp. 98–112.
VLDBVLDB-1994-OuzzaniAB #approach
A Top-Down Approach for Two Level Serializability (MO, MAA, NLB), pp. 226–237.
ICMLICML-1994-ZelleMK #bottom-up #induction #logic programming
Combining Top-down and Bottom-up Techniques in Inductive Logic Programming (JMZ, RJM, JBK), pp. 343–351.
LOPSTRLOPSTR-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.
CADECADE-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.
ICLPILPS-1994-AlferesDP #named #source code
SLX — A Top-down Derivation Procedure for Programs with Explicit Negation (JJA, CVD, LMP), pp. 424–438.
PPDPPLILP-1993-Nederhof #algorithm #definite clause grammar #parsing #recursion
A New Top-Down Parsing Algorithm for Left-Recursive DCGs (MJN), pp. 108–122.
CCCC-1992-Muller #parsing
Attribute-Directed Top-Down Parsing (KM), pp. 37–43.
ECOOPECOOP-1991-Champeaux #analysis #development #object-oriented
Object-Oriented Analysis and Top-Down Software Development (DdC), pp. 360–376.
CAVCAV-1991-GjessingKM #approach #specification
A Top Down Approach to the Formal Specification of SCI Cache Coherence (SG, SK, EMK), pp. 83–91.
ICLPISLP-1991-RamakrishnanS #bottom-up #revisited
Top-Down versus Bottom-Up Revisited (RR, SS), pp. 321–336.
ICLPISLP-1991-SatoM #first-order #interpreter #source code
A Complete Top-Down Interpreter for First Order Programs (TS, FM), pp. 35–53.
CCCC-1990-Dobler #hybrid #parsing
A Hybrid Top-Down Parsing Technique (HD), pp. 210–211.
ICLPCLP-1990-GriefahnL90 #constraints #database #deduction
Top-Down Integrity Constraint Checking for Deductive Databases (UG, SL), pp. 130–144.
ICLPCLP-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.
PODSPODS-1989-Ullman #bottom-up #datalog
Bottom-Up Beats Top-Down for Datalog (JDU), pp. 140–149.
ICMLML-1989-BergadanoGP #deduction #induction #learning
Deduction in Top-Down Inductive Learning (FB, AG, SP), pp. 23–25.
DACDAC-1989-JabriS #algorithm #knowledge-based #named
PIAF: A Knowledge-based/Algorithm Top-Down Floorplanning System (MAJ, DJS), pp. 582–585.
ICLPJICSCP-1988-KempT88 #database #evaluation #query
Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases (DBK, RWT), pp. 178–194.
TAPSOFTAS-1985-Broy #design #distributed #specification
Specification and Top Down Design of Distributed Systems (MB), pp. 4–28.
DACDAC-1984-KozawaMT #algorithm #layout #logic
Combine and top down block placement algorithm for hierarchical logic VLSI layout (TK, CM, HT), pp. 667–669.
SIGMODSIGMOD-1983-Rowe #database #estimation #statistics
Top-Down Statistical Estimation on a Database (NCR), pp. 135–145.
DACDAC-1982-AdachiKNS #design #layout
Hierarchical top-down layout design method for VLSI chip (TA, HK, MN, TS), pp. 785–791.
DACDAC-1982-BassetS #design #testing
Top down design and testability of VLSI circuits (PB, GS), pp. 851–857.
ICSEICSE-1978-Lindstrom #parsing #using
Control Structure Aptness: A Cast Study Using Top-Down Parsing (GL), pp. 5–12.
SIGMODSIGMOD-1977-Merrett #approach #cost analysis #database
Database Cost Analysis: a Top-Down Approach (THM), pp. 135–143.
POPLPOPL-1973-Pratt #precedence
Top Down Operator Precedence (VRP), pp. 41–51.
STOCSTOC-1969-RosenkrantzS
Properties of Deterministic Top Down Grammars (DJR, RES), pp. 165–180.

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.