Stem unifi$ (all stems)

468 papers:

WICSA-2015-CaraccioloLN #approach #architecture #consistency

A Unified Approach to Architecture Conformance Checking (AC, MFL, ON), pp. 41–50.

DATE-2015-SkalickySLF #framework #hardware #runtime

A unified hardware/software MPSoC system construction and run-time framework (SS, AGS, SL, MF), pp. 301–304.

SIGMOD-2015-DeshpandeRDA #approach #named

ShareInsights: An Unified Approach to Full-stack Data Processing (MD, DR, SD, AA), pp. 1925–1940.

SIGMOD-2015-SahaSSVMC #framework #modelling

Apache Tez: A Unifying Framework for Modeling and Building Data Processing Applications (BS, HS, SS, GV, ACM, CC), pp. 1357–1369.

VLDB-2015-BendreSZZCP #database #named #spreadsheet

DATASPREAD: Unifying Databases and Spreadsheets (MB, BS, DZ, XZ, KCCC, AP), pp. 2000–2011.

VLDB-2015-GaoLZFH #crowdsourcing #perspective

Truth Discovery and Crowdsourcing Aggregation: A Unified Perspective (JG, QL, BZ, WF, JH), pp. 2048–2059.

VLDB-2015-LiWDD #framework #named

UDA-GIST: An In-database Framework to Unify Data-Parallel and State-Parallel Analytics (KL, DZW, AD, CD), pp. 557–568.

VLDB-2015-QiaoLTLVTDBSDB #named

Gobblin: Unifying Data Ingestion for Hadoop (LQ, YL, ST, ZL, NV, MT, YD, IB, KS, SD, CB), pp. 1764–1775.

FoSSaCS-2015-BozzelliMP #logic

Unifying Hyper and Epistemic Temporal Logics (LB, BM, SP), pp. 167–182.

STOC-2015-BourgainDN #formal method #reduction #towards

Toward a Unified Theory of Sparse Dimensionality Reduction in Euclidean Space (JB, SD, JN), pp. 499–508.

STOC-2015-HenzingerKNS #multi #online #problem

Unifying and Strengthening Hardness for Dynamic Problems via the Online Matrix-Vector Multiplication Conjecture (MH, SK, DN, TS), pp. 21–30.

ICALP-v2-2015-FeldmanF #clustering #framework #game studies

A Unified Framework for Strong Price of Anarchy in Clustering Games (MF, OF), pp. 601–613.

CHI-2015-PerelmanSRPDD #2d #3d #design #interactive

The Roly-Poly Mouse: Designing a Rolling Input Device Unifying 2D and 3D Interaction (GP, MS, MR, CP, MD, ED), pp. 327–336.

HIMI-IKD-2015-NoseLBK #approach #network

Centralized Approach for a Unified Wireless Network Access (JDN, JL, CB, AK), pp. 547–559.

ICML-2015-HoangHL #big data #framework #modelling #probability #process

A Unifying Framework of Anytime Sparse Gaussian Process Regression Models with Stochastic Variational Inference for Big Data (TNH, QMH, BKHL), pp. 569–578.

ICML-2015-YangX #algorithm #framework

A Unified Framework for Outlier-Robust PCA-like Algorithms (WY, HX), pp. 484–493.

KDD-2015-KuoWWCYD #graph #multi #segmentation

Unified and Contrasting Cuts in Multiple Graphs: Application to Medical Imaging Segmentation (CTK, XW, PBW, OTC, JY, ID), pp. 617–626.

SEKE-2015-AdornesGLF #architecture #distributed #domain-specific language #memory management #pipes and filters

A Unified MapReduce Domain-Specific Language for Distributed and Shared Memory Architectures (DA, DG, CL, LGF), pp. 619–624.

MoDELS-2015-AtkinsonGK15a #approach #modelling #multi

A unifying approach to connections for multi-level modeling (CA, RG, TK), pp. 216–225.

ESEC-FSE-2015-JingWDQX #fault #learning #metric #predict #representation

Heterogeneous cross-company defect prediction by unified metric representation and CCA-based transfer learning (XYJ, FW, XD, FQ, BX), pp. 496–507.

ICSE-v2-2015-BenomarSP #comprehension #framework

A Unified Framework for the Comprehension of Software’s Time (OB, HAS, PP), pp. 603–606.

ICSE-v2-2015-Caracciolo #approach #architecture #automation #constraints #testing

A Unified Approach to Automatic Testing of Architectural Constraints (AC), pp. 871–874.

LCTES-2015-LinM #distributed #framework #named #programming #simulation #towards #verification

StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems (YL, SM), p. 10.

PPoPP-2015-KimLV #multi #programming

An OpenACC-based unified programming model for multi-accelerator systems (JK, SL, JSV), pp. 257–258.

CSL-2015-Kaiser0LL #approach #bound

A Unified Approach to Boundedness Properties in MSO (LK, ML, SL, CL), pp. 441–456.

ICLP-2015-DamasioMA #debugging #source code

Unifying Justifications and Debugging for Answer-Set Programs (CVD, JM, AA).

ICST-2015-AlegrothGOM #component #concept #empirical #evaluation #testing #user interface #visual notation

Conceptualization and Evaluation of Component-Based Testing Unified with Visual GUI Testing: An Empirical Study (EA, ZG, RAPdO, AM), pp. 1–10.

LICS-2015-ChatterjeeKK #markov #multi #process

Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (KC, ZK, JK), pp. 244–256.

LICS-2015-MoninN #approach

A Unifying Approach to the Gamma Question (BM, AN), pp. 585–596.

CASE-2014-HuangNXCSD #3d #approach #geometry #modelling #predict

Predictive modeling of geometric deviations of 3D printed products — A unified modeling approach for cylindrical and polygon shapes (QH, HN, KX, YC, SS, TD), pp. 25–30.

DATE-2014-GuerreAL #architecture #benchmark #metric #parallel #performance

A unified methodology for a fast benchmarking of parallel architecture (AG, JTA, YL), pp. 1–4.

DATE-2014-ImhofW #architecture #fault tolerance

Bit-Flipping Scan — A unified architecture for fault tolerance and offline test (MEI, HJW), pp. 1–6.

DATE-2014-YasinSE #manycore #polynomial

Unified, ultra compact, quadratic power proxies for multi-core processors (MY, AS, IAME), pp. 1–4.

SIGMOD-2014-ShiCDO #ad hoc #towards

Towards unified ad-hoc data processing (XS, BC, GD, BCO), pp. 1263–1274.

SIGMOD-2014-WuJZ #graph #nearest neighbour #performance #query #random #scalability

Fast and unified local search for random walk based k-nearest-neighbor query in large graphs (YW, RJ, XZ), pp. 1139–1150.

CAiSE-2014-WauteletHKM #modelling

Unifying and Extending User Story Models (YW, SH, MK, IM), pp. 211–225.

ICML-c2-2014-ArgyriouD #theorem

A Unifying View of Representer Theorems (AA, FD), pp. 748–756.

ICML-c2-2014-BalleHP #comparison #empirical #learning #probability

Methods of Moments for Learning Stochastic Languages: Unified Presentation and Empirical Comparison (BB, WLH, JP), pp. 1386–1394.

ICML-c2-2014-HonorioJ #consistency #framework

A Unified Framework for Consistency of Regularized Loss Minimizers (JH, TSJ), pp. 136–144.

ICML-c2-2014-Sohl-DicksteinPG #optimisation #performance #probability #scalability

Fast large-scale optimization by unifying stochastic gradient and quasi-Newton methods (JSD, BP, SG), pp. 604–612.

ICPR-2014-AlemdarKNME #behaviour #modelling #using

A Unified Model for Human Behavior Modeling Using a Hierarchy with a Variable Number of States (HÖA, TvK, MEN, AM, CE), pp. 3804–3809.

ICPR-2014-FanSCD #framework #learning #online #robust #taxonomy

A Unified Online Dictionary Learning Framework with Label Information for Robust Object Tracking (BF, JS, YC, YD), pp. 2311–2316.

ICPR-2014-OGormanLY #multi #network #process

Creating a Unified, Wide-Area Activity Map for Multi-camera Networks (LO, DL, GY), pp. 4588–4593.

KDD-2014-WangNH #adaptation #induction #learning #scalability

Large-scale adaptive semi-supervised learning via unified inductive and transductive model (DW, FN, HH), pp. 482–491.

KDD-2014-ZhouC #adaptation #documentation #learning #rank

Unifying learning to rank and domain adaptation: enabling cross-task document scoring (MZ, KCCC), pp. 781–790.

RecSys-2014-VerstrepenG #collaboration #nearest neighbour

Unifying nearest neighbors collaborative filtering (KV, BG), pp. 177–184.

SEKE-2014-ToureBL #metric #testing #towards

Towards a Unified Metrics Suite for JUnit Test Cases (FT, MB, LL), pp. 115–120.

SKY-2014-Fernandez-Utrilla #behaviour #predict #web

An Unified Behaviour Model to Predict Web 2.0 Adoption as a Tool for Software-Knowledge Sharing (MFU, PFU, GM), pp. 3–18.

Onward-2014-Conversy #programming language #visual notation

Unifying Textual and Visual: A Theoretical Account of the Visual Perception of Programming Languages (SC), pp. 201–212.

OOPSLA-2014-UrecheBO #data transformation #layout #representation

Late data layout: unifying data representation transformations (VU, EB, MO), pp. 397–416.

SAC-2014-Moin #approach #collaboration #visualisation

A unified approach to collaborative data visualization (AM), pp. 280–286.

SLE-2014-HarkesV #modelling #navigation

Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation (DH, EV), pp. 241–260.

ASPLOS-2014-LiuSYYW #architecture #memory management #persistent

NVM duet: unified working memory and persistent store architecture (RSL, DYS, CLY, SCY, CYMW), pp. 455–470.

ASPLOS-2014-PichaiHB #architecture #cpu #design #memory management

