Stem meet$ (all stems)

278 papers:

DAC-2015-WangSBS #feedback #implementation #probability

Randomness meets feedback: stochastic implementation of logistic map dynamical system (ZW, NS, KB, AS), p. 7.

DATE-2015-Rabaey #intranet

The human intranet: where swarms and humans meet (JMR), pp. 637–640.

DocEng-2015-BanerjeeMS #generative #summary

Generating Abstractive Summaries from Meeting Transcripts (SB, PM, KS), pp. 51–60.

DocEng-2015-DenoueCC #documentation

Searching Live Meeting Documents “Show me the Action” (LD, SC, MC), pp. 195–198.

SIGMOD-2015-GuoZLTB #query

Location-Aware Pub/Sub System: When Continuous Moving Queries Meet Dynamic Event Streams (LG, DZ, GL, KLT, ZB), pp. 843–857.

VLDB-2015-AslayLB0L #social

Viral Marketing Meets Social Advertising: Ad Allocation with Minimum Regret (ÇA, WL, FB, AG, LVSL), pp. 822–833.

VLDB-2015-MeehanTZACDKMMP #named #streaming #transaction

S-Store: Streaming Meets Transaction Processing (JM, NT, SZ, CA, UÇ, JD, TK, SM, DM, AP, MS, KT, HW), pp. 2134–2145.

CSEET-2015-SedanoP #experience #student #using

Enhancing Student Experience in Team-Based Project Courses Using Essence Reflection Meetings (TS, CP), pp. 10–12.

ICFP-2015-AvanziniLM #complexity #first-order #functional #higher-order #source code

Analysing the complexity of functional programs: higher-order meets first-order (MA, UDL, GM), pp. 152–164.

ICFP-2015-KarachaliasSVJ #data type #lazy evaluation #pattern matching

GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness (GK, TS, DV, SLPJ), pp. 424–436.

KDD-2015-Durrant-Whyte #machine learning

Data, Knowledge and Discovery: Machine Learning meets Natural Science (HDW), p. 7.

RecSys-2015-HuD #machine learning #recommendation #scalability

Scalable Recommender Systems: Where Machine Learning Meets Search (SYDH, JD), pp. 365–366.

SIGIR-2015-YangS #information retrieval #privacy #security

Privacy-Preserving IR 2015: When Information Retrieval Meets Privacy and Security (HY, IS), pp. 1157–1158.

SIGIR-2015-ZhangCQZL #multi #personalisation #recommendation #similarity

When Personalization Meets Conformity: Collective Similarity based Multi-Domain Recommendation (XZ, JC, SQ, ZZ, HL), pp. 1019–1022.

Onward-2015-CitoLGDKR #developer #feedback #metric #runtime #using

Runtime metric meets developer: building better cloud applications using feedback (JC, PL, HCG, AD, AK, AR), pp. 14–27.

SPLC-2015-Krueger #lifecycle #product line

Mechanical product lifecycle management meets product line engineering (CWK), pp. 316–320.

CAV-2015-DuggiralaFM0 #challenge #verification

Meeting a Powertrain Verification Challenge (PSD, CF, SM, MV), pp. 536–543.

RTA-2015-KotsireasKS #design #equation #orthogonal #unification

Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification (ISK, TK, DES), pp. 241–256.

DocEng-2014-DenoueCGC #web

Building digital project rooms for web meetings (LD, SC, AG, MC), pp. 135–138.

SIGMOD-2014-TangXS #complexity #performance

Influence maximization: near-optimal time complexity meets practical efficiency (YT, XX, YS), pp. 75–86.

VLDB-2014-He #approximate #challenge #data transformation #hardware

When Data Management Systems Meet Approximate Hardware: Challenges and Opportunities (BH), pp. 877–880.

ITiCSE-2014-Gulliksen #challenge #education

Meeting the future challenges of education and digitization (JG), p. 2.

ICSME-2014-AbreuCFMPS14a #detection #fault #locality #smell

FaultySheet Detective: When Smells Meet Fault Localization (RA, JC, JPF, PM, AP, JS), pp. 625–628.

IFM-2014-HentschelKHB #ide #interactive #verification

An Interactive Verification Tool Meets an IDE (MH, SK, RH, RB), pp. 55–70.

ICGT-2014-KreowskiKLL #evaluation #generative #graph transformation #synthesis

Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis (HJK, SK, AL, ML), pp. 237–252.

CHI-2014-SimbelisLHSL #design #interactive #named

Metaphone: machine aesthetics meets interaction design (VS, AL, KH, JS, VL), pp. 1–10.

HCI-AIMT-2014-KrogsagerSR #physics

Backchannel Head Nods in Danish First Meeting Encounters with a Humanoid Robot: The Role of Physical Embodiment (AK, NS, MR), pp. 651–662.

RecSys-2014-LingLK #approach #recommendation

Ratings meet reviews, a combined approach to recommend (GL, MRL, IK), pp. 105–112.

SIGIR-2014-ChenJZBZSY #category theory #recommendation

Does product recommendation meet its waterloo in unexplored categories?: no, price comes to help (JC, QJ, SZ, SB, LZ, ZS, YY), pp. 667–676.

SIGIR-2014-SiY #information retrieval #privacy #security

Privacy-preserving IR: when information retrieval meets privacy and security (LS, HY), p. 1295.

OOPSLA-2014-WangCC #abstraction #compilation #verification

Compiler verification meets cross-language linking via data abstraction (PW, SC, AC), pp. 675–690.

SAC-2014-EvermannA #algorithm #big data #implementation #mining #process

Big data meets process mining: implementing the alpha algorithm with map-reduce (JE, GA), pp. 1414–1416.

SAC-2014-SpiegelA #energy

Energy disaggregation meets heating control (SS, SA), pp. 559–566.

HPDC-2014-MuCWZ #network #replication #state machine

