Stem topolog$ (all stems)

262 papers:

DATE-2015-JiaoMD #reasoning #synthesis

Knowledge-intensive, causal reasoning for analog circuit topology synthesis in emergent and innovative applications (FJ, SM, AD), pp. 1144–1149.

DATE-2015-SteinhorstL #composition #identification

Topology identification for smart cells in modular batteries (SS, ML), pp. 1249–1252.

ICALP-v2-2015-ChattopadhyayR #communication

The Range of Topological Effects on Communication (AC, AR), pp. 540–551.

CHI-2015-DasZR #game studies #personalisation

Examining Game World Topology Personalization (SD, AZ, MOR), pp. 3731–3734.

ICEIS-v1-2015-GruppiMAFL #heuristic #performance

An Efficient and Topologically Correct Map Generalization Heuristic (MGG, SVGM, MVAA, WRF, WL), pp. 516–525.

SAC-2015-FerreiraPC #graph #matrix

Exploring graph topology via matrix factorization to improve wikification (RF, MdGCP, MC), pp. 1099–1104.

ICSE-v2-2015-TsigkanosPGN #adaptation #cyber-physical #named #security

Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems (CT, LP, CG, BN), pp. 729–732.

ASPLOS-2015-PangDL #less is more

More is Less, Less is More: Molecular-Scale Photonic NoC Power Topologies (JP, CD, ARL), pp. 283–296.

DAC-2014-ParikhDB #configuration management #power management

Power-Aware NoCs through Routing and Topology Reconfiguration (RP, RD, VB), p. 6.

DATE-2014-FerentD #comparison #mining #novel #synthesis #using

Novel circuit topology synthesis method using circuit feature mining and symbolic comparison (CF, AD), pp. 1–4.

DATE-2014-QiZ #modelling #performance #simulation

Efficient simulation and modelling of non-rectangular NoC topologies (JQ, MZ), pp. 1–4.

ICSME-2014-BiazziniMB #commit #distributed #on the #version control

On Analyzing the Topology of Commit Histories in Decentralized Version Control Systems (MB, MM, BB), pp. 261–270.

ICGT-2014-BelhaouariAGB #geometry #graph transformation #library #modelling #named

Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling (HB, AA, PLG, TB), pp. 269–284.

CIKM-2014-DavletovAC #predict #using

High Impact Academic Paper Prediction Using Temporal and Topological Features (FD, ASA, AC), pp. 491–498.

CIKM-2014-KarlgrenBEIKN #semantics

Semantic Topology (JK, MB, AE, GI, EK, DN), pp. 1939–1942.

ICML-c1-2014-ChazalGLM #convergence #data analysis #diagrams #estimation #persistent

Convergence rates for persistence diagram estimation in Topological Data Analysis (FC, MG, CL, BM), pp. 163–171.

ICPR-2014-AfkhamEC #framework #modelling

A Topological Framework for Training Latent Variable Models (HMA, CHE, SC), pp. 2471–2476.

ICPR-2014-GanSZ #learning

An Extended Isomap for Manifold Topology Learning with SOINN Landmarks (QG, FS, JZ), pp. 1579–1584.

KDD-2014-KhalilDS #network #optimisation #scalability

Scalable diffusion-aware optimization of network topology (EBK, BND, LS), pp. 1226–1235.

KR-2014-DuckhamLLL #constraints #on the

On Redundant Topological Constraints (MD, SL, WL, ZL).

RE-2014-TsigkanosPMGN #adaptation #requirements #runtime #security

Engineering topology aware adaptive security: Preventing requirements violations at runtime (CT, LP, CM, CG, BN), pp. 203–212.

SAC-2014-ChakrabortyCKD #adaptation #distributed

Hierarchical topology adaptation for distributed convergecast applications (SC, SC, SK, HSD), pp. 405–407.

SAC-2014-KangI #dynamic analysis

Analysis of binary code topology for dynamic analysis (BK, EGI), pp. 1731–1732.

SAC-2014-SantosSTO #approach #hybrid #navigation

A hybrid GA-ANN approach for autonomous robots topological navigation (VdCS, DOS, CFMT, FSO), pp. 148–153.

SPLC-2014-BergerSOHLW #case study #experience #modelling #variability

To connect or not to connect: experiences from modeling topological variability (TB, SS, OØ, ØH, BL, AW), pp. 330–339.

LICS-CSL-2014-Bollig #automaton #communication #logic

Logic for communicating automata with parameterized topology (BB), p. 10.

CASE-2013-VallamSNNN #locality #network

Topologies of stable strategic networks with localized payoffs (RDV, CAS, YN, RN, SN), pp. 844–849.

DAC-2013-YuLJC #classification #detection #feature model #using

Machine-learning-based hotspot detection using topological classification and critical feature extraction (YTY, GHL, IHRJ, CC), p. 6.

DATE-2013-MandalKM

Exploring topologies for source-synchronous ring-based network-on-chip (AM, SPK, RNM), pp. 1026–1031.

DATE-2013-RaminiGBB #3d #analysis #manycore #power management #using

Contrasting wavelength-routed optical NoC topologies for power-efficient 3D-stacked multicore processors using physical-layer analysis (LR, PG, SB, DB), pp. 1589–1594.

DATE-2013-SchneiderZGMC #analysis #composition

Compositional analysis of switched ethernet topologies (RS, LZ, DG, AM, SC), pp. 1099–1104.

DATE-2013-WachterEAM #fault tolerance

Topology-agnostic fault-tolerant NoC routing method (EW, AE, AMA, FM), pp. 1595–1600.