Architectural support for address translation on GPUs: designing memory management units for CPU/GPUs with unified address spaces (BP, LH, AB), pp. 743–758.

PPoPP-2014-RodriguesJDH #algorithm #clustering #interface #named #programming

Triolet: a programming system that unifies algorithmic skeleton interfaces for high-performance cluster computing (CIR, TBJ, AD, WmWH), pp. 247–258.

IJCAR-2014-Blanchette0T #induction #logic

Unified Classical Logic Completeness — A Coinductive Pearl (JCB, AP, DT), pp. 46–60.

IJCAR-2014-HeuleSB #preprocessor #proving

A Unified Proof System for QBF Preprocessing (MH, MS, AB), pp. 91–106.

SAT-2014-BeyersdorffK #metric

Unified Characterisations of Resolution Hardness Measures (OB, OK), pp. 170–187.

CASE-2013-ZhaoZXCWS #framework

A unified control framework of HVAC system for thermal and acoustic comforts in office building (YZ, QZ, LX, ZC, FW, FS), pp. 416–421.

DATE-2013-VenkataramaniRR #approximate #configuration management #design #named #paradigm #quality

Substitute-and-simplify: a unified design paradigm for approximate and quality configurable circuits (SV, KR, AR), pp. 1367–1372.

HT-2013-MillardHJW #hypermedia #towards

Canyons, deltas and plains: towards a unified sculptural model of location-based hypertext (DEM, CH, MOJ, MJW), pp. 109–118.

ICDAR-2013-Deryagin #evaluation #performance #segmentation

Unified Performance Evaluation for OCR Zoning: Calculating Page Segmentation’s Score, That Includes Text Zones, Tables and Non-text Objects (DD), pp. 953–957.

SIGMOD-2013-KaufmannMVFKFM #data type #query #timeline

Timeline index: a unified data structure for processing queries on temporal data in SAP HANA (MK, AAM, PV, PMF, DK, FF, NM), pp. 1173–1184.

ICPC-2013-BasileC #towards

Towards a unified software attack model to assess software protections (CB, MC), pp. 219–222.

ICALP-v2-2013-PetricekOM #named #static analysis

Coeffects: Unified Static Analysis of Context-Dependence (TP, DAO, AM), pp. 385–397.

ICFP-2013-AbelP #approach #pattern matching #recursion #termination

Wellfounded recursion with copatterns: a unified approach to termination and productivity (AA, BP), pp. 185–196.

ICFP-2013-HinzeWG #recursion

Unifying structured recursion schemes (RH, NW, JG), pp. 209–220.

ICFP-2013-TuronDB #concurrent #higher-order #hoare #logic #reasoning #refinement

Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency (AT, DD, LB), pp. 377–390.

HCI-III-2013-BlezingerSH #concept #human-computer

Unifying Conceptual and Spatial Relationships between Objects in HCI (DB, AFgS, CH), pp. 10–18.

HCI-III-2013-StorzRMLE #analysis #detection #machine learning #visualisation #workflow

Annotate. Train. Evaluate. A Unified Tool for the Analysis and Visualization of Workflows in Machine Learning Applied to Object Detection (MS, MR, RM, HL, ME), pp. 196–205.

HIMI-D-2013-EricksonS #modelling

Unified Modeling Language: The Teen Years and Growing Pains (JE, KS), pp. 295–304.

ECIR-2013-VulicM #framework #modelling #probability #topic

A Unified Framework for Monolingual and Cross-Lingual Relevance Modeling Based on Probabilistic Topic Models (IV, MFM), pp. 98–109.

ICML-c2-2013-MinhBM #framework #learning #multi

A unifying framework for vector-valued manifold regularization and multi-view learning (HQM, LB, VM), pp. 100–108.

ICML-c2-2013-WangK13a #approach #message passing #problem

Subproblem-Tree Calibration: A Unified Approach to Max-Product Message Passing (HW, DK), pp. 190–198.

ICML-c3-2013-YangX #algorithm #robust

A Unified Robust Regression Model for Lasso-like Algorithms (WY, HX), pp. 585–593.

KDD-2013-JieLSHSC #feedback #online

A unified search federation system based on online user feedback (LJ, SL, RS, EH, HS, YC), pp. 1195–1203.

SEKE-2013-ElshaarawyHT #diagrams #framework #ocl #towards

Towards a Unified Framework for Measuring the Properties of Class Diagrams Augmented with OCL (S) (ME, HSH, IAHT), pp. 479–482.

SIGIR-2013-SakaiD #evaluation #framework #information management #retrieval #summary

Summaries, ranked retrieval and sessions: a unified framework for information access evaluation (TS, ZD), pp. 473–482.

PPDP-2013-YamadaKS #order #polynomial #recursion

Unifying the Knuth-Bendix, recursive path and polynomial orders (AY, KK, TS), pp. 181–192.

RE-2013-SchneiderBB #architecture #enterprise #implementation #modelling #requirements

A tool implementation of the unified requirements modeling language as enterprise architect add-in (FS, BB, BB), pp. 334–335.

ICSE-2013-BeschastnikhBAEK #algorithm #declarative #specification

Unifying FSM-inference algorithms through declarative specification (IB, YB, JA, MDE, AK), pp. 252–261.

LCTES-2013-PorpodasC #adaptation #clustering #named #scheduling

LUCAS: latency-adaptive unified cluster assignment and instruction scheduling (VP, MC), pp. 45–54.

LICS-2013-LiangM #logic

Unifying Classical and Intuitionistic Logics for Computational Control (CL, DM), pp. 283–292.

RTA-2013-Calves #unification

Unifying Nominal Unification (CC), pp. 143–157.

CASE-2012-DotoliFIR #agile #modelling #simulation #using

A lean manufacturing strategy using Value Stream Mapping, the Unified Modeling Language, and discrete event simulation (MD, MPF, GI, GR), pp. 668–673.

CASE-2012-WeiM #design #framework #order #process #scheduling

Design of an order acceptance and scheduling module in a unified framework with product and process features (JW, YSM), pp. 968–973.

SIGMOD-2012-ChenDMQRRS #named

Walnut: a unified cloud object store (JC, CD, MM, PQ, RR, SR, RS), pp. 743–754.

SIGMOD-2012-FengKRR #architecture #towards

Towards a unified architecture for in-RDBMS analytics (XF, AK, BR, CR), pp. 325–336.

VLDB-2012-LeeLLLR #data analysis #framework #twitter

The Unified Logging Infrastructure for Data Analytics at Twitter (GL, JL, CL, AL, DVR), pp. 1771–1780.

ESOP-2012-Lochbihler #formal method #java #memory management

Java and the Java Memory Model — A Unified, Machine-Checked Formalisation (AL), pp. 497–517.

CSMR-2012-BeszedesSG #clustering #development #framework #quality

Development of a Unified Software Quality Platform in the Szeged InfoPólus Cluster (ÁB, LS, TG), pp. 495–498.

CSMR-2012-KimKKB #analysis #database

Rebuilding a Unified Database Service via Context Analysis Method (WK, THK, SK, DHB), pp. 471–474.

WCRE-2012-MisraAKST #clustering #semantics

Software Clustering: Unifying Syntactic and Semantic Features (JM, KMA, VSK, SS, GT), pp. 113–122.

ICALP-v2-2012-RosuS #axiom #formal method #semantics #towards

Towards a Unified Theory of Operational and Axiomatic Semantics (GR, AS), pp. 351–363.

SEFM-2012-Jones #abstraction #concurrent #formal method

Abstraction as a Unifying Link for Formal Approaches to Concurrency (CBJ), pp. 1–15.

ICEIS-v1-2012-RibeiroFBBDKE #algorithm #approach #learning

Unified Algorithm to Improve Reinforcement Learning in Dynamic Environments — An Instance-based Approach (RR, FF, MACB, APB, OBD, ALK, FE), pp. 229–238.

ICEIS-v3-2012-KandjaniB #architecture #enterprise #evolution #towards

Evolution of Enterprise Architecture Discipline — Towards a Unified Developing Theory of Enterprise Architecture Body of Knowledge as an Evolving Discipline (HK, PB), pp. 145–154.

CIKM-2012-SalomatinLY #framework #online #optimisation

A unified optimization framework for auction and guaranteed delivery in online advertising (KS, TYL, YY), pp. 2005–2009.

CIKM-2012-WangH0 #framework #image #learning #mining #web

A unified learning framework for auto face annotation by mining web facial images (DW, SCHH, YH), pp. 1392–1401.

ICML-2012-TakedaMK #classification #robust

A Unified Robust Classification Model (AT, HM, TK), p. 71.

ICPR-2012-HuangA #analysis #detection #perspective

Saliency detection via divergence analysis: A unified perspective (JBH, NA), pp. 2748–2751.

KDD-2012-LiWDWC #profiling #social #towards

Towards social user profiling: unified and discriminative influence model for inferring home locations (RL, SW, HD, RW, KCCC), pp. 1023–1031.

KDIR-2012-DinsoreanuMHP #approach #recommendation

A Unified Approach for Context-sensitive Recommendations (MD, FCM, OLH, RP), pp. 85–94.

KMIS-2012-EddineDZC #requirements #towards

Towards Unifying Existing Requirements Engineering Approaches into a Unified Model (SIE, TD, NZ, PJC), pp. 311–315.

KMIS-2012-KeumKB #collaboration #communication #design #framework

Architeture Design of a Network-centric Platform for Unified Communication and Collaboration Applications (CK, SK, HB), pp. 294–297.

SEKE-2012-HumairaSOWF #framework #metric #multi #programming language #source code #towards

Towards a Unified Source Code Measurement Framework Supporting Multiple Programming Languages (RH, KS, AO, HW, YF), pp. 480–485.

SEKE-2012-Pelto-PiriMT #evaluation #industrial

A Unified Model for Server Usage and Operational Costs Based on User Profiles: An Industrial Evaluation (JPP, PM, RT), pp. 205–210.