When paxos meets erasure code: reduce network and storage cost in state machine replication (SM, KC, YW, WZ), pp. 61–72.

LICS-CSL-2014-BaierDK #analysis #model checking #probability #trade-off

Trade-off analysis meets probabilistic model checking (CB, CD, SK), p. 10.

CSEET-2013-PenzenstadlerMH #industrial

University meets industry: Calling in real stakeholders (BP, MM, PH), pp. 1–10.

ESOP-2013-FilliatreP #named #proving #source code #why

Why3 — Where Programs Meet Provers (JCF, AP), pp. 125–128.

ESOP-2013-SchererR #data type #type system

GADTs Meet Subtyping (GS, DR), pp. 554–573.

PLDI-2013-KongVSFPS #code generation

When polyhedral transformations meet SIMD code generation (MK, RV, KS, FF, LNP, PS), pp. 127–138.

STOC-2013-KawarabayashiY #graph #testing

Testing subdivision-freeness: property testing meets structural graph theory (KiK, YY), pp. 437–446.

GT-VMT-2013-WinetzhammerW #behaviour #emf #modelling #rule-based

ModGraph meets Xcore: Combining Rule-Based and Procedural Behavioral Modeling for EMF (SW, BW).

CSCW-2013-VermaRMJD

Complementarity of input devices to achieve knowledge sharing in meetings (HV, FR, SM, PJ, PD), pp. 701–714.

HIMI-HSM-2013-IsonTV #design #simulation

Designing Simulation to Meet UAS Training Needs (DCI, BAT, DAV), pp. 585–595.

KDD-2013-RobardetSPF #dependence

When TEDDY meets GrizzLY: temporal dependency discovery for triggering road deicing operations (CR, VMS, MP, AF), pp. 1490–1493.

KDD-2013-ZhengLH #big data #named #quality

U-Air: when urban air quality inference meets big data (YZ, FL, HPH), pp. 1436–1444.

KDIR-KMIS-2013-MattaD #approach #design #memory management

Memory Meetings — An Approach to Keep Track of Project Knowledge in Design (NM, GD), pp. 336–343.

RE-2013-MahauxC #interactive

Creative collisions: Meet and create: And other “RE interactive” suggestions (MM, DC), pp. 371–372.

REFSQ-2013-PasqualeSPBR #experience #game studies #requirements

Requirements Engineering Meets Physiotherapy: An Experience with Motion-Based Games (LP, PS, DP, FB, TR), pp. 315–330.

SAC-2013-CeccarelliGLNP #query #recommendation #semantics

When entities meet query recommender systems: semantic search shortcuts (DC, SG, CL, FMN, RP), pp. 933–938.

ICLP-J-2013-CostaV #named

BigYAP: Exo-compilation meets UDI (VSC, DV), pp. 799–813.

DATE-2012-CamposanoGGJ

Moore meets maxwell (RC, DG, SGT, VJ), pp. 1275–1276.

SIGMOD-2012-SuS #pipes and filters

Oracle in-database hadoop: when mapreduce meets RDBMS (XS, GS), pp. 779–790.

ESOP-2012-BartheDP

A Formally Verified SSA-Based Middle-End — Static Single Assignment Meets CompCert (GB, DD, DP), pp. 47–66.

ESOP-2012-DenielouY #automaton #communication #multi

Multiparty Session Types Meet Communicating Automata (PMD, NY), pp. 194–213.

FoSSaCS-2012-AtkeyGJJ #induction

Fibrational Induction Meets Effects (RA, NG, BJ, PJ), pp. 42–57.

ICSM-2012-BadameD #refactoring #spreadsheet

Refactoring meets spreadsheet formulas (SB, DD), pp. 399–409.

STOC-2012-AbernethyFW

Minimax option pricing meets black-scholes in the limit (JA, RMF, AW), pp. 1029–1040.

IFL-2012-ThiemannC

Agda Meets Accelerate (PT, MMTC), pp. 174–189.

CHI-2012-TangMHRIZC #interactive #lightweight #using #video

Time travel proxy: using lightweight video recordings to create asynchronous, interactive meetings (JCT, JM, AH, AR, KI, CZ, XC), pp. 3111–3120.

CSCW-2012-BardzellNPB

Come meet me at Ulduar: progression raiding in world of warcraft (JB, JN, TP, SB), pp. 603–612.

CSCW-2012-NathanTLPWBT

In case you missed it: benefits of attendee-shared annotations for non-attendees of remote meetings (MN, MT, JCL, SP, SW, JB, LGT), pp. 339–348.

CSCW-2012-WhittakerKE #effectiveness #memory management

Markup as you talk: establishing effective memory cues while still contributing to a meeting (VK, PE, SW), pp. 349–358.

EDOC-2012-GraupnerBNM #enterprise #social #social media

When Social Media Meet the Enterprise (SG, CB, HRMN, DM), pp. 201–210.

CIKM-2012-LiL #framework #named #recommendation

MEET: a generalized framework for reciprocal recommender systems (LL, TL), pp. 35–44.

ICPR-2012-ShaukatGWB #approach #bottom-up #detection #top-down

Meeting in the Middle: A top-down and bottom-up approach to detect pedestrians (AS, AG, DW, RB), pp. 874–877.

KR-2012-LakemeyerL #logic

Only-Knowing Meets Nonmonotonic Modal Logic (GL, HJL).

ECMFA-2012-Lonn #challenge #design #modelling

Models Meeting Automotive Design Challenges (HL), pp. 2–3.

MoDELS-2012-FouquetNMDBPJ #eclipse #framework #modelling #requirements #runtime

An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements (FF, GN, BM, ED, OB, NP, JMJ), pp. 87–101.

MoDELS-2012-FouquetNMDBPJ #eclipse #framework #modelling #requirements #runtime

An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements (FF, GN, BM, ED, OB, NP, JMJ), pp. 87–101.