HT-2013-Luczak-RoschT #on the #web

On the topology of the web of data (MLR, RT), pp. 253–257.

SIGMOD-2013-ChengHWF #graph #named #query #reachability #scalability

TF-Label: a topological-folding labeling scheme for reachability querying in a large graph (JC, SH, HW, AWCF), pp. 193–204.

SFM-2013-Pachos #quantum

Topological Quantum Computation (JKP), pp. 150–179.

SPLC-2013-Fantechi #configuration management #product line

Topologically configurable systems as product families (AF), pp. 151–156.

HPCA-2013-AbeyratneDLSGDBM #scalability #symmetry #towards

Scaling towards kilo-core processors with asymmetric high-radix topologies (NA, RD, QL, KS, BG, RGD, DB, TNM), pp. 496–507.

HPCA-2013-KoibuchiFMC #random

Layout-conscious random topologies for HPC off-chip interconnects (MK, IF, HM, HC), pp. 484–495.

HPDC-2013-CostaDOR #3d #clustering #named #network #stack

CamCubeOS: a key-based network stack for 3D torus cluster topologies (PC, AD, GO, AITR), pp. 73–84.

LICS-2013-Vicary #algorithm #quantum

Topological Structure of Quantum Algorithms (JV), pp. 93–102.

CASE-2012-KimKYOO #navigation #using

Actionable topological mapping for navigation using nearby objects (JK, JK, SY, YO, SO), pp. 1162–1167.

WCRE-2012-EspinhaZG #comprehension #runtime

Understanding the Runtime Topology of Service-Oriented Systems (TE, AZ, HGG), pp. 187–196.

STOC-2012-GroheM #graph #morphism #theorem

Structure theorem and isomorphism test for graphs with excluded topological subgraphs (MG, DM), pp. 173–192.

ICALP-v2-2012-JainMNS #migration #network #virtual machine

Topology-Aware VM Migration in Bandwidth Oversubscribed Datacenter Networks (NJ, IM, JN, FBS), pp. 586–597.

LATA-2012-Cervelle

Covering Space in the Besicovitch Topology (JC), pp. 169–178.

IFM-2012-WoehrleBM #anti #network

Mechanized Extraction of Topology Anti-patterns in Wireless Networks (MW, RB, MRM), pp. 158–173.

EDOC-2012-BinzLNS #analysis #enterprise #graph transformation #segmentation

Improving the Manageability of Enterprise Topologies Through Segmentation, Graph Transformation, and Analysis Strategies (TB, FL, AN, DS), pp. 61–70.

ICPR-2012-DahmBCG #detection #morphism

Topological features and iterative node elimination for speeding up subgraph isomorphism detection (ND, HB, TC, YG), pp. 1164–1167.

KEOD-2012-HmidaCBN #3d #logic #using

From 9-IM Topological Operators to Qualitative Spatial Relations using 3D Selective Nef Complexes and Logic Rules for Bodies (HBH, CC, FB, CN), pp. 208–213.

SAC-2012-PaivaPR #mobile

Topological inference through mobile devices (MAP, MP, RJFR), pp. 574–575.

HPDC-2012-LiSBKS #in the cloud #named #pipes and filters

CAM: a topology aware minimum cost flow based resource manager for MapReduce applications in the cloud (ML, DS, ARB, AK, PS), pp. 211–222.

PPoPP-2012-SackG #algorithm #communication #performance

Faster topology-aware collective algorithms through non-minimal communication (PS, WG), pp. 45–54.

RTA-2012-AndersenS #term rewriting

Term Rewriting Systems as Topological Dynamical Systems (SBA, JGS), pp. 53–68.

DATE-2011-ChakrabortyR #manycore

Topologically homogeneous power-performance heterogeneous multicore systems (KC, SR), pp. 125–130.

DATE-2011-HealyL #3d #network #novel

A novel TSV topology for many-tier 3D power-delivery networks (MBH, SKL), pp. 261–264.

DATE-2011-MiteaMHJ #automation #constraints #synthesis

Automated constraint-driven topology synthesis for analog circuits (OM, MM, LH, PJ), pp. 1662–1665.

DATE-2011-TinoK #architecture #generative #multi

Multi-objective Tabu Search based topology generation technique for application-specific Network-on-Chip architectures (AT, GNK), pp. 485–490.

DATE-2011-YangO #adaptation #flexibility #manycore

Frugal but flexible multicore topologies in support of resource variation-driven adaptivity (CY, AO), pp. 1255–1260.

VLDB-2012-MaCFHW11 #graph #pattern matching

Capturing Topology in Graph Pattern Matching (SM, YC, WF, JH, TW), pp. 310–321.

STOC-2011-GroheKMW #parametricity

Finding topological subgraphs is fixed-parameter tractable (MG, KiK, DM, PW), pp. 479–488.

STOC-2011-KantorLPP #communication

The topology of wireless communication (EK, ZL, MP, DP), pp. 383–392.

ICEIS-v3-2011-DoninsO #case study #development #enterprise #modelling

Topological Modeling for Enterprise Data Synchronization System — A Case Study of Topological Model-driven Software Development (UD, JO), pp. 87–96.

CIKM-2011-GevaV #documentation #named

TOPSIG: topology preserving document signatures (SG, CMDV), pp. 333–338.

SAC-2011-LiuS

Tracking continuous topological changes of complex moving regions (HL, MS), pp. 833–838.

DATE-2010-JunYC #library #multi #network #synthesis