SEKE-2012-WauteletHK

A Usage-Based Unified Resource Model (YW, SH, MK), pp. 299–304.

ICMT-2012-TerwilligerCC #bidirectional #framework #how #incremental #towards

How Clean Is Your Sandbox? — Towards a Unified Theoretical Framework for Incremental Bidirectional Transformations (JFT, AC, CC), pp. 1–23.

TOOLS-EUROPE-2012-MarrD #abstraction #concurrent #identification #implementation #multi #virtual machine

Identifying a Unifying Mechanism for the Implementation of Concurrency Abstractions on Multi-language Virtual Machines (SM, TD), pp. 171–186.

POPL-2012-Balabonski #approach #lazy evaluation

A unified approach to fully lazy sharing (TB), pp. 469–480.

PPoPP-2012-ChenCM #array #named #parallel #representation

PARRAY: a unifying array representation for heterogeneous parallelism (YC, XC, HM), pp. 171–180.

PPoPP-2012-KimSLNJL #clustering #cpu #gpu #programming

OpenCL as a unified programming model for heterogeneous CPU/GPU clusters (JK, SS, JL, JN, GJ, JL), pp. 299–300.

ICST-2012-ParkVH #approach #concurrent #debugging

A Unified Approach for Localizing Non-deadlock Concurrency Bugs (SP, RWV, MJH), pp. 51–60.

ASE-2011-Dwyer #analysis #behaviour #testing

Unifying testing and analysis through behavioral coverage (MBD), p. 2.

CASE-2011-Tanaka #approach #problem #scheduling

A unified approach for the scheduling problem with rejection (ST), pp. 369–374.

DATE-2011-AdirCLNSZMS #validation #verification

A unified methodology for pre-silicon verification and post-silicon validation (AA, SC, SL, AN, GS, AZ, CM, JS), pp. 1590–1595.

STOC-2011-FeldmanL #approximate #clustering #framework

A unified framework for approximating and clustering data (DF, ML), pp. 569–578.

DUXU-v2-2011-KimJH #concept #design #experience #implementation #user interface

Different UI, Same UX: A Design Concept for Implementing a Locally-Optimized and Globally-Unified User Experience (SWK, HKJ, DYH), pp. 440–448.

ICEIS-v1-2011-AtiguiRTZ #design #modelling

A Unified Model Driven Methodology for Data Warehouses and ETL Design (FA, FR, RT, GZ), pp. 247–252.

ICEIS-v2-2011-JiangX #adaptation #flexibility

Only Flexibility can Adapt to the Outside World, and Only Solidification can Unify the Whole System (JJ, YX), pp. 302–306.

CIKM-2011-BingLG #detection #segmentation #towards

Towards a unified solution: data record region detection and segmentation (LB, WL, YG), pp. 1265–1274.

CIKM-2011-YangGRW #clustering #framework #interactive #named

CLUES: a unified framework supporting interactive exploration of density-based clusters in streams (DY, ZG, EAR, MOW), pp. 815–824.

ICML-2011-GuanDJ #feature model #probability

A Unified Probabilistic Model for Global and Local Unsupervised Feature Selection (YG, JGD, MIJ), pp. 1073–1080.

SIGIR-2011-HaoCPZ #web

From one tree to a forest: a unified solution for structured web data extraction (QH, RC, YP, LZ), pp. 775–784.

SIGIR-2011-WeiHL #analysis #framework #recommendation #semantics

A unified framework for recommendations based on quaternary semantic analysis (WC, WH, MLL), pp. 1023–1032.

BX-2011-Greenyer #bidirectional #model transformation

Unified (Bidirectional) Transformation Language (JG), p. 58.

TOOLS-EUROPE-2011-LangoneRN

Unifying Subjectivity (DL, JR, ON), pp. 115–130.

ICSE-2011-MilicevicRYJ #declarative #execution #imperative

Unifying execution of imperative and declarative code (AM, DR, KY, DJ), pp. 511–520.

SLE-2011-JoncheereS #composition #using #workflow

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

CSL-2011-FogartyKVW #automaton

Unifying Büchi Complementation Constructions (SF, OK, MYV, TW), pp. 248–263.

ICLP-J-2011-LierlerT #approach #generative

Transition systems for model generators — A unifying approach (YL, MT), pp. 629–646.

SIGMOD-2010-MozafariZZ #sequence #xml

K*SQL: a unifying engine for sequence patterns and XML (BM, KZ, CZ), pp. 1143–1146.

VLDB-2010-MozafariZZ #execution #query #regular expression #relational #sequence #word #xml

From Regular Expressions to Nested Words: Unifying Languages and Query Execution for Relational and XML Sequences (BM, KZ, CZ), pp. 150–161.

ITiCSE-2010-MarcosFM #modelling

Modeling with Plato: the unified modeling language in a cultural context (LdM, FF, JJM), pp. 249–253.

ICSM-2010-HindleGH #process #using

Software process recovery using Recovered Unified Process Views (AH, MWG, RCH), pp. 1–10.

PASTE-2010-Schmeelk #benchmark #detection #metric #towards

Towards a unified fault-detection benchmark (SS), pp. 61–64.

ICEIS-DISI-2010-DiboB #architecture #component #deployment #distributed #metamodelling #modelling

Defining an Unified Meta Modeling Architecture for Deployment of Distributed Components-based Software Applications (MD, NB), pp. 316–321.

CIKM-2010-DillonC #algorithm #feedback #framework #optimisation #pseudo #robust

A unified optimization framework for robust pseudo-relevance feedback algorithms (JVD, KCT), pp. 1069–1078.

CIKM-2010-LiLBZ #optimisation #ranking #web

Optimizing unified loss for web ranking specialization (FL, XL, JB, ZZ), pp. 1593–1596.

CIKM-2010-LiuXZY #collaboration #feedback

Unifying explicit and implicit feedback for collaborative filtering (NNL, EWX, MZ, QY), pp. 1445–1448.

ICML-2010-Scherrer #difference #fixpoint #perspective

Should one compute the Temporal Difference fix point or minimize the Bellman Residual? The unified oblique projection view (BS), pp. 959–966.

ICPR-2010-ErdoganS #classification #framework #learning #linear

A Unifying Framework for Learning the Linear Combiners for Classifier Ensembles (HE, MUS), pp. 2985–2988.

ICPR-2010-KimLL #approach #probability #segmentation

A Unified Probabilistic Approach to Feature Matching and Object Segmentation (THK, KML, SUL), pp. 464–467.

ICPR-2010-NguyenAC #approach #locality #performance

Unifying Approach for Fast License Plate Localization and Super-Resolution (CDN, MA, LC), pp. 376–379.

ICPR-2010-PutpuekCLS #approach #detection #identification

Unified Approach to Detection and Identification of Commercial Films by Temporal Occurrence Pattern (NP, NC, CL, SS), pp. 3288–3291.

KDD-2010-HossainTWDHR #clustering

Unifying dependent clustering and disparate clustering for non-homogeneous data (MSH, ST, LTW, ID, RFH, NR), pp. 593–602.

KDIR-2010-ArmanoV #recommendation

A Unifying View of Contextual Advertising and Recommender Systems (GA, EV), pp. 463–466.

KEOD-2010-NirenburgMBC #elicitation #hybrid

Hybrid Methods of Knowledge Elicitation within a Unified Representational Knowledge Scheme (SN, MM, SB, RC), pp. 177–182.

KR-2010-BaumannBSTZ #calculus

State Defaults and Ramifications in the Unifying Action Calculus (RB, GB, HS, MT, VZ).

SEKE-2010-EsfahaniS #architecture #automation #communication

Service Automation Architecture as adopted by Unified Communication Audit Tool (SSE, TS), pp. 443–447.

MoDELS-v1-2010-MadsenM #approach #modelling #programming

A Unified Approach to Modeling and Programming (OLM, BMP), pp. 1–15.

SAC-2010-HarshN #approach #architecture #independence #multi #network

Mode independent session directory service architecture: a unified approach for ASM and SSM multicast networks (PH, REN), pp. 647–654.

SLE-2010-ZaytsevL #documentation

A Unified Format for Language Documents (VZ, RL), pp. 206–225.

ICLP-J-2010-CostaDR #thread

Threads and or-parallelism unified (VSC, IdCD, RR), pp. 417–432.

DAC-2009-FangWC #co-evolution #design

Flip-chip routing with unified area-I/O pad assignments for package-board co-design (JWF, MDFW, YWC), pp. 336–339.

DATE-2009-YanHL #detection #fault #online

A unified online Fault Detection scheme via checking of Stability Violation (GY, YH, XL), pp. 496–501.

HT-2009-AmitayCHOSYG #approach #social #using

Social search and discovery using a unified approach (EA, DC, NH, SOK, AS, SY, NG), pp. 199–208.

ICDAR-2009-ChangHZ #framework

A Unified Framework for Recognizing Handwritten Chemical Expressions (MC, SH, DZ), pp. 1345–1349.

ICDAR-2009-MoghaddamRYC #approach #documentation #framework #image #segmentation #set

A Unified Framework Based on the Level Set Approach for Segmentation of Unconstrained Double-Sided Document Images Suffering from Bleed-Through (RFM, DRH, IBY, MC), pp. 441–445.

VLDB-2009-LiSD #approach #database #probability #ranking

A Unified Approach to Ranking in Probabilistic Databases (JL, BS, AD), pp. 502–513.

ITiCSE-2009-HuangB #approach #question

A unified approach to introductory computer science: can one size fit all? (TH, AB), pp. 253–257.

STOC-2009-LinPV #concurrent #framework #security

A unified framework for concurrent security: universal composability from stand-alone non-malleability (HL, RP, MV), pp. 179–188.

FM-2009-ChenS #nondeterminism #probability

Unifying Probability with Nondeterminism (YC, JWS), pp. 467–482.

CHI-2009-SalvucciTB #concurrent #formal method #multi #performance #towards