ECOOP-2012-AltidorRS #java

Java Wildcards Meet Definition-Site Variance (JA, CR, YS), pp. 509–534.

ECOOP-2012-RobbesRT #evolution #question

Extensions during Software Evolution: Do Objects Meet Their Promise? (RR, DR, ÉT), pp. 28–52.

LDTA-2012-VieraSM #attribute grammar #how

UUAG meets AspectAG: how to make attribute grammars first-class (MV, SDS, AM), p. 6.

CAV-2012-HanJ #satisfiability

When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way (CSH, JHRJ), pp. 410–426.

CSL-2012-Lynce #named #satisfiability

Satisfiability: where Theory meets Practice (Invited Talk) (IL), pp. 12–13.

ASE-2011-FilieriGLM #adaptation #approach #reliability #requirements #self

Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements (AF, CG, AL, MM), pp. 283–292.

DocEng-2011-CazenaveQR #css #html

Timesheets.js: when SMIL meets HTML5 and CSS3 (FC, VQ, CR), pp. 43–52.

SIGMOD-2011-JinBXCZ #named #query #visual notation

GBLENDER: visual subgraph query formulation meets query processing (CJ, SSB, XX, BC, SZ), pp. 1327–1330.

VLDB-2011-ParikhC #challenge #data transformation #health

Data Management for Meeting Global Health Challenges (TSP, KC), p. 1514.

VLDB-2011-YanZN #algorithm #network #performance

Efficient Algorithms for Finding Optimal Meeting Point on Road Networks (DY, ZZ, WN), pp. 968–979.

STOC-2011-KolipakaS

Moser and tardos meet Lovász (KBRK, MS), pp. 235–244.

ICALP-v1-2011-AnandGM #how #question

Meeting Deadlines: How Much Speed Suffices? (SA, NG, NM), pp. 232–243.

CEFP-2011-Grelck #c #performance

Single Assignment C (SAC) High Productivity Meets High Performance (CG), pp. 207–278.

CHI-2011-JunuzovicIHZTB #bibliography #multimodal #using #what

What did i miss?: in-meeting review using multimodal accelerated instant replay (air) conferencing (SJ, KI, RH, ZZ, JCT, CB), pp. 513–522.

HCI-UA-2011-LiuS #performance #scalability

uMeeting, an Efficient Co-located Meeting System on the Large-Scale Tabletop (JL, YS), pp. 368–374.

HIMI-v2-2011-BrandonEGFGV #behaviour #feedback #social #visual notation

The Effects Visual Feedback on Social Behavior during Decision Making Meetings (MB, SE, TdG, TF, BvG, TV), pp. 219–228.

HIMI-v2-2011-Otsuka #analysis #behaviour #comprehension #multimodal #people

Multimodal Conversation Scene Analysis for Understanding People’s Communicative Behaviors in Face-to-Face Meetings (KO), pp. 171–179.

HIMI-v2-2011-TanerYNB #generative #performance #scalability

An Efficient and Scalable Meeting Minutes Generation and Presentation Technique (BT, CY, AON, SB), pp. 345–352.

OCSC-2011-BaekSH #research #using

Meet Researcher in the Real World Using the ConAR: Context-Aware Researcher (SWB, JS, TDH), pp. 12–19.

AdaEurope-2011-Ploedereder #manycore #programming language

Programming Languages Meet Multicore (EP), pp. 189–192.

ICML-2011-DasK #algorithm #approximate #set #taxonomy

Submodular meets Spectral: Greedy Algorithms for Subset Selection, Sparse Approximation and Dictionary Selection (AD, DK), pp. 1057–1064.

KDIR-2011-KentaroSK

Discovery of Meeting-particle Links and Their Application to Meeting Recollection Support (IK, OS, NK), pp. 456–459.

KEOD-2011-ScharffeE #linked data #ontology #open data

Linked Data Meets Ontology Matching — Enhancing Data Linking through Ontology Alignments (FS, JE), pp. 279–284.

TOOLS-EUROPE-2011-SivieriCG #erlang #rest

Computational REST Meets Erlang (AS, GC, CG), pp. 244–259.

SAC-2011-MacielH #commit #protocol #rest

Extending timestamp-based two phase commit protocol for RESTful services to meet business rules (LAHdSM, CMH), pp. 778–785.

DATE-2010-Zhu #algorithm #multi #realtime

Retiming multi-rate DSP algorithms to meet real-time requirement (XYZ), pp. 1785–1790.

DocEng-2010-SpenglerG #documentation #layout #random #web

Document structure meets page layout: loopy random fields for web news content extraction (AS, PG), pp. 151–160.

HT-2010-KnutovBP #adaptation #hypermedia

Provenance meets adaptive hypermedia (EK, PDB, MP), pp. 93–98.

PODS-2010-HartmannL #dependence #logic #sql

When data dependencies over SQL tables meet the logics of paradox and S-3 (SH, SL), pp. 317–326.

VLDB-2010-XinDLMSS #automation #database #evaluation #migration

MEET DB2: Automated Database Migration Evaluation (RX, PD, SL, WM, SS, MS), pp. 1426–1434.

ITiCSE-2010-BasawapatnaR #feedback #how #physics #student #using

Cyberspace meets brick and mortar: an investigation into how students engage in peer to peer feedback using both cyberlearning and physical infrastructures (ARB, AR), pp. 184–188.

TACAS-2010-AbdullaCHMV #anti #simulation

When Simulation Meets Antichains (PAA, YFC, LH, RM, TV), pp. 158–174.

SAS-2010-SchrijversM #data flow #strict

Strictness Meets Data Flow (TS, AM), pp. 439–454.

ICALP-v2-2010-CollinsCGL

Tell Me Where I Am So I Can Meet You Sooner (AC, JC, LG, AL), pp. 502–514.

IFM-2010-FranzleTE #hybrid #probability #smt