Exploiting multiple switch libraries in topology synthesis of on-chip interconnection network (MJ, SY, EYC), pp. 1390–1395.

DATE-2010-TraubSKB #network

Scenario extraction for a refined timing-analysis of automotive network topologies (MT, TS, OK, JB), pp. 81–86.

DATE-2010-ZhangYDHRL #manycore #symmetry

Performance-asymmetry-aware topology virtualization for defect-tolerant NoC-based many-core processors (LZ, YY, JD, YH, SR, XL), pp. 1566–1571.

PLDI-2010-KandemirYMSIZ #multi

Cache topology aware computation mapping for multicores (MTK, TY, SPM, SS, MJI, YZ), pp. 74–85.

DLT-2010-Staiger #finite #infinity #word

Joint Topologies for Finite and Infinite Words (LS), pp. 442–443.

ICALP-v2-2010-GehrkeGP #approach #recognition

A Topological Approach to Recognition (MG, SG, JÉP), pp. 151–162.

IFM-2010-FaberIJS #automation #parametricity #specification #verification

Automatic Verification of Parametric Specifications with Complex Topologies (JF, CI, SJ, VSS), pp. 152–167.

SEFM-2010-BarnatBR #parallel #partial order #reduction

Parallel Partial Order Reduction with Topological Sort Proviso (JB, LB, PR), pp. 222–231.

ICGT-2010-SpicherMG #declarative #using

Declarative Mesh Subdivision Using Topological Rewriting in MGS (AS, OM, JLG), pp. 298–313.

ICPR-2010-Bouchaffra #network

Topological Dynamic Bayesian Networks (DB), pp. 898–901.

ICPR-2010-CaiHTP #multi

Recovering the Topology of Multiple Cameras by Finding Continuous Paths in a Trellis (YC, KH, TT, MP), pp. 3541–3544.

ICPR-2010-GudkovU #approach

A Topologic Approach to User-Dependent Key Extraction from Fingerprints (VYG, OU), pp. 1281–1284.

ICPR-2010-MankowskiSS #canonical

Canonical Patterns of Oriented Topologies (WCM, AS, DDS), pp. 1104–1107.

ICPR-2010-NovoSPF #algorithm #modelling #multi #optimisation

Optimization of Topological Active Models with Multiobjective Evolutionary Algorithms (JN, JSR, MGP, AF), pp. 2226–2229.

KR-2010-KontchakovPZ #logic

Interpreting Topological Logics over Euclidean Spaces (RK, IPH, MZ).

DAC-2009-SeiculescuMBM #synthesis

NoC topology synthesis for supporting shutdown of voltage islands in SoCs (CS, SM, LB, GDM), pp. 822–825.

DATE-2009-GrabBCCFLS #layout #synthesis

Analog layout synthesis — Recent advances in topological approaches (HG, FB, RCL, YWC, FVF, MPHL, MS), pp. 274–279.

DATE-2009-LudoviciVMRGLGB #constraints #design

Assessing fat-tree topologies for regular network-on-chip design under nanoscale technology constraints (DL, FGV, SM, CGR, MEG, PL, GNG, DB), pp. 562–565.

DATE-2009-PalmersMSG #multi

Massively multi-topology sizing of analog integrated circuits (PP, TM, MS, GGEG), pp. 706–711.

DATE-2009-SeiculescuMBM #3d #network #synthesis

SunFloor 3D: A tool for Networks On Chip topology synthesis for 3D systems on chips (CS, SM, LB, GDM), pp. 9–14.

ICDAR-2009-MarinaiMS #clustering #order #using

Mathematical Symbol Indexing Using Topologically Ordered Clusters of Shape Contexts (SM, BM, GS), pp. 1041–1045.

SAS-2009-Schmidt #abstract interpretation #perspective

Abstract Interpretation from a Topological Perspective (DAS), pp. 293–308.

IFM-2009-HoangKBA

Developing Topology Discovery in Event-B (TSH, HK, DAB, JRA), pp. 1–19.

CHI-2009-MoscovichCHPF #navigation #network #scalability

Topology-aware navigation in large networks (TM, FC, NH, EP, JDF), pp. 2319–2328.

MLDM-2009-BenabdeslemS #approach #clustering #probability

A Probabilistic Approach for Constrained Clustering with Topological Map (KB, JS), pp. 413–426.

SAC-2009-ChengGL

Topology determination and isolation for implicit plane curves (JSC, XSG, JL), pp. 1140–1141.

ESEC-FSE-2009-HannaBR #automation #automaton #behaviour #composition #independence #verification

Behavioral automata composition for automatic topology independent verification of parameterized systems (YH, SB, HR), pp. 325–334.

HPCA-2009-GrotHKM

Express Cube Topologies for on-Chip Interconnects (BG, JH, SWK, OM), pp. 163–174.

PPoPP-2009-BhateleBK #api #case study

Topology aware task mapping techniques: an api and case study (AB, EJB, LVK), pp. 301–302.

DAC-2008-DasV #adaptation #synthesis

Topology synthesis of analog circuits based on adaptively generated building blocks (AD, RV), pp. 44–49.

DAC-2008-LiuCJHZDH

Topological routing to maximize routability for package substrate (SL, GC, TTJ, LH, TZ, RD, XH), pp. 566–569.

DAC-2008-LukasiewyczGHTRL #concurrent #integration #network #optimisation

Concurrent topology and routing optimization in automotive network integration (ML, MG, CH, JT, RR, BL), pp. 626–629.

DATE-2008-WangH #multi #synthesis

