Stem uniform$ (all stems)

207 papers:

DAC-2015-LinYP #constraints #performance

High performance dummy fill insertion with coupling and uniformity constraints (YL, BY, DZP), p. 6.

TACAS-2015-ChakrabortyFMSV #generative #on the #parallel #satisfiability #scalability

On Parallel Scalable Uniform SAT Witness Generation (SC, DJF, KSM, SAS, MYV), pp. 304–319.

STOC-2015-KesselheimKN #order #problem

Secretary Problems with Non-Uniform Arrival Order (TK, RDK, RN), pp. 879–888.

CIAA-2015-HeamJ #automaton #generative #morphism #on the #random

On the Uniform Random Generation of Non Deterministic Automata Up to Isomorphism (PCH, JLJ), pp. 140–152.

ICALP-v1-2015-Avigdor-Elgrabli #on the #order #random

On the Randomized Competitive Ratio of Reordering Buffer Management with Non-Uniform Costs (NAE, SI, BM, YR), pp. 78–90.

ICALP-v1-2015-AzarC

Serving in the Dark should be done Non-Uniformly (YA, IRC), pp. 91–102.

ICALP-v1-2015-GiannopoulouJLS #complexity #kernel

Uniform Kernelization Complexity of Hitting Forbidden Minors (ACG, BMPJ, DL, SS), pp. 629–641.

ICALP-v2-2015-MazzaT

Parsimonious Types and Non-uniform Computation (DM, KT), pp. 350–361.

ICML-2015-GhoshdastidarD #clustering

A Provable Generalized Tensor Spectral Method for Uniform Hypergraph Partitioning (DG, AD), pp. 400–409.

SIGIR-2015-HtunHB #collaboration #information management #information retrieval #towards

Towards Quantifying the Impact of Non-Uniform Information Access in Collaborative Information Retrieval (NNH, MH, LB), pp. 843–846.

PPDP-2015-Tarau #combinator #on the #representation

On a uniform representation of combinators, arithmetic, λ terms and types (PT), pp. 244–255.

CADE-2015-Platzer #calculus #difference #logic

A Uniform Substitution Calculus for Differential Dynamic Logic (AP), pp. 467–481.

CSL-2015-KieronskiK #equivalence

Uniform One-Dimensional Fragments with One Equivalence Relation (EK, AK), pp. 597–615.

DAC-2014-ChakrabortyMV #generative #satisfiability #scalability

Balancing Scalability and Uniformity in SAT Witness Generator (SC, KSM, MYV), p. 6.

DAC-2014-CongLXZ #architecture #clustering #reuse

An Optimal Microarchitecture for Stencil Computation Acceleration Based on Non-Uniform Partitioning of Data Reuse Buffers (JC, PL, BX, PZ), p. 6.

FLOPS-2014-ClaessenDP #generative #random

Generating Constrained Random Data with Uniform Distribution (KC, JD, MHP), pp. 18–34.

ICALP-v1-2014-FouqueT #generative #random

Close to Uniform Prime Number Generation with Fewer Random Bits (PAF, MT), pp. 991–1002.

ICALP-v2-2014-Mazza #λ-calculus

Non-uniform Polytime Computation in the Infinitary Affine λ-Calculus (DM), pp. 305–317.

ICML-c2-2014-ChenLX #clustering #graph #nondeterminism

Weighted Graph Clustering with Non-Uniform Uncertainties (YC, SHL, HX), pp. 1566–1574.

KR-2014-LudwigK #difference #logic

Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference (ML, BK).

HPCA-2014-ShinYCK #memory management #named

NUAT: A non-uniform access time memory controller (WS, JY, JC, LSK), pp. 464–475.

IJCAR-2014-KoopmannS

Count and Forget: Uniform Interpolation of 𝒮ℋ𝒬-Ontologies (PK, RAS), pp. 434–448.

ICDAR-2013-DingsAE #approach #segmentation

A Locale Group Based Line Segmentation Approach for Non Uniform Skewed and Curved Arabic Handwritings (LD, AAH, ME), pp. 803–806.

CIAA-2013-ChistikovM #theorem #word

A Uniformization Theorem for Nested Word to Word Transductions (DVC, RM), pp. 97–108.