Satisfaction Meets Expectations — Computing Expected Values of Probabilistic Hybrid Systems with SMT (MF, TT, AE), pp. 168–182.

CHI-2010-DowMMM #social

Eliza meets the wizard-of-oz: evaluating social acceptability (SPD, MM, BM, MM), pp. 547–556.

CHI-2010-HallerLSWSRBGH

The NICE discussion room: integrating paper and digital media to support co-located group meetings (MH, JL, TS, JRW, SDS, CR, PB, AG, SEH), pp. 609–618.

CHI-2010-HechtG #multi #web

The tower of Babel meets web 2.0: user-generated content and its applications in a multilingual context (BH, DG), pp. 291–300.

CSCW-2010-TuckerBRW #named

Catchup: a useful application of time-travel in meetings (ST, OB, AR, SW), pp. 99–102.

CIKM-2010-BjellerupCDGKLLLTW #named

FALCON: seamless access to meeting data from the inbox and calendar (PB, KJC, MD, YG, AK, JCL, NL, JL, MT, SHW), pp. 1951–1952.

ECOOP-2010-Brunthaler

Inline Caching Meets Quickening (SB), pp. 429–451.

GPCE-2010-LongMSR #concurrent

Implicit invocation meets safe, implicit concurrency (YL, SLM, TS, HR), pp. 63–72.

SAC-2010-YasarMPLCB #information management #interactive #network #people #scalability #social

Where people and cars meet: social interactions to improve information sharing in large scale vehicular networks (AUHY, NM, DP, KL, KC, YB), pp. 1188–1194.

ICSE-2010-UbayashiNT #architecture #contract #design #named

Archface: a contract place where architectural design and code meet together (NU, JN, TT), pp. 75–84.

LICS-2010-Mellies

Segal Condition Meets Computational Effects (PAM), pp. 150–159.

DATE-2009-Fujita #challenge #design #question

Nano-electronics challenge chip designers meet real nano-electronics in 2010s? (SF), pp. 431–432.

HT-2009-RubartF #agile

Supporting daily scrum meetings with change structure (JR, FF), pp. 57–62.

ICSM-2009-ShihabJH #developer #open source

Studying the use of developer IRC meetings in open source projects (ES, ZMJ, AEH), pp. 147–156.

MSR-2009-ShihabJH #chat #developer #gnome #internet #on the

On the use of Internet Relay Chat (IRC) meetings by developers of the GNOME GTK+ project (ES, ZMJ, AEH), pp. 107–110.

CHI-2009-IsbisterH #challenge #design #evaluation #human-computer #on the

On being supple: in search of rigor without rigidity in meeting new design and evaluation challenges for HCI practitioners (KI, KH), pp. 2233–2242.

CHI-2009-VoidaG #game studies

Wii all play: the console game as a computational meeting place (AV, SG), pp. 1559–1568.

HCD-2009-KrohnKH #approach #design #development #web

User-Centered Design Meets Feature-Driven Development: An Integrating Approach for Developing the Web Application myPIM (TK, MCK, MH), pp. 739–748.

HCI-VAD-2009-LoobR #documentation #gesture

Gesture-Based Sharing of Documents in Face-to-Face Meetings (AL, CR), pp. 558–566.

HIMI-DIE-2009-Ehnes #artificial reality #automation #interface

A Tangible Mixed Reality Interface for the AMI Automated Meeting Assistant (JE), pp. 485–494.

VISSOFT-2009-MontanoAM #3d #eclipse

Sv3D meets Eclipse (DM, JA, AM), pp. 51–54.

ICEIS-J-2009-Ehnes #artificial reality #automation #interface

An Automated Meeting Assistant: A Tangible Mixed Reality Interface for the AMIDA Automatic Content Linking Device (JE), pp. 952–962.

ICEIS-J-2009-Islam #tool support #user satisfaction

Developing a Model to Measure User Satisfaction and Success of Virtual Meeting Tools in an Organization (AKMNI), pp. 975–987.

CIKM-2009-RafieiBCP #database #information management

Information extraction meets relation databases (DR, AZB, EYC, PP), p. 897.

CIKM-2009-WangZZ09a #information management #network

Bridging the gap: complex networks meet information and knowledge management (JW, SZ, DZ), pp. 2113–2114.

ECIR-2009-LeaseAC #learning #query #rank

Regression Rank: Learning to Meet the Opportunity of Descriptive Queries (ML, JA, WBC), pp. 90–101.

KMIS-2009-MorenoCCAMCG #case study #experience #research

When Knowledge Meets Innovation Technology — The ENEA e-LEARN Experiences through Technology and Research (AM, FC, CC, AA, CM, AC, SG), pp. 161–166.

CC-2009-KatsSV #attribute grammar #evaluation #programming

Decorated Attribute Grammars: Attribute Evaluation Meets Strategic Programming (LCLK, AMS, EV), pp. 142–157.

TestCom-FATES-2009-GrieskampQWKC #constraints #interactive #smt #theorem proving

Interaction Coverage Meets Path Coverage by SMT Constraint Solving (WG, XQ, XW, NK, MBC), pp. 97–112.

ASE-2008-PostS #verification

Configuration Lifting: Verification meets Software Configuration (HP, CS), pp. 347–350.

CASE-2008-NixonCBM #network #performance

Meeting control performance over a wireless mesh network (MN, DC, TB, AKM), pp. 540–547.

CSMR-2008-Oliveto #information retrieval #traceability

Traceability Management meets Information Retrieval Methods “Strengths and Limitations” (RO), pp. 302–305.

CHI-2008-RanjanBB #detection

Improving meeting capture by applying television production principles with audio and motion detection (AR, JPB, RB), pp. 227–236.

CSCW-2008-KimCHP #feedback

Meeting mediator: enhancing group collaborationusing sociometric feedback (TK, AC, LH, AP), pp. 457–466.

