BibSLEIGH — between stem

Used together with:

relationship (155)
model (117)
system (102)
gap (101)
bridg (95)

Stem between$ (all stems)

1092 papers:

ECSA-2015-TrubianiGE #analysis #architecture #modelling #nondeterminism #performance #traceability: Exploiting Traceability Uncertainty Between Software Architectural Models and Performance Analysis Results (CT, AG, AE), pp. 305–321.
CASE-2015-HuangJG #distributed #generative #multi #optimisation: Multi-timescale optimization between distributed wind generators and electric vehicles in microgrid (QH, QSJ, XG), pp. 671–676.
DATE-2015-AndradeMVAPL #analysis #data flow #modelling: Pre-simulation symbolic analysis of synchronization issues between discrete event and timed data flow models of computation (LA, TM, AV, CBA, FP, MML), pp. 1671–1676.
DATE-2015-FeldS #analysis #dependence: Sufficient response time analysis considering dependencies between rate-dependent tasks (TF, FS), pp. 519–524.
PODS-2015-Kapralov #complexity #nearest neighbour #query #trade-off: Smooth Tradeoffs between Insert and Query Complexity in Nearest Neighbor Search (MK), pp. 329–342.
VLDB-2015-ZhangC0 #approach #distributed #graph #set: Bonding Vertex Sets Over Distributed Graph: A Betweenness Aware Approach (XZ, HC, LC), pp. 1418–1429.
MSR-2015-GantayatDPMS #stack overflow: The Synergy between Voting and Acceptance of Answers on StackOverflow — Or the Lack Thereof (NG, PD, RP, SM, VSS), pp. 406–409.
SCAM-2015-PanditaJSW #api #mining #using: Discovering likely mappings between APIs using text mining (RP, RPJ, SDS, LAW), pp. 231–240.
PEPM-2015-LiWXH #adaptation #api #java #named #towards #type safety: SWIN: Towards Type-Safe Java Program Adaptation between APIs (JL, CW, YX, ZH), pp. 91–102.
SAS-2015-CastelnuovoNRSY #analysis #bottom-up #case study #composition #top-down: Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis (GC, MN, NR, MS, HY), pp. 252–274.
ICALP-v1-2015-NayyeriS #distance: Computing the Fréchet Distance Between Polygons with Holes (AN, AS), pp. 997–1009.
LATA-2015-LeonM #partial order #set: Building Bridges Between Sets of Partial Orders (HPdL, AM), pp. 145–160.
ICGT-2015-KwantesGKR #modelling #process #towards #verification: Towards Compliance Verification Between Global and Local Process Models (PMK, PVG, JK, AR), pp. 221–236.
ICGT-2015-MachadoRH #evolution #graph transformation: Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems (RM, LR, RH), pp. 171–186.
CHI-2015-AkshitaSILB #feedback #interactive #multimodal #towards #visual notation: Towards Multimodal Affective Feedback: Interaction between Visual and Haptic Modalities (A, HAS, BI, EL, YB), pp. 2043–2052.
CHI-2015-BentleyCH #coordination #mobile: Reducing the Stress of Coordination: Sharing Travel Time Information Between Contacts on Mobile Phones (FRB, YYC, CH), pp. 967–970.
CHI-2015-BreretonSVR #distance #prototype: The Messaging Kettle: Prototyping Connection over a Distance between Adult Children and Older Parents (MB, AS, KV, PR), pp. 713–716.
CHI-2015-MeutznerGK #difference: Constructing Secure Audio CAPTCHAs by Exploiting Differences between Humans and Machines (HM, SG, DK), pp. 2335–2338.
CHI-2015-NguyenNIO #personalisation #topic: The Known Stranger: Supporting Conversations between Strangers with Personalized Topic Suggestions (TTN, DTN, STI, EO), pp. 555–564.
CHI-2015-TaylorLRSVGL #community #named: Data-in-Place: Thinking through the Relations Between Data and Community (AST, SEL, TR, DS, VV, LG, JL), pp. 2863–2872.
CSCW-2015-BossenG #collaboration #design #flexibility: Collaboration in-between: The Care Hotel and Designing for Flexible Use (CB, EG), pp. 1289–1301.
CSCW-2015-MatthewsMCMHB #community #what: They Said What?: Exploring the Relationship Between Language Use and Member Satisfaction in Communities (TM, JUM, JC, MM, EMH, HB), pp. 819–825.
CSCW-2015-SharmaC #modelling #people #resource management: Studying and Modeling the Connection between People’s Preferences and Content Sharing (AS, DC), pp. 1246–1257.
DHM-EH-2015-LiaoYGMOH #comparison: Study of Caregiver’s Waist Movement Comparison Between Expert and Non-expert During Transfer Care (ML, TY, AG, YM, TO, HH), pp. 164–173.
DHM-HM-2015-ChottikamponMMS #comparison #metric: Comparison of Braiding Skills Between Expert and Non-experts by Eye’s Movement Measurement (KC, SM, HM, PS, AG, TU, MI, MT, HN, HH), pp. 14–23.
DHM-HM-2015-ChottikamponTMS #comparison #metric: Comparison Knitting Skills Between Experts and Non-experts by Measurement of the Arm Movement (KC, ST, SM, PS, MI, HN, HH), pp. 3–13.
DHM-HM-2015-EndoSSNKH #comparison: Comparison of Description Skill on Characteristics of the Urushi Crafts Work Between Expert Craftspeople and Non-expert Craftspeople (AE, MS, YS, SN, NK, HH), pp. 46–57.
DHM-HM-2015-KanazawaOWWTGH #bibliography #evaluation #visual notation: Visual Evaluation of “The Way of Tea” Based on Questionnaire Survey Between Chinese and Japanese (SK, TO, ZW, RW, YT, AG, HH), pp. 299–306.
DHM-HM-2015-KawabataXGH #comparison: Comparison of KEMOMI Technique Between Master Craftsman and Unskilled Worker (SK, ZX, AG, HH), pp. 316–323.
DHM-HM-2015-MigakiOTMKIH #experience: The Relationship Between Mechanical Properties and the Method Technique of GFRP Plate by Hand Lay-up Method: Effect of the Workers Experience (MM, KO, RT, YM, EK, DI, HH), pp. 143–153.
DHM-HM-2015-SugimotoINYG #difference #process: Difference in Polishing Process of FRP Between Expert and Non-expert (TS, DI, HN, YY, AG), pp. 174–181.
DHM-HM-2015-SugimotoTNG #comparison #eye tracking #process: Comparison of Eye Movement During the Polishing Process of Metallographic Sample Between Expert and Nonexpert (TS, YT, HN, AG), pp. 399–410.
DHM-HM-2015-WangTTITGH #analysis: Numerical Analysis on “Kana-Ami” Structure Between Expert and Non-expert (ZW, KiT, TT, KI, YT, AG, HH), pp. 192–200.
DUXU-DD-2015-FilippiBS #design #interactive: Investigating Synergies Between Interaction Design Methods (SF, DB, PAS), pp. 179–190.
DUXU-DD-2015-GuoSYL #people: Personal Museum — A New Museum that Focus on Emotional Relationship Between People and Belongings (LG, YS, SY, HBL), pp. 502–512.
DUXU-DD-2015-LewisUM: Investigating the Correspondence Between UMUX-LITE and SUS Scores (JRL, BSU, DEM), pp. 204–211.
DUXU-DD-2015-Zhang #design #research #semantics: Research on the Correspondence Between Designer End Expressions of Product Semantics with the Cognition of User End (LZ), pp. 379–391.
DUXU-IXD-2015-IwamotoKM #analysis #case study #using: A Study of Conversation Support System Between the Elderly Person and Young Adults by Using Facial Expression Analysis (MI, NK, KM), pp. 616–627.
HCI-DE-2015-Chae #case study: A Study on the Relationships Between Drivers’ Emotions and Brain Signals (SC), pp. 468–476.
HCI-DE-2015-SalanitriHBLSW #trust #usability: Relationship Between Trust and Usability in Virtual Environments: An Ongoing Study (DS, CH, SB, GL, SS, BW), pp. 49–59.
HCI-IT-2015-FukumotoTE #detection #using: Improvement of Accuracy in Remote Gaze Detection for User Wearing Eyeglasses Using Relative Position Between Centers of Pupil and Corneal Sphere (KF, TT, YE), pp. 13–23.
HCI-IT-2015-HuhJIKKP #case study #comparison #interactive: Preliminary Study to Determine a “User-Friendly” Bending Method: Comparison Between Bending and Touch Interaction (BH, HJ, SI, HSK, GK, JP), pp. 175–183.
HCI-IT-2015-KinemuchiKY: Synchronization Between Utterance Rhythm and Body Movement in a Two-Person Greeting (KK, HK, TY), pp. 305–316.
HCI-IT-2015-KondoTT #communication #smarttech #using: Information Select and Transfer Between Touch Panel and Wearable Devices Using Human Body Communication (YK, ST, JT), pp. 208–216.
HCI-IT-2015-SatoAOO #analysis #automation #classification #image: Automatic Classification Between Involuntary and Two Types of Voluntary Blinks Based on an Image Analysis (HS, KA, SO, MO), pp. 140–149.
HCI-UC-2015-GandyBLLMCS #concept: Midtown Buzz: Bridging the Gap Between Concepts and Impact in a Civic Computing Initiative (MG, LDB, LML, AJL, EDM, RJC, MS), pp. 303–313.
HIMI-IKC-2015-ChongS #difference: Differences in Driver Distractibility Between Monolingual and Bilingual Drivers (IC, TZS), pp. 180–189.
HIMI-IKC-2015-HayashiH #analysis #concept #learning #process: Analysis of the Relationship Between Metacognitive Ability and Learning Activity with Kit-Build Concept Map (YH, TH), pp. 304–312.
HIMI-IKC-2015-ItaiM #development #interactive #using: Study About Creation of “Maai” Involving Intention Using Rhythm Controller — Development of Maai Creating Agent and Interaction Experiments Between Human and Agent (SI, YM), pp. 599–609.
HIMI-IKC-2015-YamadaAY #analysis #internet: An Analysis of the Synergistic Effect in the Advertisement — Between the Television Commercials and the Internet Commercials (TY, YA, KY), pp. 159–170.
HIMI-IKD-2015-HallettASRDJV #case study #comparative #design #usability #web: The Usability of Magnification Methods: A Comparative Study Between Screen Magnifiers and Responsive Web Design (ECH, BA, JS, ZR, WD, TJ, KPLV), pp. 181–189.
ICEIS-v1-2015-Hasheela #comparison #enterprise #scalability: On-premise ERP Organizational Post-implementation Practices — Comparison between Large Enterprises and Small and Medium-Sized Enterprises (VH), pp. 243–250.
ICEIS-v2-2015-CruzMS15a #modelling #process #set: Bridging the Gap between a Set of Interrelated Business Process Models and Software Models (EFC, RJM, MYS), pp. 338–345.
ICEIS-v2-2015-SarsharNR #case study #comparison #smarttech: A Study on the Usage of Smartphone Apps in Fire Scenarios — Comparison between GDACSmobile and SmartRescue Apps (PS, VN, JR), pp. 469–474.
ECIR-2015-UrbanoM #correlation #definite clause grammar #how #question #user satisfaction: How Do Gain and Discount Functions Affect the Correlation between DCG and User Satisfaction? (JU, MM), pp. 197–202.
ICML-2015-ZhaoMP #network #on the: On the Relationship between Sum-Product Networks and Bayesian Networks (HZ, MM, PP), pp. 116–124.
KDD-2015-GaoJOW: Selective Hashing: Closing the Gap between Radius Search and k-NN Search (JG, HVJ, BCO, SW), pp. 349–358.
MLDM-2015-MoldovanM #data mining #learning #mining #performance #using: Learning the Relationship Between Corporate Governance and Company Performance Using Data Mining (DM, SM), pp. 368–381.
SEKE-2015-Tasse #analysis #identification #metric #using: Using peak analysis for identifying lagged effects between software metrics (JT), pp. 512–515.
SIGIR-2015-GwizdkaZ #difference #metric #web: Differences in Eye-Tracking Measures Between Visits and Revisits to Relevant and Irrelevant Web Pages (JG, YZ), pp. 811–814.
SIGIR-2015-JonesTSS #effectiveness #metric #retrieval: Features of Disagreement Between Retrieval Effectiveness Measures (TJ, PT, FS, MS), pp. 847–850.
SIGIR-2015-MegorskayaKS #assessment #on the: On the Relation Between Assessor’s Agreement and Accuracy in Gamified Relevance Assessment (OM, VK, PS), pp. 605–614.
GPCE-2015-ReyndersDP #api #bound #generative: Generating safe boundary APIs between typed EDSLs and their environments (BR, DD, FP), pp. 31–34.
PPDP-2015-GallF #formal method #semantics: A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations (DG, TWF), pp. 114–124.
REFSQ-2015-RazavianG #requirements: Consonance Between Economic and IT Services: Finding the Balance Between Conflicting Requirements (MR, JG), pp. 148–163.
SAC-2015-BurkhardtK #classification #multi #on the: On the spectrum between binary relevance and classifier chains in multi-label classification (SB, SK), pp. 885–892.
SAC-2015-Dragoni #multi: Exploiting multilinguality for creating mappings between thesauri (MD), pp. 382–387.
SAC-2015-FonooniH #behaviour #on the #visual notation: On the similarities between control based and behavior based visual servoing (BF, TH), pp. 320–326.
SAC-2015-RegoMP #approach #detection #folksonomy #learning: A supervised learning approach to detect subsumption relations between tags in folksonomies (ASdCR, LBM, CESP), pp. 409–415.
SAC-2015-ZappatoreLB #composition #contract #network #representation: SLA composition in service networks: a tool for representing relationships between SLAs and contracts (MZ, AL, MAB), pp. 1219–1224.
SPLC-2015-FerrariSGD #diagrams #documentation #feature model #natural language #tool support: CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams (AF, GOS, SG, FD), pp. 402–410.
ICST-2015-ArltMPW #dependence #testing: If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing (SA, TM, AP, SW), pp. 1–10.
SAT-2015-Oh #difference #satisfiability: Between SAT and UNSAT: The Fundamental Difference in CDCL SAT (CO), pp. 307–323.
ECSA-2014-SolimanR #architecture #interactive #modelling: Modeling the Interactions between Decisions within Software Architecture Knowledge (MS, MR), pp. 33–40.
CASE-2014-AfaghaniA #concurrent #online: Advanced-collision-map-based on-line collision and deadlock avoidance between two robot manipulators with PTP commands (AYA, YA), pp. 1244–1251.
CASE-2014-NagataO #approach #multi #using: Electric power interchange between micro-grids by using multi-agent approach (TN, KO), pp. 50–55.
DAC-2014-KleebergerMS #analysis: Workload- and Instruction-Aware Timing Analysis: The missing Link between Technology and System-level Resilience (VK, PRM, US), p. 6.
DATE-2014-HeinigDHMWHGBKR #integration: System integration — The bridge between More than Moore and More Moore (AH, MD, AH, FM, TW, KH, AG, RB, SK, JR), pp. 1–9.
DATE-2014-RaminiGGBFB #architecture #energy: Assessing the energy break-even point between an optical NoC architecture and an aggressive electronic baseline (LR, AG, PG, SB, HTF, DB), pp. 1–6.
DRR-2014-NagyL #distance #similarity: Form similarity via Levenshtein distance between ortho-filtered logarithmic ruling-gap ratios (GN, DPL), pp. 902106–8.
HT-2014-LiaoJLH #case study #online: A study of age gaps between online friends (LL, JJ, EPL, HH), pp. 98–106.
VLDB-2014-ArenasDFKS #approach #graph: A Principled Approach to Bridging the Gap between Graph Data and their Schemas (MA, GID, AF, AK, KS), pp. 601–612.
ESOP-2014-MangalNY #analysis #interprocedural: A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join (RM, MN, HY), pp. 513–533.
CSMR-WCRE-2014-GrantC #maintenance #similarity #topic: Examining the relationship between topic model similarity and software maintenance (SG, JRC), pp. 303–307.
ICPC-2014-ZapalowskiNN #architecture #source code: Revealing the relationship between architectural elements and source code characteristics (VZ, IN, DJN), pp. 14–25.
ICSME-2014-LandmanSV #analysis #corpus #empirical #java #scalability: Empirical Analysis of the Relationship between CC and SLOC in a Large Corpus of Java Methods (DL, AS, JJV), pp. 221–230.
PEPM-J-2013-Garcia-PerezN14 #automaton #functional #hybrid #on the: On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines (ÁGP, PN), pp. 176–199.
ICALP-v1-2014-AmbainisBGMSZ #complexity #metric: Tighter Relations between Sensitivity and Other Complexity Measures (AA, MB, YG, JM, XS, SZ), pp. 101–113.
ICALP-v2-2014-JagadeesanR #consistency: Between Linearizability and Quiescent Consistency — Quantitative Quiescent Consistency (RJ, JR), pp. 220–231.
CHI-2014-DalsgardD #concept #human-computer #research #theory and practice: Between theory and practice: bridging concepts in HCI research (PD, CD), pp. 1635–1644.
CHI-2014-GaoYHEF #automation #communication #multi: Effects of public vs. private automated transcripts on multiparty communication between native and non-native english speakers (GG, NY, AMJH, AE, SRF), pp. 843–852.
CHI-2014-GarbettCEGO #interface #people #trust: Finding “real people”: trust and diversity in the interface between professional and citizen journalists (ATG, RC, PE, MG, PO), pp. 3015–3024.
CHI-2014-GrimpeHJ #design #human-computer #policy #towards: Towards a closer dialogue between policy and practice: responsible design in HCI (BG, MH, MJ), pp. 2965–2974.
CHI-2014-KongHA #crowdsourcing: Extracting references between text and charts via crowdsourcing (NK, MAH, MA), pp. 31–40.
CHI-2014-LaseckiWFB #dependence #using: Finding dependencies between actions using the crowd (WSL, LW, GF, JPB), pp. 3095–3098.
CSCW-2014-BodenRSW #coordination: Articulation spaces: bridging the gap between formal and informal coordination (AB, FR, GS, VW), pp. 1120–1130.
CSCW-2014-DillahuntM #comprehension #energy: Understanding factors of successful engagement around energy consumption between and among households (TD, JM), pp. 1246–1257.
CSCW-2014-HuangWY #comprehension #online #social: De-virtualizing social events: understanding the gap between online and offline participation for event invitations (AJH, HCW, CWY), pp. 436–448.
CSCW-2014-Oeldorf-HirschHMTG #network #social: To search or to ask: the routing of information needs between traditional search engines and social networks (AOH, BH, MRM, JT, DG), pp. 16–27.
DHM-2014-ItoTGK #analysis #research: Research on Senior Response to Transfer Assistance between Wheelchair and Bed — EEG Analysis (MI, YT, AG, NK), pp. 558–566.
DHM-2014-KhairatR #framework #interactive: Building a Telemedicine Framework to Improve the Interactions between Cancer Patients and Oncology Triage Nurses (SK, VR), pp. 377–384.
DHM-2014-TakaiYGWI #case study #comparative: Comparative Study on the Feature of Kitchen Knife Sharpening Skill between Expert and Non-Expert (YT, MY, AG, ZW, AI), pp. 292–300.
DUXU-DI-2014-PaulinBA #case study #experience #user interface: The Study of the Relations between the BrainHex Player Profiles, MBTI Psychological Types and Emotions as Means to Enhance User Experience (REP, ALB, MMA), pp. 732–741.
DUXU-ELAS-2014-LimaAMS #online: The Relation between Online and Print Information Graphics for Newspapers (RCL, RdCA, ASM, CGS), pp. 184–194.
DUXU-ELAS-2014-SharmaMTZRTGJ #named #personalisation #smarttech: SPARK: Personalized Parkinson Disease Interventions through Synergy between a Smartphone and a Smartwatch (VS, KM, FDlT, AZ, NR, TGNT, RG, SJ), pp. 103–114.
DUXU-TMT-2014-AvilaL #usability: Relationship between Elements of the Usability and Emotions Reported after Use: A Mexican Case (ICLÁ, LRPL), pp. 285–295.
DUXU-TMT-2014-Elias #game studies: The Bridge — A Transmedia Dialogue between TV, Film and Gaming (HE), pp. 548–559.
HCI-AIMT-2014-BoulabiarCP #2d #3d #case study #gesture #interactive: The Study of the Full Cycle of Gesture Interaction, The Continuum between 2D and 3D (MIB, GC, FP), pp. 24–35.
HCI-AIMT-2014-NovickG #case study: Building Rapport between Human and ECA: A Pilot Study (DGN, IG), pp. 472–480.
HCI-AS-2014-KimC #what: The Gap between What a Service Provider Shows Off and What Users Really Watch (DK, JC), pp. 710–720.
HCI-AS-2014-NakanoTA #case study #experience #html #induction #set #user interface: A Preliminary Study of Relation Induction between HTML Tag Set and User Experience (AN, AT, MA), pp. 49–56.
HCI-AS-2014-TsengT #complexity #correlation #design #online #trust #visual notation: The Correlation between Visual Complexity and User Trust in On-line Shopping: Implications for Design (KTT, YCT), pp. 90–99.
HCI-TMT-2014-BotegaBAN #data fusion #interactive: A Model to Promote Interaction between Humans and Data Fusion Intelligence to Enhance Situational Awareness (LCB, CBB, RBdA, VPdAN), pp. 399–410.
HCI-TMT-2014-Zuanon #design #interactive #named #process: Design-Neuroscience: Interactions between the Creative and Cognitive Processes of the Brain and Design (RZ), pp. 167–174.
HIMI-AS-2014-MatsuiHKA #behaviour #case study #education #learning: A Study on Exploration of Relationships between Behaviors and Mental States of Learners for Value Co-creative Education and Learning Environment (TM, YH, KK, TA), pp. 69–79.
HIMI-AS-2014-OhtaK #evaluation: The Relationships between the Products and Affective Evaluation Concerning Uniqueness (YO, KK), pp. 622–630.
HIMI-DE-2014-LeeLS14a #communication #development: Development of Digital-Device-Based Cooperation Support System to Aid Communication between MCR Operators and Field Workers in Nuclear Power Plants (NPPs) (SML, HCL, PHS), pp. 483–490.
LCT-TRE-2014-EradzeL #design #interactive #learning: Interrelation between Pedagogical Design and Learning Interaction Patterns in different Virtual Learning Environments (ME, ML), pp. 23–32.
LCT-TRE-2014-SofticVMWE #research #using: Finding and Exploring Commonalities between Researchers Using the ResXplorer (SS, LDV, EM, RVdW, ME), pp. 486–494.
SCSM-2014-BeckmannG #social: Social Computing — Bridging the Gap between the Social and the Technical (CB, TG), pp. 25–36.
EDOC-2014-Aalst #enterprise #mining #process: Process Mining as the Superglue Between Data Science and Enterprise Computing (WMPvdA), p. 1.
ICEIS-v1-2014-HayashiK #evaluation: Evaluation of Exclusive Data Allocation Between SSD Tier and SSD Cache in Storage Systems (SH, NK), pp. 144–151.
ICEIS-v1-2014-PequenoG #integration #relational #specification: Specifying Complex Correspondences Between Relational Schemas in a Data Integration Environment (VMP, HG), pp. 18–29.
ICEIS-v3-2014-BenaijaK #risk management: Trade off Between Risk Management, Value Creation and Strategic Alignment in Project Portfolio Management (KB, LK), pp. 447–452.
CIKM-2014-WilkieA #analysis #bias #performance #retrieval: A Retrievability Analysis: Exploring the Relationship Between Retrieval Bias and Retrieval Performance (CW, LA), pp. 81–90.
ICML-c2-2014-KingmaW #performance: Efficient Gradient-Based Inference through Transformations between Bayes Nets and Neural Nets (DPK, MW), pp. 1782–1790.
ICPR-2014-EscolanoH #graph: The Mutual Information between Graphs (FE, ERH), pp. 94–99.
ICPR-2014-GilaniM #3d #difference #perspective #women: Perceptual Differences between Men and Women: A 3D Facial Morphometric Perspective (SZG, ASM), pp. 2413–2418.
ICPR-2014-HafnerLUW #classification: Bridging the Resolution Gap between Endoscope Types for a Colonic Polyp Classification (MH, ML, AU, GW), pp. 2739–2744.
ICPR-2014-ZhaoTHTY #comparison #performance #segmentation: A Performance Comparison between Circular and Spline-Based Methods for Iris Segmentation (YZ, CT, XH, AOT, RY), pp. 351–356.
KDD-2014-GhoshTLY #community #difference #network: The interplay between dynamics and networks: centrality, communities, and cheeger inequality (RG, SHT, KL, XY), pp. 1406–1415.
KDD-2014-Yoshida #adaptation #algorithm #linear #sketching #using: Almost linear-time algorithms for adaptive betweenness centrality using hypergraph sketches (YY), pp. 1416–1425.
KDIR-2014-SourourL #information retrieval #query: Association Rules Between Terms Appreciated by EII for Query Expansion in IR (BRS, CL), pp. 381–387.
KMIS-2014-Bures #aspect-oriented #case study #difference #xml: Technical Aspects of XML Format — Case Study — Differences between Saving Data into Element and Attribute (OB), pp. 354–359.
KMIS-2014-Muthaiyah #implementation #information management #theory and practice: Knowledge Management Technology Implementation — Bridging the Gap between Theory and Practice (SM), pp. 393–399.
SEKE-2014-ChenX #automation #consistency #mobile #towards #web: Towards Automatic Consistency Checking between Web Application and its Mobile Application (XC, ZX), pp. 53–58.
SEKE-2014-DalliloAF #approach #multi #process: Making the link between strategy and process model collections: a multi-layered approach (FD, JPdA, MF), pp. 387–392.
SEKE-2014-MaranAO #database #ontology #question #ubiquitous: Are The Integrations Between Ontologies and Databases Really Opening the Closed World in Ubiquitous Computing ? (VM, IA, JPMdO), pp. 453–458.
SEKE-2014-VianaCS #analysis #information management: Knowledge Transfer between Senior and Novice Software Engineers: A Qualitative Analysis (DV, TC, CRBdS), pp. 235–240.
SIGIR-2014-ColeHBS #information management #process: Discrimination between tasks with user activity patterns during information search (MJC, CH, NJB, CS), pp. 567–576.
SIGIR-2014-GolbusA #difference #modelling #on the #retrieval #standard: On the information difference between standard retrieval models (PBG, JAA), pp. 1135–1138.
SIGIR-2014-RaiberK14a #clustering #correlation #effectiveness #retrieval #testing: The correlation between cluster hypothesis tests and the effectiveness of cluster-based retrieval (FR, OK), pp. 1155–1158.
SIGIR-2014-SchoenherrW #health #interactive: Interactions between health searchers and search engines (GPS, RWW), pp. 143–152.
ECOOP-2014-AnconaC #induction #object-oriented #type system: Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages (DA, AC), pp. 282–307.
ECOOP-2014-MayerS #automation #domain-specific language #framework #java #multi #refactoring: Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks (PM, AS), pp. 437–462.
ECOOP-2014-ScherrC #staging: Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep Embedding (MS, SC), pp. 385–410.
SAC-2014-OhK #architecture #requirements #traceability: A hierarchical model for traceability between requirements and architecture (JO, SK), pp. 1035–1042.
ICSE-2014-AndroutsopoulosCDHH #analysis #fault #testing: An analysis of the relationship between conditional entropy and failed error propagation in software testing (KA, DC, HD, RMH, MH), pp. 573–583.
ISSTA-2014-NejatiB #constraints #cpu #identification #trade-off #using: Identifying optimal trade-offs between CPU time usage and temporal constraints using search (SN, LCB), pp. 351–361.
RTA-TLCA-2014-CreusG14a #automaton #constraints: Tree Automata with Height Constraints between Brothers (CC, GG), pp. 149–163.
SAT-2014-CreusFG #automation #evaluation #problem #reduction: Automatic Evaluation of Reductions between NP-Complete Problems (CC, PF, GG), pp. 415–421.
ECSA-2013-LytraTZ #architecture #component #consistency #design #modelling #reuse: Supporting Consistency between Architectural Design Decisions and Component Models through Reusable Architectural Knowledge Transformations (IL, HT, UZ), pp. 224–239.
DATE-2013-GoultiaevaSB: Bridging the gap between dual propagation and CNF-based QBF solving (AG, MS, AB), pp. 811–814.
DATE-2013-KleefMLMTBSM #interface #multi: Cyborg insects, neural interfaces and other things: building interfaces between the synthetic and the multicellular (JVK, TM, PL, RM, RT, TB, HS, MMM), p. 1546.
DATE-2013-WangYWZ #3d #configuration management #manycore #network: 3D reconfigurable power switch network for demand-supply matching between multi-output power converters and many-core microprocessors (KW, HY, BW, CZ), pp. 1643–1648.
ICDAR-2013-JunaidiGFV #modelling #statistics: Statistical Modeling of the Relation between Characters and Diacritics in Lampung Script (AJ, RG, GAF, SV), pp. 663–667.
CSEET-2013-NgH #education #framework #industrial #named #re-engineering: Essence: A framework to help bridge the gap between software engineering education and industry needs (PWN, SH), pp. 304–308.
ITiCSE-2013-Luxton-ReillyDKTY #difference #on the #student: On the differences between correct student solutions (ALR, PD, DK, EDT, SYY), pp. 177–182.
CSMR-2013-JaafarHGHA #empirical #evolution #on the: On the Relationship between Program Evolution and Fault-Proneness: An Empirical Study (FJ, SH, YGG, SH, BA), pp. 15–24.
CSMR-2013-SabanePAG #case study #cost analysis #testing: A Study on the Relation between Antipatterns and the Cost of Class Unit Testing (AS, MDP, GA, YGG), pp. 167–176.
ICSM-2013-MorenoBHM #debugging #on the #source code: On the Relationship between the Vocabulary of Bug Reports and Source Code (LM, WB, SH, AM), pp. 452–455.
WCRE-2013-JaafarGHK #anti #dependence #mining: Mining the relationship between anti-patterns dependencies and fault-proneness (FJ, YGG, SH, FK), pp. 351–360.
WCRE-2013-SmithsonEAKB #correctness #trade-off: Static binary rewriting without supplemental information: Overcoming the tradeoff between coverage and correctness (MS, KE, KA, AK, RB), pp. 52–61.
WCRE-2013-TeytonFB #automation #library: Automatic discovery of function mappings between similar libraries (CT, JRF, XB), pp. 192–201.
PEPM-2013-Garcia-PerezN #functional #reduction #semantics: A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers (ÁGP, PN), pp. 107–116.
DLT-J-2012-HanKS13 #context-free grammar #regular expression: The Edit-Distance between a Regular Language and a Context-Free Language (YSH, SKK, KS), pp. 1067–1082.
CIAA-2013-HanKS #approximate #automaton #context-free grammar #finite: Approximate Matching between a Context-Free Grammar and a Finite-State Automaton (YSH, SKK, KS), pp. 146–157.
ICALP-v2-2013-BartheO #composition #difference #logic #privacy #probability #relational #source code #theorem: Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs (GB, FO), pp. 49–60.
LATA-2013-ChatterjeeCR #how: How to Travel between Languages (KC, SC, SR), pp. 214–225.
IFL-2013-GijzelN #framework #implementation #modelling #towards #verification: Towards a framework for the implementation and verification of translations between argumentation models (BvG, HN), p. 93.
GCM-J-2012-Radke #graph #higher-order #monad: HR* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas (HR).
CHI-2013-FanISMWIFT #feedback: Reality jockey: lifting the barrier between alternate realities through audio and haptic feedback (KF, HI, YS, KM, SW, MI, NF, ST), pp. 2557–2566.
CHI-2013-HuangF #crowdsourcing #exclamation #social: Don’t hide in the crowd!: increasing social transparency between peer workers improves crowdsourcing outcomes (SWH, WTF), pp. 621–630.
CHI-2013-JacobsBSGPG #what: A conversation between trees: what data feels like in the forest (RJ, SB, MS, MG, DP, GG), pp. 129–138.
CHI-2013-McPhersonGS: The space between the notes: adding expressive pitch control to the piano keyboard (APM, AG, AMS), pp. 2195–2204.
CHI-2013-RauARR #design #interactive #learning #why: Why interactive learning environments can have it all: resolving design conflicts between competing goals (MAR, VA, NR, SR), pp. 109–118.
CHI-2013-WycheC #design #how #quote: “I want to imagine how that place looks”: designing technologies to support connectivity between africans living abroad and home (SW, MC), pp. 2755–2764.
CSCW-2013-KazakosHV #product line: Revisiting the relationship between reunion and technology-mediated separation in periodically transitioning families (KK, SH, FV), pp. 1157–1168.
CSCW-2013-LampeVE #interactive #social: Users and nonusers: interactions between levels of adoption and social capital (CL, JV, NBE), pp. 809–820.
CSCW-2013-PanTLZLFDW: An exploration on long-distance communications between left-behind children and their parents in China (LP, FT, FL, X(Z, YL, WF, GD, HW), pp. 1147–1156.
DHM-HB-2013-NakamuraKOOHNAKMK #artificial reality #learning #self #student #towards #using: The Relationship between Nursing Students’ Attitudes towards Learning and Effects of Self-learning System Using Kinect (MN, YK, JO, TO, ZH, AN, KA, NK, JM, MKP), pp. 111–116.
DHM-SET-2013-BerberianSC: Causal Attribution and Control: Between Consciousness and Psychical Half-Shadow Application to Flight Operations (BB, JCS, LC), pp. 11–20.
DUXU-CXC-2013-CarvalhoSNM #analysis #comparative #game studies #interactive #usability: Interactive Doodles: A Comparative Analysis of the Usability and Playability of Google Trademark Games between 2010 and 2012 (BJAdC, MMS, AMMdN, RPM), pp. 508–517.
DUXU-CXC-2013-Marache-FranciscoB #design #gamification #persuasion #visual notation: Perception of Gamification: Between Graphical Design and Persuasive Design (CMF, EB), pp. 558–567.
DUXU-CXC-2013-ThianthaiZ #enterprise #gamification: Bridging the Gap between Consumer and Enterprise Applications through Gamification (TT, BZ), pp. 602–607.
DUXU-CXC-2013-Wang13b #interactive: The Interactive Media between Human and the Sacred — An Example for Taiwanese Spiritual Practice (PFW), pp. 121–128.
DUXU-NTE-2013-CaladoSCC #artificial reality #bibliography #case study #interactive #perspective: Virtual Reality Applied to the Study of the Interaction between the User and the Built Space: A Literature Review (AVSC, MMS, FC, WC), pp. 345–351.
DUXU-NTE-2013-ChuangH #case study #difference: A Study on Time Differences between Actual Advertisement Viewing and Retrospective Perception (MHC, CH), pp. 455–464.
DUXU-NTE-2013-TalligHE: Border Crosser — A Robot as Mediator between the Virtual and Real World (AT, WH, ME), pp. 411–418.
DUXU-WM-2013-TsengLL: The Relationship between Preference and Stare Duration on Bicycle (JHT, DBL, ZHL), pp. 450–456.
HCI-AMTE-2013-FuglerudS #design: The Link between Inclusive Design and Innovation: Some Key Elements (KSF, DS), pp. 41–50.
HCI-AMTE-2013-ShikanaiH #comparison: Comparison of Kansei Information between Joyful and Happy Expressions in Dance (NS, KH), pp. 611–619.
HCI-AS-2013-EshraghiERYEMH #case study: Study on Relationship between Foot Pressure Pattern and Hallux Valgus (HV) Progression (SE, IIE, PR, MY, ME, AM, SH), pp. 76–83.
HCI-AS-2013-HuaG #comprehension #difference #evaluation #predict #protocol #safety #usability: Usability Evaluation of a Voluntary Patient Safety Reporting System: Understanding the Difference between Predicted and Observed Time Values by Retrospective Think-Aloud Protocols (LH, YG), pp. 94–100.
HCI-III-2013-BlezingerSH #concept #human-computer: Unifying Conceptual and Spatial Relationships between Objects in HCI (DB, AFgS, CH), pp. 10–18.
HCI-IMT-2013-PappuSSR #interactive #multi: Situated Multiparty Interaction between Humans and Agents (AP, MS, SS, AIR), pp. 107–116.
HCI-IMT-2013-SakamotoTT #music #using: A Method for Discussing Musical Expression between Music Ensemble Players Using a Web-Based System (TS, ST, JT), pp. 730–739.
HCI-UC-2013-Herberhold #enterprise #interactive #resource management: Interaction between Enterprise Resource Planning Systems and Organizational Culture (CH), pp. 381–387.
HIMI-D-2013-ChiuWT: The Relationship Between Handlebar and Saddle Heights on Cycling Comfort (MCC, HCW, NTT), pp. 12–19.
HIMI-D-2013-KoedaKN #estimation: Relative Position Calibration between Two Haptic Devices Based on Minimum Variance Estimation (MK, YK, HN), pp. 72–79.
HIMI-D-2013-McCaryZ #comparison #performance #user interface: GUI Efficiency Comparison Between Windows and Mac (EM, JZ), pp. 97–106.
HIMI-HSM-2013-Campbell #safety #simulation #using: Safety Culture: An Examination of the Relationship between a Safety Management System and Pilot Judgment Using Simulation in Aeronautics (SAC), pp. 453–459.
HIMI-HSM-2013-HeinCCMLG #coordination #simulation: Developing a High-Fidelity Simulation and Training to Improve Coordination between Aerospace Specializations (MH, PC, PC, RM, GL, AG), pp. 66–75.
HIMI-HSM-2013-KinoeOS #communication #design #product line: Qualitative Study for Designing Peripheral Communication between Hospitalized Children and Their Family Members (YK, CO, YS), pp. 275–284.
HIMI-HSM-2013-WadaNS #approach: Approach to Haptic Guidance Control in Steering Operation Based on Cooperative States between Driver and Control System (TW, RN, SS), pp. 596–605.
HIMI-LCCB-2013-OhtaK #motivation: The Relationship between Kansei Scale for Uniqueness of Products and Purchase Motivation (YO, KK), pp. 521–530.
ICEIS-v1-2013-Pankowski #knowledge base #relational #web: Data Exchange between Relational Knowledge Bases in the Web of Data (TP), pp. 304–309.
ICEIS-v1-2013-PiazzaR #implementation #modelling #multi #problem: Bridging the Gap between Multidimensional Business Problem Formulation and the Implementation of Multidimensional Data Models (FP, FR), pp. 79–87.
ICEIS-v2-2013-Baina #anti #information management: Organisation, and Information Systems between Formal and Informal — Continuum, Balance, Patterns, and Anti-patterns (KB), pp. 85–93.
ICEIS-v2-2013-EomA #testing: Developing and Testing a Model to Understand Relationships between e-Learning Outcomes and Human Factors (SBE, NJA), pp. 361–370.
ECIR-2013-WilkieA: An Initial Investigation on the Relationship between Usage and Findability (CW, LA), pp. 808–811.
KDIR-KMIS-2013-Eardley #information management #learning: Negotiated Work-based Learning and Organisational Learning — The Relationship between Individual and Organisational Knowledge Management (AE), pp. 1–5.
KDIR-KMIS-2013-VickN #generative #perspective: Relations between Information Literacy and Knowledge Generation in Innovation Teams — A Four Dimensional Perspective (TEV, MSN), pp. 437–442.
KEOD-2013-Cruz-FilipeNG #logic programming #multi #ontology #source code: Patterns for Interfacing between Logic Programs and Multiple Ontologies (LCF, IN, GG), pp. 58–69.
KEOD-2013-WaldsteinWH #lightweight #ontology #parametricity: Lightweight Ontologies in Context — Relationship between Ontology Characteristics and Context Parameters (IW, ROW, NH), pp. 308–315.
SEKE-2013-TerraBMVSCB #similarity #source code: Measuring the Structural Similarity between Source Code Entities (S) (RT, JB, LFM, MTV, DS, DC, RdSB), pp. 753–758.
ICMT-2013-RestWSSV #editing #realtime #robust #visual notation: Robust Real-Time Synchronization between Textual and Graphical Editors (OvR, GW, JRHS, JGS, EV), pp. 92–107.
Onward-2013-McCorkle #physics: Building connections between theories of computing and physical systems (ELM), pp. 153–172.
PPDP-2013-KrienerKB #coq #prolog #proving #semantics: Proofs you can believe in: proving equivalences between Prolog semantics in Coq (JK, AK, SB), pp. 37–48.
PPDP-2013-SimmonsZ #automaton #logic #semantics: A logical correspondence between natural semantics and abstract machines (RJS, IZ), pp. 109–119.
ER-BR-2013-AlvesSC #integration #modelling #process: A bi-directional integration between i* and BPMN models in the context of business process management: A position paper (RA, CTLLS, JC).
REFSQ-2013-Bjarnason #development #process #requirements: Distances between Requirements Engineering and Later Software Development Activities: A Systematic Map (EB), pp. 292–307.
REFSQ-2013-CallelePW #identification #interface #requirements #risk management: Risk Identification at the Interface between Business Case and Requirements (DC, BP, KW), pp. 253–268.
SAC-2013-FazioR #comparison #network: Spatial interpolation: an analytical comparison between kriging and RBF networks (VSF, MR), pp. 2–7.
SAC-2013-HorieS #difference: Extracting differences between regular tree grammars (KH, NS), pp. 859–864.
SAC-2013-SalgadoMM #modelling #perspective #requirements: Modeling the alignment between business and IS/IT: a requirements engineering perspective (CS, RJM, RSPM), pp. 1309–1311.
ICSE-2013-DeRose #development: The connection between movie making and software development (keynote) (TD), p. 856.
ICSE-2013-GokhaleGP #api: Inferring likely mappings between APIs (AG, VG, YP), pp. 82–91.
ICSE-2013-RahmanARP #case study #on the: On the relationships between domain-based coupling and code clones: an exploratory study (MSR, AA, CKR, FP), pp. 1265–1268.
ICSE-2013-SumnerZ #comparative #difference: Comparative causality: explaining the differences between executions (WNS, XZ), pp. 272–281.
ICSE-2013-ZhangH0RM #testing: Bridging the gap between the total and additional test-case prioritization strategies (LZ, DH, LZ, GR, HM), pp. 192–201.
SPLC-2013-DumitrescuMSD #experience #modelling #product line #variability: Bridging the gap between product lines and systems engineering: an experience in variability management for automotive model based systems engineering (CD, RM, CS, AD), pp. 254–263.
SPLC-2013-LinsbauerLE #traceability: Recovering traceability between features and code in product variants (LL, RELH, AE), pp. 131–140.
SPLC-2013-TsuchiyaKWKFY #requirements #source code #traceability: Recovering traceability links between requirements and source code in the same series of software products (RT, TK, HW, MK, YF, KY), pp. 121–130.
PPoPP-2013-PrountzosP #algorithm #implementation: Betweenness centrality: algorithms and implementations (DP, KP), pp. 35–46.
RTA-2013-FujitaS #decidability: Decidable structures between Church-style and Curry-style (KeF, AS), pp. 190–205.
SAT-2013-Atserias #algebra #bound #problem #proving: The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi-algebraic Proofs (AA), pp. 1–17.
SAT-2013-Gableske #heuristic #message passing #on the #satisfiability: On the Interpolation between Product-Based Message Passing Heuristics for SAT (OG), pp. 293–308.
TLCA-2013-SeveriV #modelling #source code: Completeness of Conversion between Reactive Programs for Ultrametric Models (PS, FJdV), pp. 221–235.
CBSE-2012-AboudCGA #component #modelling #semantics: Semantic mappings between service, component and agent models (NAA, EC, EG, PA), pp. 29–34.
WICSA-ECSA-2012-GhabiE #architecture #modelling #nondeterminism #traceability: Exploiting Traceability Uncertainty between Architectural Models and Code (AG, AE), pp. 171–180.
DATE-2012-EllenEO #automation #development #embedded #process #safety: Automatic transition between structural system views in a safety relevant embedded systems development process (CE, CE, MO), pp. 820–823.
DATE-2012-WuLMC #approach #correlation: Mitigating lifetime underestimation: A system-level approach considering temperature variations and correlations between failure mechanisms (KCW, MCL, DM, SCC), pp. 1269–1274.
ITiCSE-2012-Oliveira #correlation #performance #statistics #student: Statistical evidence of the correlation between mental ability to compute and student performance in undergraduate courses (OLO), pp. 111–115.
CSMR-2012-CoutoSVBA #debugging #metric: Uncovering Causal Relationships between Software Metrics and Bugs (CC, CS, MTV, RdSB, NA), pp. 223–232.
CSMR-2012-LytraTZ #architecture #component #consistency #constraints #design #evolution #modelling: Constraint-Based Consistency Checking between Design Decisions and Component Models for Supporting Software Architecture Evolution (IL, HT, UZ), pp. 287–296.
CSMR-2012-Varro #maintenance #model transformation: Keynote 2: A Bridge Over Troubled Water — Synergies between Model Transformation and Software Maintenance Techniques (DV), pp. 5–6.
DLT-2012-HanKS #context-free grammar #regular expression: Computing the Edit-Distance between a Regular Language and a Context-Free Language (YSH, SKK, KS), pp. 85–96.
ICGT-2012-GolasLEG #flexibility #formal method #graph grammar #towards: Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars — Flexible Relations between Source and Target Elements (UG, LL, HE, HG), pp. 141–155.
CHI-2012-HourcadeDH #communication #multi: Supporting face-to-face communication between clinicians and children with chronic headaches through a zoomable multi-touch app (JPH, MD, KEH), pp. 2609–2618.
CHI-2012-VoidaHA #coordination #social #volunteer: Bridging between organizations and the public: volunteer coordinators’ uneasy relationship with social computing (AV, EH, BAA), pp. 1967–1976.
CHI-2012-ZiemkiewiczGL #analysis #graph #visualisation: Analysis within and between graphs: observed user strategies in immunobiology visualization (CZ, SRG, DHL), pp. 1655–1658.
CSCW-2012-SmithNLLB #communication: Going to college and staying connected: communication between college freshmen and their parents (MES, DTN, CL, GL, EPSB), pp. 789–798.
CSCW-2012-StollEF #network: Between us and them: building connectedness within civic networks (JS, WKE, KAF), pp. 237–240.
AdaEurope-2012-PoonCT #classification: Choices, Choices: Comparing between CHOC’LATE and the Classification-Tree Methodology (PLP, TYC, THT), pp. 162–176.
ICEIS-v1-2012-KosorusBK #query #semantics #similarity #taxonomy #using: Semantic Similarity between Queries in QA System using a Domain-specific Taxonomy (HK, AB, JK), pp. 241–246.
ICEIS-v3-2012-CaronV #design #enterprise #information management #paradigm #process: Moving Across Paradigms between the Process Design and Enactment Phase in Enterprise Information Systems (FC, JV), pp. 218–223.
CIKM-2012-ChenHZAHP #category theory #modelling #semantics #visual notation: Modeling semantic relations between visual attributes and object categories via dirichlet forest prior (XC, XH, ZZ, YA, TH, EKP), pp. 1263–1272.
CIKM-2012-KimZRDHCL #mining #named #topic: InCaToMi: integrative causal topic miner between textual and non-textual time series data (HDK, CZ, TAR, DD, MH, MC, CCL), pp. 2689–2691.
CIKM-2012-LiuW #analysis #on the #semantics: On the connections between explicit semantic analysis and latent semantic analysis (CL, YMW), pp. 1804–1808.
CIKM-2012-TalukdarWM #constraints: Acquiring temporal constraints between relations (PPT, DTW, TMM), pp. 992–1001.
CIKM-2012-YanWLZCL #image #summary #timeline #visualisation: Visualizing timelines: evolutionary summarization via iterative reinforcement between text and image streams (RY, XW, ML, WXZ, PJC, XL), pp. 275–284.
ICML-2012-BachLO #algorithm #equivalence #on the: On the Equivalence between Herding and Conditional Gradient Algorithms (FRB, SLJ, GO), p. 176.
ICPR-2012-BurghoutsS #correlation #detection: Correlations between 48 human actions improve their detection (GJB, KS), pp. 3815–3818.
ICPR-2012-ChandraJ #kernel #sequence #video: Partial Least Squares kernel for computing similarities between video sequences (SC, CVJ), pp. 513–516.
ICPR-2012-ChaudhuriM #on the: On the relation between K-means and PLSA (ARC, MNM), pp. 2298–2301.
ICPR-2012-ConnollyGS #classification #correlation #on the: On the correlation between genotype and classifier diversity (JFC, EG, RS), pp. 1068–1071.
ICPR-2012-ZhangL #detection #using: Arbitrarily oriented text detection using geodesic distances between corners and skeletons (YZ, JL), pp. 1896–1899.
MLDM-2012-KhanCDE #3d #case study #correlation #incremental #symmetry: Finding Correlations between 3-D Surfaces: A Study in Asymmetric Incremental Sheet Forming (MSK, FC, CD, SES), pp. 366–379.
MLDM-2012-WangYL #corpus: Measuring the Dynamic Relatedness between Chinese Entities Orienting to News Corpus (ZW, JY, XL), pp. 631–644.
SIGIR-2012-LimSG #on the #trade-off: On the mathematical relationship between expected n-call@k and the relevance vs. diversity trade-off (KWL, SS, SG), pp. 1117–1118.
ECMFA-2012-YueA #case study #industrial #non-functional #requirements #state machine #testing: Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies (TY, SA), pp. 133–145.
SAC-2012-HijikataKN #recommendation #user satisfaction: The relation between user intervention and user satisfaction for information recommendation (YH, YK, SN), pp. 2002–2007.
SAC-2012-SardinhaYNR #aspect-oriented #identification #named #traceability: EA-tracer: identifying traceability links between code aspects and early aspects (AS, YY, NN, AR), pp. 1035–1042.
SAC-2012-ZhangI #protocol #trust #web #web service #xml: An XML-based protocol for improving trust negotiation between Web Services (YZ, TI), pp. 1947–1954.
SAC-2012-ZhaoLCSS #information management #modelling #process #question: Can business process modeling bridge the gap between business and information systems? (LZ, KL, EVC, SdFMS, PS), pp. 1723–1724.
FSE-2012-BeyerHKW #model checking #verification: Conditional model checking: a technique to pass information between verifiers (DB, TAH, MEK, PW), p. 57.
FSE-2012-NguyenNNN #approach #debugging #multi: Multi-layered approach for recovering links between bug reports and fixes (ATN, TTN, HAN, TNN), p. 63.
ICSE-2012-DagenaisR #api #learning #traceability: Recovering traceability links between an API and its learning resources (BD, MPR), pp. 47–57.
ICSE-2012-GuzziB #communication: Facilitating communication between engineers with CARES (AG, AB), pp. 1367–1370.
ICSE-2012-Schuchardt #mobile: Moving mobile applications between mobile devices seamlessly (VS), pp. 1595–1598.
ICSE-2012-Shang #developer #using: Bridging the divide between software developers and operators using logs (WS), pp. 1583–1586.
SLE-2012-CombemaleHJBB #execution #metamodelling #modelling: Bridging the Chasm between Executable Metamodeling and Models of Computation (BC, CH, CJ, FB, BB), pp. 184–203.
SPLC-2012-Nuseibeh: The thin line between products (BN), p. 2.
CAV-2012-BogomolovFGLPW #analysis #distance #reachability: A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx (SB, GF, RG, HL, AP, MW), pp. 479–494.
ICST-2012-TonellaMNJLH #approximate #execution #modelling: Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs (PT, AM, DCN, YJ, KL, MH), pp. 21–30.
ASE-2011-GhabiE #validation: Observations on the connectedness between requirements-to-code traces and calling relationships for trace validation (AG, AE), pp. 416–419.
CASE-2011-FarautPN #behaviour #equivalence #multi: Equivalence of behaviors between centralized and multi-model approaches (GF, LP, ÉN), pp. 32–38.
DAC-2011-ZinnerNGSW #network: Application and realization of gateways between conventional automotive and IP/ethernet-based networks (HZ, JN, TG, JS, TW), pp. 1–6.
DATE-2011-ChenLH #3d #architecture #towards: Architectural exploration of 3D FPGAs towards a better balance between area and delay (CIC, BCL, JDH), pp. 587–590.
DATE-2011-JhaLMR #simulation #statistics #trade-off #verification: When to stop verification?: Statistical trade-off between expected loss and simulation cost (SKJ, CJL, SM, SR), pp. 1309–1314.
DocEng-2011-KarolNKAM #adaptation #aspect-oriented #detection #multi #xml: Detecting and resolving conflicts between adaptation aspects in multi-staged XML transformations (SK, MN, DK, UA, KM), pp. 229–238.
ICDAR-2011-CoustatyBBL #algorithm #image #ontology #semantic gap #using: Using Ontologies to Reduce the Semantic Gap between Historians and Image Processing Algorithms (MC, AB, KB, GL), pp. 156–160.
ICDAR-2011-ImpedovoP11a #exponential #recognition: Tuning between Exponential Functions and Zones for Membership Functions Selection in Voronoi-Based Zoning for Handwritten Character Recognition (SI, GP), pp. 997–1001.
ICDAR-2011-LinsSS #automation: Automatically Discriminating between Digital and Scanned Photographs (RDL, GdFPeS, SJS), pp. 1280–1284.
SIGMOD-2011-FanLMTY #interactive #program repair: Interaction between record matching and data repairing (WF, JL, SM, NT, WY), pp. 469–480.
VLDB-2012-FangSYB11 #named: REX: Explaining Relationships between Entity Pairs (LF, ADS, CY, PB), pp. 241–252.
CSEET-2011-Skevoulis #industrial #re-engineering: Engineering a successful partnership between academia and the financial industry: A software engineering program for IT professionals (SS), pp. 343–350.
ITiCSE-2011-EckerdalLLS #concept #perspective #programming: Relationship between text and action conceptions of programming: a phenomenographic and quantitative perspective (AE, MJL, ML, AS), pp. 33–37.
ESOP-2011-ParkinsonS #logic: The Relationship between Separation Logic and Implicit Dynamic Frames (MJP, AJS), pp. 439–458.
FASE-2011-ErmelGLT #behaviour #consistency #control flow #functional #modelling: Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior (CE, JG, LL, GT), pp. 156–170.
ICSM-2011-VasilescuSB #case study #metric: You can’t control the unfamiliar: A study on the relations between aggregation techniques for software metrics (BV, AS, MvdB), pp. 313–322.
WCRE-2011-KaushikTM #case study #debugging #testing #traceability: Reconstructing Traceability between Bugs and Test Cases: An Experimental Study (NK, LT, MM), pp. 411–414.
ICALP-v2-2011-AlvimACP #data flow #difference #on the #privacy: On the Relation between Differential Privacy and Quantitative Information Flow (MSA, MEA, KC, CP), pp. 60–76.
ICALP-v2-2011-BenediktPR #cost analysis: The Cost of Traveling between Languages (MB, GP, CR), pp. 234–245.
SEFM-2011-Metayer #formal method: Formal Methods as a Link between Software Code and Legal Rules (DLM), pp. 3–18.
CHI-2011-HartmannDC #named #web: HyperSource: bridging the gap between source and code-related web sites (BH, MD, MKC), pp. 2207–2210.
CHI-2011-SetlockF #communication #interactive: Culture or fluency?: unpacking interactions between culture and communication medium (LDS, SRF), pp. 1137–1140.
CHI-2011-YeeDYN: Do men heal more when in drag?: conflicting identity cues between user and avatar (NY, ND, MY, LN), pp. 773–776.
CSCW-2011-CoughlanACDLR #interactive: Working with “mission control” in scientific fieldwork: supporting interactions between in situ and distanced collaborators (TC, AA, TDC, SJD, JL, YR), pp. 617–620.
DHM-2011-LeiY: Contact Area Determination between a N95 Filtering Facepiece Respirator and a Headform (ZL, J(Y), pp. 119–128.
DUXU-v1-2011-KashiwaseKKFYJ #mobile: Comparisons on Kansei Factors of Attractiveness between Initial and Long Term Use of Mobile Phone (NK, KK, HK, SF, MY, HJ), pp. 593–601.
DUXU-v2-2011-Hsu11b #analysis #design: Analysis of Causal Relationships between Blog Design Criteria (CCH), pp. 13–19.
DUXU-v2-2011-Yang #eye tracking #web: Exploring Cultural Variation in Eye Movements on a Web Page between Americans and Koreans (CY), pp. 68–76.
HCI-DDA-2011-HessMT #interactive #using: Differentiating between Successful and Less Successful Products by Using MAInEEAC — A Model for Interaction Characterization (SH, AM, MT), pp. 238–247.
HCI-DDA-2011-KalwarHP #behaviour #internet: Finding a Relationship between Internet Anxiety and Human Behavior (SKK, KH, JP), pp. 359–367.
HCI-UA-2011-IzuharaYS #communication: Promotion Project for Communication between Artisans and Consumers Supported by Media Technology (RI, SY, SS), pp. 237–244.
HCI-UA-2011-Wang11a #interactive #learning #network #student #tool support #using: Interactions between Human and Computer Networks: EFL College Students Using Computer Learning Tools in Remedial English Classes (ALW), pp. 107–112.
HIMI-v1-2011-InuiYH #interactive: Virtual Interaction between Human and Fabric (SI, AY, YH), pp. 418–424.
HIMI-v1-2011-LifOLHS #multimodal: Multimodal Threat Cueing in Simulated Combat Vehicle with Tactile Information Switching between Threat and Waypoint Indication (PL, PAO, BL, JH, JS), pp. 454–461.
HIMI-v1-2011-OhoriSNI #analysis: Construction of a Model for Discriminating between Electroencephalographic Patterns at the Time of Incorrect Inputs Based on Sensitivity Spectrum Analysis (RO, DS, YN, SI), pp. 618–626.
HIMI-v1-2011-OkuboTT #comparison #complexity: Comparison between Mathematical Complexity and Human Feeling (MO, AT, ST), pp. 132–141.
HIMI-v2-2011-ItouOM #analysis #chat #word: Analysis on Relationship between Smiley and Emotional Word Included in Chat Text (JI, TO, JM), pp. 141–146.
HIMI-v2-2011-OgakiIM #chat #communication #research #visual notation: Research on the Relationships between Visual Entertainment Factor and Chat Communication (TO, JI, JM), pp. 165–170.
HIMI-v2-2011-StegmanLS #comparison #monitoring #performance: A Comparison between Single and Dual Monitor Productivity and the Effects of Window Management Styles on Performance (AS, CL, RLS), pp. 84–93.
IDGD-2011-DingR #network #performance: An Investigation on the Relationship between Informal Networks and Organizational Performance (HD, JR), pp. 490–493.
IDGD-2011-LeeY #education #web: Does Internationalization Have Its Own Face in Each Country? Measuring the Internationalization of Web Presence on Higher Education Admission Web Pages between USA and Taiwan (JL, MY), pp. 524–532.
IDGD-2011-LiuL #complexity #comprehension #performance #towards: Toward Understanding the Relationship between Task Complexity and Task Performance (PL, ZL), pp. 192–200.
OCSC-2011-TsaiHT #network #social: An Investigation into the Social Network between Three Generations in a Household: Bridging the Interrogational Gaps between the Senior and the Youth (THT, YLH, KCT), pp. 277–286.
CAiSE-2011-MoosaviLLP #collaboration #named: ONTECTAS: Bridging the Gap between Collaborative Tagging Systems and Structured Data (AM, TL, LVSL, RP), pp. 436–451.
ICEIS-J-2011-MeisenMSJ11a #adaptation #integration #semantic gap #simulation: Adaptive Information Integration: Bridging the Semantic Gap between Numerical Simulations (TM, PM, DS, SJ), pp. 51–65.
ICEIS-v1-2011-PiTX #communication #peer-to-peer: Solutions for Enabling Communication between Different Proprietary Peer-to-peer Systems (RP, JT, KX), pp. 580–585.
ICEIS-v3-2011-DuLD #comparison #modelling: Comparison Between the Business Modelling Methods Provided by MEASUR and RUP (HD, TL, DD), pp. 432–438.
ICEIS-v4-2011-CuiYZ #analysis #empirical #industrial #social: An Empirical Analysis of the Relationship between Social Consumption Demand Factors and the Cultural Industry in China (LC, HY, HZ), pp. 606–610.
ICEIS-v4-2011-WangZLC #industrial #research: The Research of Supply Chain between Traditional and Electronic Publishing Industry (CW, RZ, DL, WC), pp. 678–684.
ICEIS-v4-2011-ZhangZ11a #algorithm #contest #game studies #performance: Model and Algorithm of Competition Between High-speed Railway and Air Transport — Game Theory Based (JZ, PZ), pp. 563–568.
CIKM-2011-GoncalvesPS #categorisation #difference #logic #ontology #owl: Categorising logical differences between OWL ontologies (RSG, BP, US), pp. 1541–1546.
CIKM-2011-XuZYL #set: Pattern change discovery between high dimensional data sets (YX, ZZ, PSY, BL), pp. 1097–1106.
KDD-2011-ValizadeganJW #learning #multi #predict: Learning to trade off between exploration and exploitation in multiclass bandit prediction (HV, RJ, SW), pp. 204–212.
KDIR-2011-KharratJG #multi #semantics: Semantic Relationships between Multimedia Resources (MK, AJ, FG), pp. 342–347.
KDIR-2011-MallJP #correlation #detection: Detecting Correlations between Hot Days in News Feeds (RM, NJ, VP), pp. 375–378.
KEOD-2011-YanZR #design #distance #semantics: An Application of Semantic Distance between Short Texts to Inventive Design (WY, CZM, FR), pp. 261–266.
KMIS-2011-GesquiereMN #approach #multi #semantics: Interoperability between GIS and BIM — A Semantic-based Multi-representation Approach (GG, CM, CN), pp. 359–362.
KMIS-2011-KrainesG #research #semantics #similarity: Calculating Semantic Similarity between Computer-understandable Descriptors of Scientific Research (SBK, WG), pp. 146–151.
KMIS-2011-VirtaW #information management #what: Sharing What You Know, Building Expertise — Information Sharing between Generations in a Business Organization (MV, GW), pp. 129–135.
MLDM-2011-AttigP #biology #comparison #image #random #set: A Comparison between Haralick’s Texture Descriptor and the Texture Descriptor Based on Random Sets for Biological Images (AA, PP), pp. 524–538.
MLDM-2011-CelibertoM #learning: Investigation in Transfer Learning: Better Way to Apply Transfer Learning between Agents (LACJ, JPM), pp. 210–223.
SEKE-2011-AhmedNG #metric: Cyclic Association Rules: Coupling Between Dimensions With Measures (EBA, AN, FG), pp. 379–384.
SEKE-2011-Amasaki #case study #consistency #estimation #linear #nondeterminism #performance: A Study on Performance Inconsistency between Estimation by Analogy and Linear Regression (SA), pp. 485–488.
SEKE-2011-MoserWHB #analysis #automation #detection #empirical #requirements #semantics: Automating the Detection of Complex Semantic Conflicts between Software Requirements (An empirical study on requirements conflict analysis with semantic technology) (TM, DW, MH, SB), pp. 729–735.
MoDELS-2011-ClavreulMBF #architecture #behaviour #modelling: Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior (MC, SM, MBF, RBF), pp. 289–303.
MoDELS-2011-FleureyMSB: MDE to Manage Communications with and between Resource-Constrained Systems (FF, BM, AS, OB), pp. 349–363.
MoDELS-2011-ClavreulMBF #architecture #behaviour #modelling: Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior (MC, SM, MBF, RBF), pp. 289–303.
MoDELS-2011-FleureyMSB: MDE to Manage Communications with and between Resource-Constrained Systems (FF, BM, AS, OB), pp. 349–363.
QAPL-2011-TracolDZ #automaton #probability: Computing Distances between Probabilistic Automata (MT, JD, AZ), pp. 148–162.
POPL-2011-HurD #assembly #logic #ml: A kripke logical relation between ML and assembly (CKH, DD), pp. 133–146.
RE-2011-MarczakD #collaboration #communication #how #interactive: How interaction between roles shapes the communication structure in requirements-driven collaboration (SM, DD), pp. 47–56.
RE-2011-UbayashiKHT #analysis #bound #embedded: A context analysis method for embedded systems — Exploring a requirement boundary between a system and its context (NU, YK, MH, TT), pp. 143–152.
SAC-2011-EbraertSJ #design #diagrams #feature model #implementation: Change-based FODA diagrams: bridging the gap between feature-oriented design and implementation (PE, QDS, DJ), pp. 1345–1352.
SAC-2011-LucenaCSAS #architecture #modelling #named #requirements: Stream: a strategy for transition between requirements models and architectural models (ML, JC, CTLLS, FMRA, ES), pp. 699–704.
SAC-2011-TsaiCHH #api #mobile #reduction #rest: Transmission reduction between mobile phone applications and RESTful APIs (CLT, HWC, JLH, CLH), pp. 445–450.
ESEC-FSE-2011-WuZKC #debugging #named: ReLink: recovering links between bugs and changes (RW, HZ, SK, SCC), pp. 15–25.
GTTSE-2011-PfeifferW #component #interface: Tengi Interfaces for Tracing between Heterogeneous Components (RHP, AW), pp. 431–447.
ICSE-2011-LiKZJNMK #difference: Characterizing the differences between pre- and post- release versions of software (PLL, RK, ZZ, SeJ, NN, BM, AJK), pp. 716–725.
ICSE-2011-NohrerRE #consistency #effectiveness #nondeterminism: Positive effects of utilizing relationships between inconsistencies for more effective inconsistency resolution (AN, AR, AE), pp. 864–867.
HPDC-2011-ChenWZSLZ #in the cloud #trade-off: Tradeoffs Between Profit and Customer Satisfaction for Service Provisioning in the Cloud (JC, CW, BBZ, LS, YCL, AYZ), pp. 229–238.
ISMM-2011-MajoG #manycore #memory management: Memory management in NUMA multicore systems: trapped between cache contention and interconnect overhead (ZM, TRG), pp. 11–20.
CADE-2011-ClaessenLS #first-order #logic: Sort It Out with Monotonicity — Translating between Many-Sorted and Unsorted First-Order Logic (KC, AL, NS), pp. 207–221.
CADE-2011-Ranta #logic #what: Translating between Language and Logic: What Is Easy and What Is Difficult (AR), pp. 5–25.
ICLP-J-2011-BoneSS #automation #parallel: Estimating the overlap between dependent computations for automatic parallelization (PB, ZS, PS), pp. 575–591.
ICST-2011-ZimmermannNHPW #dependence #empirical: An Empirical Study on the Relation between Dependency Neighborhoods and Failures (TZ, NN, KH, RP, LW), pp. 347–356.
SAT-2011-RamosTH: Between Restarts and Backjumps (AR, PvdT, MH), pp. 216–229.
CBSE-2010-SuryadevaraKSP #embedded #modelling #semantic gap: Bridging the Semantic Gap between Abstract Models of Embedded Systems (JS, EYK, CCS, PP), pp. 55–73.
ECSA-2010-KamalA #design pattern #mining: Mining Relationships between the Participants of Architectural Patterns (AWK, PA), pp. 401–408.
ASE-2010-Chen #documentation #source code #traceability #visualisation: Extraction and visualization of traceability relationships between documents and source code (XC), pp. 505–510.
CASE-2010-AllenT #consistency #detection #fault #industrial #nondeterminism: Event-based fault detection of manufacturing cell: Data inconsistencies between academic assumptions and industry practice (LVA, DMT), pp. 426–432.
CASE-2010-MehtaPD #approach #similarity: An approach to compute similarity between engineering changes (CM, LP, DD), pp. 332–337.
DATE-2010-AlpaslanDKMHW #simulation: NIM- a noise index model to estimate delay discrepancies between silicon and simulation (EA, JD, BK, AKM, WMH, PvdW), pp. 1373–1376.
DATE-2010-MischkallaH0 #modelling #simulation #synthesis #uml: Closing the gap between UML-based modeling, simulation and synthesis of combined HW/SW systems (FM, DH, WM), pp. 1201–1206.
DATE-2010-RoxE #correlation: Exploiting inter-event stream correlations between output event streams of non-preemptively scheduled tasks (JR, RE), pp. 226–231.
DocEng-2010-QuintRSV #editing: From templates to schemas: bridging the gap between free editing and safe data processing (VQ, CR, SS, CV), pp. 61–64.
HT-2010-GasslerZTS #named #recommendation #using: SnoopyDB: narrowing the gap between structured and unstructured information using recommendations (WG, EZ, MT, GS), pp. 271–272.
VLDB-2010-DongBHS #detection: Global Detection of Complex Copying Relationships Between Sources (XD, LBE, YH, DS), pp. 1358–1369.
FoSSaCS-2010-AcciaiBZ #behaviour #logic #on the #simulation: On the Relationship between Spatial Logics and Behavioral Simulations (LA, MB, GZ), pp. 146–160.
FoSSaCS-2010-MurawskiT: Block Structure vs. Scope Extrusion: Between Innocence and Omniscience (ASM, NT), pp. 33–47.
ICPC-2010-AversanoMT #component #process #traceability: Recovering Traceability Links between Business Process and Software System Components (LA, FM, MT), pp. 52–53.
ICPC-2010-Elish #case study #design #metric: Exploring the Relationships between Design Metrics and Package Understandability: A Case Study (MOE), pp. 144–147.
ICSM-2010-QusefOL #testing #traceability: Recovering traceability links between unit tests and classes under test: An improved method (AQ, RO, ADL), pp. 1–10.
MSR-2010-KrinkeGJB #gnome: Cloning and copying between GNOME projects (JK, NG, YJ, DB), pp. 98–101.
PASTE-2010-Rubio-GonzalezL #documentation #fault: Expect the unexpected: error code mismatches between documentation and the real world (CRG, BL), pp. 73–80.
PEPM-2010-MossP #implementation #performance: Bridging the gap between symbolic and efficient AES implementations (AM, DP), pp. 101–110.
DLT-J-2008-HolubN10 #finite #on the #word: On the Relation between Periodicity and Unbordered Factors of Finite Words (SH, DN), pp. 633–645.
DLT-2010-Rigo #formal method: Numeration Systems: A Link between Number Theory and Formal Language Theory (MR), pp. 33–53.
ICALP-v1-2010-ShpilkaV #on the #polynomial #testing: On the Relation between Polynomial Identity Testing and Finding Variable Disjoint Factors (AS, IV), pp. 408–419.
LATA-2010-Neary #bound: A Boundary between Universality and Non-universality in Extended Spiking Neural P Systems (TN), pp. 475–487.
CSCW-2010-BreuPSZ #debugging #developer: Information needs in bug reports: improving cooperation between developers and users (SB, RP, JS, TZ), pp. 301–310.
CSCW-2010-TomaH #online: Reading between the lines: linguistic cues to deception in online dating profiles (CLT, JTH), pp. 5–8.
SOFTVIS-2010-ChengTWH #animation #automation #debugging #named: xDIVA: automatic animation between debugging break points (YPC, HYT, CSW, CHH), pp. 221–222.
CAiSE-2010-WeidlichDM #framework #identification #modelling #process: The ICoP Framework: Identification of Correspondences between Process Models (MW, RMD, JM), pp. 483–498.
ICEIS-AIDSS-2010-Deng: Relationship between Levy Distribution and Tsallis Distribution (JD), pp. 360–367.
ICEIS-DISI-2010-KetataMMH #automation #maintenance #ontology #performance: Efficient Semi-automatic Maintenance of Mapping between Ontologies in a Biomedical Environment (IK, RM, FM, AH), pp. 257–262.
ICEIS-ISAS-2010-Nicolicin-GeorgescuBLB #ontology #resource management: Ontology-based Autonomic Computing for Resource Sharing between Data Warehouses in Decision Support Systems (VNG, VB, RL, HB), pp. 199–206.
ICEIS-SAIC-2010-Kristensen #abstraction #collaboration #message passing #using: Abstraction from Collaboration between Agents using Asynchronous Message-passing (BBK), pp. 86–92.
CIKM-2010-CarmelRY #on the: On the relationship between novelty and popularity of user-generated content (DC, HR, EYT), pp. 1509–1512.
CIKM-2010-EatondJ #clustering #constraints #learning #multi: Multi-view clustering with constraint propagation for learning with an incomplete mapping between views (EE, Md, SJ), pp. 389–398.
CIKM-2010-JinW #concept #ranking: Discovering, ranking and annotating cross-document relationships between concepts (WJ, XW), pp. 1929–1930.
ECIR-2010-KarlgrenEST #identification: Between Bags and Trees — Constructional Patterns in Text Used for Attitude Identification (JK, GE, MS, OT), pp. 38–49.
ICML-2010-LiangS #interactive #learning #multi #on the: On the Interaction between Norm and Dimensionality: Multiple Regimes in Learning (PL, NS), pp. 647–654.
ICPR-2010-HeLS #automation #recognition #verification: Automatic Discrimination between Confusing Classes with Writing Styles Verification in Arabic Handwritten Numeral Recognition (CLH, LL, CYS), pp. 2045–2048.
ICPR-2010-SenechalBP #automation #detection #using: Automatic Facial Action Detection Using Histogram Variation Between Emotional States (TS, KB, LP), pp. 3752–3755.
ICPR-2010-TakahashiKIM #image: Region-Based Image Transform for Transition Between Object Appearances (TT, YK, II, HM), pp. 2106–2109.
ICPR-2010-TanakaIKM #fault #kernel: A Relationship Between Generalization Error and Training Samples in Kernel Regressors (AT, HI, MK, MM), pp. 1421–1424.
ICPR-2010-ZouY #image #kernel #learning: Learning the Relationship Between High and Low Resolution Images in Kernel Space for Face Super Resolution (WWWZ, PCY), pp. 1152–1155.
KDD-2010-RaykarKY #classification #design #performance #trade-off: Designing efficient cascaded classifiers: tradeoff between accuracy and cost (VCR, BK, SY), pp. 853–860.
KDD-2010-SarangiM #named #nondeterminism #similarity: DUST: a generalized notion of similarity between uncertain time series (SRS, KM), pp. 383–392.
KDD-2010-ShahafG: Connecting the dots between news articles (DS, CG), pp. 623–632.
KDIR-2010-AfoninG #semantics #similarity: Calculating Semantic Similarity between Facts (SA, DG), pp. 514–517.
KMIS-2010-BrockV #analysis #data flow #semantics #using: A Method for Interoperability between Structured Data Sources using Semantic Analysis (DLB, JV), pp. 234–239.
KR-2010-BelardinelliL #first-order #interactive #logic #multi: Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems (FB, AL).
SEKE-2010-DongSX #empirical #evaluation #online #process: An Empirical Evaluation on the Relationship Between Final Auction Price and Shilling Activity in Online Auctions (FD, SMS, HX), pp. 286–291.
SIGIR-2010-AzzopardiB #effectiveness #on the: On the relationship between effectiveness and accessibility (LA, RB), pp. 889–890.
PPDP-2010-Martinez #concurrent #constraints #linear #programming #semantics: Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules (TM), pp. 57–66.
QAPL-2010-AltisenLM #automaton #calculus #component #evaluation #interface #performance #realtime #using: Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata (KA, YL, MM), pp. 16–33.
RE-2010-LockerbieBMBE #analysis #concept #modelling #simulation #using: Using i* Modelling as a Bridge between Air Traffic Management Operational Concepts and Agent-based Simulation Analysis (JL, DB, NAMM, HAPB, MHCE), pp. 351–356.
SAC-2010-AversanoGT #case study #process: Measuring the alignment between business processes and software systems: a case study (LA, CG, MT), pp. 2330–2336.
SAC-2010-GravinoTS #analysis #comprehension #empirical #modelling #source code: An empirical investigation on the relation between analysis models and source code comprehension (CG, GT, GS), pp. 2365–2366.
SAC-2010-LiuJWZQ #mining: Mining preorder relation between knowledge units from text (JL, LJ, ZW, QZ, YnQ), pp. 1047–1053.
SAC-2010-LuNB #dependence #execution: Timing analyzing for systems with execution dependencies between tasks (YL, TN, IB), pp. 357–358.
SAC-2010-OkamuraO #virtual machine: Load-based covert channels between Xen virtual machines (KO, YO), pp. 173–180.
ICSE-2010-AschauerDP #evolution #industrial #interactive #modelling: A modeling language’s evolution driven by tight interaction between academia and industry (TA, GD, WP), pp. 49–58.
ICSE-2010-BudnikCK #automation #testing #theory and practice: Bridging the Gap Between the Theory and Practice of Software Test Automation (CJB, WKC, GMK), pp. 445–446.
ICSE-2010-ErfurthR #aspect-oriented #named #requirements #uml: CUTA4UML: bridging the gap between informal and formal requirements for dynamic system aspects (IE, WR), pp. 171–174.
HPDC-2010-HigdonLK #functional #modelling #sequence #similarity: Modeling sequence and function similarity between proteins for protein functional annotation (RH, BL, EK), pp. 499–502.
IJCAR-2010-Benthem #complexity #logic: Logic between Expressivity and Complexity (JvB), pp. 122–126.
RTA-2010-AvanziniM #complexity #runtime: Closing the Gap Between Runtime Complexity and Polytime Computability (MA, GM), pp. 33–48.
CBSE-2009-KiniryF #consistency #design #documentation #implementation #specification: Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations (JRK, FF), pp. 242–261.
ASE-2009-CassellAGN #automation #clustering #towards #using: Towards Automating Class-Splitting Using Betweenness Clustering (KC, PA, LG, JN), pp. 595–599.
DATE-2009-Schat #fault #on the: On the relationship between stuck-at fault coverage and transition fault coverage (JS), pp. 1218–1221.
DATE-2009-XuVJ #runtime: Selective light Vth hopping (SLITH): Bridging the gap between runtime dynamic and leakage (HX, RV, WBJ), pp. 594–597.
DRR-2009-GolubitskyW #online #similarity: Online computation of similarity between handwritten characters (OG, SMW), pp. 1–10.
VLDB-2009-ArenasPRR #theory and practice: Inverting Schema Mappings: Bridging the Gap between Theory and Practice (MA, JP, JLR, CR), pp. 1018–1029.
CSEET-2009-SkevoulisCHVT #health #industrial: Engineering a Software Supported Health Risk Appraisal Method: A Joint Effort between Academia and Health Care Industry (SS, JC, KH, JV, ST), pp. 113–116.
CSEET-2009-Subrahmanyam #education #framework #re-engineering: A Dynamic Framework for Software Engineering Education Curriculum to Reduce the Gap between the Software Organizations and Software Educational Institutions (GVBS), pp. 248–254.
ITiCSE-2009-ListerFT #programming: Further evidence of a relationship between explaining, tracing and writing skills in introductory programming (RL, CJF, DT), pp. 161–165.
FASE-2009-HuismanT #automaton #ml #security: A Formal Connection between Security Automata and JML Annotations (MH, AT), pp. 340–354.
TACAS-2009-Miller #development #model checking #modelling: Bridging the Gap Between Model-Based Development and Model Checking (SPM), pp. 443–453.
CSMR-2009-RompaeyD #testing #traceability: Establishing Traceability Links between Unit Test Cases and Units under Test (BVR, SD), pp. 209–218.
ICSM-2009-YoshikawaHS #natural language #ontology #source code #traceability #using: Recovering traceability links between a simple natural language sentence and source code using domain ontologies (TY, SH, MS), pp. 551–554.
ICSM-2009-Zhang #fault: An investigation of the relationships between lines of code and defects (HZ), pp. 274–283.
MSR-2009-BoogerdM #standard: Evaluating the relation between coding standard violations and faultswithin and across software versions (CB, LM), pp. 41–50.
MSR-2009-GermanPGA: Code siblings: Technical and legal implications of copying code between applications (DMG, MDP, YGG, GA), pp. 81–90.
WCRE-1999-BogdanovW99a #difference #modelling: Computing the Structural Difference between State-Based Models (KB, NW), pp. 177–186.
WCRE-1999-DAmbrosLR99a #fault #on the: On the Relationship Between Change Coupling and Software Defects (MD, ML, RR), pp. 135–144.
PLDI-2009-QiM #product line: Sharing classes between families (XQ, ACM), pp. 281–292.
SEFM-2009-CunhaP #alloy #database #implementation #specification: Mapping between Alloy Specifications and Database Implementations (AC, HP), pp. 285–294.
CHI-2009-BrushMSV: Exploring awareness needs and information display preferences between coworkers (AJBB, BM, JS, GV), pp. 2091–2094.
CHI-2009-ChinFK #adaptation #information management #interactive: Adaptive information search: age-dependent interactions between cognitive profiles and strategies (JC, WTF, TGK), pp. 1683–1692.
CHI-2009-HsiaoCHCHH #comparison #multi #paradigm: To move or not to move: a comparison between steerable versus fixed focus region paradigms in multi-resolution tabletop display systems (CHH, LWC, TTH, MCC, JYjH, YPH), pp. 153–162.
CHI-2009-SellenMLTB #comprehension #interactive #problem #prototype: The people-prototype problem: understanding the interaction between prototype format and user group (KMS, MM, DML, KNT, SAB), pp. 635–638.
CHI-2009-WeissWJJKHB #physics: SLAP widgets: bridging the gap between virtual and physical controls on tabletops (MW, JW, YJ, RJ, RK, JDH, JOB), pp. 481–490.
DHM-2009-CaiHLY #component: Determining Cockpit Dimensions and Associative Dimensions between Components in Cockpit of Ultralight Plane for Taiwanese (DC, LLH, TL, MY), pp. 365–374.
DHM-2009-McInnesSP #reliability #using: Within and Between-Subject Reliability Using Classic Jack for Ergonomic Assessments (BM, AS, JP), pp. 653–660.
DHM-2009-RobbinsCM #architecture #human-computer #modelling: Bridging the Gap between HCI and DHM: The Modeling of Spatial Awareness within a Cognitive Architecture (BR, DWC, AM), pp. 295–304.
HCD-2009-NaumannWS #concept #difference #experience #industrial #metric #usability #user interface: Measurements and Concepts of Usability and User Experience: Differences between Industry and Academia (AN, IW, RS), pp. 618–626.
HCD-2009-Wang09b #interface: Influence and Impact Relationship between GIS Users and GIS Interfaces (HW), pp. 815–824.
HCI-AUII-2009-OchoaAG #collaboration #comprehension #mobile #requirements: Understanding the Relationship between Requirements and Context Elements in Mobile Collaboration (SFO, RA, LAG), pp. 67–76.
HCI-AUII-2009-SuzukiNABYF #comparison #empirical #interactive #mobile #modelling #sequence: Empirical Comparison of Task Completion Time between Mobile Phone Models with Matched Interaction Sequences (SS, YN, TA, VB, NY, SF), pp. 114–122.
HCI-NT-2009-LinHYTS #usability: Comparing the Usability of the Icons and Functions between IE6.0 and IE7.0 (CJL, MCH, HCY, PJT, WJS), pp. 465–473.
HCI-VAD-2009-LiHLW #difference: The Differences of Aviation Human Factors between Individualism and Collectivism Culture (WCL, DH, LWL, TW), pp. 723–730.
HCI-VAD-2009-MitsuishiKHG #concept #distance #interactive #realtime: The Concept of IMPRESSION: An Interactive Instruction System and Its Practice for Real-Time Distance Lessons between U.S. and Japan (TM, FK, YH, KG), pp. 176–185.
HCI-VAD-2009-ParkH #comprehension #game studies #online: Understanding Online Game Addiction: Connection between Presence and Flow (SP, HSH), pp. 378–386.
HIMI-DIE-2009-Doyo #aspect-oriented: Internal Aspects of the Relationship between Pressing Force and Training Difficulty (DD), pp. 475–484.
HIMI-II-2009-OkadaAF: Investigation on Relation between Index of Difficulty in Fitts’ Law and Device Screen Sizes (HO, TA, RF), pp. 423–429.
IDGD-2009-LinYK: An Investigation of the Relationship between Digit Ratio and Spatial Ability (HL, MY, YK), pp. 266–273.
OCSC-2009-Bansal #people: City Ragas: Building an Intercultural Dialogue between People (LB), pp. 663–672.
CAiSE-2009-GaillyP #modelling #ontology #standard #using: Using the REA Ontology to Create Interoperability between E-Collaboration Modeling Standards (FG, GP), pp. 395–409.
CIKM-2009-LiuLW #order: Post-rank reordering: resolving preference misalignments between search engines and end users (CL, ML, YMW), pp. 641–650.
ECIR-2009-NamNLL #difference #named: DiffPost: Filtering Non-relevant Content Based on Content Difference between Two Consecutive Blog Posts (SHN, SHN, YL, JHL), pp. 791–795.
ICML-2009-TrespY #dependence #learning #summary #tutorial: Tutorial summary: Learning with dependencies between several response variables (VT, KY), p. 14.
KDD-2009-ChangBB #network #social: Connections between the lines: augmenting social networks with text (JC, JLBG, DMB), pp. 169–178.
KDD-2009-LiL #on the #privacy #trade-off: On the tradeoff between privacy and utility in data publishing (TL, NL), pp. 517–526.
KDIR-2009-KulkarniC #concept #semantics #using #word: Computation of the Semantic Relatedness between Words using Concept Clouds (SK, DC), pp. 183–188.
KMIS-2009-DevedzicJPN #collaboration #learning #research: Learning Scenarios and Services for an SME — Collaboration between an SME and a Research Team (VD, JJ, VP, KN), pp. 218–223.
SEKE-2009-BifflSM #automation #ontology #semantic gap: Bridging Semantic Gaps Between Stakeholders in the Production Automation Domain with Ontology Areas (SB, WDS, TM), pp. 233–239.
SIGIR-2009-Carterette #correlation #distance #on the #rank #ranking: On rank correlation and the distance between rankings (BC), pp. 436–443.
SIGIR-2009-JinW #named #ranking: CDPRanking: discovering and ranking cross-document paths between entities (WJ, XW), p. 844.
SIGIR-2009-Peng #analysis #equivalence #probability #semantics: Equivalence between nonnegative tensor factorization and tensorial probabilistic latent semantic analysis (WP), pp. 668–669.
ECMDA-FA-2009-Kolovos #comparison #modelling: Establishing Correspondences between Models with the Epsilon Comparison Language (DSK), pp. 146–157.
RE-2009-HeiskariKRM #requirements #usability: Bridging the Gap Between Usability and Requirements Engineering (JH, MK, MR, TM), pp. 303–308.
RE-2009-MonteiroER #requirements #specification: Improving the Exchange of Requirements and Specifications between Business Partners (MRM, CE, MR), pp. 253–260.
SAC-2009-ChoiKHK #component #dependence #metric: Component-based metrics applying the strength of dependency between classes (MC, IJK, JH, JYK), pp. 530–536.
SAC-2009-GarciaBG #estimation: Cross-layer cooperation between membership estimation and routing (JCG, SB, PG), pp. 8–15.
SAC-2009-JohanssonC #comparison #development #enterprise #open source #requirements: Management of requirements in ERP development: a comparison between proprietary and open source ERP (BJ, RAdC), pp. 1605–1609.
SAC-2009-KuuskeriM #clustering #web: Partitioning web applications between the server and the client (JK, TM), pp. 647–652.
SAC-2009-PesquitaFC #biology #database: Measuring coherence between electronic and manual annotations in biological databases (CP, DF, FMC), pp. 806–807.
SAC-2009-YiMCKJ #named #network: Arbiter-Recall: a new function update scheme by arbitration between a remote call and a dynamic update for wireless sensor networks (SY, HM, YC, YK, IJ), pp. 339–340.
ESEC-FSE-2009-CataldoN #analysis #empirical #maturity #on the #process #quality: On the relationship between process maturity and geographic distribution: an empirical analysis of their impact on software quality (MC, SN), pp. 101–110.
ICSE-2009-TreudeS #aspect-oriented #development #how #social: How tagging helps bridge the gap between social and technical aspects in software development (CT, MADS), pp. 12–22.
SLE-2009-HeidenreichJSW #java #modelling: Closing the Gap between Modelling and Java (FH, JJ, MS, CW), pp. 374–383.
HPCA-2009-FanKDM #programmable: Bridging the computation gap between programmable processors and hardwired accelerators (KF, MK, GSD, SAM), pp. 313–322.
CSL-2009-AtseriasW #consistency #constraints #decidability #problem: Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems (AA, MW), pp. 102–116.
CSL-2009-BlanquiR #on the #semantics #termination: On the Relation between Sized-Types Based Termination and Semantic Labelling (FB, CR), pp. 147–162.
ECSA-2008-BouckeWHHH #architecture: Characterizing Relations between Architectural Views (NB, DW, RH, TH, AH), pp. 66–81.
ECSA-2008-MendezA #architecture #comparison #how: How Do Agents Affect Modifiability? A Comparison between Two Architectures for Intelligent Virtual Environments for Training (GM, AdA), pp. 82–97.
CASE-2008-MitaniH #analysis #metric #symmetry #using: Analysis of contact between feeder surface and microparts based on measurements for microparts feeder using an asymmetric surface (AM, SH), pp. 720–725.
DATE-2008-TenentesKK #testing: State Skip LFSRs: Bridging the Gap between Test Data Compression and Test Set Embedding for IP Cores (VT, XK, EK), pp. 474–479.
SIGMOD-2008-CecchetCA #database #middleware #replication #theory and practice: Middleware-based database replication: the gaps between theory and practice (EC, GC, AA), pp. 739–752.
ITiCSE-2008-DenegriFGM #design pattern #education #interactive: A tool for teaching interactions between design patterns (ED, GF, AG, PJM), p. 371.
FoSSaCS-2008-Goubault-Larrecq #game studies #infinity #probability #simulation: Simulation Hemi-metrics between Infinite-State Stochastic Games (JGL), pp. 50–65.
ICSM-2008-PentaCGA #design pattern #empirical: An empirical study of the relationships between design pattern roles and class change proneness (MDP, LC, YGG, GA), pp. 217–226.
SCAM-2008-SingerK: Exploiting the Correspondence between Micro Patterns and Class Names (JS, CCK), pp. 67–76.
DLT-2008-HolubN #finite #on the #word: On the Relation between Periodicity and Unbordered Factors of Finite Words (SH, DN), pp. 408–418.
LATA-2008-KallmeyerP #component #multi #on the #tuple: On the Relation between Multicomponent Tree Adjoining Grammars with Tree Tuples (TT-MCTAG) and Range Concatenation Grammars (RCG) (LK, YP), pp. 263–274.
SEFM-2008-LaneseGMZ: Bridging the Gap between Interaction- and Process-Oriented Choreographies (IL, CG, FM, GZ), pp. 323–332.
SEFM-2008-RuksenasCB #behaviour #game studies #modelling: Modelling Rational User Behaviour as Games between an Angel and a Demon (RR, PC, AB), pp. 355–364.
IFL-2008-LijnseP #automation #data type #database #programming #relational #using: Between Types and Tables — Using Generic Programming for Automated Mapping between Data Types and Relational Databases (BL, RP), pp. 272–290.
GT-VMT-2006-BottoniPPT08 #distributed #eclipse #maintenance #modelling: Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse (PB, FPP, SP, GT), pp. 87–98.
CHI-2008-LaukkanenIR #lazy evaluation #performance: The cone and the lazy bubble: two efficient alternatives between the point cursor and the bubble cursor (JL, PI, KJR), pp. 309–312.
CSCW-2008-AbrahamR #case study #coordination: Moving patients around: a field study of coordination between clinical and non-clinical staff in hospitals (JA, MCR), pp. 225–228.
CSCW-2008-KuzuokaPSKYYKLH: Effect of restarts and pauses on achieving a state of mutual orientation between a human and a robot (HK, KP, YS, IK, KY, AY, YK, PL, CH), pp. 201–204.
CSCW-2008-PiperH: Supporting medical conversations between deaf and hearing individuals with tabletop displays (AMP, JDH), pp. 147–156.
SOFTVIS-2008-HarelS #visualisation: Visualizing inter-dependencies between scenarios (DH, IS), pp. 145–153.
SOFTVIS-2008-ZeckzerKSHK #3d #clustering #communication #graph #reliability #using #visualisation: Analyzing the reliability of communication between software entities using a 3D visualization of clustered graphs (DZ, RK, LS, HH, TK), pp. 37–46.
CAiSE-2008-DongenDM #modelling #process #similarity: Measuring Similarity between Business Process Models (BFvD, RMD, JM), pp. 450–464.
ICEIS-AIDSS-2008-Zacharias: Rules as Simple Way to Model Knowledge — Closing the Gap between Promise and Reality (VZ), pp. 87–94.
ICEIS-DISI-2008-CarstensenSH #enterprise #modelling #towards: Towards A Methodology for Modelling Interoperability between Collaborating Enterprises (AC, KS, LH), pp. 333–338.
ICEIS-DISI-2008-NebelingRS #content management #migration #repository #standard: Migration between Content Management Systems — Exploiting the JSR-170 Content Repository Standard (MN, GR, LS), pp. 240–245.
ICEIS-DISI-2008-Norrie #information management: The Link between Paper and Information Systems (MCN), pp. 5–12.
ICEIS-HCI-2008-SchmitzMW #challenge #difference #testing #web: Cultural Differences between Taiwanese and German Web User — Challenges for Intercultural User Testing (AKS, TM, CWH), pp. 62–69.
ICEIS-ISAS2-2008-Shinkawa #consistency #modelling #process #sequence #uml: Evaluating Consistency between UML Activity and Sequence Models (YS), pp. 282–289.
ICEIS-J-2008-Norrie08a #information management: The Link between Paper and Information Systems (MCN), pp. 3–14.
CIKM-2008-DowneyDLH #comprehension #query: Understanding the relationship between searchers’ queries and information goals (DD, STD, DJL, EH), pp. 449–458.
CIKM-2008-LosadaAB #documentation: Revisiting the relationship between document length and relevance (DEL, LA, MB), pp. 419–428.
ICML-2008-Bach #graph #kernel: Graph kernels between point clouds (FRB), pp. 25–32.
ICML-2008-Li #approximate #comparison #difference #linear #worst-case: A worst-case comparison between temporal difference and residual gradient with linear function approximation (LL), pp. 560–567.
ICPR-2008-JeongK #estimation: Relative scale estimation between two camera motions (YJ, ISK), pp. 1–4.
ICPR-2008-MurakamiTSM #assembly: Assembly of puzzles by connecting between blocks (TM, FT, KS, JM), pp. 1–4.
ICPR-2008-WangQ #3d #correlation #performance #recognition: 3D object recognition by fast spherical correlation between combined view EGIs and PFT (DW, HQ), pp. 1–4.
KDD-2008-CrandallCHKS #community #feedback #online #similarity #social: Feedback effects between similarity and social influence in online communities (DJC, DC, DPH, JMK, SS), pp. 160–168.
KDD-2008-SatoYN #graph #information management #parametricity #semantics #using #word: Knowledge discovery of semantic relationships between words using nonparametric bayesian graph model (IS, MY, HN), pp. 587–595.
KDD-2008-YenSMS #difference #metric #product line: A family of dissimilarity measures between nodes generalizing both the shortest-path and the commute-time distances (LY, MS, AM, MS), pp. 785–793.
KR-2008-KontchakovWZ #difference #ontology #question: Can You Tell the Difference Between DL-Lite Ontologies? (RK, FW, MZ), pp. 285–295.
SEKE-2008-CalisayaBC #automation #interactive #requirements: Automatic Discovery of Interactions Between Software Requirements (ESC, MRSB, MLMC), pp. 773–778.
SEKE-2008-ScheithauerWT #documentation #execution #process #semantic gap: Bridging the Semantic Gap Between Process Documentation and Process Execution (GS, GW, CT), pp. 549–554.
SEKE-2008-Wotawa #modelling #slicing: Bridging the Gap Between Slicing and Model-based Diagnosis (FW), pp. 836–841.
SIGIR-2008-Al-MaskariSC: Relevance judgments between TREC and Non-TREC assessors (AAM, MS, PDC), pp. 683–684.
SIGIR-2008-Diaz #retrieval: A method for transferring retrieval scores between collections with non-overlapping vocabularies (FDD), pp. 805–806.
MoDELS-2008-NugrohoFC #analysis #empirical #fault #modelling #uml: Empirical Analysis of the Relation between Level of Detail in UML Models and Defect Density (AN, BF, MRVC), pp. 600–614.
MoDELS-2008-NugrohoFC #analysis #empirical #fault #modelling #uml: Empirical Analysis of the Relation between Level of Detail in UML Models and Defect Density (AN, BF, MRVC), pp. 600–614.
RE-2008-HoWR #fault #performance #problem #requirements: Examining the Relationships between Performance Requirements and “Not a Problem” Defect Reports (CWH, LW, BR), pp. 135–144.
SAC-2008-BugattiTT #integration #query #similarity: Assessing the best integration between distance-function and image-feature to answer similarity queries (PHB, AJMT, CTJ), pp. 1225–1230.
SAC-2008-LuizVS #framework #specification: Formal specification of DSP gateway for data transmission between processor cores of OMAP platform (SODL, GdMV, LDdS), pp. 1545–1549.
ICSE-2008-DenzlerG #design pattern #programming: Design patterns: between programming and software design (CD, DG), pp. 801–804.
ATEM-J-2006-ZhangWRH #approach #ontology #semantics #traceability: Ontological approach for the semantic recovery of traceability links between software artefacts (YZ, RW, JR, VH), pp. 185–203.
SPLC-2008-KumarBC #identification #variability: Identifying and Exploiting the Similarities between Rationale Management and Variability Management (AKT, BB, OC), pp. 99–108.
HPCA-2008-LinLDZZS #clustering #manycore #simulation: Gaining insights into multicore cache partitioning: Bridging the gap between simulation and real systems (JL, QL, XD, ZZ, XZ, PS), pp. 367–378.
CSL-2008-Saurin #on the #λ-calculus #μ-calculus: On the Relations between the Syntactic Theories of λμ-Calculi (AS), pp. 154–168.
ICST-2008-BousquetS #inheritance: Relation between Depth of Inheritance Tree and Number of Methods to Test (LdB, MRS), pp. 161–170.
ICST-2008-StreckerM #detection #fault #testing #user interface: Relationships between Test Suites, Faults, and Fault Detection in GUI Testing (JS, AMM), pp. 12–21.
DATE-2007-SheibanyradPG #architecture #comparison #implementation #multi #network: Systematic comparison between the asynchronous and the multi-synchronous implementations of a network on chip architecture (AS, IMP, AG), pp. 1090–1095.
DocEng-2007-WeibelNS #documentation: A model for mapping between printed and digital document instances (NW, MCN, BS), pp. 19–28.
SIGMOD-2007-SrivastavaV #metadata: Intensional associations between data and metadata (DS, YV), pp. 401–412.
VLDB-2007-RastogiHS #bound #privacy: The Boundary Between Privacy and Utility in Data Publishing (VR, SH, DS), pp. 531–542.
CSEET-2007-TakemuraNHM #analysis #education #motivation #programming: Analysis of the Relation between the Teaching Materials and Motivation in Programming Education (YT, HN, KLH, KiM), pp. 317–326.
ITiCSE-2007-Dickinson07a #diagrams: “Touching the void”…: narrowing the crevasse between the tactile diagrams that tutors request and those that work in reality (AD), p. 339.
ESOP-2007-FengFS #concurrent #logic #on the #reasoning: On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning (XF, RF, ZS), pp. 173–188.
ICPC-2007-ShearerC #constraints #source code: Enforcing Constraints Between Documentary Comments and Source Code (CDS, MLC), pp. 271–280.
WCRE-2007-FluriWG #source code: Do Code and Comments Co-Evolve? On the Relation between Source Code and Comment Changes (BF, MW, HG), pp. 70–79.
ICALP-2007-CaryRS #finite #metric: Paper Retraction: On the Hardness of Embeddings Between Two Finite Metrics (MC, AR, AS), p. 949.
CHI-2007-ChapuisR: Copy-and-paste between overlapping windows (OC, NR), pp. 201–210.
CHI-2007-GirgensohnSTW #process: Effects of presenting geographic context on tracking activity between cameras (AG, FMSI, TT, LW), pp. 1167–1176.
CHI-2007-PetrieK #usability: The relationship between accessibility and usability of websites (HP, OK), pp. 397–406.
DHM-2007-Feyen #interactive #modelling: Bridging the Gap: Exploring Interactions Between Digital Human Models and Cognitive Models (RF), pp. 382–391.
DHM-2007-KuboTA: Two Vibration Modes of a Human Body Sitting on a Car Seat- The Relationship Between Riding Discomfort Affected by the Material Properties of the Seat Cushion and the Two Vibration Modes (MK, FT, HA), pp. 894–903.
HCI-AS-2007-LuYTHY #difference #learning #named: KaLeSy-CJ: Kanji Learning System Focusing on Differences Between Chinese and Japanese (SL, NY, HT, TH, TY), pp. 302–311.
HCI-AS-2007-NahHCL #comparison #online: An Examination of Online Product Comparison Service: Fit Between Product Type and Disposition Style (FFHN, WH, LC, HHL), pp. 90–94.
HCI-IDU-2007-ChenA #comprehension #design: Context-Centered Design: Bridging the Gap Between Understanding and Designing (YC, MEA), pp. 40–48.
HCI-IDU-2007-EktareY #security: The Balancing Act Between Computer Security and Convenience (ME, YY), pp. 731–735.
HCI-IDU-2007-Jensen #comparison #concurrent: Evaluating in a Healthcare Setting: A Comparison Between Concurrent and Retrospective Verbalisation (JJJ), pp. 508–516.
HCI-IDU-2007-KowalskiG #collaboration #design #heuristic #user interface: 10 Heuristics for Designing Administrative User Interfaces — A Collaboration Between Ethnography, Design, and Engineering (LK, KG), pp. 133–139.
HCI-IDU-2007-KurosuGHK #collaboration #database: Micro-Scenario Database for Substantializing the Collaboration Between Human Science and Engineering (MK, KG, NH, HK), pp. 140–145.
HCI-IDU-2007-MorganN #development #interface #research: Interface Between Two Disciplines — The Development of Theatre as a Research Tool (MM, AFN), pp. 184–193.
HCI-IDU-2007-VanharantaS #interactive: Holistic Interaction Between the Computer and the Active Human Being (HV, TS), pp. 252–261.
HCI-IDU-2007-ZhouF #comprehension #design #experience #quality #user interface: Understanding, Measuring, and Designing User Experience: The Causal Relationship Between the Aesthetic Quality of Products and User Affect (HZ, XF), pp. 340–349.
HCI-IPT-2007-CaoE #privacy #towards: Influence of Culture on Attitude Towards Instant Messaging: Balance Between Awareness and Privacy (JC, AE), pp. 236–240.
HCI-IPT-2007-LiGR #artificial reality: Resolving Occlusion Between Virtual and Real Scenes for Augmented Reality Applications (LL, TG, BR), pp. 634–642.
HCI-IPT-2007-YoonL #named: BetweenKeys: Looking for Room Between Keys (YY, GL), pp. 504–512.
HCI-MIE-2007-ChevrinC #interactive #mining #multi: Dynamic Association Rules Mining to Improve Intermediation Between User Multi-channel Interactions and Interactive e-Services (VC, OC), pp. 265–274.
HCI-MIE-2007-ParkC #comprehension #social: Understanding the Social Relationship Between Humans and Virtual Humans (SP, RC), pp. 459–464.
HIMI-IIE-2007-Bradley #collaboration #people: Collaboration Between People for Sustainability in the ICT Society (GB), pp. 703–712.
HIMI-IIE-2007-Jones: The Relationship Between Working Conditions and Musculoskeletal/Ergonomic Disorders in a Manufacturing Facility (DRJ), pp. 903–909.
HIMI-IIE-2007-TaguchiAT #analysis: Information on the Causal Relationship Between Store kaizen and Store Features That Attract Customers by Covariance Structural Analysis (YT, YA, TT), pp. 973–982.
HIMI-MTT-2007-EnriquezBH #communication: Embodied Communication Between Human and Robot in Route Guidance (GE, YB, SH), pp. 824–829.
HIMI-MTT-2007-SutoKH #case study #data flow #design: A Study of Information Flow Between Designers and Users Via Website Focused on Property of Hyper Links (HS, HK, HH), pp. 189–198.
OCSC-2007-ChenY07a #collaboration #design #difference #industrial #learning: The Differences Between the Influences of Synchronous and Asynchronous Modes on Collaborative Learning Project of Industrial Design (WC, MY), pp. 275–283.
OCSC-2007-SchimkeSZ #community #identification #online #social: The Relationship Between Social Presence and Group Identification Within Online Communities and Its Impact on the Success of Online Communities (DS, HS, AZ), pp. 160–168.
VISSOFT-2007-Sawant #architecture #multi #named #visualisation: DiffArchViz: A Tool to Visualize Correspondence Between Multiple Representations of a Software Architecture (APS), pp. 121–128.
EDOC-2007-Dijkman #classification #difference: A Classification of Differences between Similar BusinessProcesses (RMD), pp. 37–50.
ICEIS-EIS-2007-HeberlingHBH #collaboration #game studies #multi #online #peer-to-peer: Future Collaborative Systems Between Peer-to-Peer and Massive Multiplayer Online Games (MH, RH, TB, TH), pp. 340–346.
ICEIS-EIS-2007-KukhunS #enterprise #information management #pervasive #security: Interoperability in Pervasive Enterprise Information Systems — A Double-Faced Coin Between Security And Accessability (DAK, FS), pp. 237–242.
ICEIS-EIS-2007-SanzCMB #case study #comparative #framework #grid #web #web service: A Comparative Study between Web Service and Grid Service Developments in a MDA Framework (MLS, VdC, EM, JLB), pp. 114–124.
ICEIS-EIS-2007-SomeN #case study #consistency #requirements #verification: Use Case Based Requirements Verification — Verifying the Consistency between Use Cases and Assertions (SSS, DKN), pp. 190–195.
ECIR-2007-Nanopoulos #collaboration #correlation #transitive: Collaborative Filtering Based on Transitive Correlations Between Items (AN), pp. 368–380.
ICML-2007-ZhouX #learning #multi #on the: On the relation between multi-instance learning and semi-supervised learning (ZHZ, JMX), pp. 1167–1174.
KDD-2007-JoLG #correlation #detection #graph #research #topic: Detecting research topics via the correlation between graphs and texts (YJ, CL, CLG), pp. 370–379.
SEKE-2007-GomezA #development #quality: Study of the Relationships between Personality, Satisfaction and Product Quality in Software Development Teams (MG, STA), p. 292–?.
SIGIR-2007-Al-MaskariSC #effectiveness #information retrieval #metric #user satisfaction: The relationship between IR effectiveness measures and user satisfaction (AAM, MS, PDC), pp. 773–774.
SIGIR-2007-CetintasS #effectiveness #performance #trade-off: Exploration of the tradeoff between effectiveness and efficiency for results merging in federated search (SC, LS), pp. 707–708.
RE-2007-LehtolaKV: Strengthening the link between business decisions and RE: Long-term product planning in software product companies (LL, MK, JV), pp. 153–162.
REFSQ-2007-FrickerGM #implementation #using: Handshaking Between Software Projects and Stakeholders Using Implementation Proposals (SF, TG, PM), pp. 144–159.
REFSQ-2007-Winkler #data flow #empirical: Information Flow Between Requirement Artifacts. Results of an Empirical Study (SW0), pp. 232–246.
SAC-OOPS-J-2006-BaldoniBT07 #interactive #java: Interaction between Objects in powerJava (MB, GB, LWNvdT), pp. 5–30.
SAC-2007-XingXE #approximate #automation #documentation #using #xml: Building automatic mapping between XML documents using approximate tree matching (GX, ZX, AE), pp. 525–526.
ESEC-FSE-2007-SharpHBB #developer #difference: Exploring motivational differences between software developers and project managers (HS, TH, NB, SB), pp. 501–504.
SPLC-2007-BragancaM #automation #case study #diagrams #feature model #modelling #product line: Automating Mappings between Use Case Diagrams and Feature Models for Software Product Lines (AB, RJM), pp. 3–12.
HPCA-2007-AlameldeenW #interactive #multi: Interactions Between Compression and Prefetching in Chip Multiprocessors (ARA, DAW), pp. 228–239.
CSL-2007-Kupferman #automaton: Tightening the Exchange Rates Between Automata (OK), pp. 7–22.
ICLP-2007-KoninckSD #algorithm #logic: The Correspondence Between the Logical Algorithms Language and CHR (LDK, TS, BD), pp. 209–223.
TLCA-2007-Nakazawa #morphism #proving #reduction: An Isomorphism Between Cut-Elimination Procedure and Proof Reduction (KN), pp. 336–350.
DAC-2006-BruceHNBRL #consistency #design #maintenance: Maintaining consistency between systemC and RTL system designs (ACB, MMKH, AN, SB, NR, CKL), pp. 85–89.
DAC-2006-ChangSC #design #evaluation #trade-off: Evaluation and design trade-offs between circuit-switched and packet-switched NOCs for application-specific SOCs (KCC, JSS, TFC), pp. 143–148.
DATE-2006-DasBDC #design #model checking #question #what: What lies between design intent coverage and model checking? (SD, PB, PD, PPC), pp. 1217–1222.
DATE-2006-FeySVD #on the #satisfiability: On the relation between simulation-based and SAT-based diagnosis (GF, SS, AGV, RD), pp. 1139–1144.
DATE-2006-KanajanZPS #architecture #distributed #integration #trade-off #using: Exploring trade-off’s between centralized versus decentralized automotive architectures using a virtual integration environment (SK, HZ, CP, ALSV), pp. 548–553.
DocEng-2006-FariaO #distance #documentation: Measuring aesthetic distance between document templates and instances (ACF, JBSdO), pp. 13–21.
SCAM-J-2005-BinkleyDGHKK06 #formal method #slicing: A formalisation of the relationship between forms of program slicing (DB, SD, TG, MH, ÁK, BK), pp. 228–252.
CSMR-2006-HerraizRG #analysis #comparison #evolution #metric: Comparison between SLOCs and number of files as size metrics for software evolution analysis (IH, GR, JMGB), pp. 206–213.
ICSM-2006-KuhnG: Exploiting the Analogy Between Traces and Signal Processing (AK, OG), pp. 320–329.
WCRE-2006-Ribic #concept #decompiler #embedded #equivalence #execution #implementation #programming language: Concept and implementation of the programming language and translator, for embedded systems, based on machine code decompilation and equivalence between source and executable code (SR), pp. 307–308.
CIAA-2006-CortesMR #automaton #on the #probability #standard: On the Computation of Some Standard Distances Between Probabilistic Automata (CC, MM, AR), pp. 137–149.
DLT-2006-GlasserTW #polynomial: Perfect Correspondences Between Dot-Depth and Polynomial-Time Hierarchy (CG, SDT, KWW), pp. 408–419.
SEFM-2006-NareshC: A Model for Temporal relations between Object Roles (GN, BDC), pp. 100–107.
CHI-2006-BentleyMH #music: Personal vs. commercial content: the similarities between consumer use of photos and music (FB, CJM, GH), pp. 667–676.
CSCW-2006-HauberRBC #performance #social #trade-off: Spatiality in videoconferencing: trade-offs between efficiency and social presence (JH, HR, MB, AC), pp. 413–422.
CAiSE-2006-MergenH #taxonomy: Data Translation Between Taxonomies (SLSM, CAH), pp. 111–124.
EDOC-2006-GovernatoriMS #contract #process: Compliance checking between business processes and business contracts (GG, ZM, SWS), pp. 221–232.
EDOC-2006-ShafiqDF #multi #semantics #towards #web #web service: Bridging Multi Agent Systems and Web Services: towards interoperability between Software Agents and Semantic Web Services (MOS, YD, DF), pp. 85–96.
ICEIS-AIDSS-2006-HuynhGB #clustering #metric: Discovering the Stable Clusters between Interestingness Measures (HXH, FG, HB), pp. 196–201.
CIKM-2006-MullerFL #database #difference: Describing differences between databases (HM, JCF, UL), pp. 612–621.
ECIR-2006-VildjiounaiteK #learning: Learning Links Between a User’s Calendar and Information Needs (EV, VK), pp. 557–560.
ICML-2006-DavisG: The relationship between Precision-Recall and ROC curves (JD, MG), pp. 233–240.
ICPR-v1-2006-BerrettiB #3d #modelling: Modeling Spatial Relationships between 3D Objects (SB, ADB), pp. 119–122.
ICPR-v2-2006-GanD #relational #using: Differentiating Between Many Similar Features using Relational Information in Space and Scale (TSYG, TD), pp. 638–641.
ICPR-v2-2006-SerratosaS #distance: Vision-Based Robot Positioning by an Exact Distance Between Hi (FS, AS), pp. 849–852.
ICPR-v3-2006-TanakaFKI #theorem: A Theoretical and Experimental Consideration on Interference in Resolutions between Sampling Theorem and OK-Quantization Theory (YT, TF, HK, TI), pp. 869–872.
ICPR-v3-2006-TaronGP: Uncertainties-driven Surface Morphing: The case of Photo-realistic Transitions between Facial Expressions (MT, CG, NP), pp. 889–892.
ICPR-v3-2006-YeungS #framework #probability #set #symmetry: Stochastic Framework for Symmetric Affine Matching between Point Sets (SKY, PS), pp. 790–793.
ICPR-v4-2006-Onoguchi #correlation #detection #using: Moving Object Detection Using a Cross Correlation between a Short Accumulated Histogram and a Long Accumulated Histogram (KO), pp. 896–899.
KDD-2006-ZhangCWZ #clustering #concept #identification: Identifying bridging rules between conceptual clusters (SZ, FC, XW, CZ), pp. 815–820.
SIGIR-2006-Olsson #analysis #classification #set: An analysis of the coupling between training set and neighborhood sizes for the kNN classifier (JSO), pp. 685–686.
PPDP-2006-Volanschi #compilation #confluence #named: Condate: a proto-language at the confluence between checking and compiling (ENV), pp. 225–236.
SAC-2006-Fasli #on the: On the relationship between roles and power: preliminary report (MF), pp. 313–318.
SAC-2006-Lindgren #on the: On handling conflicts between rules with numerical features (TL), pp. 37–41.
SAC-2006-XingMXV #classification #documentation #edit distance #xml: Computing edit distances between an XML document and a schema and its application in document classification (GX, CRM, ZX, SDV), pp. 831–835.
ICSE-2006-KobayashiKSP #agile #analysis #effectiveness #interactive: Analysis of the interaction between practices for introducing XP effectively (OK, MK, MS, EP), pp. 544–550.
OSDI-2006-Ta-MinLL #configuration management #interface #operating system #trust: Splitting Interfaces: Making Trust Between Applications and Operating Systems Configurable (RTM, LL, DL), pp. 279–292.
CBSE-2005-TansalarakC #component #ranking: Finding a Needle in the Haystack: A Technique for Ranking Matches Between Components (NT, KTC), pp. 171–186.
WICSA-2005-Abi-AntounAGSN #architecture #automation #concept #implementation #incremental: Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures (MAA, JA, DG, BRS, NHN), pp. 265–268.
WICSA-2005-MuskensBC #consistency: Generalizing Consistency Checking between Software Views (JM, RJB, MRVC), pp. 169–180.
WICSA-2005-Shaw #research: Sparking Research Ideas from the Friction Between Doctrine and Reality (MS), pp. 11–16.
ASE-2005-Dolstra #deployment: Secure sharing between untrusted users in a transparent source/binary deployment model (ED), pp. 154–163.
DAC-2005-BacchiniMDMPSEU #named: ESL: building the bridge between systems to silicon (FB, DM, TD, PM, SAP, SS, SKE, PU), pp. 69–70.
DAC-2005-ChangD #perspective: Explaining the gap between ASIC and custom power: a custom perspective (AC, WJD), pp. 281–284.
DAC-2005-ChinneryK #perspective: Closing the power gap between ASIC and custom: an ASIC perspective (DGC, KK), pp. 275–280.
DAC-2005-DililloGPVB #analysis #comparison #fault #injection: Resistive-open defect injection in SRAM core-cell: analysis and comparison between 0.13 µm and 90 nm technologies (LD, PG, SP, AV, MB), pp. 857–862.
DocEng-2005-Gormish #documentation #interactive: Interaction between paper and electronic documents (MJG), p. 133.
VLDB-2005-DittrichKK #sql: Bridging the Gap between OLAP and SQL (JPD, DK, AK), pp. 1031–1042.
ITiCSE-2005-SohSPNL #process: Analyzing relationships between closed labs and course activities in CS1 (LKS, AS, SP, GN, JL), pp. 183–187.
FASE-2005-BergGJLRS #consistency #on the #testing: On the Correspondence Between Conformance Testing and Regular Inference (TB, OG, BJ, ML, HR, BS), pp. 175–189.
CSMR-2005-CapiluppiFR #complexity #cumulative #open source: Exploring the Relationship between Cumulative Change and Complexity in an Open Source System (AC, AEF, JFR), pp. 21–29.
ICSM-2005-OBrienBE #empirical #theory and practice: Empirically Studying Software Practitioners — Bridging the Gap between Theory and Practice (MPO, JB, CE), pp. 433–442.
ICSM-2005-Sneed #maintenance #research: Bridging the Gap between Research and Business in Software Maintenance (HMS), pp. 3–6.
SCAM-2005-BinkleyDGHKK #slicing: Minimal Slicing and the Relationships Between Forms of Slicing (DB, SD, TG, MH, ÁK, BK), pp. 45–56.
CIAA-2005-PelanekS #automaton #ltl: Deeper Connections Between LTL and Alternating Automata (RP, JS), pp. 238–249.
ICALP-2005-CaryRS #finite #metric #on the: On the Hardness of Embeddings Between Two Finite Metrics (MC, AR, AS), pp. 1412–1423.
CHI-2005-RobertsonCC #visualisation: Visualization of mappings between schemas (GGR, MC, JEC), pp. 431–439.
SIGAda-2005-Mark #ada #c #c++: Data sharing between ada and C/C++ (MM), pp. 93–102.
EDOC-2005-StefanovL #process: Bridging the Gap between Data Warehouses and Business Processes: A Business Intelligence Perspective for Event-Driven Process Chains (VS, BL), pp. 3–14.
ICEIS-v2-2005-Yousfi-MonodP #information management #modelling: Knowledge Acquisition Modeling through Dialogue between Cognitive Agents (MYM, VP), pp. 201–206.
ICEIS-v4-2005-ClaroAH #comparison #composition #web #web service: Approaches of Web Services Composition — Comparison between BPEL4WS and OWL-S (DBC, PA, JKH), pp. 208–213.
ICEIS-v4-2005-DavulcuNR #semantic gap: Boosting Item Findability: Bridging the Semantic Gap between Search Phrases and Item Information (HD, HVN, VR), pp. 48–55.
ICML-2005-BeygelzimerDHLZ #classification #fault #reduction: Error limiting reductions between classification tasks (AB, VD, TPH, JL, BZ), pp. 49–56.
ICML-2005-EspositoS #classification #comparison #monte carlo: Experimental comparison between bagging and Monte Carlo ensemble classification (RE, LS), pp. 209–216.
ICML-2005-ToussaintV #learning #modelling: Learning discontinuities with products-of-sigmoids for switching between local models (MT, SV), pp. 904–911.
SEKE-2005-ChenKZ #adaptation #effectiveness #on the #random testing #testing: On the Relationships between the Distribution of Failure-Causing Inputs and Effectiveness of Adaptive Random Testing (TYC, FCK, ZZ), pp. 306–311.
SEKE-2005-FurstT #knowledge-based #named #ontology: TooCoM: bridge the gap between Ontologies and Knowledge-Based Systems (FF, FT), pp. 479–484.
SEKE-2005-KrishnaGV #concept #consistency #modelling #specification: Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications (AK, AKG, SAV), pp. 455–460.
SIGIR-2005-GaussierG: Relation between PLSA and NMF and implications (ÉG, CG), pp. 601–602.
ECMDA-FA-2005-GronmoJH #uml: Transformations Between UML and OWL-S (RG, MCJ, HH), pp. 269–283.
ECMDA-FA-2005-SteinHU #modelling #on the #query: On Relationships Between Query Models (DS, SH, RU), pp. 254–268.
GPCE-2005-Ahlander #sorting: Sorting Out the Relationships Between Pairs of Iterators, Values, and References (KÅ), pp. 342–356.
SAC-2005-MitchellP #metric #runtime #using: Using object-level run-time metrics to study coupling between objects (ÁM, JFP), pp. 1456–1462.
SAC-2005-Morimoto #mining #transitive: Optimized transitive association rule: mining significant stopover between events (YM), pp. 543–544.
SAC-2005-SunZ #approach #semantics: An approach to acquire semantic relationships between terms (XS, QZ), pp. 1630–1633.
SAC-2005-Suzuki #documentation #xml: Finding an optimum edit script between an XML document and a DTD (NS), pp. 647–653.
COCV-J-2005-BlechGLM #code generation #comparison #correctness #higher-order #optimisation #proving: Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL (JOB, SG, JL, SM), pp. 33–51.
ICLP-2005-GiunchigliaM #on the #satisfiability #set: On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) (EG, MM), pp. 37–51.
DAC-2004-SultaniaSS #trade-off: Tradeoffs between date oxide leakage and delay for dual Tox circuits (AKS, DS, SSS), pp. 761–766.
PODS-2004-GottlobKBHF #theory and practice: The Lixto Data Extraction Project — Back and Forth between Theory and Practice (GG, CK, RB, MH, SF), pp. 1–12.
SIGMOD-2004-LeeDDHD #database #named: iMAP: Discovering Complex Mappings between Database Schemas (RD, YL, AD, AYH, PMD), pp. 383–394.
ITiCSE-2004-ConradF #object-oriented #paradigm #source code #using: Using the synergies between the object-oriented paradigm and mathematics in joint mathematics/computer science programs (MC, TF), p. 254.
ITiCSE-2004-GoldweberCFP #community #education #research: The relationship between CS education research and the SIGCSE community (MG, MC, SF, AP), pp. 228–229.
ITiCSE-WGR-2004-HazzanL #education #performance: The practicum in computer science education: bridging gaps between theoretical knowledge and actual performance (OH, TL), pp. 47–51.
STOC-2004-KenyonRS #set: Low distortion maps between point sets (CK, YR, AS), pp. 272–280.
CHI-2004-ViegasWD #visualisation: Studying cooperation and conflict between authors with history flow visualizations (FBV, MW, KD), pp. 575–582.
CSCW-2004-Campbell #framework: Instant messages: a framework for reading between the lines (JDC), pp. 519–522.
CSCW-2004-KethersHW #case study #research #symmetry: Remote meetings between farmers and researchers: a case study on asymmetry (SK, DMGH, RW), pp. 624–627.
CSCW-2004-LuffHNSH: Only touching the surface: creating affinities between digital content and paper (PL, CH, MCN, BS, PH), pp. 523–532.
ICEIS-v1-2004-Ballesteros #collaboration #internet: Collaboration @ Work: 3rd Wave of Internet to Foster Collaboration between Individuals on the Seem (ILB), p. XVII-XXVII.
ICEIS-v1-2004-Rizopoulos #automation #semantics: Automatic Discovery of Semantic Relationships Between Schema Elements (NR), pp. 3–8.
ICEIS-v2-2004-Kabiri #approximate #comparison #learning #network: A Comparison Between the Proportional Keen Approximator and the Neural Networks Learning Methods (PK), pp. 159–164.
ICEIS-v3-2004-PudhotaCD #component #modelling #workflow: Modelling the Dynamic Relationships Between Workflow Components (LP, EC, JD), pp. 495–500.
CIKM-2004-TomitaNI #graph #representation #similarity #using: Calculating similarity between texts using graph-based text representation model (JT, HN, MI), pp. 248–249.
ICML-2004-CollobertB: Links between perceptrons, MLPs and SVMs (RC, SB).
ICPR-v1-2004-KawanoKY #comparison #difference #gender: A Comparison of the Gender Differentiation Capability between Facial Parts (TK, KK, KY), pp. 350–353.
ICPR-v1-2004-WithagenSG #classification #probability: Probabilistic Classification Between Foreground Objects and Background (PJW, KS, FCAG), pp. 31–34.
ICPR-v2-2004-IkedaIA #optimisation: Sensor Fusion as Optimization: Maximizing Mutual Information between Sensory Signals (TI, HI, MA), pp. 501–504.
ICPR-v2-2004-MozaffarifK #classification #comparison #recognition #using: Feature Comparison between Fractal Codes and Wavelet Transform in Handwritten Alphanumeric Recognition Using SVM Classifier (SM, KF, HRK), pp. 331–334.
ICPR-v2-2004-SerratosaGS #2d #distance: Distance between 2D-Scenes based on Oriented Matroid Theory (FS, AG, AS), pp. 196–199.
ICPR-v3-2004-HiguchiAKF #recognition: Scene Recognition Based on Relationship between Human Actions and Objects (MH, SA, AK, KF), pp. 73–78.
ICPR-v3-2004-TsujiZHK #analysis #correlation: Levels of Detail Control Based on Correlation Analysis Between Surface Position and Direction (TT, HZ, TH, RK), pp. 622–625.
ICPR-v4-2004-UtsumiTI #3d #detection #interactive: View-Based Detection of 3-D Interaction between Hands and Real Objects (AU, NT, SI), pp. 961–964.
SEKE-2004-JuzgadoMS #architecture #usability: Clarifying the Relationship between Software Architecture and Usability (NJJ, AMM, IS), pp. 378–383.
UML-2004-GaafarS #framework #ocl #towards #uml #xml #xquery: Towards a Framework for Mapping Between UML/OCL and XML/XQuery (AG, SS), pp. 241–259.
GPCE-2004-CepaM #dependence #dot-net: Declaring and Enforcing Dependencies Between .NET Custom Attributes (VC, MM), pp. 283–297.
RE-2004-UchitelCKM #animation #requirements #validation: Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation (SU, RC, JK, JM), pp. 208–217.
SAC-2004-JanssensSHV #coordination #design: An agent design method promoting separation between computation and coordination (NJ, ES, TH, PV), pp. 456–461.
SAC-2004-QianSGP #distance #nearest neighbour #query #similarity: Similarity between Euclidean and cosine angle distance for nearest neighbor queries (GQ, SS, YG, SP), pp. 1232–1237.
ICSE-2004-KazmanBJ #human-computer #interactive #re-engineering: Bridging the Gaps II: Bridging the Gaps between Software Engineering and Human-Computer Interaction (RK, LB, BEJ), pp. 773–774.
CGO-2004-ZhaiCSM #communication #compilation #optimisation #thread: Compiler Optimization of Memory-Resident Value Communication Between Speculative Threads (AZ, CBC, JGS, TCM), pp. 39–52.
HPCA-2004-PengPL #performance: Signature Buffer: Bridging Performance Gap between Registers and Caches (LP, JKP, KL), pp. 164–175.
CSL-2004-ImmermanRRSY #bound #decidability #logic #transitive: The Boundary Between Decidability and Undecidability for Transitive-Closure Logics (NI, AMR, TWR, SS, GY), pp. 160–174.
ICDAR-2003-KameyaMO #online #sequence #verification: Figure-Based Writer Verification by Matching between an Arbitrary Part of Registered Sequence and an Input Sequence Extracted from On-Line Handwritten Figures (HK, SM, RO), pp. 985–989.
CSEET-2003-KorneckiKGK #industrial #on the: On a Partnership between Software Industry and Academia (AJK, SK, DPG, NK), pp. 60–69.
ITiCSE-2003-Hazzan03a #concept #student: Computer science students’ conception of the relationship between reward (grade) and cooperation (OH), pp. 178–182.
FASE-2003-PennaMIMP #diagrams #named #towards #xml: Xere: Towards a Natural Interoperability between XML and ER Diagrams (GDP, ADM, BI, IM, AP), pp. 356–371.
IFL-2003-MartinezP #algebra #algorithm #interface: Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms (RMT, RP), pp. 135–151.
CHI-2003-EverittKLL #collaboration #design #distributed #physics: Two worlds apart: bridging the gap between physical and virtual media for distributed design collaboration (KE, SRK, RL, JAL), pp. 553–560.
SIGAda-2003-Potratz #ada #comparison #embedded #implementation #java #realtime: A practical comparison between Java and Ada in implementing a real-time embedded system (EP), pp. 71–83.
ICEIS-v1-2003-MimounePA #approach #database #ontology #semistructured data: An Ontology-Based Approach for Exchanging Data Between Heterogeneous Database Systems (MEHM, GP, YAA), pp. 512–524.
ICEIS-v2-2003-FerneleyBCR #process #social: Bridging the Gap Between Social and Technical Processes to Facilitate IT Enabled Knowledge Dissemination (EF, BB, JAC, YR), pp. 74–82.
ICEIS-v3-2003-AkatsuKK #analysis #parametricity: Analysis on Relation Between Service Parameters for Service Level Management and System Utilization (MA, SK, NK), pp. 191–196.
ICEIS-v3-2003-DooKK #authentication: Trusted Authentication Between User and Machine (SD, JK, EK), pp. 577–581.
ICEIS-v3-2003-Govaere: Prescribed Impacts and Impacts Stipulated for Ics: The Gap Between the Possibilities and the Use of Ics (VG), pp. 590–593.
ICEIS-v3-2003-PrikladnickiAE #comprehension #development #distributed #towards: Distributed Software Development: Toward an Understanding of the Relationship Between Project Team, Users and Customers (RP, JLNA, JRE), pp. 417–423.
ICEIS-v4-2003-Roth #collaboration #framework #mobile: The Resource Framework for Mobile Applications: Enabling Collaboration Between Mobile Users (JR), pp. 87–94.
ICML-2003-Bouckaert #algorithm #learning #testing: Choosing Between Two Learning Algorithms Based on Calibrated Tests (RRB), pp. 51–58.
ICML-2003-KashimaTI #graph #kernel: Marginalized Kernels Between Labeled Graphs (HK, KT, AI), pp. 321–328.
ICML-2003-KondorJ #kernel #set: A Kernel Between Sets of Vectors (RK, TJ), pp. 361–368.
KDD-2003-SarawagiCG #learning #named #probability #topic: Cross-training: learning probabilistic mappings between topics (SS, SC, SG), pp. 177–186.
KDD-2003-WebbBN #detection #difference #on the: On detecting differences between groups (GIW, SMB, DAN), pp. 256–265.
SEKE-2003-TongrungrojanaL #modelling #web: WebML+: a Web modeling language for forming a bridge between business modeling and information modeling (RT, DBL), pp. 17–24.
SIGIR-2003-AzzopardiGR #information retrieval #metric: Investigating the relationship between language model perplexity and IR precision-recall measures (LA, MG, KvR), pp. 369–370.
SIGIR-2003-GirolamiK #equivalence #on the: On an equivalence between PLSI and LDA (MG, AK), pp. 433–434.
UML-2003-StraetenMSJ #consistency #logic #maintenance #modelling #uml #using: Using Description Logic to Maintain Consistency between UML Models (RVDS, TM, JS, VJ), pp. 326–340.
PPDP-2003-AgerBDM #automaton #functional: A functional correspondence between evaluators and abstract machines (MSA, DB, OD, JM), pp. 8–19.
REFSQ-J-2002-ZowghiG03 #consistency #correctness #evolution #on the #requirements: On the interplay between consistency, completeness, and correctness in requirements evolution (DZ, VG), pp. 993–1009.
RE-2003-BergmanM #analysis #requirements: In Situ Requirements Analysis: A Deeper Examination of the Relationship between Requirements Determination and Project Selection (MB, GM), pp. 11–22.
RE-2003-KaiyaSMK #analysis #java #mobile #policy #requirements #security #trade-off: Trade-off Analysis between Security Policies for Java Mobile Codes and Requirements for Java Application (HK, KS, YM, KK), pp. 357–358.
SAC-2003-ZhuHY #network #using #web: Recognizing the Relations between Web Pages Using Artificial Neural Network (XZ, SH, YY), pp. 1217–1221.
ESEC-FSE-2003-OhstWK #diagrams #difference #uml: Differences between versions of UML diagrams (DO, MW, UK), pp. 227–236.
ICSE-2003-KazmanBB #human-computer #interactive #re-engineering: Bridging the Gaps Between Software Engineering and Human-Computer Interaction (RK, LJB, JB), pp. 777–778.
CAV-2003-KestenPP #simulation: Bridging the Gap between Fair Simulation and Trace Inclusion (YK, NP, AP), pp. 381–393.
SAT-2003-DrakeF #branch #heuristic #interactive: The Interaction Between Inference and Branching Heuristics (LD, AMF), pp. 370–382.
SAT-2003-Kullmann #combinator: The Combinatorics of Conflicts between Clauses (OK), pp. 426–440.
ASE-2002-DiasR #component #concurrent #identification: Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components (MSD, DJR), pp. 245–248.
ASE-2002-TanL #design #object-oriented #requirements: Systematic Bridging the Gap between Requirements and OO Design (HBKT, WL), pp. 249–252.
DocEng-2002-HardyB #game studies #xml: Mapping and displaying structural transformations between XML and PDF (MRBH, DFB), pp. 95–102.
SIGMOD-2002-BhattacharyaMBNHS #consistency #coordination #database #file system: Coordinating backup/recovery and data consistency between database and file systems (SB, CM, KB, IN, HIH, MS), pp. 500–511.
ITiCSE-2002-DaleBBK #education: A dialog between authors and teachers (NBD, JB, DJB, CWK), pp. 44–45.
PEPM-2002-MeurLC #partial evaluation #programming language #towards: Towards bridging the gap between programming languages and partial evaluation (AFLM, JLL, CC), pp. 9–18.
STOC-2002-AlekhnovichJPU #exponential: An exponential separation between regular and general resolution (MA, JJ, TP, AU), pp. 448–456.
STOC-2002-Feige #approximate #complexity: Relations between average case complexity and approximation complexity (UF), pp. 534–543.
DLT-2002-Adorna #nondeterminism #on the: On the Separation between k-Party and (k-1)-Party Nondeterministic Message Complexities (HNA), pp. 152–161.
IFM-2002-KorenblatGK #petri net: Translations between Textual Transition Systems and Petri Nets (KK, OG, SK), pp. 339–359.
CHI-2002-TaylorH #case study #mobile: Age-old practices in the “new world”: a study of gift-giving between teenage mobile phone users (AST, RHRH), pp. 439–446.
ICEIS-2002-Audy #analysis #information management: Analysis of the Relation between the Prescriptive and Descriptive Approaches of the Information System Planning (JLNA), pp. 553–561.
ICEIS-2002-SanchezSVACD #data mining #mining #using: Using Data Mining Techniques to Analyze Correspondences between Partitions (DS, JMS, MAVM, VA, JC, GD), pp. 179–186.
ICPR-v1-2002-BingPL: Recognizing Faces with Expressions: Within-class Space and Between-class Space (YB, CP, JL), pp. 139–142.
ICPR-v1-2002-OkataniD #3d #estimation #image #robust #using: Robust Estimation of Camera Translation Between Two Images Using a Camera With a 3D Orientation Sensor (TO, KD), pp. 275–278.
ICPR-v3-2002-FerriMV #adaptation #comparison #prototype: An Experimental Comparison between Consistency-Based and Adaptive Prototype Replacement Schemes (FJF, RAM, EV), pp. 41–44.
ICPR-v3-2002-HallouliLS #case study #comparative #data fusion #markov #recognition: A Comparative Study between Decision Fusion and Data Fusion in Markovian Printed Character Recognition (KH, LLS, MS), pp. 147–150.
ICPR-v3-2002-Ishii #bound #design #people: Tangible Bits: Designing the Boundary between People, Bits, and Atoms (HI), p. 277.
ICPR-v3-2002-JohnsonB #identification #metric: Relationship between Identification Metrics: Expected Confusion and Area Under a ROC Curve (AYJ, AFB), pp. 662–666.
ICPR-v4-2002-LamXS #difference #using: Differentiation between Alphabetic and Numeric Data Using NN Ensembles (LL, QX, CYS), pp. 40–43.
KR-2002-KoniecznyP #on the: On the Frontier between Arbitration and Majority (SK, RPP), pp. 109–120.
SIGIR-2002-Kawatani #categorisation #difference #documentation #set #topic: Topic difference factor extraction between two document sets and its application to text categorization (TK), pp. 137–144.
SIGIR-2002-YuanBK: The relationship between ASK and relevance criteria (XJY, NJB, JYK), pp. 359–360.
GPCE-2002-ElradAB #aspect-oriented #design #implementation #modelling: Aspect-Oriented Modeling: Bridging the Gap between Implementation and Design (TE, OA, AB), pp. 189–201.
RE-2002-BergmanM #analysis #empirical #requirements: Exploring the Relationship between Project Selection and Requirements Analysis: An Empirical Study of the New Millennium Program (MB, GM), pp. 247–254.
SAC-2002-CarlssonJ #difference #game studies: Differences between the iterated prisoner’s dilemma and the chicken game under noisy conditions (BC, KIJ), pp. 42–48.
SAC-2002-YoungBGL #difference #object-oriented #using: Using an object oriented model for resolving representational differences between heterogeneous systems (PY, VB, JG, L), pp. 976–983.
ASPLOS-2002-ZhaiCSM #communication #compilation #optimisation #thread: Compiler optimization of scalar value communication between speculative threads (AZ, CBC, JGS, TCM), pp. 171–183.
CADE-2002-Hurd #first-order #interface #logic: An LCF-Style Interface between HOL and First-Order Logic (JH), pp. 134–138.
CSL-2002-Kakutani #call-by #recursion: Duality between Call-by-Name Recursion and Call-by-Value Iteration (YK), pp. 506–521.
CSL-2002-Kanovich: Bijections between Partitions by Two-Directional Rewriting Techniques (MIK), pp. 44–58.
VMCAI-2002-BartheDJS #virtual machine: A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines (GB, GD, LJ, SMdS), pp. 32–45.
ASE-2001-Egyed #approach #consistency #scalability: Scalable Consistency Checking Between Diagrams-The ViewIntegra Approach (AE), pp. 387–390.
DAC-2001-RichPS #design #perspective: Reducing the Frequency Gap Between ASIC and Custom Designs: A Custom Perspective (SER, MJP, JS), pp. 432–437.
DATE-2001-SvarstadNJ #communication #design #embedded #specification: A model for describing communication between aggregate objects in the specification and design of embedded systems (KS, GN, AAJ), pp. 77–85.
DocEng-2001-Muchaluat-SaadeS #architecture #authoring #convergence #hypermedia #towards: Towards the convergence between hypermedia authoring languages and architecture description languages (DCMS, LFGS), pp. 48–57.
ICDAR-2001-KoshinakaNY #dependence #probability #recognition #using #word: A Stochastic Model for Handwritten Word Recognition Using Context Dependency Between Character Patterns (TK, DN, KY), pp. 154–158.
ICDAR-2001-MalerbaELA #automation #component #comprehension #dependence #documentation #image #logic: Automated Discovery of Dependencies Between Logical Components in Document Image Understanding (DM, FE, FAL, OA), pp. 174–178.
ICDAR-2001-WangCFZ #normalisation #recognition #set: Match Between Normalization Schemes and Feature Sets for Handwritten Chinese Character Recognition (QW, ZC, DDF, RZ), pp. 551–555.
CSEET-2001-Newman #case study #education #re-engineering: Observations on Relationships between Initial Professional Education for Software Engineering and Systems Engineering-A Case Study (IN), p. 172–?.
ITiCSE-2001-Kumar #c++ #interactive #learning #pointer: Learning the interaction between pointers and scope in C++ (ANK), pp. 45–48.
FoSSaCS-2001-BidoitHK #on the #reachability: On the Duality between Observability and Reachability (MB, RH, AK), pp. 72–87.
STOC-2001-WangW: Estimating true evolutionary distances between genomes (LSW, TW), pp. 637–646.
DLT-2001-BeaudryHNO #on the #product line: On the Relationship between the McNaughton Families of Languages and the Chomsky Hierarchy (MB, MH, GN, FO), pp. 340–348.
CAiSE-2001-IivariH #deployment #development: The Relationship Between Organisational Culture and the Deployment of Systems Development Methodologies (JI, MH), pp. 234–250.
ICEIS-v1-2001-Eom: Relationships between the Decision Support System Subspecialities and Artificial Intelligence (SBE), pp. 418–424.
UML-2001-AlvarezES #architecture #metamodelling: Mapping between Levels in the Metamodel Architecture (JMÁ, AE, PS), pp. 34–46.
TOOLS-USA-2001-White #component #database #relational: Component/Object to Relational Database Bridging: A Leader’s Guide to Bridging the Chasm between Database and Software Engineers (JW), pp. 377–378.
PADL-2001-IglesiasGPRM #approach #logic programming #tool support: Interoperability between Bioinformatics Tools: A Logic Programming Approach (JRI, GG, EP, DR, BM), pp. 153–168.
ICSE-2001-Fruhauf #project management: The Intertwining Between Risk and Project Management (KF), pp. 707–708.
ASE-2000-Lecoeuche #concept: Finding Comparatively Important Concepts between Texts (RL), p. 55–?.
DAC-2000-ChinneyK #perspective: Closing the gap between ASIC and custom: an ASIC perspective (DGC, KK), pp. 637–642.
DAC-2000-SaabHK: Closing the gap between analog and digital (KS, NBH, BK), pp. 774–779.
HT-2000-MillardMDR #hypermedia #named: FOHM: a fundamental open hypertext model for investigating interoperability between hypertext domains (DEM, LM, HCD, SR), pp. 93–102.
ESOP-2000-AmtoftT #polymorphism: Faithful Translations between Polyvariant Flows and Polymorphic Types (TA, FAT), pp. 26–40.
ICSM-2000-AntoniolCCL #documentation #information retrieval #modelling #traceability: Information Retrieval Models for Recovering Traceability Links between Code and Documentation (GA, GC, GC, ADL), p. 40–?.
ICSM-2000-SahraouiGM #automation #design #metric #object-oriented #quality #question: Can Metrics Help to Bridge the Gap between the Improvement of OO Design Quality and its Automation? (HAS, RG, TM), pp. 154–162.
ICALP-2000-Santo #normalisation: Revisiting the Correspondence between Cut Elimination and Normalisation (JES), pp. 600–611.
CHI-2000-BenfordBABDHHINOSSST #collaboration #design: Designing storytelling technologies to encouraging collaboration between young children (SB, BBB, KPÅ, VB, AD, PH, JPH, RI, HN, CO, KTS, DS, YS, GT), pp. 556–563.
CHI-2000-KolevaSBG #interface: Traversable interfaces between real and virtual worlds (BK, HS, SB, CG), pp. 233–240.
CHI-2000-LinNHL #design #named #tool support #web: DENIM: finding a tighter fit between tools and practice for Web site design (JL, MWN, JIH, JAL), pp. 510–517.
ICML-2000-VilaltaO #bias #classification #distance #evaluation #metric #quantifier: A Quantification of Distance Bias Between Evaluation Metrics In Classification (RV, DO), pp. 1087–1094.
ICPR-v1-2000-BaillardHB #3d #segmentation #set: Cooperation between Level Set Techniques and Dense 3D Registration for the Segmentation of Brain Structures (CB, PH, CB), pp. 1991–1994.
ICPR-v1-2000-SugimotoM #coordination #image #multi: Multilinear Relationships between the Coordinates of Corresponding Image Conics (AS, TM), pp. 1550–1554.
ICPR-v1-2000-YanaiD #image #recognition: Recognition of Indoor Images Employing Qualitative Model Fitting and Supporting Relation between Objects (KY, KD), pp. 1964–1967.
ICPR-v2-2000-Chandran: A Link between Shape and Phase (VC), pp. 2426–2429.
ICPR-v2-2000-ChaS #distance #metric #similarity: Distance between Histograms of Angular Measurements and its Application to Handwritten Character Similarity (SHC, SNS), pp. 2021–2024.
ICPR-v2-2000-Kangas #classification #comparison #nearest neighbour #prototype #representation: Comparison between Two Prototype Representation Schemes for a Nearest Neighbor Classifier (JK), pp. 2773–2776.
KR-2000-BalbianiO #reasoning: A Model for Reasoning about Topologic Relations between cyclic intervals (PB, AO), pp. 378–385.
KR-2000-Konieczny #difference #knowledge base #on the: On the Difference between Merging Knowledge Bases and Combining them (SK), pp. 135–144.
LOPSTR-2000-PoernomoC #protocol #proving #source code: Protocols between programs and proofs (IP, JNC).
LOPSTR-J-2000-PoernomoC #protocol #proving #source code: Protocols between Programs and Proofs (IP, JNC), pp. 18–37.
ICRE-2000-Leite #question #research: Is there a Gap between RE Research and RE Practice? (JCSdPL), pp. 73–74.
LICS-2000-GradelHO #logic: Back and Forth between Guarded and Modal Logics (EG, CH, MO), pp. 217–228.
ASE-1999-DevulderL #case study #comparative #linear #programming #validation #verification: A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods (SD, JLL), pp. 299–302.
HT-1999-DavisMRBGNSWA #hypermedia #standard: Interoperability between Hypermedia Systems: The Standardisation Work of the OHSWG (HCD, DEM, SR, NOB, KG, PJN, LS, UKW, KMA), pp. 201–202.
ICDAR-1999-LebourgeoisBE #learning #using: Structure Relation between Classes for Supervised Learning using Pretopology (FL, MB, HE), pp. 33–36.
ICDAR-1999-XiLT #novel: A Novel Method for Discriminating between Oriental and European Languages by Fractal Features (DX, SWL, YYT), pp. 345–348.
PODS-1999-BunemanFW #constraints #interactive: Interaction between Path and Type Constraints (PB, WF, SW), pp. 56–67.
ITiCSE-1999-Clear #collaboration #concept #education #interactive #learning: A collaborative learning trial between New Zealand and Sweden-using Lotus Notes Domino in teaching the concepts of Human Computer Interaction (TC), pp. 111–114.
FoSSaCS-1999-BogaertST #automaton #problem: The Recognizability Problem for Tree Automata with Comparisons between Brothers (BB, FS, ST), pp. 150–164.
WCRE-1999-Systa #java #modelling #on the #reverse engineering: On the Relationships between Static and Dynamic Models in Reverse Engineering Java Software (TS), pp. 304–313.
STOC-1999-BussGIP #calculus #linear #polynomial: Linear Gaps Between Degrees for the Polynomial Calculus Modulo Distinct Primes (SRB, DG, RI, TP), pp. 547–556.
ICALP-1999-Kirsten #finite #monad #problem: A Connection between the Star Problem and the Finite Power Property in Trace Monoids (DK), pp. 473–482.
ICALP-1999-Lepisto #word: Relations between Local and Global Periodicity of Words (AL), pp. 534–543.
FM-v2-1999-OcicaI #algebra #aspect-oriented #corba #syntax: Algebraic Aspects of the Mapping between Abstract Syntax Notation One and CORBA IDL (RO, DI), p. 1863.
HCI-CCAD-1999-Englmeier #challenge #design #information retrieval #user interface: The link between data and tasks — the crucial challenge in designing user interfaces for information retrieval systems (KE), pp. 97–101.
HCI-CCAD-1999-HollnagelN #approach #collaboration #performance: The collaboration between operators and procedures: a cognitive systems engineering approach to performance improvement (EH, YN), pp. 1211–1215.
HCI-CCAD-1999-LinDF #comprehension #data flow #diagrams #difference: Strategy differences in data flow diagram comprehension between intermediates and novices (CJL, TCD, YMF), pp. 48–52.
HCI-CCAD-1999-Tielsch #health #interface #network #safety: Call center — interface between companies’ practice and the competence network of safety and health at work in North-Rhine-Westfalia (RT), pp. 1332–1336.
HCI-EI-1999-DaeleC #simulation: Between the situation of simulation and the situation of reference: the operators’ representations (AVD, DC), pp. 875–879.
HCI-EI-1999-Davies99b #comprehension #generative #process #programming: Expertise in computer programming: Exploring commonalities between code comprehension and generation activities (SPD), pp. 1273–1277.
HCI-EI-1999-Fach #design pattern: Design Patterns: Bridges Between Application Domain and Software Labs (PWF), pp. 909–912.
HCI-EI-1999-HsuW #comparison: The Comparison of Preferred Settings between PC and CAD Workstation (WHH, MJW), pp. 36–40.
HCI-EI-1999-KotaniH: Relationship between Size of Icons and Mouse Operating Force with Complex Actions during Pointing Tasks (KK, KH), pp. 412–415.
HCI-EI-1999-SuzukiA #difference #process: Difference in the ANS activity between gaze angles while seated (KS, DRA), pp. 69–73.
HCI-EI-1999-ToivonenT #assessment: Assessment of dose-response relationship between VDU work and discomfort (RT, EPT), pp. 27–30.
AdaEurope-1999-MillanLM #ada #adaptation #java #persistent #using: An Adaptation of our Ada95/O2 Binding to Provide Persistence to the Java Language: Sharing and Handling of Data between Heterogenous Applications using Persistence (TM, ML, FM), pp. 320–331.
ICEIS-1999-AalstBVVV #adaptation #flexibility #workflow: Adaptive Workflow-On the Interplay between Flexibility and Support (WMPvdA, TB, EV, PACV, MV), pp. 353–360.
MLDM-1999-JacobsenZP #comparison #network: A Comparison between Neural Networks and Decision Trees (CJ, UZ, PP), pp. 144–158.
MLDM-1999-Sawaragi #data mining #effectiveness #interactive #mining: Reproductive Process-Oriented Data Mining from Interactions between Human and Complex Artifact System (TS), pp. 180–194.
UML-1999-GieseGW #behaviour #modelling #object-oriented: Closing the Gap Between Object-Oriented Modeling of Structure and Behavior (HG, JG, GW), pp. 534–549.
TOOLS-PACIFIC-1999-Caspersen #c++ #embedded #framework #implementation #modelling #realtime: A C++ Framework for Active Objects in Embedded Real-time Systems-Bridging the Gap Between Modeling and Implementation (MEC), pp. 52–65.
RE-1999-HaumerJPH #approach #past present future: Bridging the Gap Between Past and Future in RE: A Scenario-Based Approach (PH, MJ, KP, PH), pp. 66–73.
ESEC-FSE-1999-JarzabekK #component #generative: Synergy between Component-Based and Generative Approaches (SJ, PK), pp. 429–445.
ICSE-1999-McKinney #interface #off the shelf #re-engineering: Impact of Commercial Off-the-Shelf (COTS) Software on the Interface Between Systems and Software Engineering (DM), pp. 627–628.
CAV-1999-HenzingerQR #refinement: Assume-Guarantee Refinement Between Different Time Scales (TAH, SQ, SKR), pp. 208–221.
RTA-1999-Otto #formal method #on the: On the Connections between Rewriting and Formal Language Theory (FO), pp. 332–355.
DAC-1998-Dill #simulation #verification #what: What’s Between Simulation and Formal Verification? (Extended Abstract) (DLD), pp. 328–329.
DAC-1998-PasseroneRS #automation #interface #protocol #synthesis: Automatic Synthesis of Interfaces Between Incompatible Protocols (RP, JAR, ALSV), pp. 8–13.
DATE-1998-LeijtenMTJ #communication #multi #realtime: Stream Communication between Real-Time Tasks in a High-Performance Multiprocessor (JAJL, JLvM, AHT, JAGJ), pp. 125–131.
CSEET-1998-BeddieBMT #industrial: Building the Bridge between Industry and Universities: The Graduates into SMEs Project (LB, EB, LM, JT), pp. 128–138.
ITiCSE-1998-LewisM #comparison #compilation #learning: A comparison between novice and experienced compiler users in a learning environment (SL, GM), pp. 157–161.
ESOP-1998-RossS #alias #dependence #pointer: Building a Bridge between Pointer Aliases and Program Dependences (JLR, SS), pp. 221–235.
CSMR-1998-SeemannG #difference #object-oriented #visualisation: Visualization of Differences between Versions of Object-Oriented Software (JS, JWvG), pp. 201–204.
ICALP-1998-DufourdFS #decidability: Reset Nets Between Decidability and Undecidability (CD, AF, PS), pp. 103–115.
ICALP-1998-Mellies #on the #theorem: On a Duality Between Kruskal and Dershowitz Theorems (PAM), pp. 518–529.
CSCW-1998-GutwinG #design #trade-off: Design for Individuals, Design for Groups: Tradeoffs between Power and Workspace Awareness (CG, SG), pp. 207–216.
ACIR-1998-VriesB #database #information retrieval #multi: The Relationship between IR and Multimedia Databases (APdV, HMB).
ICPR-1998-RigollK #comparison #markov #modelling #online #verification: A systematic comparison between on-line and off-line methods for signature verification with hidden Markov models (GR, AK), pp. 1755–1757.
KDD-1998-CarlisSK: Blurring the Distinction between Command and Data in Scientific KDD (JVC, ES, SK), pp. 154–158.
SIGIR-1998-HyoudoNI #comparison #dependence #proximity #retrieval: Comparison Between Proximity Operation and Dependency Operation in Japanese Full-Text Retrieval (YH, KN, TI), pp. 341–342.
SIGIR-1998-SaitoO #user satisfaction #web: A Cognitive Model for Searching for Ill-Defined Targets on the Web: The Relationship Between Search Strategies and User Satisfaction (MS, KO), pp. 155–163.
TOOLS-ASIA-1998-NguyenD #design #implementation #object-oriented: Bridging the Gap Between Object Oriented Design and Implementation (KN, TSD), p. 53–?.
TOOLS-ASIA-1998-WernerTR #collaboration #experience #industrial #re-engineering: An O.O. Software Engineering Training Experience within a Collaboration Project between Academia and Industry (CMLW, GHT, ARCdR), p. 290–?.
TOOLS-USA-1998-ChoMK #approach #protocol #specification: A Protocol Based Approach to Specifying Interoperability between Objects (IHC, JDM, LK), pp. 84–96.
TOOLS-USA-1998-LeontievOS #implementation #interface #on the #representation: On Separation between Interface, Implementation, and Representation in Object DBMSs (YL, MTÖ, DS), pp. 155–167.
ICRE-1998-MayrK #concept #design #requirements: Conceptual Predesign — Bridging the Gap between Requirements and Conceptual Design (HCM, CK), p. 90–?.
SAC-1998-BeschHW #design #interface #modelling #parallel: Parallel scientific computing in PROMOTER: on the interface between appliction modelling and language design (MB, GH, MW), pp. 677–683.
HPDC-1998-QuinnMS #matlab #named: Otter: Bridging the Gap between MATLAB and ScaLAPACK (MJQ, AGM, NS), pp. 114–121.
ISMM-1998-RothW: One-Bit Counts between Unique and Sticky (DJR, DSW), pp. 49–56.
ISMM-1998-WallaceR #functional #lazy evaluation: The Bits Between The Lambdas: Binary Data in a Lazy Functional Language (MW, CR), pp. 107–117.
CADE-1998-OhtaIH #on the #testing: On the Relationship Between Non-Horn Magic Sets and Relevancy Testing (YO, KI, RH), pp. 333–348.
CADE-1998-SlindGBB #interface: System Description: An Interface Between CLAM and HOL (KS, MJCG, RJB, AB), pp. 134–138.
JICSLP-1998-CollavizzaDR #consistency: Relationships between Partial Consistencies over Continuous Domains (HC, FD, MR), pp. 345–346.
LICS-1998-Veanes #higher-order #unification: The Relation Between Second-Order Unification and Simultaneous Rigid E-Unification (MV), pp. 264–275.
DAC-1997-SchurmannA #design #modelling #tool support: Modeling Design Tasks and Tools: The Link Between Product and Flow Model (BS, JA), pp. 564–569.
WPC-1997-Visaggio #documentation #maintenance #process: Relationships between Documentation and Maintenance Activities (GV), pp. 4–16.
SAS-1997-CharlierF #abstract interpretation #on the #theory and practice: On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract) (BLC, PF), pp. 379–387.
CHI-1997-DruinSPBH #collaboration #design #named: KidPad: A Design Collaboration Between Children, Technologists, and Educators (AD, JS, DP, BBB, JDH), pp. 463–470.
CHI-1997-IshiiU #interface #people #towards: Tangible Bits: Towards Seamless Interfaces between People, Bits and Atoms (HI, BU), pp. 234–241.
CHI-1997-TerwilligerP #interface: Relationships Between Users’ and Interfaces’ Task Representations (RBT, PGP), pp. 99–106.
HCI-CC-1997-MoroCBSA: The Relationship Between Sitting Posture and Musculoskeletal Pain (FBPM, FTC, ADB, MJS, PA), pp. 525–528.
HCI-CC-1997-TanakaMTKY #distributed #symmetry: Tele-Consultation System Supporting Asymmetrical Communications Between Customers and Expert Staff in Distributed Environment (TT, HM, HT, HK, HY), pp. 27–30.
HCI-CC-1997-WestlanderBH #development #information management #interactive #process: Modes of Interaction Between Businesses and R&D Project Teams in Cognitive Engineering and Information Systems Development. Success and Failures in the Process of Field Studies (GW, TB, SH), pp. 793–796.
HCI-SEC-1997-Okamoto #information management #interface #people #theory and practice #towards: Toward Rehabilitation Cognitive Engineering-Gap Between Theory and Practice in the Human Interface of Information Processing Devices for People with Disabilities (AO), pp. 551–554.
HCI-SEC-1997-Umemuro #difference #effectiveness: Age Differences Between Elderly and Young Workers in Effectiveness of Computer Skill Training and Task Cognition (HU), pp. 177–180.
UML-1997-Ou #on the #uml: On Mapping Between UML and Entity-Relationship Model (YO), pp. 45–57.
UML-1997-Prasse #comparison #evaluation #modelling #object-oriented #uml: Evaluation of Object-Oriented Modelling Languages: A Comparison Between OML and UML (MP), pp. 58–75.
TOOLS-ASIA-1997-ThompsonW #architecture #corba #distributed: Comparisons between CORBA and DCOM: Architectures for Distributed Computing (DT, DW), pp. 278–283.
TOOLS-PACIFIC-1997-ExtonWT #corba #distributed #interface: Comparisons between CORBA IDL & COM/DCOM MIDL: Interfaces for Distributed Computing (CE, DW, DT), pp. 15–32.
POPL-1997-ChenH #linear #monad: Rolling Your Own MADT — A Connection Between Linear Types and Monads (CPC, PH), pp. 54–66.
SAC-1997-Zhan #fuzzy: Topological relations between fuzzy regions (FBZ), pp. 192–196.
HPCA-1997-AmzaCDZ #adaptation #multi #protocol: Software DSM Protocols that Adapt between Single Writer and Multiple Writer (CA, ALC, SD, WZ), pp. 261–271.
PPoPP-1997-AmzaCRZ #distributed #memory management #trade-off: Trade-offs Between False Sharing and Aggregation in Software Distributed Shared Memory (CA, ALC, KR, WZ), pp. 90–99.
ICLP-1997-BelleghemDS #logic #logic programming: A Strong Correspondence between Description Logics and Open Logic Programming (KVB, MD, DDS), pp. 346–360.
SIGMOD-1996-FernandezS: The Ins and Outs (and Everthing in Between) of Data Warehousing (PMF, DAS), p. 541.
CSEE-1996-McCabeOP #outsourcing: Stretching the McDonnell Douglas Software Training Budget: Striking a Balance Between In-House and Outsourcing (NM, GO, KP), pp. 199–215.
STOC-1996-Okamoto #on the #proving #statistics: On Relationships between Statistical Zero-Knowledge Proofs (TO), pp. 649–658.
ICALP-1996-Mossakowski #framework #logic: Different Types of Arrow Between Logical Frameworks (TM), pp. 158–169.
CHI-1996-RansonPKRMCSS #agile #physics: Rapid Scout: Bridging the Gulf Between Physical and Virtual Environments (DSR, ESP, DLK, GAR, MLM, JMC, ES, CSS), pp. 442–449.
CSCW-1996-DourishHMMZ #named #representation #workflow: Freeflow: Mediating Between Representation and Action in Workflow Systems (PD, JH, AM, PM, AZ), pp. 190–198.
ICPR-1996-LaumyDL #approach #comparison #optimisation: Segments matching: comparison between a neural approach and a classical optimization way (ML, MD, JTL), pp. 261–265.
ICPR-1996-PetrouS #fuzzy #network #on the #reasoning: On the relationship between neural networks and fuzzy reasoning (MP, KRS), pp. 239–243.
ICPR-1996-RigollKRN #comparison #markov #modelling #recognition: A comparison between continuous and discrete density hidden Markov models for cursive handwriting recognition (GR, AK, JR, CN), pp. 205–209.
ICPR-1996-ZanardiHC #interactive #learning #mobile: Mutual learning or unsupervised interactions between mobile robots (CZ, JYH, PC), pp. 40–44.
ICPR-1996-Zhang #geometry #image #lens #on the: On the epipolar geometry between two images with lens distortion (ZZ), pp. 407–411.
SEKE-1996-KimSK #communication: Relationship Between Communication Capability and Goal Achievement in System of Agents (HGK, YCS, MhK), pp. 246–252.
SIGIR-1996-SmeatonQ #image #retrieval #semantics #using #word: Experiments on Using Semantic Distances Between Words in Image Caption Retrieval (AFS, IQ), pp. 174–180.
ECOOP-1996-BullatS #clustering #database #effectiveness: Dynamic Clustering in Object Databases Exploiting Effective Use of Relationships Between Objects (FB, MS), pp. 344–365.
ECOOP-1996-Hohenstein #c++ #database #relational: Bridging the Gap Between C++ and Relational Databases (UH), pp. 398–420.
FSE-1996-Gunter #dependence: Abstracting Dependencies between Software Configuration Items (CAG), pp. 167–178.
HPDC-1996-CarterLA #clustering #comparison #performance: Commodity Clusters: Performance Comparison Between PC’s and Workstations (RC, JL, RA), pp. 292–304.
KBSE-1995-LindenV #development #interface: An Interface Between Different Software Development Environments (GL, AIV), pp. 79–87.
PODS-1995-ChangH #database #generative #using: Using Witness Generators to Support Bi-directional Update Between Object-Based Databases (TPC, RH), pp. 196–207.
CSEE-1995-MannsP #education #industrial #object-oriented: Object-Oriented Technology Education and Training: Bridging the Gap Between Academia and Industry (MLM, GIP), p. 115.
ICSM-1995-BuckleyC: Discovering relationships between service and customer satisfaction (MB, RC), p. 192–?.
CHI-1995-LiebermanF #behaviour #programming: Bridging the Gulf Between Code and Behavior in Programming (HL, CF), pp. 480–486.
CAiSE-1995-AndonoffHPZ #composition #inheritance #modelling: Modelling Inheritance, Composition and Relationship Links between Objects, Object Versions and Class Versions (EA, GH, ALP, GZ), pp. 96–111.
CAiSE-1995-DignumW #communication #modelling: Modelling Communication between Cooperative Systems (FD, HW), pp. 140–153.
KDD-1995-CortesDHV #capacity #complexity #predict: Capacity and Complexity Control in Predicting the Spread Between Borrowing and Lending Interest Rates (CC, HD, DH, VV), pp. 51–56.
SIGIR-1995-Iivonen #consistency #difference: Searchers and Searchers: Differences between the Most and Least Consistent Searchers (MI), pp. 149–157.
FSE-1995-MurphyNS #modelling: Software Reflexion Models: Bridging the Gap Between Source and High-Level Models (GCM, DN, KJS), pp. 18–28.
LICS-1995-DoughertyS #similarity: Equality between Functionals in the Presence of Coproducts (DJD, RS), pp. 282–291.
TLCA-1995-RitterP #ml #standard #λ-calculus: A Fully Abstract Translation between a λ-Calculus with Reference Types and Standard ML (ER, AMP), pp. 397–413.
KBSE-1994-GirgensohnRS #communication #design #developer: Agent-Based Support for Communication Between Developers and Users in Software Design (AG, DFR, FMSI), pp. 22–29.
PODS-1994-ChaudhuriV #complexity #datalog #equivalence #on the #recursion #source code: On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs (SC, MYV), pp. 107–116.
CSEE-1994-Hartvigsen #education #re-engineering: Reducing the Gap Between Academic Theory and Professional Practive in Software Engineering Education (GH), pp. 263–273.
STOC-1994-MansourNV #communication #parallel #throughput #trade-off: Trade-offs between communication throughput and parallel time (YM, NN, UV), pp. 372–381.
ICALP-1994-AsarinM #on the: On some Relations between Dynamical Systems and Transition Systems (EA, OM), pp. 59–72.
TAGT-1994-Drewes #algebra #graph #transducer: The Use of Tree Transducers to Compute Translations Between Graph Algebras (FD), pp. 196–210.
TAGT-1994-KorffR #graph grammar #petri net: Formal Relationship between Graph Grammars and Petri Nets (MK, LR), pp. 288–303.
CHI-1994-LawrenceAD94a #interactive #social: Surrogate users: mediating between social and technical interaction (DL, MEA, SD), pp. 399–404.
CAiSE-1994-SwedeV #consistency #development #empirical: Consistent Development: Results of a First Empirical Study on the Relation Between Project Scenario and Success (VvS, HvV), pp. 80–93.
CIKM-1994-Borgida #logic #on the: On The Relationship Between Description Logic and Predicate Logic (AB), pp. 219–225.
KR-1994-BaalenF #representation: The Role of Reversible Grammars in Translating Between Representation Languages (JVB, RF), pp. 562–571.
KR-1994-Bochman #on the: On the Relation Between Default and Modal Consequence Relations (AB), pp. 63–74.
SEKE-1994-AtchanE #behaviour #empirical #functional #modelling #requirements #specification: An experiment in eliminating the separation between data, functional, and behavioral models during requirements specification (HMA, GCE), pp. 2–9.
SEKE-1994-SpanoudakisC #similarity: Measuring similarity between software artifacts (GS, PC), pp. 387–394.
TOOLS-EUROPE-1994-Migeon #database #independence #relational: A Dossier Server: an Independent Service Bus Between Object Applications and Relational Data Bases (MM), pp. 455–465.
CADE-1994-Lysne #consistency #on the #proving: On the Connection between Narrowing and Proof by Consistency (OL), pp. 133–147.
ICLP-1994-SakamaI #abduction #equivalence #logic programming #on the #source code: On the Equivalence between Disjunctive and Abductive Logic Programs (CS, KI), pp. 489–503.
ILPS-1994-MarriottS #approximate #constraints #interactive #linear: Approximating Interaction between Linear Arithmetic Constraints (KM, PJS), pp. 571–585.
ICDAR-1993-SatohTK #collaboration #documentation #hypermedia: A collaborative supporting method between document processing and hypertext construction (SS, AT, EK), pp. 533–536.
ICDAR-1993-SekiT: Relationship between the construction of Chinese character and the correct ratio of writer indentification (YS, NT), pp. 838–841.
PODS-1993-Revesz #on the #semantics: On the Semantics of Theory Change: Arbitration between Old and New Information (PZR), pp. 71–82.
SIGMOD-1993-AgrawalIS #database #mining #scalability #set: Mining Association Rules between Sets of Items in Large Databases (RA, TI, ANS), pp. 207–216.
SIGMOD-1993-NassifM #legacy #migration: Issues and Approaches for Migration/Cohabitation between Legacy and new Systems (RN, DM), pp. 471–474.
DLT-1993-Iwama #low level #trade-off: Low-Level Tradeoffs between Reversals and Alternations (KI), pp. 326–341.
FPCA-1993-HammarlundL #functional #on the #parallel #programming language: On the Relation between Functional and Data Parallel Programming Languages (PH, BL), pp. 210–222.
HCI-ACS-1993-ArthurB #performance: The Relationship Between Secretaries Opinions of Computing and Their Computer Performance Within a United Kingdom Health-Care Setting (JA, PB), pp. 362–367.
HCI-ACS-1993-Hjelmquist #communication #people #using: Communication Between People Using a Computer-Mediated Communication System (EH), pp. 955–960.
HCI-ACS-1993-LipnerSS #design #interface: The Relationship Between Task Structure and Choice of Navigational Aid in Human Computer Interface Design (RSL, GWS, KEOS), pp. 522–527.
HCI-ACS-1993-MiwaFKO #communication #interface: A Method of Communication Between CAD and VR Interfaces (MM, MF, MK, TO), pp. 255–260.
HCI-SHI-1993-BoczkowskiNR #hypermedia #on the #process: On the Relationships between Hypermedia and the Psychotherapeutic Process (PB, FDN, GR), pp. 476–481.
HCI-SHI-1993-DouglasH #design #performance: Evaluating Performance, Discomfort, and Subjective Preference between Computer Keyboard Designs (SDD, AJH), pp. 1064–1069.
HCI-SHI-1993-GerlachO #interface: A Dialogue Manager as Interface between Aircraft Pilots and a Pilot Assistant System (MG, RO), pp. 98–103.
HCI-SHI-1993-KurokawaMW #bidirectional #communication #people: Bidirectional Translation between Sign Language and Japanese for Communication with Deaf-Mute People (TK, TM, SW), pp. 1109–1114.
HCI-SHI-1993-ScholtzC #development #programming language: The Development of a Plan Based Tutor to Aid in Transfer between Programming Languages (JS, AC), pp. 519–524.
TRI-Ada-1993-Byrnes #ada #migration: Porting Applications Between Two Commercial Ada/Motif Bindings (CB), pp. 37–49.
SEKE-1993-LoiaQ #logic programming #named #object-oriented: CLOS: A Key Issue To Bridge the Gap Between Object-Oriented and Logic Programming (VL, MQ), pp. 62–69.
ECOOP-1993-Jezequel #approach #compilation #library #parallel #reuse: Transparent Parallelisation Through Reuse: Between a Compiler and a Library Approach (JMJ), pp. 384–405.
LOPSTR-1993-Neumerkel #similarity: A Transformation Based in the Equality Between Terms (UN), pp. 162–176.
RE-1993-Lefering #in the large #incremental #integration #programming #requirements: An incremental integration tool between requirements engineering and programming in the large (ML), pp. 82–89.
ICSE-1993-LichterSZ #industrial #prototype #theory and practice: Prototyping in Industrial Software Projects — Bridging the Gap Between Theory and Practice (HL, MSH, HZ), pp. 221–229.
ICSE-1993-NuseibehKF #multi #requirements #specification: Expressing the Relationships Between Multiple Views in Requirements Specification (BN, JK, AF), pp. 187–196.
ISSTA-1993-CorbettA #bound #concurrent #realtime: A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems (JCC, GSA), pp. 110–116.
IWPTS-1993-Drira #graph #trade-off #verification: The Refusal Graph: a Tradeoff between Verification and Test (KD), pp. 297–312.
SIGMOD-1992-Rosenthal #what: What Can We Do to Strengthen the Connection Between Theory and System Builders (AR), p. 101.
ICALP-1992-Olderog #communication #interface: Interfaces between Languages for Communicating Systems (ERO), pp. 641–655.
ICALP-1992-Rabinovich #concurrent #finite: Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract) (AMR), pp. 696–707.
ICALP-1992-Rote #how #metric: A New Metric Between Polygons and How to Compute it (GR), pp. 404–415.
LFP-1992-NeubergerM #analysis #deduction #power of #precise #strict: A Precise Relationship Between the Deductive Power of Forward and Backward Strictness Analysis (MN, PM), pp. 127–138.
CSCW-1992-ReevesS #communication #design #evolution: Supporting Communication Between Designers with Artifact-Centered Evolving Information Spaces (BR, FMSI), pp. 394–401.
KR-1992-Arlo-CostaS #logic: Maps Between Nonmonotonic and Conditional Logic (HLAC, SJS), pp. 553–564.
KR-1992-CroccoL #logic #on the: On the Connection between Non-monotonic Inference Systems and Conditional Logics (GC, PL), pp. 565–571.
SEKE-1992-Tervonen #quality #research #validation: Quality-Driven Validation: A Link Between Four Research Traditions (IT), pp. 370–377.
ALP-1992-Hermann #on the #recursion: On the Relation Between Primitive Recursion, Schematization and Divergence (MH), pp. 115–127.
DAC-1991-WilliamsUM #network #testing: The Interdependence Between Delay-Optimization of Synthesized Networks and Testing (TWW, BU, MRM), pp. 87–92.
STOC-1991-CoffmanCGJMSWY #analysis #case study: Fundamental Discrepancies between Average-Case Analyses under Discrete and Continuous Distributions: A Bin Packing Case Study (EGCJ, CC, MRG, DSJ, LAM, PWS, RRW, MY), pp. 230–240.
KDD-1991-Gaines #information management #trade-off: The Trade-Off between Knowledge and Data in Knowledge Acquisition (BRG), pp. 491–506.
KR-1991-KatsunoM #difference #knowledge base #on the: On the Difference between Updating a Knowledge Base and Revising It (HK, AOM), pp. 387–394.
KR-1991-Lakemeyer #on the: On the Relation between Explicit and Implicit Belief (GL), pp. 368–375.
SIGIR-1991-Swanson #analysis: Analysis of Unintended Connections Between Disjoint Science Literatures (DRS), pp. 280–289.
TOOLS-USA-1991-Page-Jones #object-oriented: Relationship Between the Structured and Object-Oriented Worlds (MPJ), pp. 395–396.
PLILP-1991-KosterB #on the #source code: On the Borderline Between Grammars and Programs (CHAK, JB), pp. 219–230.
POPL-1991-Riecke #functional: Fully Abstract Translations between Functional Languages (JGR), pp. 245–254.
ESEC-1991-RozmanGD #analysis #metric #source code: Relation Between Source Code Metrics and Structure Analysis Metrics (IR, JG, TD), pp. 332–342.
ISLP-1991-Benthem #logic #programming #reasoning: Reasoning and Programming: Analogies between Logic and Computation (JvB), pp. 717–718.
LICS-1991-Vaandrager #algebra #automaton #on the #process: On the Relationship Between Process Algebra and Input/Output Automata (FWV), pp. 387–398.
RTA-1991-Kucherov #on the #term rewriting: On Relationship Between Term Rewriting Systems and Regular Tree Languages (GK), pp. 299–311.
DAC-1990-Fishburn #heuristic #how #logic: A Depth-Decreasing Heuristic for Combinational Logic: Or How To Convert a Ripple-Carry Adder Into A Carry-Lookahead Adder Or Anything in-between (JPF), pp. 361–364.
PLDI-1990-Horwitz #difference #identification #semantics: Identifying the Semantic and Textual Differences Between Two Versions of a Program (SH), pp. 234–245.
VDME-1990-DiepenH #algebra #relational #semantics: A Formal Semantics for Z and the Link between Z and the Relational Algebra (MJvD, KMvH), pp. 526–551.
GG-1990-EhringP #algebra #graph grammar #specification: Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars (HE, FPP), pp. 292–310.
CAiSE-1990-BrinkkemperH #concept #development #requirements #specification: The Conceptual Task Model: a Specification Technique between Requirements Engineering and Program Development (Extended abstract) (SB, AHMtH), pp. 228–250.
ML-1990-RamseyGS #contest #difference #learning: Simulation-Assisted Learning by Competition: Effects of Noise Differences Between Training Model and Target Environment (CLR, JJG, ACS), pp. 211–215.
POPL-1990-Burn #abstract interpretation #analysis: A Relationship Between Abstract Interpretation and Projection Analysis (GLB), pp. 151–156.
CAV-1990-Josko #equivalence: A Context Dependent Equivalence Relation Between Kripke Structures (BJ), pp. 204–213.
CLP-1990-PowerS90 #logic programming #source code: A Notion of Map between Logic Programs (AJP, LS), pp. 390–404.
STOC-1989-Boppana #parallel: Optimal Separations Between Concurrent-Write Parallel Machines (RBB), pp. 320–326.
STOC-1989-LamTT #communication #trade-off: Tradeoffs Between Communication and Space (TWL, PT, MT), pp. 217–226.
CAiSE-1989-DahlO #development #modelling #tool support: The Relationship between Models, Methods and System Development Tools (i.e. Case Tools and 4GL) (LD, RO).
KR-1989-Lifschitz #logic: Between Circumscription and Autoepistemic Logic (VL), pp. 235–244.
KR-1989-Pednault #calculus #named: ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus (EPDP), pp. 324–332.
ML-1989-Gaines #data-driven #database #empirical #induction #statistics #trade-off: An Ounce of Knowledge is Worth a Ton of Data: Quantitative studies of the Trade-Off between Expertise and Data Based On Statistically Well-Founded Empirical Induction (BRG), pp. 156–159.
ICSE-1989-OttT #slicing: The Relationship between Slices and Module Cohesion (LMO, JJT), pp. 198–204.
DAC-1988-MadreB #behaviour #comparison #correctness #proving #using: Proving Circuit Correctness Using Formal Comparison Between Expected and Extracted Behaviour (JCM, JPB), pp. 205–210.
SIGMOD-1988-MazumdarSS #proving #security #theorem proving #using: Resolving the Tension between Integrity and Security Using a Theorem Prover (SM, DWS, TS), pp. 233–242.
VLDB-1988-ShekarSD #execution #formal method #optimisation #query #semantics #trade-off: A Formal Model of Trade-off between Optimization and Execution Costs in Semantic Query Optimization (SS, JS, SD), pp. 457–467.
PLDI-1988-LarusH #detection: Detecting Conflicts Between Structure Accesses (JRL, PNH), pp. 21–34.
STOC-1988-PelegU #performance #trade-off: A Tradeoff between Space and Efficiency for Routing Tables (Extended Abstract) (DP, EU), pp. 43–52.
ICALP-1988-Rohnert: Moving Discs Between Polygons (HR), pp. 502–515.
DAC-1987-Shahdad #interface: An Interface between VHDL and EDIF (MS), pp. 472–478.
HT-1987-HammwohnerT: Content Oriented Relations between Text Units — A Structural Model for Hypertexts (RH, UT), pp. 155–174.
OOPSLA-1987-SmithZ #case study #database #difference #named #object-oriented #relational: Intermedia: A Case Study of the Differences Between Relational and Object-Oriented Database Systems (KES, SBZ), pp. 452–465.
ESEC-1987-BlackSLL #development: Translation between Pragmatic Software Development Methods (WJB, AGS, PL, PJL), pp. 357–365.
ICLP-1987-MulderT87 #comparison #performance #prolog: A Performance Comparison between PLM and a M68020 PROLOG Processor (HM, ET), pp. 59–73.
RTA-1987-DauchetC #linear #term rewriting: A Gap Between Linear and Non Linear Term-Rewriting Systems (1) (MD, FDC), pp. 95–104.
ESOP-1986-Stark #concept #proving #specification: Proving Entailment Between Conceptual State Specifications (EWS), pp. 197–209.
STOC-1986-KosarajuA #array #simulation: Optimal Simulations between Mesh-Connected Arrays of Processors (Preliminary Version) (SRK, MJA), pp. 264–272.
ICALP-1986-BorodinFHUW #problem #taxonomy #trade-off: A Tradeoff Between Search and Update Time for the Implicit Dictionary Problem (AB, FEF, FMadH, EU, AW), pp. 50–59.
ICALP-1986-BrzozowskiS #analysis #network #simulation #summary: Correspondence between Ternary Simulation and Binary Race Analysis in Gate Networks (Extended Summary) (JAB, CJHS), pp. 69–78.
OOPSLA-1986-MittalBK #bound: Virtual Copies — At the Boundary Between Classes and Instances (SM, DGB, KMK), pp. 159–166.
OOPSLA-1986-Vegdahl #image #smalltalk: Moving Structures between Smalltalk Images (SRV), pp. 466–471.
CADE-1986-Burckert #strict #unification: Some Relationships between Unification, restricted Unification, and Matching (HJB), pp. 514–524.
CADE-1986-CherifaL #implementation #polynomial #term rewriting #termination: An Actual Implementation of a Procedure That Mechanically Proves Termination of Rewriting Systems Based on Inequalities Between Polynomial Interpretations (ABC, PL), pp. 42–51.
STOC-1985-AharoniEL #integer #linear #source code: Dual Integer Linear Programs and the Relationship between their Optima (RA, PE, NL), pp. 476–483.
ICALP-1985-Larsen #equivalence #process: A Context Dependent Equivalence between Processes (KGL), pp. 373–382.
SIGIR-1985-ShepherdLP #case study #query: A Study of the Relationship between User Profiles and User Queries (MAS, AL, WJP), pp. 274–281.
DAC-1984-SastryP #logic #on the #slicing: On the relation between wire length distributions and placement of logic on master slice ICs (SS, ACP), pp. 710–711.
STOC-1984-AdlerM #algorithm #bound #polynomial: A Simplex Algorithm Whose Average Number of Steps is Bounded between Two Quadratic Functions of the Smaller Dimension (IA, NM), pp. 312–323.
STOC-1984-Upfal #modelling #parallel #probability: A Probabilistic Relation between Desirable and Feasible Models of Parallel Computation (A Preliminary Version) (EU), pp. 258–265.
SIGIR-1984-Cooper: Bridging the Gap Between AI and RI (WSC), pp. 259–265.
VLDB-1983-YuSLC #database #distributed #interactive: File Allocation in Distributed Databases with Interaction between Files (CTY, MKS, KL, CHC), pp. 248–259.
SOSP-1983-ReidK #file system #source code: A File System Supporting Cooperation between Programs (LGR, PLK), pp. 20–19.
SIGMOD-1982-ImielinskiL82a #database: A Technique for Translating States Between Database Schemata (TI, WLJ), pp. 61–68.
DAC-1981-Heller #design #physics: Contrasts in physical design between LSI and VLSI (WRH), pp. 676–683.
DAC-1981-PeledC #design: The “gap” between users and designers of CAD/CAM systems: Search for solutions (JP, MPC), pp. 703–705.
STOC-1981-ArjomandiFL #difference #performance: A Difference in Efficiency between Synchronous and Asynchronous Systems (EA, MJF, NAL), pp. 128–132.
STOC-1981-ChandraHMP #equation #logic #process: Equations between Regular Terms and an Application to Process Logic (AKC, JYH, ARM, RP), pp. 384–390.
STOC-1981-DolevKSSU: Optimal Wiring between Rectangles (DD, KK, AS, AS, JDU), pp. 312–317.
SIGMOD-1980-SadriU #dependence #functional #interactive: The Interaction between Functional Dependencies and Template Dependencies (FS, JDU), pp. 45–51.
STOC-1980-KarpL #complexity: Some Connections between Nonuniform and Uniform Complexity Classes (RMK, RJL), pp. 302–309.
STOC-1979-DeMilloL #complexity #logic: Some Connections between Mathematical Logic and Complexity Theory (RAD, RJL), pp. 153–159.
ICALP-1979-Heide #comparison #game studies #graph: A Comparison Between Two Variations of a Pebble Game on Graphs (FMadH), pp. 411–421.
DAC-1978-Gross #database: File format for data exchange between graphic data bases (AGG), pp. 54–59.
STOC-1978-RaoultV #equivalence #recursion #semantics #source code: Operational and Semantic Equivalence between Recursive Programs (JCR, JV), pp. 75–85.
ICALP-1978-Berman #complexity: Relationship Between Density and Deterministic Complexity of NP-Complete Languages (PB), pp. 63–71.
GG-1978-Wileden #analysis #concurrent #design #graph grammar: Relationships Between Graph Grammars and the Design and Analysis of Concurrent Software (JCW), pp. 456–463.
SIGIR-1978-YuR: Experiments on the Determination of the Reltionships Between Terms (CTY, VVR), p. 150.
ICSE-1978-Fisher #design #higher-order #interactive #requirements: The Interaction Between the Preliminary Designs and the Technical Requirements for the DoD Common High Order Language (DAF), pp. 82–83.
STOC-1977-Hartmanis #complexity #proving: Relations Between Diagonalization, Proof Systems, and Complexity Gaps (Preliminary Version) (JH), pp. 223–227.
STOC-1977-LynchB #performance #programming: Efficient Reducibility Between Programming Systems: Preliminary Report (NAL, EKB), pp. 228–238.
ICALP-1977-Simon #difference #on the: On the Difference Between One and Many (Preliminary Version) (JS), pp. 480–491.
VLDB-1976-NahouraiiBC #approach #communication #database: An Approach to Data Communication between Different Generalized Data Base Management Systems (EN, LOB, AFC), pp. 117–142.
ICSE-1976-BarstowK #interactive #performance #synthesis: Observations on the Interaction Between Coding and Efficiency Knowledge in the PSI Program Synthesis System (DRB, EK), pp. 19–31.
DAC-1975-Losleben #design #performance: Computer aided LSI circuit design: A relationship between topology and performance (PL), pp. 102–104.
VLDB-1975-Zimmerman #database #network #relational: Different Views of a Data Base: Coexistence between Network Model and Relational Model (KZ), pp. 535–537.
STOC-1974-HuntR #context-free grammar: Computational Parallels between the Regular and Context-Free Languages (HBHI, DJR), pp. 64–74.
ICALP-1974-Ausiello #complexity #recursion #semantics #source code: Relations between Semantics and Complexity of Recursive Programs (GA), pp. 129–140.
ICALP-1974-EhrenfeuchtR #morphism #term rewriting #trade-off: Trade-off between the Use of Nonterminals, Codings and Homomorphisms in Defining Languages for Some Classes of Rewriting Systems (AE, GR), pp. 473–480.
ICALP-1974-Reynolds #continuation #on the #semantics: On the Relation between Direct and Continuation Semantics (JCR), pp. 141–156.
DAC-1972-Oishi #problem #specification: Problem areas and the combination of wall-units to satisfy room relation specification between rooms (IO), pp. 239–249.
ICALP-1972-Monien #automaton #bound #turing machine: Relationship between Pushdown Automata and Tape-Bounded Turing Machines (BM), pp. 575–583.
STOC-1970-Morris #precedence: A Result on the Relationship between Simple Precedence Languages and Reducing Transition Languages (JBM), pp. 73–80.
STOC-1970-Perrot #automaton #finite #monad #on the: On The Relationship between Finite Automata, Finite Monoids, and Prefix Codes (JFP), pp. 217–220.