Structural Synthesis of Four-Quadrant Multiplier Based on Hierarchical Topology (XW, LH), pp. 800–803.

DATE-2008-ZhangHXL #fault #manycore #using

Defect Tolerance in Homogeneous Manycore Processors Using Core-Level Redundancy with Unified Topology (LZ, YH, QX, XL), pp. 891–896.

DocEng-2008-IorioFVLW #abstraction #layout

Higher-level layout through topological abstraction (ADI, LF, FV, JWL, TW), pp. 90–99.

ITiCSE-2008-EscribanoGST #java

Digital topology java applet (CE, AG, MAS, MT), p. 329.

DLT-2008-SelivanovW #complexity

Complexity of Topological Properties of Regular ω-Languages (VLS, KWW), pp. 529–542.

ICALP-A-2008-HaeuplerKMST #algorithm #incremental #performance

Faster Algorithms for Incremental Topological Ordering (BH, TK, RM, SS, RET), pp. 421–433.

ICGT-2008-PoudretACG #graph transformation #modelling

Graph Transformation for Topology Modelling (MP, AA, JPC, PLG), pp. 147–161.

ICML-2008-UrtasunFGPDL #modelling

Topologically-constrained latent variable models (RU, DJF, AG, JP, TD, NDL), pp. 1080–1087.

ICPR-2008-Bouchaffra #markov #modelling

Embedding HMM’s-based models in a Euclidean space: The topological hidden Markov models (DB), pp. 1–4.

ICPR-2008-ChenR #3d #algorithm #invariant #linear #recognition

Linear time recognition algorithms for topological invariants in 3D (LC, YR), pp. 1–4.

ICPR-2008-HouLLCWY #analysis #modelling

Fingerprint orientation analysis with topological modeling (ZH, JL, HKL, TPC, HLW, WYY), pp. 1–4.

ICPR-2008-MatsuoSS #automation #generative #recognition

Automatic generation of HMM topology for sign language recognition (TM, YS, NS), pp. 1–4.

ICPR-2008-Stelldinger #re-engineering #using

Topologically correct surface reconstruction using alpha shapes and relations to ball-pivoting (PS), pp. 1–4.

HPCA-2008-LeeB #architecture #design #optimisation

Roughness of microarchitectural design topologies and its implications for optimization (BCL, DMB), pp. 240–251.

LICS-2008-Edalat

Weak Topology and a Differentiable Operator for Lipschitz Maps (AE), pp. 364–375.

CASE-2007-ZhuangXZD #multi #optimisation #set

Von Mises Stress and Level Set Method based Structural Topology Optimization with Multi-phase Materials (CZ, ZX, XZ, HD), pp. 945–949.

DAC-2007-CollinsC #optimisation #throughput

Topology-Based Optimization of Maximal Sustainable Throughput in a Latency-Insensitive System (RLC, LPC), pp. 410–415.

DAC-2007-McConaghyPGS #multi

Simultaneous Multi-Topology Multi-Objective Sizing Across Thousands of Analog Circuit Topologies (TM, PP, GGEG, MS), pp. 944–947.

DATE-2007-EeckelaertSGSS #performance #synthesis

An efficient methodology for hierarchical synthesis of mixed-signal systems with fully integrated building block topology selection (TE, RS, GGEG, MS, WMCS), pp. 81–86.

ICDAR-2007-HanCZCZ #design #multi #online #recognition

Systematic Multi-Path HMM Topology Design for Online Handwriting Recognition of East Asian Characters (SH, MC, YZ, XC, DZ), pp. 604–608.

DLT-2007-BienvenuS #automaton #invariant

The Dynamics of Cellular Automata in Shift-Invariant Topologies (LB, MS), pp. 84–95.

LATA-2007-PoudretCGAM #biology #geometry #modelling #process

Topology-based Geometric Modelling for Biological Cellular Processes (MP, JPC, PLG, AA, PM), pp. 497–508.

AGTIVE-2007-BauerDTW #analysis #constraints #ocl #synthesis #verification

Verification and Synthesis of OCL Constraints Via Topology Analysis (JB, WD, TT, BW), pp. 361–376.

CIKM-2007-SchockaertC #reasoning

Reasoning about vague topological information (SS, MDC), pp. 593–602.

SIGIR-2007-CastilloDGMS #detection #using #web

Know your neighbors: web spam detection using the web topology (CC, DD, AG, VM, FS), pp. 423–430.

SAC-2007-JaegerPMH #self

Self-organizing broker topologies for publish/subscribe systems (MAJ, HP, GM, KH), pp. 543–550.

SAC-2007-TetsuyaAHN #ad hoc #generative #network #using

Topology information generation methods using a routing table in ad hoc network applications (TT, AK, TH, SN), pp. 896–900.

ICSE-2007-WarrR #named

Suade: Topology-Based Searches for Software Investigation (FWW, MPR), pp. 780–783.

HPDC-2007-ShiraiST #parallel #performance

A fast topology inference: a building block for network-aware parallel processing (TS, HS, KT), pp. 11–22.

DAC-2006-RaoOK #architecture #logic

Topology aware mapping of logic functions onto nanowire-based crossbar architectures (WR, AO, RK), pp. 723–726.

DATE-2006-WeiTD #communication #configuration management #design #multi

Systematic methodology for designing reconfigurable Delta-Sigma modulator topologies for multimode communication systems (YW, HT, AD), pp. 393–398.

DATE-2006-YavariSR06a

Double-sampling single-loop sigma-delta modulator topologies for broadband applications (MY, OS, ÁRV), pp. 399–404.