EDOC-2008-CurryKMSTAW #enterprise #facebook

Facebook Meets the Virtualized Enterprise (RC, CK, NM, RS, TT, MFA, BW), pp. 286–292.

EDOC-2008-Fabry #database #requirements

Database Vault: Enforcing Separation of Duties to Meet Regulatory Compliance Requirements (HWF).

ICPR-2008-VajariaSK #multi #retrieval #using

Clip retrieval using multi-modal biometrics in meeting archives (HV, SS, RK), pp. 1–4.

KDD-2008-ChoRC #data mining #identification #mining #network

Reconstructing chemical reaction networks: data mining meets system identification (YJC, NR, YC), pp. 142–150.

KDD-2008-Koren #collaboration #multi

Factorization meets the neighborhood: a multifaceted collaborative filtering model (YK), pp. 426–434.

TOOLS-EUROPE-2008-Brodie

The End of the Computing Era: Hephaestus Meets the Olympians (MLB), p. 1.

SLE-2008-Brand #modelling

Model-Driven Engineering Meets Generic Language Technology (MvdB), pp. 8–15.

WICSA-2007-FalessiCK #architecture #design #question

Do Architecture Design Methods Meet Architects’ Needs? (DF, GC, PK), p. 5.

VLDB-2007-TatikondaPG #named #programming #query #xml

LCS-TRIM: Dynamic Programming Meets XML Indexing and Querying (ST, SP, MG), pp. 63–74.

ITiCSE-2007-Cunningham #education #requirements

A computer graphics curriculum to meet the european bologna requirements (SC), p. 310.

STOC-2007-BjorklundHKK #fourier #performance #set

Fourier meets möbius: fast subset convolution (AB, TH, PK, MK), pp. 67–74.

HIMI-IIE-2007-PostECK #comparison #multimodal

Experimental Comparison of Multimodal Meeting Browsers (WP, EE, AHMC, WK), pp. 118–127.

HIMI-IIE-2007-RheeLP #adaptation

Adaptive Information Providing System for R&D Meeting Environments (SKR, JL, MWP), pp. 147–155.

SIGIR-2007-ShahKF #algorithm #case study #feedback

Making mind and machine meet: a study of combining cognitive and algorithmic relevance feedback (CS, DK, XF), pp. 877–878.

RE-2007-HeitmeyerJBA #development #lessons learnt

RE Theory Meets Software Practice: Lessons from the Software Development Trenches (CLH, RDJ, RB, MA), pp. 265–268.

QoSA-2006-Szyperski #architecture #component

Composing with Style — Components Meet Architecture (CAS), p. 2.

SIGMOD-2006-CallahanFSSSV #data transformation #named #visualisation

VisTrails: visualization meets data management (SPC, JF, ES, CES, CTS, HTV), pp. 745–747.

FASE-2006-DamianLM #empirical #requirements

An Empirical Study of the Impact of Asynchronous Discussions on Remote Synchronous Requirements Meetings (DED, FL, TM), pp. 155–169.

ICPR-v2-2006-VajariaISSK #locality #segmentation

Audio Segmentation and Speaker Localization in Meeting Videos (HV, TI, SS, RS, RK), pp. 1150–1153.

QAPL-2006-SingerB #predict

Return Value Prediction meets Information Theory (JS, GB), pp. 137–151.

RE-2006-Rosson #requirements

End Users Who Meet Their Own Requirements (MBR), p. 2.

WICSA-2005-Chikofsky #architecture #on the #reverse engineering

On the Meeting of Software Architecture and Reverse Engineering (EJC), pp. 17–24.

DAC-2005-Chatterjee #design #process #verification

Streamline verification process with formal property verification to meet highly compressed design cycle (PC), pp. 674–677.

DATE-2005-Lyons #design #embedded

Meeting the Embedded Design Needs of Automotive Applications (WL), pp. 142–147.

IFM-2005-BodeveixFLM #domain-specific language #formal method

Formal Methods Meet Domain Specific Languages (JPB, MF, JLL, GM), pp. 187–206.

DocEng-2004-KingST #animation #behaviour #functional #programming #realtime #xml

Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation (PRK, PS, SJT), pp. 57–66.

DRR-2004-LalanneMI #documentation #multi

Talking about documents: revealing a missing link to multimedia meeting archives (DL, DM, RI), pp. 82–91.

HT-2004-ZhouHR #hypermedia #peer-to-peer

When open hypermedia meets peer-to-peer computing (JZ, WH, DDR), pp. 266–267.

ITiCSE-WGR-2004-Lister

A clandestine religious meeting (RL), pp. 16–17.

CSCW-2004-GarciaKF #effectiveness

Cutting to the chase: improving meeting effectiveness by focusing on the agenda (ACBG, JCK, MAF), pp. 346–349.

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-YankelovichWRWKP #distributed #effectiveness

Meeting central: making distributed meetings more effective (NY, WW, PR, MW, JK, JP), pp. 419–428.

AdaEurope-2004-HagenauerMP #ada

Ada Meets Giotto (HH, NM, WP), pp. 237–248.

CAiSE-2004-Cabibbo #persistent

Objects Meet Relations: On the Transparent Management of Persistent Objects (LC), pp. 429–445.

ICEIS-v3-2004-PallottaGBLM #information management #towards

Towards Meeting Information Systems: Meeting Knowledge Management (VP, HG, AB, AL, SMM), pp. 464–469.

ICEIS-v5-2004-ChangT #design

The Meeting of Gestalt and Cognitive Load Theories in Instructional Screen Design (DC, JT), pp. 53–62.

ICPR-v3-2004-ReiterR #classification #multi #programming #segmentation #using

Segmentation and Classification of Meeting Events using Multiple Classifier Fusion and Dynamic Programming (SR, GR), pp. 434–437.

ICPR-v4-2004-HakeemS #classification #framework #ontology #taxonomy