LATA-2013-AotoI #calculus #rule-based #termination

Termination of Rule-Based Calculi for Uniform Semi-Unification (TA, MI), pp. 56–67.

ICML-c2-2013-YangH #classification #learning

Activized Learning with Uniform Classification Noise (LY, SH), pp. 370–378.

CAV-2013-ChakrabortyMV #generative #satisfiability #scalability

A Scalable and Nearly Uniform Generator of SAT Witnesses (SC, KSM, MYV), pp. 608–623.

CSL-2013-BilkowskiS #ambiguity #infinity #problem

Unambiguity and uniformization problems on infinite trees (MB, MS), pp. 81–100.

LICS-2013-Pattinson #logic

The Logic of Exact Covers: Completeness and Uniform Interpolation (DP), pp. 418–427.

TLCA-2013-XuE

A Constructive Model of Uniform Continuity (CX, MHE), pp. 236–249.

DAC-2012-ChajiJ #low cost

Generic low-cost characterization of Vth and mobility variations in LTPS TFTs for non-uniformity calibration of active-matrix OLED displays (GRC, JJ), pp. 182–187.

DAC-2012-OuCC #constraints #multi

Non-uniform multilevel analog routing with matching constraints (HCO, HCCC, YWC), pp. 549–554.

LATA-2012-DennunzioFP #automaton #complexity

Computational Complexity of Rule Distributions of Non-uniform Cellular Automata (AD, EF, JP), pp. 204–215.

CAiSE-2012-AtzeniBR #database #framework

Uniform Access to Non-relational Database Systems: The SOS Platform (PA, FB, LR), pp. 160–174.

ICPR-2012-HuynhR #segmentation

Illuminant segmentation in non-uniformly lit scenes (CPH, ARK), pp. 3664–3667.

ICPR-2012-NiigakiSM #detection #using

Circular object detection based on separability and uniformity of feature distributions using Bhattacharyya Coefficient (HN, JS, MM), pp. 2009–2012.

KR-2012-LutzSW #approach #approximate #logic

An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL (CL, IS, FW).

KR-2012-LutzW #complexity #logic #query

Non-Uniform Data Complexity of Query Answering in Description Logics (CL, FW).

ICTSS-2012-HiromoriUYH #evaluation #performance #protocol #testing

Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution (AH, TU, HY, TH), pp. 231–246.

DAC-2011-ShiSW #3d #design

Non-uniform micro-channel design for stacked 3D-ICs (BS, AS, PW), pp. 658–663.

FASE-2011-OudinetDGLP #model checking #monte carlo

Uniform Monte-Carlo Model Checking (JO, AD, MCG, RL, SP), pp. 127–140.

QAPL-2011-AndreychenkoCW #infinity #markov #modelling #on the fly

On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models (AA, PC, VW), p. 1.

SLE-2011-JoncheereS #composition #using #workflow

Uniform Modularization of Workflow Concerns Using Unify (NJ, RVDS), pp. 77–96.

HPCA-2011-RanganPWB #performance #throughput

Achieving uniform performance and maximizing throughput in the presence of heterogeneity (KKR, MDP, GYW, DMB), pp. 3–14.

DAC-2010-GuthausWR #linear #optimisation #programming

Non-uniform clock mesh optimization with linear programming buffer insertion (MRG, GW, RR), pp. 74–79.

STOC-2010-Varadarajan #geometry #set

Weighted geometric set cover via quasi-uniform sampling (KRV), pp. 641–648.

CIAA-2010-Johnson #natural language #using

Uniformizing Rational Relations for Natural Language Applications Using Weighted Determinization (JHJ), pp. 173–180.

ICALP-v1-2010-GuruswamiS #on the

On the Inapproximability of Vertex Cover on k-Partite k-Uniform Hypergraphs (VG, RS), pp. 360–371.

ICALP-v1-2010-RubinfeldX #independence #testing

Testing Non-uniform k-Wise Independent Distributions over Product Spaces (RR, NX), pp. 565–581.

HPCA-2010-MerinoPG #adaptation #architecture #low cost #named

ESP-NUCA: A low-cost adaptive Non-Uniform Cache Architecture (JM, VP, JÁG), pp. 1–10.

IJCAR-2010-MaricJ #named #reduction