ICPR-v2-2006-WangLC #locality

Topological Localization Based on Salient Regions in Unknown Environments (LW, YL, ZC), pp. 369–372.

ICPR-v2-2006-WangZC #locality #performance #using

Efficient Topological Localization Using Orientation Adjacency Coherence Histograms (JW, HZ, RC), pp. 271–274.

ICPR-v3-2006-ArcelliBS #3d #set

A New Set of Topology Preserving Removal Operations in the 3D Space (CA, GSdB, LS), pp. 1055–1058.

ICPR-v3-2006-SchmidtWY #approach

A Split & Merge Approach to Metric-Topological Map-Building (JS, CKW, WKY), pp. 1069–1072.

ICPR-v3-2006-StelldingerL06b #3d #re-engineering

3D Object Digitization: Topology Preserving Reconstruction (PS, LJL), pp. 693–696.

ICPR-v4-2006-NiuG #network #using

Recovering Non-overlapping Network Topology Using Far-field Vehicle Tracking Data (CN, EG), pp. 944–949.

SAC-2006-WuH #interactive #mining #network

Mining and analyzing the topological structure of protein-protein interaction networks (DDW, XH), pp. 185–189.

DAC-2005-SekarLRD #architecture #communication #configuration management #named

FLEXBUS: a high-performance system-on-chip communication architecture with a dynamically configurable topology (KS, KL, AR, SD), pp. 571–574.

DATE-2005-ChienCLMRM #optimisation #pipes and filters

Designer-Driven Topology Optimization for Pipelined Analog to Digital Converters (YTC, DC, JHL, GKM, RAR, TM), pp. 279–280.

DATE-2005-TangWD #complexity #power management #synthesis

MINLP Based Topology Synthesis for Delta Sigma Modulators Optimized for Signal Path Complexity, Sensitivity and Power Consumption (HT, YW, AD), pp. 264–269.

DATE-2005-WangPM #energy #network

A Technology-Aware and Energy-Oriented Topology Exploration for On-Chip Networks (HW, LSP, SM), pp. 1238–1243.

ICDAR-2005-CecottiB #adaptation #network #recognition

Rejection strategy for Convolutional Neural Network by adaptive topology applied to handwritten digits recognition (HC, AB), pp. 765–769.

CIKM-2005-WangHL #database #framework #mining

A framework for mining topological patterns in spatio-temporal databases (JW, WH, MLL), pp. 429–436.

ECIR-2005-CamposFH #diagrams #documentation #evaluation #retrieval #strict

Improving the Context-Based Influence Diagram Model for Structured Document Retrieval: Removing Topological Restrictions and Adding New Evaluation Methods (LMdC, JMFL, JFH), pp. 215–229.

KDD-2005-JinWPPA #dataset #graph

Discovering frequent topological structures from graph datasets (RJ, CW, DP, SP, GA), pp. 606–611.

MoDELS-2005-CuccuruDMB #modelling #towards #uml

Towards UML 2 Extensions for Compact Modeling of Regular Complex Topologies (AC, JLD, PM, PB), pp. 445–459.

MoDELS-2005-CuccuruDMB #modelling #towards #uml

Towards UML 2 Extensions for Compact Modeling of Regular Complex Topologies (AC, JLD, PM, PB), pp. 445–459.

SAC-2005-GuoLLW #linear #problem

The shortest route cut and fill problem in linear topological structure (SG, WL, AL, FW), pp. 409–410.

SAC-2005-PaulyS #identification

Identifying topological predicates for vague spatial objects (AP, MS), pp. 587–591.

CSL-2005-BrattkaS #axiom #sequence

Computing with Sequences, Weak Topologies and the Axiom of Choice (VB, MS), pp. 462–476.

CSL-2005-Murlak #on the

On Deciding Topological Classes of Deterministic Tree Languages (FM), pp. 428–441.

LICS-2005-EscardoK #programming language

Operational Domain Theory and Topology of a Sequential Programming Language (MHE, WKH), pp. 427–436.

DAC-2004-MuraliM #automation #generative #named

SUNMAP: a tool for automatic topology selection and generation for NoCs (SM, GDM), pp. 914–919.

DATE-v1-2004-BansalGDNG #architecture #configuration management #network

Network Topology Exploration of Mesh-Based Coarse-Grain Reconfigurable Architectures (NB, SG, ND, AN, RG), pp. 474–479.

PODS-2004-BenediktLBW #first-order

A Characterization of First-Order Topological Properties of Planar Spatial Data (MB, CL, JVdB, TW), pp. 107–114.

DLT-2004-JonoskaS #algebra #modelling #process

Algebraic and Topological Models for DNA Recombinant Processes (NJ, MS), pp. 49–62.

ICPR-v2-2004-KoskelaLO #clustering #image #metric #retrieval

Entropy-Based Measures for Clustering and SOM Topology Preservation Applied to Content-Based Image Indexing and Retrieval (MK, JL, EO), pp. 1005–1009.

ICPR-v3-2004-TamLN #geometry

Deformable Geometry Model Matching by Topological and Geometric Signatures (GKLT, RWHL, CWN), pp. 910–913.

ICPR-v3-2004-XiaoSW #distance #segmentation

Topological Segmentation of Discrete Human Body Shapes in Various Postures Based on Geodesic Distance (YX, PS, NW), pp. 131–135.

SAC-2004-UhligBMRD #internet

Implications of the topological properties of Internet traffic on traffic engineering (SU, OB, VM, CR, LD), pp. 339–346.

DATE-2003-YevtushenkoVBPS #equation