Toward a unified theory of the multitasking continuum: from concurrent performance to task switching, interruption, and resumption (DDS, NT, JPB), pp. 1819–1828.

CAiSE-2009-Paalvast #framework

The IT Dilemma and the Unified Computing Framework (EP), p. 8.

CAiSE-2009-WeigandJAB #design #modelling #towards

Value-Based Service Modeling and Design: Toward a Unified View of Services (HW, PJ, BA, MB), pp. 410–424.

ICEIS-AIDSS-2009-BratuP #data mining #mining #preprocessor #towards

Towards a Unified Strategy for the Preprocessing Step in Data Mining (CVB, RP), pp. 230–235.

CIKM-2009-HuangC #retrieval

A unified relevance model for opinion retrieval (XH, WBC), pp. 947–956.

ECIR-2009-MoshfeghiAPJ #collaboration #predict #rating #recommendation #semantics

Movie Recommender: Semantically Enriched Unified Relevance Model for Rating Prediction in Collaborative Filtering (YM, DA, BP, JMJ), pp. 54–65.

ICML-2009-DaiJXYY #framework #learning #named

EigenTransfer: a unified framework for transfer learning (WD, OJ, GRX, QY, YY), pp. 193–200.

ICML-2009-Sutskever #analysis

A simpler unified analysis of budget perceptrons (IS), pp. 985–992.

ICML-2009-XuWS #learning #predict

Optimal reverse prediction: a unified perspective on supervised, unsupervised and semi-supervised learning (LX, MW, DS), pp. 1137–1144.

KDIR-2009-Exman #composition #named #paradigm

Interestingness — A Unifying Paradigm — Bipolar Function Composition (IE), pp. 196–201.

KEOD-2009-Grimm #formal method #ontology #research #semantics #web

A Unifying Formal Ontology Model — A Simple Formal Model for Unifying the Presentation of Ontologies in Semantic Web Research (SG), pp. 327–335.

KMIS-2009-SonntagM #image #information management #problem #query #repository #semantics

Unifying Semantic Annotation and Querying in Biomedical Image Repositories — One Solution for Two Problems of Medical Knowledge Engineering (DS, MM), pp. 89–94.

RecSys-2009-GunawardanaM #approach #hybrid #recommendation

A unified approach to building hybrid recommender systems (AG, CM), pp. 117–124.

SIGIR-2009-MamouMSS #image #performance #retrieval

A unified inverted index for an efficient image and text retrieval (JM, YM, MSS, BS), pp. 814–815.

POPL-2009-ConditHLQ #low level #type checking

Unifying type checking and property checking for low-level code (JC, BH, SKL, SQ), pp. 302–314.

LICS-2009-LiangM #calculus #proving

A Unified Sequent Calculus for Focused Proofs (CL, DM), pp. 355–364.

ASE-2008-Frisby #analysis #tool support

Unifying Analysis Tools with Rosetta (NF), pp. 505–508.

CASE-2008-SunZL08a #framework #optimisation

A unified optimization framework for population-based methods (JS, QZ, PBL), pp. 383–387.

CASE-2008-Tang #adaptation #modelling #petri net

Unified Colored Timed Petri net models for the adaptive control of disassembly systems (YT), pp. 638–643.

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.

HT-2008-PourabdollahAB #approach #hypermedia #rdf #xml

Are we talking about the same structure?: a unified approach to hypertext links, xml, rdf and zigzag (AP, HA, TJB), pp. 241–242.

ICSM-2008-He #generative #programming #refinement #testing

Refinement and test case generation in Unifying Theory of Programming (JH), p. 6.

ICALP-A-2008-KahlerW #ambiguity #automaton

Complementation, Disambiguation, and Determinization of Büchi Automata Unified (DK, TW), pp. 724–735.

CIKM-2008-Domingos #information management #logic #markov

Markov logic: a unifying language for knowledge and information management (PMD), p. 519.

CIKM-2008-PobleteCG #graph

Dr. Searcher and Mr. Browser: a unified hyperlink-click graph (BP, CC, AG), pp. 1123–1132.

ICML-2008-CollobertW #architecture #learning #multi #natural language #network

A unified architecture for natural language processing: deep neural networks with multitask learning (RC, JW), pp. 160–167.

ICML-2008-HamL #analysis #learning

Grassmann discriminant analysis: a unifying view on subspace-based learning (JH, DDL), pp. 376–383.

ICML-2008-KerstingD #parametricity #policy #relational

Non-parametric policy gradients: a unified treatment of propositional and relational domains (KK, KD), pp. 456–463.

ICML-2008-SzitaL #approach

The many faces of optimism: a unifying approach (IS, AL), pp. 1048–1055.

KDD-2008-WickRSM #approach

A unified approach for schema matching, coreference and canonicalization (MLW, KR, KS, AM), pp. 722–730.

SEKE-2008-SalvianoF #concept #modelling #process

Unified Basic Concepts for Process Capability Models (CFS, AMCMF), pp. 173–178.

SIGIR-2008-GuoXLC #query #refinement

A unified and discriminative model for query refinement (JG, GX, HL, XC), pp. 379–386.

SIGIR-2008-HuXZSL #clique #clustering #documentation #perspective

Hypergraph partitioning for document clustering: a unified clique perspective (TH, HX, WZ, SYS, HL), pp. 871–872.

SIGIR-2008-ZhangY #generative #retrieval #sentiment #topic

A generation model to unify topic relevance and lexicon-based sentiment for opinion retrieval (MZ, XY), pp. 411–418.

ECOOP-2008-DrossopoulouFMS #framework #invariant #verification

A Unified Framework for Verification Techniques for Object Invariants (SD, AF, PM, AJS), pp. 412–437.

SPLC-2008-Krueger #framework #product line

The BigLever Software Gears Unified Software Product Line Engineering Framework (CWK), p. 353.

LCTES-2008-AuerbachBGSV #concurrent #flexibility #graph #java #programming #strict #thread

Flexible task graphs: a unified restricted thread programming model for java (JSA, DFB, RG, JHS, JV), pp. 1–11.

QoSA-2007-MaderPR #process #traceability

Customizing Traceability Links for the Unified Process (PM, IP, MR), pp. 53–71.

DAC-2007-AgostaBPS #approach #canonical

A Unified Approach to Canonical Form-based Boolean Matching (GA, FB, GP, DS), pp. 841–846.

ICDAR-2007-CaoPNM #bottom-up #fault #robust #segmentation #top-down

Robust Page Segmentation Based on Smearing and Error Correction Unifying Top-down and Bottom-up Approaches (HC, RP, PN, EM), pp. 392–396.

ICDAR-2007-ShiLS #framework #recognition #segmentation

A Unified Framework for Symbol Segmentation and Recognition of Handwritten Mathematical Expressions (YS, HL, FKS), pp. 854–858.

VLDB-2007-LimWW #using

Unifying Data and Domain Knowledge Using Virtual Views (LL, HW, MW), pp. 255–266.

LATA-2007-DassowF #approach #comparison

Comparison of Some Descriptional Complexities of 0L Systems Obtained by a Unifying Approach (JD, HF), pp. 249–260.

IFM-2007-SmithG

Unifying Theories of Objects (MAS, JG), pp. 599–618.

HCI-AS-2007-IdoughiK #human-computer #towards #web #web service

Towards Web Services Oriented Unified Supervisory HCI (DI, CK), pp. 916–925.

CIKM-2007-ChanZ #algorithm #evaluation #performance #query

A fast unified optimal route query evaluation algorithm (EPFC, JZ), pp. 371–380.

MLDM-2007-HebertC #metric

A Unified View of Objective Interestingness Measures (CH, BC), pp. 533–547.

SIGIR-2007-GnasaCO #modelling #named

ISKODOR: unified user modeling for integrated searching (MG, ABC, DWO), p. 898.

MoDELS-2007-VanhooffABJB #framework #named

UniTI: A Unified Transformation Infrastructure (BV, DA, SVB, WJ, YB), pp. 31–45.

MoDELS-2007-VanhooffABJB #framework #named

UniTI: A Unified Transformation Infrastructure (BV, DA, SVB, WJ, YB), pp. 31–45.

TOOLS-EUROPE-2007-ApelKLS #aspect-oriented #refinement

Aspect Refinement — Unifying AOP and Stepwise Refinement (SA, CK, TL, GS), pp. 13–33.

SAC-2007-Al-MubaidN #concept #distance #framework #semantics

Semantic distance of concepts within a unified framework in the biomedical domain (HAM, HAN), pp. 142–143.

SAC-2007-ImmaneniT #hybrid #retrieval #web

Hybrid retrieval from the unified web (TI, KT), pp. 1346–1350.

ICSE-2007-RajapakseJ #analysis #trade-off #using #web

Using Server Pages to Unify Clones in Web Applications: A Trade-Off Analysis (DCR, SJ), pp. 116–126.

RTA-2007-TourE

Determining Unify-Stable Presentations (TBdlT, ME), pp. 63–77.

SAT-2007-JussilaBSKW #proving #towards

A First Step Towards a Unified Proof Checker for QBF (TJ, AB, CS, DK, CMW), pp. 201–214.

VMCAI-2007-GulwaniT

Assertion Checking Unified (SG, AT), pp. 363–377.

CBSE-2006-SuveeFV #approach #aspect-oriented #component #development #symmetry #towards

A Symmetric and Unified Approach Towards Combining Aspect-Oriented and Component-Based Software Development (DS, BDF, WV), pp. 114–122.

ASE-2006-Nguyen #configuration management #data transformation

A Unified Model for Product Data Management and Software Configuration Management (TNN), pp. 269–272.

DATE-2006-ReyesKBAN #case study #design #modelling #simulation

A unified system-level modeling and simulation environment for MPSoC design: MPEG-4 decoder case study (VR, WK, TB, GA, AN), pp. 474–479.

VLDB-2006-DittrichS #named

iDM: A Unified and Versatile Data Model for Personal Dataspace Management (JPD, MAVS), pp. 367–378.