URBiVA: Uniform Reduction to Bit-Vector Arithmetic (FM, PJ), pp. 346–352.

RTA-2010-Simonsen #convergence #normalisation

Weak Convergence and Uniform Normalization in Infinitary Rewriting (JGS), pp. 311–324.

SAT-2010-BoufkhadH #bound #satisfiability

Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold (YB, TH), pp. 99–112.

DAC-2009-WenCCS #architecture #concurrent #debugging #detection #manycore #named

NUDA: a non-uniform debugging architecture and non-intrusive race detection for many-core (CNW, SHC, TFC, APS), pp. 148–153.

DATE-2009-PaternaBAPDO #adaptation #multi

Adaptive idleness distribution for non-uniform aging tolerance in MultiProcessor Systems-on-Chip (FP, LB, AA, FP, GD, MO), pp. 906–909.

STOC-2009-DietzfelbingerW #bound

Tight lower bounds for greedy routing in uniform small world rings (MD, PW), pp. 591–600.

STOC-2009-Sellie #learning #random

Exact learning of random DNF over the uniform distribution (LS), pp. 45–54.

ICALP-v1-2009-Jansen #constant #scheduling #using

An EPTAS for Scheduling Jobs on Uniform Processors: Using an MILP Relaxation with a Constant Number of Integral Variables (KJ), pp. 562–573.

LATA-2009-CattaneoDFP #automaton

Non-uniform Cellular Automata (GC, AD, EF, JP), pp. 302–313.

ECMDA-FA-2009-MougenotDBS #generative #metamodelling #random

Uniform Random Generation of Huge Metamodel Instances (AM, AD, XB, MS), pp. 130–145.

QAPL-2009-Bernardo #logic #markov #nondeterminism #probability #process #testing

Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes (MB), pp. 3–23.

MBT-2009-DadeauLH #automaton #generative #on the #random #testing

On the Use of Uniform Random Generation of Automata for Testing (FD, JL, PCH), pp. 37–51.

DATE-2008-ChenL #architecture

Wire Sizing Alternative — An Uniform Dual-rail Routing Architecture (FWC, YYL), pp. 796–799.

STOC-2008-ImpagliazzoJKW #theorem

Uniform direct product theorems: simplified, optimized, and derandomized (RI, RJ, VK, AW), pp. 579–588.

ICALP-A-2008-Briest #problem

Uniform Budgets and the Envy-Free Pricing Problem (PB), pp. 808–819.

ICEIS-ISAS1-2008-Tarkkanen #design #modelling #process

Designing Business Process Models for Required Uniformity of Work (KT), pp. 21–29.

ICEIS-J-2008-Tarkkanen08a #modelling #process

Business Process Modeling for Non-uniform Work (KT), pp. 188–200.

ECIR-2008-EuachongprasitR #multi #normalisation #performance #retrieval #scalability

Efficient Multimedia Time Series Data Retrieval Under Uniform Scaling and Normalisation (WE, CAR), pp. 506–513.

ICPR-2008-ShettyA #algorithm #clustering

A uniformity criterion and algorithm for data clustering (SS, NA), pp. 1–4.

SIGIR-2008-Thomas #multi

Generalising multiple capture-recapture to non-uniform sample sizes (PT), pp. 839–840.

ECOOP-2008-ZiarekWAMSJ #execution #java #transaction

A Uniform Transactional Execution Environment for Java (LZ, AW, ARAT, VM, TS, SJ), pp. 129–154.

CSL-2008-CreignouSS #constraints #problem

Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint (NC, HS, IS), pp. 109–123.

CSL-2008-McKenzieTV

Extensional Uniformity for Boolean Circuits (PM, MT, HV), pp. 64–78.

ICDAR-2007-BertolamiUZB #recognition

Non-Uniform Slant Correction for Handwritten Text Line Recognition (RB, SU, MZ, HB), pp. 18–22.

STOC-2007-ShaltielU #trade-off

Low-end uniform hardness vs. randomness tradeoffs for AM (RS, CU), pp. 430–439.

KDD-2007-YankovKMCZ #detection #scalability

Detecting time series motifs under uniform scaling (DY, EJK, JM, BYcC, VBZ), pp. 844–853.