Equisolvability of Series vs. Controller’s Topology in Synchronous Language Equations (NY, TV, RKB, AP, ALSV), pp. 11154–11155.

ICDAR-2003-Biem #classification #optimisation

A Model Selection Criterion for Classification: Application to HMM Topology Optimization (AB), pp. 104–108.

VLDB-2003-LinLYZ #dataset #multi #scalability

Multiscale Histograms: Summarizing Topological Relations in Large Spatial Datasets (XL, QL, YY, XZ), pp. 814–825.

ICALP-2003-IkedaKOY #finite #graph #random

Impact of Local Topological Information on Random Walks on Finite Graphs (SI, IK, NO, MY), pp. 1054–1067.

FME-2003-Vigna #security

A Topological Characterization of TCP/IP Security (GV), pp. 914–939.

SOFTVIS-2003-EiglspergerKS #approach #automation #diagrams #layout #uml

A Topology-Shape-Metrics Approach for the Automatic Layout of UML Class Diagram (ME, MK, MS), pp. 189–198.

RTA-2003-Giavitto #modelling #simulation

Invited Talk: Topological Collections, Transformations and Their Application to the Modeling and the Simulation of Dynamical Systems (JLG), pp. 208–233.

DATE-2002-PeyranZ #slicing

Transforming Arbitrary Structures into Topologically Equivalent Slicing Structures (OP, WZ), p. 1099.

DATE-2002-PozziVI #automation #embedded #identification

Automatic Topology-Based Identification of Instruction-Set Extensions for Embedded Processors (LP, MV, PI), p. 1138.

ITiCSE-2002-CarrCJMS #editing #visualisation

Channels, visualization, and topology editor (SC, PC, TJ, JM, CKS), pp. 106–110.

STOC-2002-Roughgarden #independence #network

The price of anarchy is independent of the network topology (TR), pp. 428–437.

ICPR-v1-2002-AlarconPGC #3d #biology #image #modelling

Modeling Shape and Topology of 3D Images of Biological Specimens (PAdA, ADPM, AG, JMC), pp. 79–82.

ICPR-v1-2002-Auclair-FortierPZA #algebra #approach

A Computational Algebraic Topology Approach for Optical Flow (MFAF, PP, DZ, MA), pp. 352–355.

ICPR-v1-2002-CucchiaraGPSP #clustering #recursion

Building the Topological Tree by Recursive FCM Color Clustering (RC, CG, AP, SS, GP), pp. 759–762.

ICPR-v2-2002-Klette #grid #orthogonal

Topologies on the Planar Orthogonal Grid (RK), pp. 354–357.

ICPR-v4-2002-YuiHZH #3d #adaptation #modelling #performance

A Fast Narrow Band Method and Its Application in Topology-Adaptive 3-D Modeling (SY, KH, HZ, TH), pp. 122–125.

KR-2002-BerN #comparison #design

Design and Comparison of Lattices of Topological Relations Based on Galois Lattice Theory (FLB, AN), pp. 37–48.

SAC-2002-AghbariKM #performance #reduction #video

Topological mapping: a dimensionality reduction method for efficient video search (ZA, KK, AM), pp. 470–475.

CIAA-2000-Heam #automaton

Automata for Pro-V Topologies (PCH), pp. 135–144.

ICPR-v1-2000-ChaoNO #3d #invariant #recognition #representation

A Hierarchical Invariant Representation of Spatial Topology of 3D Objects and Its Application to Object Recognition (JC, MN, SO), pp. 1920–1923.

ICPR-v2-2000-BhattacharyaDPCLR #adaptation #image #using

Shape Extraction of Volumetric Images of Filamentous Bacteria Using Topology Adaptive Self Organization (UB, AD, SKP, BBC, VL, KR), pp. 2291–2294.

ICPR-v4-2000-KawataNOKKKMMNE #analysis

Computerized Analysis of Pulmonary Nodules in Topological and Histogram Feature Spaces (YK, NN, HO, RK, MK, MK, NM, KM, HN, KE), pp. 4332–4335.

KR-2000-BalbianiO #reasoning

A Model for Reasoning about Topologic Relations between cyclic intervals (PB, AO), pp. 378–385.

LICS-2000-GroheS #first-order #on the #query

On First-Order Topological Queries (MG, LS), pp. 349–360.

TOOLS-ASIA-1999-LinLZZ #web

Efficiently Computing Frequent Tree-Like Topology Patterns in a Web Environment (XL, CL, YZ, XZ), pp. 440–447.

SAC-1999-BassiouniF #linear

Dynamic Channel Allocation for Linear Macrocellular Topology (MAB, CCF), pp. 382–388.

SAC-1999-CremoniniOZ #framework #interactive #mobile #modelling #network

Modelling Network Topology and Mobile Agent Interaction: An Integrated Framework (MC, AO, FZ), pp. 410–412.

CSL-1999-Vianu #database #query

Topological Queries in Spatial Databases (VV), p. 1.

DATE-1998-GasteierGM #communication #generative #synthesis

Generation of Interconnect Topologies for Communication Synthesis (MG, MG, MM), pp. 36–42.

DATE-1998-WolfK #automation #generative #optimisation

Automatic Topology Optimization for Analog Module Generators (MW, UK), pp. 961–962.

HT-1998-GibsonKR #community #web

Inferring Web Communities from Link Topology (DG, JMK, PR), pp. 225–234.

PODS-1998-SegoufinV #database #invariant #query

Querying Spatial Databases via Topological Invariants (LS, VV), pp. 89–98.