Ontology and Taxonomy Collaborated Framework for Meeting Classification (AH, MS), pp. 219–222.

ICPR-v4-2004-WallhoffZRP #using

Face Tracking in Meeting Room Scenarios Using Omnidirectional Views (FW, MZ, GR, IP), pp. 933–936.

ASE-2003-GrunbacherHB #empirical

An Empirical Study on Groupware Support for Software Inspection Meetings (PG, MH, SB), pp. 4–11.

HT-2003-BollKW #game studies #hypermedia

Paper chase revisited: a real world game meets hypermedia (SB, JK, CW), pp. 126–127.

HT-2003-MillardDWAB #exclamation #hypermedia

AHA! meets Auld Linky: integrating designed and free-form hypertext systems (DEM, HCD, MJW, KA, PDB), pp. 161–169.

ITiCSE-2003-Becker03b #student

Assignments that meet the needs of exceptional students without disadvantaging the average (KB), p. 271.

SCAM-2003-KortL #re-engineering

Parse-Tree Annotations Meet Re-Engineering Concerns (JK, RL), p. 161–?.

STOC-2003-ChenRS #algorithm #approximate #confluence

Meet and merge: approximation algorithms for confluent flows (JC, RR, RS), pp. 373–382.

STOC-2003-KonemannR #approximate #bound

Primal-dual meets local search: approximating MST’s with nonuniform degree bounds (JK, RR), pp. 389–395.

CHI-2003-FlinthamBAHCGTAR #artificial reality #case study #experience #game studies #mobile #online

Where on-line meets on the streets: experiences with mobile mixed reality games (MF, SB, RA, TH, AC, CG, NT, MA, JRF), pp. 569–576.

ICEIS-v2-2003-LopoC

Summarizing Meeting Minutes (CL, CJC), pp. 486–489.

ICEIS-v4-2003-LecknerKSL #design #personalisation

Personalization Meets Mass Customization — Support for the Configuration and Design of Individualized Products (TL, MK, RS, MSL), pp. 259–264.

ICML-2003-EngelMM #approach #difference #learning #process

Bayes Meets Bellman: The Gaussian Process Approach to Temporal Difference Learning (YE, SM, RM), pp. 154–161.

RE-2003-RossiT #requirements

Marketing Meets Requirements Engineering (MR, TT), p. 341.

HT-2002-WangH #distributed #hypermedia #using #visual notation

Supporting distributed meetings using cooperative, visual, process-enabled hypermedia (WW, JMH), pp. 147–148.

CSEET-2002-KroneJS #case study #education #industrial

When Theory Meets Practice: Enriching the CS Curriculum through Industrial Case Studies (JK, DWJ, MS), pp. 207–214.

FASE-2002-BaresiGMP #design #metamodelling #tool support #web

Meta-modeling Techniques Meet Web Application Design Tools (LB, FG, LM, PP), pp. 294–307.

FME-2002-MarinovK #named #relational

VAlloy — Virtual Functions Meet a Relational Language (DM, SK), pp. 234–251.

IFM-2002-LopezNR #algebra #probability #process

Stochastic Process Algebras Meet Eden (NL, MN, FR), pp. 29–48.

CAiSE-2002-ZhuS #constraints #programming #scheduling

A Meeting Scheduling System Based on Open Constraint Programming (KQZ, AES), pp. 792–796.

SAC-2002-KomuraKS #named

NiceMeetVR: facing professional baseball pitchers in the virtual batting cage (TK, AK, YS), pp. 1060–1065.

ICSE-2002-MurugesanD #approach #challenge #development #web

Meeting the challenges of web application development: the web engineering approach (SM, YD), pp. 687–688.

IWPC-2001-AndritsosM #data analysis #reverse engineering

Reverse Engineering Meets Data Analysis (PA, RJM), pp. 157–166.

FLOPS-2001-Sato #learning #logic programming #source code

Parameterized Logic Programs where Computing Meets Learning (TS), pp. 40–60.

CHI-2001-RuiGC

Viewing meeting captured by an omni-directional camera (YR, AG, JJC), pp. 450–457.

CHI-2001-VertegaalSVN

Eye gaze patterns in conversations: there is more the conversational agents than meets the eyes (RV, RS, GCvdV, AN), pp. 301–308.

AdaEurope-2001-BrosgolD #java #question #realtime

Can Java Meet Its Real-Time Deadlines? (BMB, BD), pp. 68–87.

ICEIS-v1-2001-WongC #optimisation #scheduling

Optimizing User Preferences While Scheduling Meetings (RYMW, AHWC), pp. 459–465.

ICEIS-v2-2001-CostaAD #process

The Meeting Report Process: Bridging EMS with PDA (CJC, PA, FD), pp. 821–826.

RE-2001-GrossY #approach #architecture #evolution

Evolving System Architecture to Meet Changing Business Goals: An Agent and Goal-Oriented Approach (DG, ESKY), pp. 316–317.

DATE-2000-LiuAW #constraints

Meeting Delay Constraints in DSM by Minimal Repeater Insertion (IML, AA, DFW), pp. 436–440.

HT-2000-ChiuFGB #automation #documentation #image #multi

Automatically linking multimedia meeting documents by image matching (PC, JF, AG, JSB), pp. 244–245.

CHI-2000-BouchKB #internet #quality #requirements

Quality is in the eye of the beholder: meeting users’ requirements for Internet quality of service (AB, AK, NTB), pp. 297–304.

CHI-2000-IsbisterNIN #design #interactive

Helper agent: designing an assistant for human-human interaction in a virtual meeting space (KI, HN, TI, CN), pp. 57–64.

CSCW-2000-TangBRI

Instant messaging: products meet workplace users (JCT, AdB, MBR, EI), p. 363.

ICEIS-2000-CostaAD

Integrating Meeting Results in Organisations (CJC, PA, FD), pp. 419–423.