VMCAI-2007-Lev-AmiSIR #analysis

Constructing Specialized Shape Analyses for Uniform Change (TLA, MS, NI, TWR), pp. 215–233.

STOC-2006-SamorodnitskyT

Gowers uniformity, influence of variables, and PCPs (AS, LT), pp. 11–20.

CHI-2006-NicholsMR #automation #consistency #generative #named #user interface

UNIFORM: automatically generating consistent remote control user interfaces (JN, BAM, BR), pp. 611–620.

KR-2006-Truszczynski #algebra #approach #equivalence

Strong and Uniform Equivalence of Nonmonotonic Theories — An Algebraic Approach (MT), pp. 389–399.

OOPSLA-2006-Eugster #java

Uniform proxies for Java (PTE), pp. 139–152.

SAC-2006-RodriguesMC #order

From spontaneous total order to uniform total order: different degrees of optimistic delivery (LR, JM, NC), pp. 723–727.

ASE-2005-CouchotGK #approach #deduction #protocol #safety

A uniform deductive approach for parameterized protocol safety (JFC, AG, NK), pp. 364–367.

DATE-2005-MarkovM #encryption #hardware #logic

Uniformly-Switching Logic for Cryptographic Hardware (ILM, DM), pp. 432–433.

STOC-2005-CharikarK #design #multi #network #on the

On non-uniform multicommodity buy-at-bulk network design (MC, AK), pp. 176–182.

STOC-2005-Trevisan #on the

On uniform amplification of hardness in NP (LT), pp. 31–38.

DLT-2005-AblayevG #automaton #complexity #quantum

Complexity of Quantum Uniform and Nonuniform Automata (FMA, AG), pp. 78–87.

ICALP-2005-EnglertW #cost analysis #modelling #order

Reordering Buffer Management for Non-uniform Cost Models (ME, MW), pp. 627–638.

MoDELS-2005-TkatchenkoK #modelling

Uniform Support for Modeling Crosscutting Structure (MT, GK), pp. 508–521.

MoDELS-2005-TkatchenkoK #modelling

Uniform Support for Modeling Crosscutting Structure (MT, GK), pp. 508–521.

OOPSLA-2005-CharlesGSDKEPS #approach #clustering #named #object-oriented

X10: an object-oriented approach to non-uniform cluster computing (PC, CG, VAS, CD, AK, KE, CvP, VS), pp. 519–538.

LICS-2005-FinkbeinerS #distributed #synthesis

Uniform Distributed Synthesis (BF, SS), pp. 321–330.

LICS-2005-Niemisto #locality #on the #reduction

On Locality and Uniform Reduction (HN), pp. 41–50.

VLDB-2004-ChoiFJK #maintenance #xml

A Uniform System for Publishing and Maintaining XML Data (BC, WF, XJ, AK), pp. 1301–1304.

TACAS-2004-BaierHHK #bound #markov #performance #process #reachability

Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes (CB, BRH, HH, JPK), pp. 61–76.

SEFM-2004-PangPE #abstraction #parallel #process

Abstraction of Parallel Uniform Processes with Data (JP, JvdP, MVE), pp. 14–23.

STOC-2003-OstlinP #constant #linear

Uniform hashing in constant time and linear space (AÖ, RP), pp. 622–628.

ICALP-2003-BodirskyGK #generative #graph #random

Generating Labeled Planar Graphs Uniformly at Random (MB, CG, MK), pp. 1095–1107.

CIKM-2003-SuJR #algebra #framework #named #xml

Raindrop: a uniform and layered algebraic framework for XQueries on XML streams (HS, JJ, EAR), pp. 279–286.

ICSE-2003-BarryKS #evolution #on the

On the Uniformity of Software Evolution Patterns (EJB, CFK, SS), pp. 106–113.

ICLP-2003-EiterF #equivalence #logic programming #semantics #source code

Uniform Equivalence of Logic Programs under the Stable Model Semantics (TE, MF), pp. 224–238.

HT-2002-Whitehead #comparison #modelling #using

Uniform comparison of data models using containment modeling (EJWJ), pp. 182–191.

SAS-2002-PierroHW #approximate

Analysing Approximate Confinement under Uniform Attacks (ADP, CH, HW), pp. 310–325.