FASE-1998-ReedJDR #analysis #automation #formal method #modelling #network

Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms (JNR, DMJ, BD, GMR), pp. 239–254.

SAS-1998-Venet #automation #communication #mobile

Automatic Determination of Communication Topologies in Mobile Systems (AV), pp. 152–167.

ICPR-1998-ArcelliS #parallel

Parallel lowering of digital pictures by topology preserving operations (CA, LS), pp. 1601–1603.

ICPR-1998-Kofler #graph

A topological net structure and a topological graph (HK), pp. 1449–1454.

ICPR-1998-SilvaS #estimation

Egomotion estimation on a topological space (CS, JSV), pp. 64–66.

ICPR-1998-StoddartB #multi #re-engineering #using

Surface reconstruction and compression using multiresolution arbitrary topology G1 continuous splines (AJS, MSB), pp. 788–791.

SAC-1998-Sibai98a #low cost #multi #network #scalability

The hyper-ring network: a cost-efficient topology for scalable multicomputers (FNS), pp. 607–612.

SAC-1998-WohlmuthM #communication #configuration management #parallel

A method for them embedding of arbitrary communication topologies into configurable parallel computers (OW, FML), pp. 569–574.

ASPLOS-1998-PeirLH #adaptation #behaviour #memory management

Capturing Dynamic Memory Reference Behavior with Adaptive Cache Topology (JKP, YL, WWH), pp. 240–250.

ICDAR-1997-RahmanF #case study #multi #recognition #using

Introducing New Multiple Expert Decision Combination Topologies: A Case Study using Recognition of Handwritten Characters (AFRR, MCF), p. 886–?.

ICALP-1997-ManziniM #automaton #classification #linear

A Complete and Efficiently Computable Topological Classification of D-dimensional Linear Cellular Automata over Zm (GM, LM), pp. 794–804.

SIGIR-1997-Aaronson #hypermedia

Optimal Demand-oriented Topology for Hypertext Systems (SA), pp. 168–177.

SAC-1997-Zhan #fuzzy

Topological relations between fuzzy regions (FBZ), pp. 192–196.

PODS-1996-PapadimitriouSV #database #query

Topological Queries in Spatial Databases (CHP, DS, VV), pp. 81–92.

ICPR-1996-LanserZ #constraints #on the #recognition

On the use of topological constraints within object recognition tasks (SL, CZ), pp. 580–584.

ICPR-1996-MariD #clustering #fuzzy #segmentation

A segmentation method based on fuzzy topology and clustering (MM, SGD), pp. 565–569.

ICPR-1996-UrayP #modelling

Topological investigations of object models (PU, AP), pp. 110–114.

ICPR-1996-WatzelBHZS #segmentation

Restoration of dendrites and spines with the objective of topologically correct segmentation (RW, KB, AH, WZ, HS), pp. 472–476.

PLILP-1996-GalanPP #functional #process

Functional Skeletons Generate Process Topologies in Eden (LAG, CP, RP), pp. 289–303.

HPCA-1996-ParkA #concurrent #independence

A Topology-Independent Generic Methodology for Deadlock-Free Wormhole Routing (HP, DPA), pp. 191–200.

HPDC-1996-ReschkeSRSBM #design #network #parallel

A Design Study of Alternative Network Topologies for the Beowulf Parallel Workstation (CR, TLS, DR, DS, DJB, PM), pp. 626–636.

LICS-1996-Edalat

The Scott Topology Induces the Weak Topology (AE), pp. 372–381.

DAC-1995-VittalM95a #design

Power Distribution Topology Design (AV, MMS), pp. 503–507.

SIGMOD-1995-PapadiasTSE #bound #case study

Topological Relations in the World of Minimum Bounding Rectangles: A Study with R-trees (DP, YT, TKS, MJE), pp. 92–103.

PEPM-1995-Colby #communication #concurrent #source code

Analyzing the Communication Topology of Concurrent Programs (CC), pp. 202–213.

KDD-1995-KohaviS #set #using

Feature Subset Selection Using the Wrapper Method: Overfitting and Dynamic Search Space Topology (RK, DS), pp. 192–197.

SAC-1995-SmitsBSD #approach #fuzzy #image #using

An image processing approach using fuzzy topology (PCS, DdB, AS, SGD), pp. 557–561.

STOC-1994-ApsitisFS #approach #learning

Choosing a learning team: a topological approach (KA, RF, CHS), pp. 283–289.

ICALP-1994-Pin #polynomial #set

Polynomial Closure of Group Languages and Open Sets of the Hall Topology (JÉP), pp. 424–435.

POPL-1994-NielsonN #communication #concurrent #finite #higher-order #source code

Higher-Order Concurrent Programs with Finite Communication Topology (HRN, FN), pp. 84–97.

LICS-1994-HuthJK #approximate #linear

Linear Types, Approximation, and Topology (MH, AJ, KK), pp. 110–114.

ICDAR-1993-KaltenmeierCGM #markov #modelling #recognition

Sophisticated topology of hidden Markov models for cursive script recognition (AK, TC, JMG, EM), pp. 139–142.

STOC-1993-SaksZ

Wait-free k-set agreement is impossible: the topology of public knowledge (MES, FZ), pp. 101–110.

HCI-SHI-1993-BatraBD #hypermedia #navigation #performance

Effects of Hypertext Topology on Navigation Performance (SB, RRB, BD), pp. 175–180.

LOPSTR-1993-Neugebauer #analysis #reachability

Reachability Analysis for the Extension Procedure — A Topological Result (GN), pp. 32–44.