ICSM-2006-Dugerdil #process #re-engineering

Reengineering Process Based on the Unified Process (PD), pp. 330–333.

ICPR-v1-2006-AwadHS #recognition #segmentation

A Unified System for Segmentation and Tracking of Face and Hands in Sign Language Recognition (GA, JH, AS), pp. 239–242.

ICPR-v1-2006-BabaMA #geometry #using

A Unified Camera Calibration Using Geometry and Blur of Feature Points (MB, MM, NA), pp. 816–819.

ICPR-v1-2006-YingZ06a #image #using

Using Sphere Images for Calibrating Fisheye Cameras under the Unified Imaging Model of the Central Catadioptric and Fisheye Cameras (XY, HZ), pp. 539–542.

ICPR-v2-2006-MouchereA

A Unified Strategy to Deal with Different Natures of Reject (HM, ÉA), pp. 792–795.

ICPR-v2-2006-ZhengZ #2d #3d #framework #metric #similarity

A Unifying MAP-MRF Framework for Deriving New Point Similarity Measures for Intensity-based 2D-3D Registration (GZ, XZ), pp. 1181–1185.

ICPR-v3-2006-CaetanoC #invariant #pattern matching

A Unified Formulation of Invariant Point Pattern Matching (TSC, TC), pp. 121–124.

ICPR-v4-2006-MoncrieffVW #modelling #using

Unifying Background Models over Complex Audio using Entropy (SM, SV, GAWW), pp. 249–253.

KDD-2006-HoiLC #classification #kernel #learning

Learning the unified kernel machines for classification (SCHH, MRL, EYC), pp. 187–196.

SIGIR-2006-WangVR #collaboration #similarity

Unifying user-based and item-based collaborative filtering approaches by similarity fusion (JW, APdV, MJTR), pp. 501–508.

ATEM-2006-RillingZMWHC #comprehension #maintenance #ontology #process

A Unified Ontology-Based Process Model for Software Maintenance and Comprehension (JR, YZ, WJM, RW, VH, PC), pp. 56–65.

SPLC-2006-AsikainenMS #concept #feature model #modelling

A Unified Conceptual Foundation for Feature Modelling (TA, TM, TS), pp. 31–40.

ICLP-2006-UedaKHM #declarative

LMNtal as a Unifying Declarative Language: Live Demonstration (KU, NK, KH, KM), pp. 457–458.

ASE-2005-LiuLWCC #testing

A unified fitness function calculation rule for flag conditions to improve evolutionary testing (XL, HL, BW, PC, XC), pp. 337–341.

DAC-2005-RenG #framework #optimisation #synthesis

A unified optimization framework for equalization filter synthesis (JR, MRG), pp. 638–643.

DAC-2005-SuC05a #synthesis

Unified high-level synthesis and module placement for defect-tolerant microfluidic biochips (FS, KC), pp. 825–830.

DATE-2005-CilardoMMR #architecture #encryption #novel

A Novel Unified Architecture for Public-Key Cryptography (AC, AM, NM, LR), pp. 52–57.

DATE-2005-HaiYC #modelling #realtime

Unified Modeling of Complex Real-Time Control Systems (HH, ZYf, CCl), pp. 498–499.

VLDB-2005-GraupmannSW #documentation #retrieval #web #xml

The SphereSearch Engine for Unified Ranked Retrieval of Heterogeneous XML and Web Documents (JG, RS, GW), pp. 529–540.

FoSSaCS-2005-LuttgenV #approach #bisimulation

Bisimulation on Speed: A Unified Approach (GL, WV), pp. 79–94.

FoSSaCS-2005-MiculanY

A Unifying Model of Variables and Names (MM, KY), pp. 170–186.

SEFM-2005-DittmarF

A unified description formalism for complex HCI-systems (AD, PF), pp. 342–351.

ICEIS-v1-2005-IzzaVB #approach #framework #integration

A Unified Framework for Application Integration — an Ontology-driven Service-oriented Approach (SI, LV, PB), pp. 165–170.

ICML-2005-SunTLW #framework

Unifying the error-correcting and output-code AdaBoost within the margin framework (YS, ST, JL, DW), pp. 872–879.

SIGIR-2005-XiFFZCYZ #matrix #named #similarity #using

SimFusion: measuring similarity using unified relationship matrix (WX, EAF, WF, BZ, ZC, JY, DZ), pp. 130–137.

ESEC-FSE-2005-ShenSHJSM #component #formal method #towards

Towards a unified formal model for supporting mechanisms of dynamic component update (JS, XS, GH, WJ, YS, HM), pp. 80–89.

ICSE-2005-RajanS #design #named #object-oriented

Classpects: unifying aspect- and object-oriented language design (HR, KJS), pp. 59–68.

HPCA-2005-HallnorR #memory management

A Unified Compressed Memory Hierarchy (EGH, SKR), pp. 201–212.

LCTES-2005-TanM #analysis

WCRT analysis for a uniprocessor with a unified prioritized cache (YT, VJMI), pp. 175–182.

PPoPP-2005-CoarfaDMCEMYC #c #evaluation #fortran #parallel

An evaluation of global address space languages: co-array fortran and unified parallel C (CC, YD, JMMC, FC, TAEG, AM, YY, DGCM), pp. 36–47.

DAC-2004-SridharaS #framework #network

Coding for system-on-chip networks: a unified framework (SRS, NRS), pp. 103–106.

DATE-v2-2004-DziriCWJ #component #design #integration #multi #validation

Unified Component Integration Flow for Multi-Processor SoC Design and Validation (MAD, WOC, FRW, AAJ), pp. 1132–1137.

DATE-v2-2004-ZieglerS #design #parallel

A Unified Design Space for Regular Parallel Prefix Adders (MMZ, MRS), pp. 1386–1387.

HT-2004-LepthienA #behaviour

Unifying structure, behavior, and data with themis types and templates (WVL, KMA), pp. 256–265.

SIGMOD-2004-IdreosKT #ad hoc #named #network #query

P2P-DIET: An Extensible P2P Service that Unifies Ad-hoc and Continuous Querying in Super-Peer Networks (SI, MK, CT), pp. 933–934.

VLDB-2004-CooperEFHJKRRW #architecture #named

HiFi: A Unified Architecture for High Fan-in Systems (OC, AE, MJF, WH, SRJ, SK, FR, SR, EW), pp. 1357–1360.

FoSSaCS-2004-GianantonioM #category theory #recursion

Unifying Recursive and Co-recursive Definitions in Sheaf Categories (PDG, MM), pp. 136–150.

IFM-2004-Boute #abstraction #formal method

Integrating Formal Methods by Unifying Abstractions (RTB), pp. 441–460.

IFM-2004-WoodcockC #design #programming #tutorial

A Tutorial Introduction to Designs in Unifying Theories of Programming (JW, AC), pp. 40–66.

SEFM-2004-TangW #mobile #process #towards

Towards Mobile Processes in Unifying Theories (XT, JW), pp. 44–53.

ICEIS-v3-2004-Beiler #architecture #enterprise #towards

Business-Driven Enterprise Authorization — Moving Towards a Unified Authorization Architecture (TB), pp. 67–72.

ICEIS-v3-2004-Hair #analysis #concept #design #named #process

U_VBOOM: Unified Analysis and Design Process Based on the Viewpoint Concept (AH), pp. 217–224.

CIKM-2004-SiC #framework

Unified utility maximization framework for resource selection (LS, JPC), pp. 32–41.

CIKM-2004-SiJ #collaboration #exponential

Unified filtering by combining collaborative filtering and content-based filtering via mixture model and exponential model (LS, RJ), pp. 156–157.

ICML-2004-BasilicoH #collaboration

Unifying collaborative and content-based filtering (JB, TH).

ICML-2004-LeeWZB #perspective #probability

Probabilistic tangent subspace: a unified view (JL, JW, CZ, ZB).

ICPR-v1-2004-AbrantesM #algorithm #framework

The Mean Shift Algorithm and the Unified Framework (AJA, JSM), pp. 244–247.

ICPR-v3-2004-TwiningMT #approach #image #problem

A Unified Information-Theoretic Approach to the Correspondence Problem in Image Registration (CJT, SM, CJT), pp. 704–709.

ICPR-v4-2004-Lopez-FrancoB #algebra #framework #geometry #using

Unified Model for Omnidirectional Vision Using the Conformal Geometric Algebra Framework (CLF, EBC), pp. 48–51.

KR-2004-BlochPU

A Unified Treatment for Knowledge Dynamics (IB, RPP, CU), pp. 329–337.

SIGIR-2004-XuU #analysis #mining #ranking #web

A unified model of literal mining and link analysis for ranking web resources (YX, KU), pp. 546–547.

OOPSLA-2004-BaconCR #formal method #garbage collection

A unified theory of garbage collection (DFB, PC, VTR), pp. 50–68.

ICSE-2004-FroehlichD #development #distributed #process #visual notation

Unifying Artifacts and Activities in a Visual Tool for Distributed Software Development Teams (JF, PD), pp. 387–396.

SPLC-2004-Gomaa #design #modelling #product line #uml

Designing Software Product Lines with the Unified Modeling Language (UML) (HG), p. 317.

DATE-2003-IyengarCSC #approach #optimisation #testing #using

A Unified Approach for SOC Testing Using Test Data Compression and TAM Optimization (VI, AC, SS, KC), pp. 11188–11190.

CSMR-2003-JeyaramanKR #legacy #process #re-engineering

Reengineering Legacy Application to E-Business with Modified Rational Unified Process (GJ, KK, VVSR), p. 143–?.

FME-2003-QinDC #programming #semantics

A Semantic Foundation for TCOZ in Unifying Theories of Programming (SQ, JSD, WNC), pp. 321–340.

CHI-2003-SoukoreffM #evaluation #fault #metric #research

Metrics for text entry research: an evaluation of MSD and KSPC, and a new unified error metric (RWS, ISM), pp. 113–120.