STOC-2002-GoldbergKP #complexity #random

The complexity of choosing an H-colouring (nearly) uniformly at random (LAG, SK, MP), pp. 53–62.

ICALP-2002-Holmerin

Improved Inapproximability Results for Vertex Cover on k -Uniform Hypergraphs (JH), pp. 1005–1016.

ICPR-v1-2002-TengLCH #robust

Robust Computation of Optical Flow under Non-Uniform Illumination Variations (CHT, SHL, YSC, WHH), pp. 327–330.

ICPR-v2-2002-SkaffAC

Active Bayesian Color Constancy with Non-Uniform Sensors (SS, TA, JJC), pp. 681–684.

ICPR-v4-2002-JainXHX #testing #using

Uniformity Testing Using Minimal Spanning Tree (AKJ, XX, TKH, FX), pp. 281–284.

POPL-2002-HondaY #data flow

A uniform type structure for secure information flow (KH, NY), pp. 81–92.

SAC-2002-Yang #metamodelling #modelling

A uniform meta-model for modeling integrated cooperation (GY), pp. 322–328.

ASPLOS-2002-KimBK #adaptation

An adaptive, non-uniform cache structure for wire-delay dominated on-chip caches (CK, DB, SWK), pp. 211–222.

ICLP-2002-LoyerS #database #deduction #nondeterminism

Non-uniform Hypothesis in Deductive Databases with Uncertainty (YL, US), pp. 473–474.

DAC-2001-AjamiBPG #analysis #performance

Analysis of Non-Uniform Temperature-Dependent Interconnect Performance in High Performance ICs (AHA, KB, MP, LPPPvG), pp. 567–572.

ICALP-2001-ChekuriK

A PTAS for Minimizing Weighted Completion Time on Uniformly Related Machines (CC, SK), pp. 848–861.

ICALP-2001-Hesse

Division Is in Uniform TC0 (WH), pp. 104–114.

SAC-2001-Leopold #optimisation #reuse

Exploiting non-uniform reuse for cache optimization (CL), pp. 560–564.

CSL-2001-ArmandoRR

Uniform Derivation of Decision Procedures by Superposition (AA, SR, MR), pp. 513–527.

LICS-2001-Ganzinger #concept #decidability #problem #semantics #word

Relating Semantic and Proof-Theoretic Concepts for Polynominal Time Decidability of Uniform Word Problems (HG), pp. 81–90.

RTA-2001-KhasidashviliOO #normalisation #orthogonal

Uniform Normalisation beyond Orthogonality (ZK, MO, VvO), pp. 122–136.

DAC-2000-ChenKRZ #synthesis

Practical iterated fill synthesis for CMP uniformity (YC, ABK, GR, AZ), pp. 671–674.

PODS-2000-GrossR #constraints #database #generative

Uniform Generation in Spatial Constraint Databases and Applications (DG, MdR), pp. 254–259.

CIKM-2000-FerhatosmanogluTAA #approximate #set

Vector Approximation based Indexing for Non-uniform High Dimensional Data Sets (HF, ET, DA, AEA), pp. 202–209.

ICPR-v1-2000-SkocajL #image #using

Range Image Acquisition of Objects with Non-Uniform Albedo Using Structured Light Range Sensor (DS, AL), pp. 1778–1781.

ICPR-v3-2000-MaedaKZI #3d #modelling

3-D Shapes Modeling which has Hierarchical Structure Based on B-Spline Surfaces with Non-Uniform Knots (MM, KK, HZ, KI), pp. 3119–3122.

ICPR-v3-2000-SugiyamaA #detection #reliability

Edge Detection Method Based on Edge Reliability with Fixed Thresholds: Consideration of Uniformity and Gradation (TS, KA), pp. 3660–3663.

ICPR-v4-2000-MarianoK #video

Locating Uniform-Colored Text in Video Frames (VYM, RK), pp. 4539–4542.

KR-2000-DeneckerMT #logic #semantics

Uniform semantic treatment of default and autoepistemic logic (MD, VWM, MT), pp. 74–84.

CL-2000-Tarau #named #prolog #refactoring

Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects (PT), pp. 1225–1239.

DAC-1999-JandhyalaSBC #adaptation #performance