ICPR-v2-2000-Dom #pattern matching #pattern recognition #recognition #web

Pattern Recognition Meets the World Wide Web (BD), pp. 2052–2059.

ICRE-2000-SherrellP #prototype #specification

Z Specifications Meet Mathematica for Exploratory Prototyping (LBS, WP), p. 61.

ICSE-2000-dAstousR #bibliography

Characterizing implicit information during peer review meetings (Pd, PNR), pp. 460–466.

CADE-2000-ChatalicS #named

ZRES: The Old Davis-Putman Procedure Meets ZBDD (PC, LS), pp. 449–454.

WICSA-1999-ChungGY #architecture #design #requirements

Architectural Design to Meet Stakeholder Requirements (LC, DG, ESKY), pp. 545–564.

DATE-1999-VercauterenSV #constraints #generative #hardware #interface #realtime #synthesis

Combining Software Synthesis and Hardware/Software Interface Generation to Meet Hard Real-Time Constraints (SV, JvdS, DV), pp. 556–561.

FM-v1-1999-Hoare #bottom-up #programming #top-down

Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle (CARH), pp. 1–27.

HCI-CCAD-1999-HickeyKA #distributed #mobile #using

Mobile virtual participation in a distributed meeting using an omni-directional camera system (SH, KK, SA), pp. 533–537.

HCI-CCAD-1999-MasoodianC #design #people

User-centred design of a virtual meeting environment for ordinary people (MM, BC), pp. 528–532.

HCI-CCAD-1999-Raikundalia #case study #distributed

Results of experiments in text-based, synchronous, distributed, formal electronic meetings (GKR), pp. 507–511.

HCI-CCAD-1999-Raikundalia99a #generative

Synchronous, dynamic derivative generation in computer-supported meetings (GKR), pp. 517–522.

ICSE-1999-PiccoMR #named

LIME: Linda Meets Mobility (GPP, ALM, GCR), pp. 368–377.

PODS-1998-Klavans #database #information management #library

Data Bases in Digital Libraries: Where Computer Science and Information Management Meet (JK), pp. 224–226.

SIGMOD-1998-Chong #web

Real Business Processing Meets the Web (JC), p. 536.

ITiCSE-1998-SelbyY #education #programming #student

The teaching of programming (poster): changing the delivery to meet all students’ needs (LS, AY), p. 305.

CSCW-1998-MoranMC #tool support

Tailorable Domain Objects as Meeting Tools for an Electronic Whiteboard (TPM, WvM, PC), pp. 295–304.

ICSE-1998-HerbslebG #case study #complexity #concept #metric

Conceptual Simplicity Meets Organizational Complexity: Case Study of a Corporate Metrics Program (JDH, REG), pp. 271–280.

ICDAR-1997-Spitz

Moby Dick meets GEOCR: Lexical Considerations in WordRecognition (ALS), pp. 221–226.

CSEET-1997-Wohlin #challenge #development #education #scalability

Meeting the Challenge of Large-Scale Software Development in an Educational Environment (CW), pp. 40–52.

STOC-1997-Trevisan #geometry

When Hamming Meets Euclid: The Approximability of Geometric TSP and MST (Extended Abstract) (LT), pp. 21–29.

DLT-1997-FernauS #how

How Powerful is Unconditional Transfer? — When UT meets AC (HF, FS), pp. 249–260.

ICFP-1997-KrasnogorLMP #functional #programming

Protien Folding meets Functional Programming (NK, PEML, PM, DAP), p. 313.

CHI-1997-MoranPHCKMMZ #case study #ll #multi #quote

“I’ll Get That Off the Audio”: A Case Study of Salvaging Multimedia Meeting Records (TPM, LP, SRH, PC, DK, SLM, WvM, PZ), pp. 202–209.

HCI-CC-1997-LehderAAF #challenge #named

Globalization: Meeting the Challenge (DZL, MGA, NMA, KFM), pp. 157–160.

ICSE-1997-JohnsonT #bibliography #case study #using

Assessing Software Review Meetings: A Controlled Experimental Study Using CSRS (PMJ, DT), pp. 118–127.

CSEE-1996-Ryan #education #industrial #question #re-engineering

Meeting Industry’s Needs — Should We Teach the Software Engineering of the Past? (KR), pp. 218–220.

CSCW-1996-BapatGHST #distributed #video

From Electronic Whiteboards to Distributed Meetings: Extending the Scope of DOLPHIN (Video Program) (AB, JG, DLH, NAS, DAT), p. 10.

CSCW-1996-BennettK #design #framework #tutorial

Working Through Meetings: A Framework for Designing Meeting Support (Tutorial) (JLB, JK), p. 4.

CSCW-1996-MarkHS #collaboration #hypermedia

Hypermedia Structures and the Division of Labor in Meeting Room Collaboration (GM, JMH, NAS), pp. 170–179.

CSCW-1996-NakanishiYNI #named #network

FreeWalk: Supporting Casual Meetings in a Network (HN, CY, TN, TI), pp. 308–314.

OOPSLA-1996-Moller #functional #information management #logic #object-oriented #representation

A Functional Layer for Description Logics: Knowledge Representation Meets Object-Oriented Programing (RM), pp. 198–213.

ICRE-1996-SaekiMSK #elicitation #requirements #speech

Structuring utterance records of requirements elicitation meetings based on speech act theory (MS, KM, JS, HK), pp. 21–30.

HPDC-1996-HuardILY #adaptation #monitoring

Meeting QoS Guarantees by End-to-End QoS Monitoring and Adaptation (JFH, II, AAL, HY), pp. 348–355.

CHI-1995-MullerCADWEC #information management

Telephone Operators as Knowledge Workers: Consultants Who Meet Customer Needs (MJM, RC, CA, BD, CW, CE, JC), pp. 130–137.