EDOC-2003-DebusmannSSK #monitoring #using

Unified Service Level Monitoring using CIM (MD, MS, MS, RK), pp. 76–85.

ICEIS-v3-2003-NassarCCEK #modelling #towards

Towards a View Based Unified Modeling Language (MN, BC, XC, SE, AK), pp. 257–265.

ICEIS-v3-2003-OrlovK #abstraction #editing

A Unified Tool for Editing Information of Different Levels of Abstraction (VO, AK), pp. 633–636.

CIKM-2003-AslamPS #evaluation

A unified model for metasearch, pooling, and system evaluation (JAA, VP, RS), pp. 484–491.

SIGIR-2003-AslamPS #algorithm #evaluation #performance #retrieval

A unified model for metasearch and the efficient evaluation of retrieval systems via the hedge algorithm (JAA, VP, RS), pp. 393–394.

SAC-2003-AbendrothJ #framework #security

A Unified Security Framework for Networked Applications (JA, CDJ), pp. 351–357.

DAC-2002-SmithNMCFKMB #embedded #question #tool support

Unified tools for SoC embedded systems: mission critical, mission impossible or mission irrelevant? (GS, DN, SM, RC, JF, KK, GM, BB), p. 479.

SIGMOD-2002-Aggarwal #estimation #framework #nearest neighbour #reduction

Hierarchical subspace sampling: a unified framework for high dimensional data reduction, selectivity estimation and nearest neighbor search (CCA), pp. 452–463.

CSEET-2002-HallingZKB #education #process #student

Teaching the Unified Process to Undergarduate Students (MH, WZ, MK, SB), pp. 148–159.

WCRE-2002-HarmanGHB #algorithm #concept #slicing

Code Extraction Algorithms which Unify Slicing and Concept Assignment (MH, NG, RMH, DB), pp. 11–21.

ASIA-PEPM-2002-Xi #functional #object-oriented #programming

Unifying object-oriented programming with typed functional programming (HX), pp. 117–125.

STOC-2002-ChanLTW #analysis #video

A unified analysis of hot video schedulers (WTC, TWL, HFT, PWHW), pp. 179–188.

Ada-2002-Thom #ada #exclamation #integration #modelling #programming language #standard #uml #using

Conformity! A Practical Integration of Standards — A Case for using the Unified Modelling Language (UML) with the Ada Programming Language (FT), pp. 29–36.

ICML-2002-GoebelRB #composition #performance #predict

A Unified Decomposition of Ensemble Loss for Predicting Ensemble Performance (MG, PJR, MB), pp. 211–218.

ICPR-v2-2002-Bartoli #framework

A Unified Framework for Quasi-Linear Bundle Adjustment (AB), pp. 560–563.

ICPR-v2-2002-EcabertT #bound #image #segmentation

Variational Image Segmentation by Unifying Region and Boundary Information (OE, JPT), pp. 885–888.

ICPR-v2-2002-TamakiYO #approach #image

Unified Approach to Image Distortion (TT, TY, NO), pp. 584–587.

KDD-2002-YamanishiT #detection #framework

A unifying framework for detecting outliers and change points from non-stationary time series data (KY, JiT), pp. 676–681.

SIGIR-2002-DingHHZS #analysis #framework #rank

PageRank, HITS and a unified framework for link analysis (CHQD, XH, PH, HZ, HDS), pp. 353–354.

UML-2002-NaumenkoW #metamodelling #modelling

A Metamodel for the Unified Modeling Language (AN, AW), pp. 2–17.

ICSE-2002-Kruchten #named #tutorial

Tutorial: introduction to the rational unified process® (PK), p. 703.

DAC-2001-Dervisoglu #architecture #data access

A Unified DFT Architecture for Use with IEEE 1149.1 and VSIA/IEEE P1500 Compliant Test Access Controllers (BID), pp. 53–58.

DAC-2001-KudlugiHSP #architecture #functional #simulation #transaction #verification

A Transaction-Based Unified Simulation/Emulation Architecture for Functional Verification (MK, SH, CS, DP), pp. 623–628.

DATE-2001-ZengKC #approach #named #satisfiability

LPSAT: a unified approach to RTL satisfiability (ZZ, PK, MJC), pp. 398–402.

FASE-2001-Stevens #case study #modelling #on the

On Use Cases and Their Relationships in the Unified Modelling Language (PS), pp. 140–155.

PLDI-2001-ThiesVSA #framework #optimisation

A Unified Framework for Schedule and Storage Optimization (WT, FV, JS, SPA), pp. 232–242.

ICALP-2001-BeimelI #information retrieval

Information-Theoretic Private Information Retrieval: A Unified Construction (AB, YI), pp. 912–926.

FME-2001-Pahl #component #contract #modelling #uml

Components, Contracts, and Connectors for the Unified Modelling Language UML (CP), pp. 259–277.

CAiSE-2001-BielkowiczT #comparison #evaluation #process #specification

A Comparison and Evaluation of Data Requirement Specification Techniques in SSADM and the Unified Process (PB, TTT), pp. 46–59.

ICEIS-v1-2001-ShahabiC #framework #image #query #retrieval

A Unified Framework to Incorporate Soft Query into Image Retrieval Systems (CS, YSC), pp. 216–224.

ICEIS-v2-2001-NevesVCSMT #modelling

Unified Resource Modelling (JN, AV, AC, PS, RM, JMT), pp. 898–904.

ICML-2001-ChuKO #framework

A Unified Loss Function in Bayesian Framework for Support Vector Regression (WC, SSK, CJO), pp. 51–58.

SEKE-2001-KitcharonesakkulW

Software Composing based on a Unified SCM System (SK, VW), pp. 321–325.

UML-2001-Stevens #modelling #on the

On Associations in the Unified Modelling Language (PS), pp. 361–375.

SAIG-2001-DanvyGR #approach #evaluation

A Unifying Approach to Goal-Directed Evaluation (OD, BG, MR), pp. 108–125.

RE-2001-Hall #approach #requirements

A Unified Approach to Systems and Software Requirements (AH), p. 267.

CAV-2001-Maidl #approach #model checking #safety

A Unifying Model Checking Approach for Safety Properties of Parameterized Systems (MM), pp. 311–323.

DAC-2000-DoughertyT #behaviour #design #physics #synthesis

Unifying behavioral synthesis and physical design (WED, DET), pp. 756–761.

VLDB-2000-LakshmananJN #algebra #data mining #mining

The 3W Model and Algebra for Unified Data Mining (TJ, LVSL, RTN), pp. 21–32.

SAS-2000-FinkKS #analysis #array

Unified Analysis of Array and Object References in Strongly Typed Languages (SJF, KK, VS), pp. 155–174.

STOC-2000-Bar-NoyBFNS #approach #approximate #resource management #scheduling

A unified approach to approximating resource allocation and scheduling (ABN, RBY, AF, JN, BS), pp. 735–744.

IFM-2000-Dingel #development #distributed #parallel #source code #towards

Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs (JD), pp. 214–234.

CSCW-2000-HanPN #collaboration #framework #multi #named #web #xml

WebSplitter: a unified XML framework for multi-device collaborative Web browsing (RH, VP, MN), pp. 221–230.

ICML-2000-AllweinSS #approach #classification #multi

Reducing Multiclass to Binary: A Unifying Approach for Margin Classifiers (ELA, RES, YS), pp. 9–16.

ICPR-v1-2000-VasconcelosL #image #similarity

A Unifying View of Image Similarity (NV, AL), pp. 1038–1041.

ICPR-v2-2000-SaranliD

A Unified View of Rank-Based Decision Combination (AS, MD), pp. 2479–2482.

UML-2000-SilvaP #interactive #modelling #named

UMLi: The Unified Modeling Language for Interactive Applications (PPdS, NWP), pp. 117–132.

ECOOP-2000-Madsen #programming language #towards

Towards a Unified Programming Language (OLM), pp. 1–26.

TOOLS-EUROPE-2000-Mitchell #process

Adding Value to the Unified Process (RM), p. 463.

TOOLS-USA-2000-Mitchell00a #process

Adding Value to the Unified Process (RM), pp. 435–436.

OSDI-2000-KimCKNMCK

A Low-Overhead, High-Performance Unified Buffer Management Scheme That Exploits Sequential and Looping References (JMK, JC, JK, SHN, SLM, YC, CSK), pp. 119–134.

DAC-1999-Bergamaschi #behaviour #graph #logic #network #synthesis

Behavioral Network Graph: Unifying the Domains of High-Level and Logic Synthesis (RAB), pp. 213–218.

HT-1999-Bouvin #web

Unifying Strategies for Web Augmentation (NOB), pp. 91–100.

ICDAR-1999-ZhengDWL #online #recognition

Spatio-temporal Unified Model for On-line Handwritten Chinese Character Recognition (JZ, XD, YW, ZL), pp. 649–652.

TACAS-1999-Knoop #approach #multi #paradigm

From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach (JK), pp. 360–374.

HCI-CCAD-1999-SavidisAS #design #implementation #user interface

Unified user interfaces: from design to implementation (AS, DA, CS), pp. 782–786.

CAiSE-1999-Jacobson #component #development #process

The Unified Process for Component-Based Development (IJ), p. 1.

CIKM-1999-McCabeCGF #information retrieval

A Unified Environment for Fusion of Information Retrieval Approaches (MCM, AC, DAG, OF), pp. 330–334.

UML-1999-DemeyerDT #uml #why

Why Unified is not Universal? UML Shortcomings for Coping with Round-trip Engineering (SD, SD, ST), pp. 630–644.

UML-1999-Overgaard #approach #formal method #modelling

A Formal Approach to Collaborations in the Unified Modeling Language (GÖ), pp. 99–115.

UML-1999-PaigeO #comparison #modelling

A Comparison of the Business Object Notation and the Unified Modelling Language (RFP, JSO), pp. 67–82.

ECOOP-1999-ThorupT