Efficient Capacitance Computation for Structures with Non-Uniform Adaptive Surface Meshes (VJ, SS, JEB, ZJC), pp. 543–548.

FM-v1-1999-FocardiM #approach #security

A Uniform Approach for the Definition of Security Properties (RF, FM), pp. 794–813.

AGTIVE-1999-BottoniPS #on the #representation

On a Uniform Representation of Transformation Systems (PB, FPP, MS), pp. 63–78.

HCI-CCAD-1999-ConinxRWR #3d #interactive #modelling

Uniform interaction for immersive and non-immersive 3D object modelling (KC, CR, TDW, FVR), pp. 1080–1084.

CAiSE-1999-McBrienP #approach #model transformation

A Uniform Approach to Inter-model Transformations (PM, AP), pp. 333–348.

DAC-1998-OhP #design #multi #network

Multi-Pad Power/Ground Network Design for Uniform Distribution of Ground Bounce (JO, MP), pp. 287–290.

TAGT-1998-Minas #diagrams #representation

Hypergraphs as a Uniform Diagram Representation Model (MM), pp. 281–295.

KDD-1998-ChanS #case study #detection #learning #scalability #towards

Toward Scalable Learning with Non-Uniform Class and Cost Distributions: A Case Study in Credit Card Fraud Detection (PKC, SJS), pp. 164–168.

LCTES-1998-GeorgeM #multi #protocol #reliability

A Uniform Reliable Multicast Protocol with Guaranteed Response Times (LG, PM), pp. 65–82.

CADE-1998-OliartS #algorithm #performance

A Fast Algorithm for Uniform Semi-Unification (AO, WS), pp. 239–253.

ASE-1997-DimitrakosM #refinement

Notes on Refinement, Interpolation and Uniformity (TD, TSEM), pp. 108–116.

ICDAR-1997-Yamada #feature model #recognition

Non-uniformly Sampled Feature Extraction Method for Kanji Character Recognition (KY), pp. 200–205.

ICALP-1997-Sangiorgi

The Name Discipline of Uniform Receptiveness (Extended Abstract) (DS), pp. 303–313.

CIKM-1997-LeeHL #approach #concurrent #multi

A Uniform Approach to Global Concurrency Control and Recovery in Multidatabase Environment (SL, CSH, WGL), pp. 51–58.

TOOLS-ASIA-1997-WangWDR #framework #query

A Uniform Framework for Processing Temporal Object Queries (LW, MW, CD, NR), pp. 28–37.

ALP-1997-KhasidashviliO #normalisation

Perpetuality and Uniform Normalization (ZK, MO), pp. 240–255.

HPCA-1997-StrickerG #memory management #parallel #performance

Global Address Space, Non-Uniform Bandwidth: A Memory System Performance Characterization of Parallel Systems (TS, TRG), pp. 168–179.

SAS-1996-RouxR #automaton #decidability #hybrid

Uniformity for the Decidability of Hybrid Automata (OFR, VR), pp. 301–316.

ICPR-1996-BajcsyA #clustering

Uniformity and homogeneity-based hierarchical clustering (PB, NA), pp. 96–100.

ICPR-1996-BasuS #re-engineering

Optimal non-uniform discretization for stereo reconstruction (AB, HS), pp. 755–759.

ICPR-1996-Gimelfarb96a #modelling #segmentation #simulation

Gibbs models for Bayesian simulation and segmentation of piecewise-uniform textures (GLG), pp. 760–764.

ICPR-1996-Vincze #visual notation

Optimal window size for visual tracking for uniform CCDs (MV), pp. 786–790.

ALP-1996-Volpe #abstraction #proving

Abstractions of Uniform Proofs (PV), pp. 224–237.

CC-1996-Assmann #graph grammar #how #program analysis #program transformation #term rewriting

How to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems (UA), pp. 121–135.

LICS-1996-Marcinkowski #bound #datalog #decidability

DATALOG SIRUPs Uniform Boundedness is Undecidable (JM), pp. 13–24.

VLDB-1995-BassiliadesV #database #parallel

A Non-Uniform Data Fragmentation Strategy for Parallel Main-Menory Database Systems (NB, IPV), pp. 370–381.

STOC-1995-KhullerR #algorithm #approximate #problem