RE-1995-LamsweerdeDM #lessons learnt #problem #requirements

Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt (AvL, RD, PM), pp. 194–203.

CSEE-1994-CoyleFTF #industrial #re-engineering

Meeting the Needs of Industry: SMU’s Master’s Degree Program in Software Engineering (FPC, EF, MMT, DJF), pp. 543–554.

ICSM-1994-AntoniniCC #case study #experience #legacy #quality #re-engineering #requirements

Reengineering Legacy Systems to Meet Quality Requirements: An Experience Report (PA, GC, AC), pp. 146–153.

CHI-1994-BennetK #design #effectiveness #human-computer

Facilitating effective HCI design meetings (JLB, JK), pp. 198–204.

CSCW-1994-EphratiZR

Meet your Destiny: A Non-Manipulable Meeting Scheduler (EE, GZ, JSR), pp. 359–371.

CSCW-1994-StreitzGHH #named

DOLPHIN: Integrated Meeting Support Across Local and Remote Desktop Environments and LiveBoards (NAS, JG, JMH, JH), pp. 345–358.

VLDB-1993-BrownCL #memory management #multi

Managing Memory to Meet Multiclass Workload Response Time Goals (KPB, MJC, ML), pp. 328–341.

HCI-SHI-1993-UetakeNTT #analysis #using

A Meeting Support System Based on Analyses of Human-Communication — Using the Context and Contents of Meetings (TU, MN, KT, HT), pp. 967–972.

INTERCHI-1993-PedersenMMH #named

Tivoli: an electronic whiteboard for informal workgroup meetings (ERP, KM, TPM, FGH), pp. 391–398.

FSE-1993-Votta #question

Does Every Inspection Need a Meeting? (LGV), pp. 107–114.

CHI-1992-ElrodBGGHJLMPPTW #collaboration #interactive #named #scalability

Liveboard: A Large Interactive Display Supporting Group Meetings, Presentations, and Remote Collaboration (SE, RB, RG, DG, FGH, WCJJ, DL, KM, ERP, KAP, JCT, BBW), pp. 599–607.

CHI-1992-RadlinskiM #cobol

Grace meets the “real world”: tutoring COBOL as a second language (BR, JM), pp. 343–350.

CSCW-1992-OlsonOSC #design #how

How a Group-Editor Changes the Character of a Design Meeting as well as Its Outcome (JSO, GMO, MS, MRC), pp. 91–98.

CSCW-1992-WolfRB #communication #information retrieval

Communication and Information Retrieval with a Pen-Based Meeting Support Tool (CGW, JRR, LKB), pp. 322–329.

KR-1992-Brachman #information management #representation

“Reducing” CLASSIC to Practice: Knowledge Representation Theory Meets Reality (RJB), pp. 247–258.

OOPSLA-1992-ClydeEW #analysis #object-oriented

Tunable Formalism in Object-Oriented Systems Analysis: Meeting the Needs of Both Theoreticians and Practitioners (SWC, DWE, SNW), pp. 452–465.

CHI-1991-WolfRZO #tool support

We-met (window environment-meeting enhancement tools) (CGW, JRR, LAZ, HO), pp. 441–442.

DAC-1990-TeraiTS #algorithm #assurance #constraints #design #layout

A New Min-Cut Placement Algorithm for Timing Assurance Layout Design Meeting Net Length Constraint (MT, KT, KS), pp. 96–102.

CHI-1990-GeorgeVN #analysis #implementation #process

The organizational implementation of an electronic meeting system: an analysis of the innovation process (JFG, JSV, JFNJ), pp. 361–368.

CSCW-1990-AustinLM

Determinants and Patterns of Control over Technology in a Computerized Meeting Room (LCA, JKL, PLM), pp. 39–51.

CSCW-1990-BeardPHBNS #scheduling #visual notation

A Visual Calendar for Scheduling Group Meetings (DB, MP, AH, DB, AN, YPS), pp. 279–290.

CSCW-1990-LosadaSN #collaboration #feedback #interactive #process #sequence

Collaborative Technology and Group Process Feedback: Their Impact on Interactive Sequences in Meetings (ML, PS, EEN), pp. 53–64.

ICALP-1989-McKenzieT #automaton #complexity

Automata Theory Meets Circuit Complexity (PM, DT), pp. 589–602.

CHI-1989-CarrollK #design

Artifact as theory-nexus: hermeneutics meets theory-based design (JMC, WAK), pp. 7–14.

SEI-1988-MooreP

Meeting the Training Needs of Practicing Software Engineers at Texas Instruments (FLM, PRP), pp. 32–44.

CSCW-1988-Mantei #case study #concept #design

Capturing the Capture Concepts: A Case Study in the Design of Computer-Supported Meeting Environments (MMM), pp. 257–270.

CSCW-1988-WhitesideW

Contextualism as a World View for the Reformation of Meetings (JAW, DRW), pp. 369–376.

ICSE-1987-Rathke #communication #human-computer #re-engineering

Human-Computer Communication Meets Software Engineering (CR), pp. 216–224.

CSCW-1986-BegemanCEGRS #analysis

Project Nick: meetings augmentation and analysis (MLB, PC, CAE, MG, GLR, TS), pp. 1–6.

VLDB-1981-Kent

Data Model Theory Meets a Practical Application (WK), pp. 13–22.

DAC-1980-Rosenberg #automation #design #evolution

The evolution of design automation to meet the challanges of VLSI (LMR), pp. 3–11.

DAC-1979-Hightower #design #problem

Can CAD meet the VLSI design problems of the 80’s (DWH), pp. 552–553.

DAC-1979-Larsen #design #problem #question

Can CAD meet the VLSI design problems of the 80’s? (RPL), p. 551.

SOSP-1975-CoffmanM #scheduling

Selecting a Scheduling Rule that Meets Pre-Specified Response Time Demands (EGCJ, IM), pp. 187–191.