Unifying Genericity — Combining the Benefits of Virtual Types and Parameterized Classes (KKT, MT), pp. 186–204.

TOOLS-EUROPE-1999-BogerWL #concurrent #distributed #java #named

Dejay: Unifying Concurrency and Distribution to Achive a Distributed Java (MB, FW, WL), pp. 285–294.

TOOLS-PACIFIC-1999-PriceSR #modelling

Extending the Unified Modeling Language to Support Spatiotemporal Applications (RP, BS, KR), p. 163–?.

RE-1999-Spence #case study #process #requirements #uml

Requirements, Use Cases, the UML and The Rational Unified Process (IS), p. 3–?.

OSDI-1999-PaiDZ #named

IO-Lite: A Unified I/O Buffering and Caching System (VSP, PD, WZ), pp. 15–28.

DAC-1998-DemirMR

Phase Noise in Oscillators: A Unifying Theory and Numerical Methods for Characterisation (AD, AM, JSR), pp. 26–31.

DATE-1998-KimuraI #analysis #design

A Unified Technique for PCB/MCM Design by Combining Electromagnetic Field Analysis with Circuit Simulator (HK, NI), pp. 951–952.

DATE-1998-MoserM #design #modelling #named

VHDL-AMS: The Missing Link in System Design — Experiments with Unified Modelling in Automotive Engineering (EM, NM), pp. 59–63.

CSEET-1998-ParrishBCDHHJS #education #information management #re-engineering

Computer Engineering, Computer Science and Management Information Systems: Partners in a Unified Software Engineering Curriculum (ASP, RBB, DWC, BD, DPH, JEH, JJ, SS), pp. 67–75.

CSMR-1998-Marchesi #metric #modelling #object-oriented

OOA Metrics for the Unified Modeling Language (MM), pp. 67–73.

ICALP-1998-Zakharov #approach #decidability #equivalence #performance #source code

An Efficient and Unified Approach to the Decidability of Equivalence of Propositional Programs (VAZ), pp. 247–258.

TAGT-1998-FischerNTZ #diagrams #graph grammar #java #modelling

Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java (TF, JN, LT, AZ), pp. 296–309.

SIGAda-1998-WongL #ada #design #hardware #kernel

Kernel Ada to Unify Hardware and Software Design (SW, GL), pp. 28–38.

ICPR-1998-Masuda #approach #image #integration #multi

A unified approach to volumetric registration and integration of multiple range images (TM), pp. 977–981.

ICPR-1998-Pelillo #framework #relational

A unifying framework for relational structure matching (MP), pp. 1316–1319.

UML-1998-JezequelGP #distributed #modelling #validation

Validating Distributed Software Modeled with the Unified Modeling Language (JMJ, ALG, FP), pp. 365–377.

ECOOP-1998-ErnstKC #formal method

Predicate Dispatching: A Unified Theory of Dispatch (MDE, CSK, CC), pp. 186–211.

ECOOP-1998-FritzsonE #modelling #named #object-oriented #simulation

Modelica — A Unified Object-Oriented Language for System Modelling and Simulation (PF, VE), pp. 67–90.

TOOLS-USA-1998-LarsenH #architecture #distributed #object-oriented

An Architecture for Unified Dialogue in Distributed Object Systems (AL, PDH), pp. 244–258.

SAC-1998-SiLW #evolution #framework #metadata #named

4DIS: a temporal framework for unifying meta-data and data evolution (AS, HVL, PYW), pp. 203–210.

ASPLOS-1998-Weissman #approach #concurrent #locality #performance #thread

Performance Counters and State Sharing Annotations: a Unified Approach to Thread Locality (BW), pp. 127–138.

SIGMOD-1997-JajodiaSSB #data access #framework #multi #policy

A Unified Framework for Enforcing Multiple Access Control Policies (SJ, PS, VSS, EB), pp. 474–485.

ITiCSE-1997-WolzDM #interactive #multi

Multi-media integrated into CS 2: an interactive children’s story as a unifying class project (UW, DD, MM), pp. 103–110.

TACAS-1997-BeeckBCDFKMSS #graph #morphism #polymorphism #power of

Graphs in METAFrame: The Unifying Power of Polymorphism (MvdB, VB, AC, AD, CF, DK, TMS, FS, BS), pp. 112–129.

HCI-CC-1997-SavidisS #integration #multi #tool support

Unifying and Merging Toolkits: A Multi-Purpose Toolkit Integration Engine (AS, CS), pp. 457–460.

HCI-CC-1997-SavidisSE #design #incremental #interface #physics #polymorphism

Abstract Task Definition and Incremental Polymorphic Physical Instantiation: The Unified Interface Design Method (AS, CS, PLE), pp. 465–468.

HCI-CC-1997-StephanidisSP #development #interface

Addressing Cultural Diversity Through Unified Interface Development (CS, AS, AP), pp. 165–168.

KDD-1997-KnorrN

A Unified Notion of Outliers: Properties and Computation (EMK, RTN), pp. 219–222.

ECOOP-1997-BreuHHKPRT #formal method #modelling #towards

Towards a Formalization of the Unified Modeling Language (RB, UH, CH, CK, BP, BR, VT), pp. 344–366.

TOOLS-PACIFIC-1997-Thomas #modelling

Introduction to the Unified Modeling Language (RT), p. 354.

POPL-1997-Hanus #functional #logic programming

A Unified Computation Model for Functional and Logic Programming (MH), pp. 80–93.

ASF+SDF-1997-BorovanskyKK #logic #specification

Rewriting as a unified specification tool for logic and control: the ELAN language (PB, CK, HK), p. 3.

CADE-1997-Vardi #automaton #logic

Alternating Automata: Unifying Truth and Validity Checking for Temporal Logics (MYV), pp. 191–206.

HT-1996-GronbaekT #embedded #hypermedia #towards

Toward a Dexter-Based Model for Open Hypermedia: Unifying Embedded References and Link Objects (KG, RHT), pp. 149–160.

ICML-1996-Mahadevan #learning

Sensitive Discount Optimality: Unifying Discounted and Average Reward Reinforcement Learning (SM), pp. 328–336.

ICPR-1996-Chernov96a #2d #metric

A metric unified treatment of two-dimensional FFT (VMC), pp. 662–669.

ICPR-1996-IraniA #2d #3d #approach #detection

A unified approach to moving object detection in 2D and 3D scenes (MI, PA), pp. 712–717.

KDD-1996-FayyadPS #data mining #framework #information management #mining #towards

Knowledge Discovery and Data Mining: Towards a Unifying Framework (UMF, GPS, PS), pp. 82–88.

PLILP-1996-Scholz #concurrent #constraints #framework #functional #named #programming #user interface

PIDGETS — Unifying Pictures and Widgets in a Constraint-Based Framework for Concurrent Functional GUI Programming (ES), pp. 363–377.

PLDI-1995-CierniakL #distributed #memory management

Unifying Data and Control Transformations for Distributed Shared Memory Machines (MC, WL), pp. 205–217.

ICML-1995-DietterichF #learning #perspective

Explanation-Based Learning and Reinforcement Learning: A Unified View (TGD, NSF), pp. 176–184.

SEKE-1995-Debenham #analysis #approach #design #knowledge-based #requirements #specification

A Unified Approach to Requirements Specification and System Analysis in the Design of Knowledge-Based Systems (JKD), p. 144.

SEKE-1995-Patsouris #approach #framework #information management #object-oriented #representation

A Unified Framework for Knowledge Representation: A Formal Object-Oriented Approach (PAP), pp. 131–135.

POPL-1995-JagannathanW #analysis #higher-order

A Unified Treatment of Flow Analysis in Higher-Order Languages (SJ, SW), pp. 393–407.

FSE-1995-KaplanW #formal method

Formalization and Application of a Unifying Model for Name Management (AK, JCW), pp. 161–172.

FSE-1995-Zeller #configuration management

A Unified Version Model for Configuration Management (AZ), pp. 151–160.

DAC-1994-GuptaCDP #design #experience #image #tool support #using

Experience with Image Compression Chip Design using Unified System Construction Tools (PG, CTC, JCDB, ACP), pp. 250–256.

DAC-1994-MadhwapathySBP #approach #multi

A Unified Approach to Multilayer Over-the-Cell Routing (SM, NAS, SB, AP), pp. 182–187.

SIGMOD-1994-Kim #database #object-oriented #relational

UniSQL/X Unified Relational and Object-Oriented Database System (WK), p. 481.

ESOP-1994-SorensenGJ #deforestation #partial evaluation #supercompilation #towards

Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC (MHS, RG, NDJ), pp. 485–500.

KR-1994-CalvaneseLN #framework #representation

A Unified Framework for Class-Based Representation Formalisms (DC, ML, DN), pp. 109–120.

KR-1994-Kambhampati #algorithm #framework #refinement

Refinement Search as a Unifying Framework for Analyzing Planning Algorithms (SK), pp. 329–340.

CADE-1994-NieuwenhuisR #constraints

AC-Superposition with Constraints: No AC-Unifiers Needed (RN, AR), pp. 545–559.

LICS-1994-Goubault

Rigid E-Unifiability is DEXPTIME-Complete (JG), pp. 498–506.

DAC-1993-HojatiSBK #approach #model checking

A Unified Approach to Language Containment and Fair CTL Model Checking (RH, TRS, RKB, RPK), pp. 475–481.

PODS-1993-SchekWY #concurrent #formal method #towards

Towards a Unified Theory of Concurrency Control and Recovery (HJS, GW, HY), pp. 300–311.

SIGMOD-1993-VadapartyAO #database #towards #visual notation

Towards a Unified Visual Database Access (KVV, YAA, GÖ), pp. 357–366.

PODS-1992-GinsburgW #approach #pattern matching #query #towards

Pattern Matching by Rs-Operations: Toward a Unified Approach to Querying Sequenced Data (SG, XSW), pp. 293–300.

ICALP-1992-KirschenhoferPS #analysis #how #probability #problem