Improved approximation algorithms for uniform connectivity problems (SK, BR), pp. 1–10.

DLT-1995-Bercoff #product line #sequence

A Family of p-Uniform Tag Systems for p-Paperfolding Sequences (CB), pp. 3–12.

SEKE-1995-MiyaoC #towards

Toward Uniform Presentation of Software Dynamics (JM, SKC), p. 295.

ECOOP-1995-KiesslingK

Sharing Properties in a Uniform Object Space (HK, UK), pp. 424–448.

OOPSLA-1995-SmithMU #flexibility #self #user interface

The Self-4.0 User Interface: Manifesting a System-wide Vision of Concreteness, Uniformity and Flexibility (RBS, JM, DU), pp. 47–60.

PLILP-1995-MycroftS #analysis

Uniform PERs and Comportment Analysis (AM, KLS), pp. 169–187.

LICS-1995-NadathurL #logic programming #proving

Uniform Proofs and Disjunctive Logic Programming (Extended Abstract) (GN, DWL), pp. 148–155.

DAC-1994-HaqueEC #megamodelling #multi #simulation

A New Time-Domain Macromodel for Transient Simulation of Uniform/Nonuniform Multiconductor Transmission-Line Interconnections (MH, AEZ, SC), pp. 628–633.

EDAC-1994-FrosslK #simulation

A New Model to Uniformly Represent the Function and Timing of MOS Circuits and its Application to VHDL Simulation (JF, TK), pp. 343–348.

PODS-1994-FaloutsosK #analysis #concept #independence #using

Beyond Uniformity and Independence: Analysis of R-trees Using the Concept of Fractal Dimension (CF, IK), pp. 4–13.

ICALP-1994-HotzP #analysis #context-free grammar #performance

Fast Uniform Analysis of Coupled-Context-Free Languages (GH, GP), pp. 412–423.

ALP-1994-Volpe #concurrent #linear #logic programming #proving

Concurrent Logic Programming as Uniform Linear Proofs (PV), pp. 133–149.

CIKM-1993-PetersLOS #behaviour #query

An Extensible Query Model and Its Languages for a Uniform Behavioral Object Management System (RJP, AL, MTÖ, DS), pp. 403–412.

VLDB-1992-DayalW #approach #query

A Uniform Approach to Processing Temporal Queries (UD, GTJW), pp. 407–418.

STOC-1992-Schulman

Sample Spaces Uniform on Neighborhoods (LJS), pp. 17–25.

WSA-1992-Jensen #axiom #data type #recursion

Axiomatising Uniform Properties of Recursive Data Structures (TPJ), pp. 144–151.

ALP-1992-Echahed

Uniform Narrowing Strategies (RE), pp. 259–275.

HPDC-1992-NgM #array #maintenance #performance

Maintaining Good Performance In Disk Arrays During Failure via Uniform Parity Group Distribution (SWN, RLM), pp. 260–269.

CADE-1992-FegarasSS #combinator #traversal

Uniform Traversal Combinators: Definition, Use and Properties (LF, TS, DWS), pp. 148–162.

CSL-1992-Creignou #linear #problem #proving #satisfiability

The Class of Problems that are Linear Equivalent to Satisfiability or a Uniform Method for Proving NP-Completeness (NC), pp. 115–133.

PODS-1991-LakshmananH #database #deduction #framework #optimisation #query #semantics

Structural Query Optimization — A uniform Framework for Semantic Query Optimization in Deductive Databases (LVSL, HJH), pp. 102–114.

ICALP-1991-ErnoultM #analysis #strict

Uniform Ideals and Strictness Analysis (CE, AM), pp. 47–59.

VDME-1991-2-Krieg-BrucknerKLT #development

The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development (BKB, EWK, JL, OT), pp. 363–397.

ISLP-1991-HarlandP #linear #logic programming

The Uniform Proof-Theoretic Foundation of Linear Logic Programming (JH, DJP), pp. 304–318.

STOC-1990-Hastad #generative #pseudo

Pseudo-Random Generators under Uniform Assumptions (JH), pp. 395–404.

STOC-1990-KleinST #algorithm #approximate #concurrent #performance