DAC-1992-MitsuhashiK #network #optimisation

Power and Ground Network Topology Optimization for Cell Based VLSIs (TM, ESK), pp. 524–529.

STOC-1992-BjornerLY #bound #linear

Linear Decision Trees: Volume Estimates and Topological Bounds (AB, LL, ACCY), pp. 170–177.

DAC-1991-DaiDS #generative #sketching

Topological Routing in SURF: Generating a Rubber-Band sketch (WWMD, TD, DS), pp. 39–44.

DAC-1991-DoodWLS #2d #geometry

A Two-Dimensional Topological Compactor With Octagonal Geometry (PdD, JW, EL, RS), pp. 727–731.

DAC-1990-ButlerM #design #fault #performance

The Influences of Fault Type and Topology on Fault Model Performance and the Implications to Test and Testable Design (KMB, MRM), pp. 673–678.

ML-1990-Velde #incremental #induction

Incremental Induction of Topologically Minimal Trees (WVdV), pp. 66–74.

DAC-1989-Chowdhury #design #graph #network #reliability

Optimum Design of Reliable IC Power Networks Having General Graph Topologies (SC), pp. 787–790.

HT-1989-Parunak #hypermedia #navigation

Hypermedia Topologies and User Navigation (HVDP), pp. 43–50.

STOC-1989-KaoS #order

Local Reorientation, Global Order, and Planar Topology (Preliminary Version) (MYK, GES), pp. 286–296.

KR-1989-RandellC #modelling #physics #process

Modelling Topological and Metrical Properties in Physical Processes (DAR, AGC), pp. 357–368.

DAC-1988-GaedeRMB #automation #concurrent #named #parallel #testing #using

CATAPULT: Concurrent Automatic Testing Allowing Parallelization and Using Limited Topology (RKG, DER, MRM, KMB), pp. 597–600.

ICALP-1988-EdelsbrunnerGPPSS #algorithm #combinator

Arrangements of Curves in the Plane — Topology, Combinatorics, and Algorithms (HE, LJG, JP, RP, RS, MS), pp. 214–229.

LICS-1988-CartwrightD #termination

The Topology of Program Termination (RC, AJD), pp. 296–308.

DAC-1987-KirklandM #algorithm

A Topological Search Algorithm for ATPG (TEK, MRM), pp. 502–508.

VLDB-1987-SiebesK #axiom #database #design #semantics #using

Using Design Axioms and Topology to Model Database Semantics (AS, MLK), pp. 51–59.

FPCA-1987-Schlag #functional #source code

The planar topology of functional programs (MDFS), pp. 174–193.

SIGIR-1987-CaterK #information retrieval #named #requirements

TIRS: A Topological Information Retrieval System Satisfying the Requirements of the Waller-Kraft Wish List (SCC, DHK), pp. 171–180.

STOC-1986-EdelsbrunnerG

Topologically Sweeping an Arrangement (HE, LJG), pp. 389–403.

ICALP-1985-BakkerK #towards

Towards a Uniform Topological Treatment of Streams and Functions on Streams (JWdB, JNK), pp. 140–148.

ICALP-1985-Pin #finite #for free #monad

Finite Group Topology and p-Adic Topology for Free Monoids (JÉP), pp. 445–455.

DAC-1984-PerskyT #multi

Topological routing of multi-bit data buses (GP, LVT), pp. 679–682.

DAC-1983-Jennings #automation

A topology for semicustom array-structured LSI devices, and their automatic customisation (PJ), pp. 675–681.

VLDB-1983-IbarakiKM #concept

Disjoint-Interval Topological Sort: A Useful Concept in Serializability Theory (Extended Abstract) (TI, TK, TM), pp. 89–91.

STOC-1983-Stout

Topological Matching (QFS), pp. 24–31.

ICALP-1983-Arnold #behaviour #infinity

Topological Characterizations of Infinite Behaviours of Transition Systems (AA), pp. 28–38.

ICALP-1983-Smyth #perspective

Power Domains and Predicate Transformers: A Topological View (MBS), pp. 662–675.

DAC-1982-ChuquillanquiS #named #optimisation #scalability

PAOLA: A tool for topological optimization of large PLAS (SC, TPS), pp. 300–306.

GG-1982-Paz #geometry

Geometry versus topology in map grammars (AP), pp. 288–296.

DAC-1981-DoreauK #algorithm #named

TWIGY — a topological algorithm based routing system (MTD, PK), pp. 746–755.

DAC-1979-LoslebenT #analysis

Topological analysis for VLSI circuits (PL, KT), pp. 461–473.

DAC-1979-Preiss #2d #3d #consistency #finite

A procedure for checking the topological consistency of a 2-D or 3-D finite element mesh (KP), pp. 200–206.

DAC-1978-DoreauA #algorithm #distance

A topologically based non-minimum distance routing algorithm (MTD, LCA), pp. 92–99.

DAC-1976-Allen #adaptation

A topologically adaptable cellular router (JRA), pp. 161–167.

DAC-1976-Cleemput #aspect-oriented #layout #on the #problem

On the topological aspects of the circuit layout problem (WMvC), pp. 441–450.

ICSE-1976-Rubin #network #on the #reliability

On Reliable Topologies for Computer Networks (IR), pp. 263–267.

DAC-1975-Losleben #design #performance

Computer aided LSI circuit design: A relationship between topology and performance (PL), pp. 102–104.

DAC-1972-MahS72a

Topologic class routing for printed circuit boards (LM, LS), pp. 80–93.