How to Count Quickly and Accurately: A Unified Analysis of Probabilistic Counting and Other Related Problems (PK, HP, WS), pp. 211–222.

SEKE-1992-DengC #design #multi

Unifying Multi-Paradigms in Software System Design (YD, SKC), pp. 386–393.

ECOOP-1992-Kim #database #object-oriented #on the #relational

On Unifying Relational and Object-Oriented Database Systems (WK), pp. 1–18.

ECOOP-1992-NormandC #design #implementation #paradigm #user interface

Unifying the Design and Implementation of User Interfaces through the Object Paradigm (VN, JC), pp. 153–169.

TOOLS-PACIFIC-1992-Kim92b #database #object-oriented #on the #relational

On Unifying Relational and Object-Oriented Database Systems (WK), pp. 5–17.

LOPSTR-1992-FribourgO #induction #logic programming #source code

A Unifying View of Structural Induction and Computation Induction for Logic Programs (LF, HO), pp. 46–60.

JICSLP-1992-Bonatti #framework #logic #logic programming #semantics #source code

Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs (PAB), pp. 417–430.

LICS-1992-KapurN #complexity #set

Double-exponential Complexity of Computing a Complete Set of AC-Unifiers (DK, PN), pp. 11–21.

DAC-1991-CiesielskiSD #approach #automaton #encoding

A Unified Approach to Input-Output Encoding for FSM State Assignment (MJC, JJS, MD), pp. 176–181.

DAC-1991-EschermannW #approach #finite #self #state machine #synthesis

A Unified Approach for the Synthesis of Self-Testable Finite State Machines (BE, HJW), pp. 372–377.

HT-1991-KaindlS #hypermedia #perspective #representation

Hypertext and Structured Object Representation: A Unifying View (HK, MHS), pp. 345–358.

ML-1991-YangRB #case study #comparative

Fringe-Like Feature Construction: A Comparative Study and a Unifying Scheme (DSY, LAR, GB), pp. 223–227.

OOPSLA-1991-SimmelG #data access #semantics #transaction

The Kala Basket: A Semantic Primitive Unifying Object Transactions, Access Control, Versions, and Configurations (SSS, IG), pp. 230–246.

PPoPP-1991-Lu #framework

A Unified Framework for Systemic Loop Transformation (LCL), pp. 28–38.

ICLP-1991-HarsatG #named

CARMEL-4: The Unify-Spawn Machine for FCP (AH, RG), pp. 840–854.

DAC-1990-AsharDN #approach #composition

A Unified Approach to the Decomposition and Re-Decomposition of Sequential Machines (PA, SD, ARN), pp. 601–606.

DAC-1990-Soukup #algorithm #database

Organized C: A Unified Method of Handling Data in CAD Algorithms and Databases (JS), pp. 425–430.

ICALP-1990-DobkinK #approach

Determining the Separation of Preprocessed Polyhedra — A Unified Approach (DPD, DGK), pp. 400–413.

LFP-1990-Baker

Unify and Conquer (HGB), pp. 218–226.

SEKE-1990-TsaiZ #framework #testing #towards

Towards a Unified Framework for Testing Expert Systems (WTT, IAZ), pp. 127–134.

CAV-1990-PengP #approach #communication #concurrent #detection #finite #network #problem #state machine

A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State Machines (WP, SP), pp. 243–252.

DAC-1989-KollaritschLMSS #design #representation

A Unified Design Representation Can Work (PK, SL, DM, DS, PS), pp. 811–813.

DAC-1989-LiS

A Unified Data Exchange Environment Based on EDIF (WL, HS), pp. 803–806.

SIGMOD-1989-GyssensPG #approach #grammarware #modelling #towards

A Grammar-Based Approach Towards Unifying Hierarchical Data Models (Extended Abstract) (MG, JP, DVG), pp. 263–272.

PLDI-1989-ChiD #liveness #using

Unified Management of Registers and Cache Using Liveness and Cache Bypass (CHC, HGD), pp. 344–355.

ML-1989-Langley #empirical #learning

Unifying Themes in Empirical and Explanation-Based Learning (PL), pp. 2–4.

POPL-1989-Mosses #algebra

Unified Algebras and Modules (PDM), pp. 329–343.

ASPLOS-1989-JouppiBW #architecture #float

A Unified Vector/Scalar Floating-Point Architecture (NPJ, JB, DWW), pp. 134–143.

LFP-1988-Lamping #programming language

A Unified System of Parameterization for Programming Languages (JL), pp. 316–326.

JICSCP-1988-Port88 #approach

A Simple Approach to Finding the Cause of Non-Unifiability (GSP), pp. 651–665.

DAC-1987-Kaplan #approach

Routing with a Scanning Window-8Ma Unified Approach (DK), pp. 629–632.

VLDB-1987-Dayal #approach #quantifier #query

Of Nests and Trees: A Unified Approach to Processing Queries That Contain Nested Subqueries, Aggregates, and Quantifiers (UD), pp. 197–208.

PLDI-1987-KoskimiesP #approach #named #object-oriented #tool support

TOOLS: a unifying approach to object-oriented language interpretation (KK, JP), pp. 153–164.

DAC-1986-Daehn #difference #fault

A unified treatment of PLA faults by Boolean differences (WD), pp. 334–338.

DAC-1986-Ghosh #approach #fault #functional #rule-based #simulation #verification

A rule-based approach to unifying functional and fault simulation and timing verification (SG), pp. 677–682.

PODS-1986-YuanO #database #dependence #design #functional #multi #relational

Unifying Functional and Multivalued Dependencies for Relational Database Design (LYY, ZMÖ), pp. 183–190.

VLDB-1986-ChouK #framework #version control

A Unifying Framework for Version Control in a CAD Environment (HTC, WK), pp. 336–344.

ICLP-1986-Wolfram86 #backtracking #problem

Intractable Unifiability Problems and Backtracking (DAW), pp. 107–121.

DAC-1985-JanniI #user interface

Unified user interface for a CAD system (ADJ, MI), pp. 9–15.

DAC-1985-MokkaralaFA #approach #functional #simulation #verification

A unified approach to simulation and timing verification at the functional level (VRM, AF, RA), pp. 757–761.

RTA-1985-Zaionc #regular expression #set #λ-calculus

The Set of Unifiers in Typed λ-Calculus as Regular Expression (MZ), pp. 430–440.

SLP-1985-Carlsson85 #lisp #prolog

A Microcoded Unifier for Lisp Machine Prolog (MC), pp. 162–171.

DAC-1984-Foster #design

A unified CAD system for electronic design (JCF), pp. 365–369.

VLDB-1984-Mullin

Unified Dynamic Hashing (JKM), pp. 473–480.

POPL-1984-SubrahmanyamY #evaluation #functional #lazy evaluation #logic programming #reduction #source code

Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs (PAS, JHY), pp. 228–234.

ILPC-1984-Nilsson84 #optimisation #prolog

Prolog as a Tool for Optimizing Prolog Unifiers (MN), pp. 13–21.

ILPC-1984-WolframML84 #logic programming #source code

A Unified Treatment of Resolution Strategies for Logic Programs (DAW, MJM, JLL), pp. 263–276.

DAC-1982-MaisselO #approach #design #documentation #hardware #interactive #simulation #synthesis

Interactive design language: A unified approach to hardware simulation, synthesis and documentation (LIM, DLO), pp. 193–201.

SIGIR-1982-RobertsonMC #information retrieval #probability

The Unified Probabilistic Model for IR (SER, MEM, WSC), pp. 108–117.

POPL-1982-Sandewall

Unified Dialogue Management in the Carousel System (ES), pp. 146–156.

VLDB-1981-Adiba #distributed

Derived Relations: A Unified Mechanism for Views, Snapshots, and Distributed Data (MEA), pp. 293–305.

SOSP-1981-CoxCLP #communication #implementation #multi

A Unified Model and Implementation for Interprocess Communication in a Multiprocessor Environment (GWC, WMC, KKL, FJP), pp. 125–126.

VLDB-1980-Date #database

An Introduction to the Unified Database Language (UDL) (CJD), pp. 15–32.

DAC-1979-McCaw

Unified Shapes Checker — a checking tool for LSI (CRM), pp. 81–87.

DAC-1978-Gianfagna #approach #data analysis #testing

A unified approach to test data analysis (MAG), pp. 117–124.

STOC-1978-Goldschlager #approach #modelling #parallel

A Unified Approach to Models of Synchronous Parallel Machines (LMG), pp. 89–94.

VLDB-1977-Housel #approach

A Unified Approach to Program and Data Conversion (BCH), pp. 327–336.

STOC-1977-ODonnell #combinator #equation #lisp #logic #recursion

Subtree Replacement Systems: A Unifying Theory for Recursive Equations, LISP, Lucid and Combinatory Logic (MO), pp. 295–305.

POPL-1977-CousotC #abstract interpretation #approximate #fixpoint #source code #static analysis

Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints (PC, RC), pp. 238–252.

DAC-1976-Bernstein #approach #modelling #network #physics

Transmission line models, a unified physical network approach (SB), pp. 117–130.

VLDB-J-1975-Chen76 #towards

The Entity-Relationship Model — Toward a Unified View of Data (PPC), pp. 9–36.

DAC-1975-Rajlich #design

A CAD system for unified hardware-software design (VR), pp. 224–230.

SIGMOD-1975-BernsteinST #approach #dependence #functional

A Unified Approach to Functional Dependencies and Relations (PAB, JRS, DT), pp. 237–245.

VLDB-1975-Chen #towards

The Enity-Relationship Model: Toward a Unified View of Data (PPC), p. 173.

POPL-1973-Kildall #approach #optimisation

A Unified Approach to Global Program Optimization (GAK), pp. 194–206.

STOC-1969-AmorosoLY #array #formal method #framework

A Unifying Framework for the Theory of Iterative Arrays of Machines (SA, EL, HY), pp. 259–269.