Leighton-Rao Might Be Practical: Faster Approximation Algorithms for Concurrent Flow with Uniform Capacities (PNK, CS, ÉT), pp. 310–321.

CADE-1990-Tuominen #framework #logic #proving #theorem proving

Dynamic Logic as a Uniform Framework for Theorem Proving in Intensional Logic (HT), pp. 514–527.

SIGMOD-1989-SalzaT #database #dependence #probability #query #relational

Evaluating the Size of Queries on Relational Databases with non Uniform Distribution and Stochastic Dependence (SS, MT), pp. 8–14.

STOC-1989-Vallee #integer #performance #polynomial

Provably Fast Integer Factoring with Quasi-Uniform Small Quadratic Residues (BV), pp. 98–106.

KR-1989-LinS #reasoning

Argument Systems: A Uniform Basis for Nonmonotonic Reasoning (FL, YS), pp. 245–255.

ICALP-1987-BarringtonT #automaton

Non-Uniform Automata Over Groups (DAMB, DT), pp. 163–173.

ICALP-1987-Muller #complexity

Uniform Computational Complexity of Taylor Series (NTM), pp. 435–444.

LICS-1987-MillerNS #proving

Hereditary Harrop Formulas and Uniform Proof Systems (DM, GN, AS), pp. 98–105.

STOC-1986-Kaltofen

Uniform Closure Properties of P-Computable Functions (EK), pp. 330–337.

ICALP-1986-Regan #reduction #theorem

A Uniform Reduction Theorem — Extending a Result of J. Grollmann and A. Selman (KWR), pp. 324–333.

VLDB-1985-FaloutsosC #design #query

Design of a Signature File Method that Accounts for Non-Uniform Occurrence and Query Frequencies (CF, SC), pp. 165–170.

STOC-1985-BakkerMOZ #concurrent #semantics

Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency (JWdB, JJCM, ERO, JIZ), pp. 252–262.

ICALP-1985-BakkerK #towards

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

ICALP-1985-BakkerMO #concurrent #finite #infinity #semantics

Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency (JWdB, JJCM, ERO), pp. 149–157.

ICALP-1985-Jerrum #combinator #generative #random

Random Generation of Combinatorial Structures from a Uniform Distribution (Extended Abstract) (MJ), pp. 290–299.

ICALP-1985-Keranen #morphism #on the #word

On k-Repetition Free Words Generated by Length Uniform Morphisms Over a Binary Alphabet (VK), pp. 338–347.

POPL-1985-LamportS #alias #approach #constraints #named #type system

Constraints: A Uniform Approach to Aliasing and Typing (LL, FBS), pp. 205–216.

SLP-1985-CoxP85 #deduction #logic programming

Surface Deduction: A Uniform Mechanism for Logic Programming (PTC, TP), pp. 220–227.

DAC-1984-AshokMR #design #problem #process

Uniform support for information handling and problem solving required by the VLSI design process (VA, WLM, JR), pp. 694–696.

PODS-1984-Burkhard #maintenance

Index Maintenance for Non-Uniform Record Distributions (WAB), pp. 173–179.

STOC-1984-Rougemont #finite

Uniform Definability on Finite Structures with Successor (MdR), pp. 409–417.

DAC-1983-KirkCSBT #array

Placement of irregular circuit elements on non-uniform gate arrays (HK, PDC, JAS, JDB, GLT), pp. 637–643.

PODS-1983-ImielinskiL #database #problem #relational

Inverting Relational Expressions — A Uniform and Natural Technique for Various Database Problems (TI, WLJ), pp. 305–311.

ICALP-1981-Lieberherr #complexity

Uniform Complexity and Digital Signatures (KJL), pp. 530–543.

STOC-1980-KarpL #complexity

Some Connections between Nonuniform and Uniform Complexity Classes (RMK, RJL), pp. 302–309.

FM-1979-Berg #design #hardware #towards

Towards a Uniform Design Methodology for Software, Firmware, and Hardware (HKB), pp. 1–38.

ICALP-1978-AlbertMR #generative

Simple EOL Forms under Uniform Interpretation Generating CF Languages (JA, HAM, GR), pp. 1–14.

STOC-1972-Carlyle-GreibachGG

Uniformly Erasable AFL (SCG, SG, JG), pp. 207–213.