BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
invit (101)
abstract (29)
short (28)
model (25)
languag (21)

Stem talk$ (all stems)

219 papers:

DACDAC-2015-ZolotovF #integer #linear #programming
Variation aware cross-talk aggressor alignment by mixed integer linear programming (VZ, PF), p. 6.
SIGMODSIGMOD-2015-ArulrajPD #database #memory management
Let’s Talk About Storage & Recovery Methods for Non-Volatile Memory Database Systems (JA, AP, SD), pp. 707–722.
CHICHI-2015-BrookerVSBFL #social #social media #twitter
Debating Poverty Porn on Twitter: Social Media as a Place for Everyday Socio-Political Talk (PB, JV, SS, JB, TF, SWL), pp. 3177–3186.
CHICHI-2015-KoemanKR #approach #distributed #exclamation #quote #visualisation
“Everyone Is Talking about It!”: A Distributed Approach to Urban Voting Technology and Visualisations (LK, VK, YR), pp. 3127–3136.
CSCWCSCW-2015-KimL #comprehension #mobile
Dwelling Places in KakaoTalk: Understanding the Roles and Meanings of Chatrooms in Mobile Instant Messengers (DjK, YKL), pp. 775–784.
HCISCSM-2015-KunchiS #social #social media
Talking Circles: Spiritual Aid for Teenagers Through Social Media (MK, SS), pp. 39–47.
ECOOPECOOP-2015-Choi #in the large #internet #programming
Programming in the Large for the Internet of Things (Invited Talk) (JDC), p. 2.
ECOOPECOOP-2015-Stroustrup #inheritance #object-oriented #programming
Object-Oriented Programming without Inheritance (Invited Talk) (BS), p. 1.
ECOOPECOOP-2015-Summers #stack #verification
Software Verification “Across the Stack” (Invited Talk) (AJS), p. 3.
CSLCSL-2015-Abadi
The Prophecy of Timely Rollback (Invited Talk) (MA), p. 1.
CSLCSL-2015-CarapelleL #constraints #logic
Temporal Logics with Local Constraints (Invited Talk) (CC, ML), pp. 2–13.
CSLCSL-2015-Williams
Thinking Algorithmically About Impossibility (Invited Talk) (RRW), pp. 14–23.
RTARTA-2015-Kirchner #data analysis #graph
Port Graphs, Rules and Strategies for Dynamic Data Analytics — Extended Abstract (Invited Talk) (HK), pp. 1–4.
RTARTA-2015-Rosu #logic
Matching Logic — Extended Abstract (Invited Talk) (GR), pp. 5–21.
RTARTA-2015-Talcott #execution #formal method #logic #modelling
Executable Formal Models in Rewriting Logic (Invited Talk) (CLT), p. 22.
ASEASE-2014-Floridi #design #logic
Keynote talk: the logic of information design (LF), pp. 1–2.
ASEASE-2014-Larsson #case study #experience #industrial #lifecycle
Keynote talk: experiences from developing industrial software systems with long lifecycles (ML), pp. 5–6.
ASEASE-2014-Voronkov
Keynote talk: EasyChair (AV), pp. 3–4.
HTHT-2014-0001IAS #on the #predict
On the predictability of talk attendance at academic conferences (CS, JI, MA, GS), pp. 279–284.
ICPCICPC-2014-WenT #clustering #evaluation #product line
The MoJo family: a story about clustering evaluation (invited talk) (ZW, VT), p. 2.
CHICHI-2014-KayeMGS
Money talks: tracking personal finances (JJK, MM, RG, DAS), pp. 521–530.
CSCWCSCW-2014-HwangYHYLMKS #mobile #named
TalkBetter: family-driven mobile intervention care for children with language delay (IH, CY, CH, DY, YL, CM, JK, JS), pp. 1283–1296.
HCIDUXU-DI-2014-NeidlingerJ #quantum
Sound Bending — Talking Bodies Quantum Sound Suits (KN, WJ), pp. 598–605.
FSEFSE-2014-Chandra
Are you getting traction? tales from the tech transfer trenches (invited talk) (SC), p. 5.
FSEFSE-2014-Lam #named #network #social
Omlet: a revolution against big-brother social networks (invited talk) (MSL), p. 1.
FSEFSE-2014-Penix #case study #developer #experience #tool support
Experiences developing tools for developers (invited talk) (JP), p. 4.
FSEFSE-2014-TsayDH #git
Let’s talk about it: evaluating contributions through discussion in GitHub (JT, LD, JDH), pp. 144–154.
FSEFSE-2014-Wolf #re-engineering
From software engineering to software systems (invited talk) (ALW), p. 2.
FSEFSE-2014-Zimmermann
Data hard with a vengeance (invited talk) (TZ), p. 6.
RTARTA-TLCA-2014-Schmidt-Schauss #analysis #concurrent #programming language #semantics
Concurrent Programming Languages and Methods for Semantic Analyses (Extended Abstract of Invited Talk) (MSS), pp. 21–30.
GT-VMTGT-VMT-2013-Corradini #concurrent #semantics
Invited Talk: On the Concurrent Semantics of Transformation Systems with Negative Application Conditions (AC).
GT-VMTGT-VMT-2013-Giese #behaviour #graph transformation #probability
Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior (HG).
CHICHI-2013-ObristSS #case study #experience
Talking about tactile experiences (MO, SAS, SS), pp. 1659–1668.
HCIHCI-IMT-2013-AnastasiouJW #evaluation #interactive
Evaluation of WikiTalk — User Studies of Human-Robot Interaction (DA, KJ, GW), pp. 32–42.
VISSOFTVISSOFT-2013-Wijk #case study #experience #lessons learnt #visualisation
Keynote talk: Information visualization: Experiences and lessons learned (JJvW), p. 1.
KEODKEOD-2013-LepperT #named
tScore: Makes Computers and Humans Talk About Time (ML, BTyW), pp. 176–183.
SIGIRSIGIR-2013-PappasP #analysis #collaboration #sentiment
Sentiment analysis of user comments for one-class collaborative filtering over ted talks (NP, APB), pp. 773–776.
CSLCSL-2013-Dershowitz
Res Publica: The Universal Model of Computation (Invited Talk) (ND), pp. 5–10.
CSLCSL-2013-Girard #logic
Three lightings of logic (Invited Talk) (JYG), pp. 11–23.
CSLCSL-2013-Oitavem #nondeterminism #recursion
From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace (Invited Talk) (IO), pp. 24–27.
CSLCSL-2013-Tendera
Means and Limits of Decision (Invited Talk) (LT), pp. 28–29.
RTARTA-2013-Kari #automaton #generative
Pattern Generation by Cellular Automata (Invited Talk) (JK), pp. 1–3.
RTARTA-2013-Okada #multi #term rewriting
Husserl and Hilbert on Completeness and Husserl’s Term Rewrite-based Theory of Multiplicity (Invited Talk) (MO), pp. 4–19.
RTARTA-2013-VytiniotisJ #normalisation
Evidence Normalization in System FC (Invited Talk) (DV, SLPJ), pp. 20–38.
FMFM-2012-Abadi #formal method #security
Software Security: A Formal Perspective — (Notes for a Talk) (MA), pp. 1–5.
CHICHI-2012-DenefK #design #pattern matching
Talking about implications for design in pattern language (SD, DVK), pp. 2509–2518.
CHICHI-2012-KairamBHC
Talking in circles: selective sharing in google+ (SK, MB, DAH, EHhC), pp. 1065–1074.
CHICHI-2012-YangAAWL #sentiment
The way i talk to you: sentiment expression in an organizational context (JY, LAA, MSA, ZW, CYL), pp. 551–554.
CSCWCSCW-2012-SchroterADK #communication
To talk or not to talk: factors that influence communication around changesets (AS, JA, DD, IK), pp. 1317–1326.
CSCWCSCW-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.
OOPSLAOOPSLA-2012-DattaSS #collaboration #developer #framework
Talk versus work: characteristics of developer collaboration on the jazz platform (SD, RS, BS), pp. 655–668.
RERE-2012-MaglyasNS #question #what
What do practitioners mean when they talk about product management? (AM, UN, KS), pp. 261–266.
ICSEICSE-2012-Braithwaite #how #industrial #programming #what
Software as an engineering material: How the affordances of programming have changed and what to do about it (Invited industrial talk) (KB), p. 998.
ICSEICSE-2012-Chapman #ecosystem #industrial #towards
Towards a federated cloud ecosystem (Invited industrial talk) (CC), p. 967.
ICSEICSE-2012-Penix #automation #in the cloud #industrial #scalability #testing
Large-scale test automation in the cloud (Invited industrial talk) (JP), p. 1122.
ICSEICSE-2012-Schulte #analysis #automation #industrial
Ten years of automated code analysis at Microsoft (Invited industrial talk) (WS), p. 1001.
ICSEICSE-2012-Sprenger #case study #experience #how #industrial #re-engineering
How software engineering can benefit from traditional industries — A practical experience report (Invited industrial talk) (TS), p. 1000.
ICSEICSE-2012-Wolff #architecture #industrial #what
Software architecture — What does it mean in industry? (Invited industrial talk) (EW), p. 999.
CSLCSL-2012-Abiteboul #distributed #web
Sharing Distributed Knowledge on the Web (Invited Talk) (SA), pp. 6–8.
CSLCSL-2012-Cook #complexity #proving
Connecting Complexity Classes, Weak Formal Theories, and Propositional Proof Systems (Invited Talk) (SAC), pp. 9–11.
CSLCSL-2012-Lynce #named #satisfiability
Satisfiability: where Theory meets Practice (Invited Talk) (IL), pp. 12–13.
CSLCSL-2012-Makowsky #complexity #graph #parametricity
Definability and Complexity of Graph Parameters (Invited Talk) (JAM), pp. 14–15.
ICLPICLP-2012-BryS #query #semistructured data #simulation #unification
Simulation Unification: Beyond Querying Semistructured Data (Invited Talk) (FB, SS), pp. 1–13.
RTARTA-2012-Anai #algebra #geometry
Computational Real Algebraic Geometry in Practice (Invited Talk) (HA), p. 1.
RTARTA-2012-Kirchner #calculus #logic
Rho-Calculi for Computation and Logic (Invited Talk) (CK), pp. 2–4.
RTARTA-2012-Maneth
Dictionary-Based Tree Compression (Invited Talk) (SM), p. 5.
HTHT-2011-Bernstein #hypermedia
Can we talk about spatial hypertext (MB), pp. 103–112.
ESOPESOP-2011-Appel
Verified Software Toolchain — (Invited Talk) (AWA), pp. 1–17.
CSMRCSMR-2011-Borchers #assessment #re-engineering
Invited Talk: Reengineering from a Practitioner’s View — A Personal Lesson’s Learned Assessment (JB), pp. 1–2.
CSMRCSMR-2011-Vangheluwe #challenge #modelling
Invited Talk: Promises and Challenges of Model-Driven Engineering (HV), pp. 3–4.
DLTDLT-2011-Wilke #functional #regular expression
A Functional Program for Regular Expressions Matching — Abstract of Invited Talk (TW), pp. 44–45.
CHICHI-2011-JamilOPKS #collaboration #interactive #learning
The effects of interaction techniques on talk patterns in collaborative peer learning around interactive tables (IJ, KO, MJP, AK, SS), pp. 3043–3052.
CHICHI-2011-KannabiranBB #how #human-computer #research
How HCI talks about sexuality: discursive strategies, blind spots, and opportunities for future research (GK, JB, SB), pp. 695–704.
CHICHI-2011-MaLD #analysis #perspective
Perceptual analysis of talking avatar head movements: a quantitative perspective (XM, BHL, ZD), pp. 2699–2702.
HCIDUXU-v2-2011-RubegniML #interactive #scalability #social #using
Talking to Strangers: Using Large Public Displays to Facilitate Social Interaction (ER, NM, ML), pp. 195–204.
TOOLSTOOLS-EUROPE-2011-Nierstrasz #modelling
Synchronizing Models and Code (Invited Talk) (ON), p. 1.
TOOLSTOOLS-EUROPE-2011-Tip #debugging #web
Finding and Fixing Bugs in Web Applications (Invited Talk) (FT), p. 2.
CADECADE-2011-Claessen #automation #first-order #logic #reasoning
The Anatomy of Equinox — An Extensible Automated Reasoning Tool for First-Order Logic and Beyond — (Talk Abstract) (KC), pp. 1–3.
VMCAIVMCAI-2011-Dill
Are Cells Asynchronous Circuits? — (Invited Talk) (DLD), p. 1.
VMCAIVMCAI-2011-Logozzo #abstract interpretation #verification
Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation — (Invited Talk) (FL), pp. 19–22.
VMCAIVMCAI-2011-SiegelG #analysis #formal method #message passing
Formal Analysis of Message Passing — (Invited Talk) (SFS, GG), pp. 2–18.
VMCAIVMCAI-2011-SteffenR #quality
Quality Engineering: Leveraging Heterogeneous Information — (Invited Talk) (BS, OR), pp. 23–37.
CSCWCSCW-2010-LeeKF #how #people #question
Receptionist or information kiosk: how do people talk with a robot? (MKL, SBK, JF), pp. 31–40.
RecSysRecSys-2010-ZhaoZYZZF #recommendation #social #what
Who is talking about what: social map-based recommendation for content-centric social websites (SZ, MXZ, QY, XZ, WZ, RF), pp. 143–150.
REFSQREFSQ-2010-Alexander #requirements
Keynote Talk Piecing Together the Requirements Jigsaw-Puzzle (IA), p. 1.
FSEFSE-2010-Johnson10a #research
Avoiding the classic catastrophic computer science failure mode: 2010 acm sigsoft outstanding research award talk (REJ), pp. 5–6.
ICLPICLP-2010-Aref10 #datalog #enterprise #industrial #research
Datalog for Enterprise Software: from Industrial Applications to Research (Invited Talk) (MA), p. 1.
ICLPICLP-2010-Fages10 #biology #logic #paradigm
A Logical Paradigm for Systems Biology (Invited Talk) (FF), pp. 2–3.
PEPMPEPM-2009-CifuentesKLS #debugging #detection #program analysis #using
Program analysis for bug detection using parfait: invited talk (CC, NK, LL, BS), pp. 7–8.
CHICHI-2009-HilligesK #design
Getting sidetracked: display design and occasioning photo-talk with the photohelix (OH, DSK), pp. 1733–1736.
HCIHCI-AUII-2009-WeissKWMF #comparison
Comparison of Different Talking Heads in Non-Interactive Settings (BW, CK, IW, SM, SF), pp. 349–357.
ICMLICML-2009-Cortes #kernel #learning #performance #question
Invited talk: Can learning kernels help performance? (CC), p. 1.
ICMLICML-2009-Freund #game studies #learning #online
Invited talk: Drifting games, boosting and online learning (YF), p. 2.
HTHT-2008-PourabdollahAB #approach #hypermedia #rdf #xml
Are we talking about the same structure?: a unified approach to hypertext links, xml, rdf and zigzag (AP, HA, TJB), pp. 241–242.
MSRMSR-2008-PattisonBD
Talk and work: a preliminary report (DSP, CB, PTD), pp. 113–116.
SIGIRSIGIR-2008-BilenkoWRM #query
Talking the talk vs. walking the walk: salience of information needs in querying vs. browsing (MB, RWW, MR, GCM), pp. 705–706.
BXBX-2008-Axelsen
Languages Short Talk 2 (HBA), p. 2.
BXBX-2008-Bezivin #modelling
Models and Transformations Short Talk 1 (JB), p. 22.
BXBX-2008-Cunha
Languages and Applications Short Talk 6 (JC), p. 13.
BXBX-2008-Czarnecki #modelling
Models Short Talk 5 (KC), p. 19.
BXBX-2008-Diskin #modelling
Models Short Talk 6 (ZD), p. 20.
BXBX-2008-Fischer #modelling
Models Short Talk 2 (BF), p. 16.
BXBX-2008-Fisher
Languages and Applications Short Talk 5 (KF), p. 12.
BXBX-2008-Foster
Languages Short Talk 7 (NF), p. 7.
BXBX-2008-Glueck
Languages Short Talk 1 (RG), p. 1.
BXBX-2008-Hidaka #modelling
Models Short Talk 7 (SH), p. 21.
BXBX-2008-Hu
Languages Short Talk 6 (ZH), p. 6.
BXBX-2008-Kato
Languages and Applications Short Talk 7 (HK), p. 14.
BXBX-2008-Laemmel
Languages and Applications Short Talk 3 (RL), p. 10.
BXBX-2008-Lutterkort
Languages and Applications Short Talk 4 (DL), p. 11.
BXBX-2008-Matsuda
Languages Short Talk 3 (KM), p. 3.
BXBX-2008-Mu
Languages and Applications Short Talk 1 (SCM), p. 8.
BXBX-2008-Nakano
Languages Short Talk 4 (KN), p. 4.
BXBX-2008-Pierantonio #modelling
Models Short Talk 3 (AP), p. 17.
BXBX-2008-Razavi #modelling
Models Short Talk 4 (AR), p. 18.
BXBX-2008-Ruscio #modelling
Models and Transformations Short Talk 2 (DDR), p. 23.
BXBX-2008-Schuerr #modelling
Models Short Talk 1 (AS), p. 15.
BXBX-2008-Song #modelling
Models and Transformations Short Talk 6 (HS), p. 27.
BXBX-2008-Terwilliger #modelling
Models and Transformations Short Talk 5 (JT), p. 26.
BXBX-2008-Vallecillo #modelling
Models and Transformations Short Talk 3 (AV), p. 24.
BXBX-2008-Voigtlaender
Languages and Applications Short Talk 2 (JV), p. 9.
BXBX-2008-Wang
Languages Short Talk 5 (MW), p. 5.
BXBX-2008-Wasowski #modelling
Models and Transformations Short Talk 4 (AW), p. 25.
BXBX-2008-Xiong #modelling
Models and Transformations Short Talk 7 (YX), p. 28.
ICSEICSE-2008-RiccaPTTCV #evolution
Are fit tables really talking?: a series of experiments to understand whether fit tables are useful during evolution tasks (FR, MDP, MT, PT, MC, CAV), pp. 361–370.
CAVCAV-2008-Larus #design #named
Singularity: Designing Better Software (Invited Talk) (JRL), pp. 1–2.
PEPMPEPM-2007-MoorHV #object-oriented #query
Object-oriented queries over software systems: (abstract of invited talk) (OdM, EH, MV), p. 91.
CHICHI-2006-ArguelloBJKLRW #community #interactive #online
Talk to me: foundations for successful individual-group interactions in online communities (JA, BSB, EJ, REK, KSL, CPR, XW), pp. 959–968.
CSCWCSCW-2006-AokiSPTWY #multi
Where’s the “party” in “multi-party”?: analyzing the structure of small-group sociable talk (PMA, MHS, LDP, JDT, AW, WY), pp. 393–402.
ECOOPECOOP-2006-DedeckerCMDM #programming
Ambient-Oriented Programming in AmbientTalk (JD, TVC, SM, TD, WDM), pp. 230–254.
LOPSTRLOPSTR-2006-Marchiori #how #semantics #web
How to Talk to a Human: The Semantic Web and the Clash of the Titans (MM), pp. 1–14.
DATEDATE-2005-LaMeresK #encoding #induction
Encoding-Based Minimization of Inductive Cross-Talk for Off-Chip Data Transmission (BJL, SPK), pp. 1318–1323.
MSRMSR-2005-YingWA #eclipse #mining #repository #source code
Source code that talks: an exploration of Eclipse task comments and their implication to repository mining (ATTY, JLW, SA), pp. 91–95.
CHICHI-2005-LambertyK
Camera talk: making the camera a partial participant (KKL, JLK), pp. 839–848.
DRRDRR-2004-LalanneMI #documentation #multi
Talking about documents: revealing a missing link to multimedia meeting archives (DL, DM, RI), pp. 82–91.
PASTEPASTE-2004-Ernst #dynamic analysis
Invited Talk Static and dynamic analysis: synergy and duality (MDE), p. 35.
PASTEPASTE-2004-Godefroid #model checking
Invited Talk: “Model checking” software with VeriSoft (PG), p. 36.
PASTEPASTE-2004-Leavens #exclamation #ml
Invited Talk: JML framed! (GTL), p. 1.
PEPMPEPM-2004-BeyerCHJM #query #verification
Invited talk: the blast query language for software verification (DB, AC, TAH, RJ, RM), pp. 201–202.
PEPMPEPM-2004-McIlraith #declarative #programming #towards #web #web service
Invited talk: towards declarative programming for web services (SAM), pp. 1–2.
PEPMPEPM-2004-Morrisett #question #what
Invited talk: what’s the future for proof-carrying code? (JGM), p. 203.
PEPMPEPM-2004-Shapiro #injection
Invited talk: injecting life with computers (EYS), p. 200.
STOCSTOC-2004-Wigderson #question #why
Depth through breadth, or why should we attend talks in other areas? (AW), p. 579.
ICEISICEIS-v3-2004-Nobre04a #what
Computer Ethics: What are we Talking About? Possible Contributions from Philosophy of Action, Critical Realism and Modern Hermeneutics (ÂLN), pp. 683–687.
ICEISICEIS-v5-2004-CarricoDGT #composition
Modular Production of Rich Digital Talking Books (LC, CD, NG, AJS, IT), pp. 158–163.
ICEISICEIS-v5-2004-DuarteCS #architecture #flexibility #interface
A Flexible Interface Architecture for Digital Talking Books (CD, LC, HS), pp. 146–151.
ICPRICPR-v3-2004-OstermannW
Talking Faces — Technologies and Applications (JO, AW), pp. 826–833.
PPDPPPDP-2004-BeyerCHJM #query #verification
Invited talk: the blast query language for software verification (DB, AC, TAH, RJ, RM), pp. 1–2.
PPDPPPDP-2004-McIlraith #declarative #programming #towards #web #web service
Invited talk: towards declarative programming for web services (SAM), pp. 3–4.
PPDPPPDP-2004-Morrisett #question #what
Invited talk: what’s the future for proof-carrying code? (JGM), p. 5.
PPDPPPDP-2004-Shapiro #injection
Invited talk: injecting life with computers (EYS), p. 6.
PPDPPPDP-2004-Smaragdakis #generative #tool support
Invited talk: program generators and the tools to make them (YS), pp. 7–8.
DATEDATE-2003-ZachariahCKT #fault #modelling #on the
On Modeling Cross-Talk Faults (STZ, YSC, SK, CT), pp. 10490–10495.
IWPCIWPC-2003-JacobD #automation #named
TALK2C: A Tool for Automatic Migratio (SDJ, MD), pp. 288–289.
AGTIVEAGTIVE-2003-KarsaiA #architecture #graph transformation #modelling
Graph Transformations in OMG’s Model-Driven Architecture: (Invited Talk) (GK, AA), pp. 243–259.
AGTIVEAGTIVE-2003-Rising #graph grammar #graph transformation #multi #semantics
MPEG-7 Semantic Descriptions: Graph Transformations, Graph Grammars, and the Description of Multimedia (Invited Talk) (HKR), pp. 369–382.
RTARTA-2003-Giavitto #modelling #simulation
Invited Talk: Topological Collections, Transformations and Their Application to the Modeling and the Simulation of Dynamical Systems (JLG), pp. 208–233.
RTARTA-2003-Lincoln #biology
Invited Talk: Symbolic Systems Biology (PL), p. 1.
RTARTA-2003-McAllester #algorithm #logic #ml #type inference
Joint RTA-TLCA Invited Talk: A Logical Algorithm for ML Type Inference (DAM), pp. 436–451.
DATEDATE-2002-HassounCC #verification
Verifying Clock Schedules in the Presence of Cross Talk (SH, ECG, CC), pp. 346–350.
PADLPADL-2002-Dahl #how
How to Talk to Your Computer so that It Will Listen (VD), pp. 3–8.
SATSAT-2002-Clarke #abstraction #logic #model checking #refinement #satisfiability
SAT based abstraction refinement in temporal logic model checking (Keynote Talk) (EC), p. 26.
SATSAT-2002-Marques-Silva #reasoning #satisfiability
Hypothetical reasoning in propositional satisfiability (Keynote Talk) (JMS), p. 14.
SATSAT-2002-Schoening #bound #satisfiability
New worst case bounds on k-SAT (Keynote Talk) (US), p. 1.
DACDAC-2001-MassoudKMW #analysis #difference #induction #modelling
Modeling and Analysis of Differential Signaling for Minimizing Inductive Cross-Talk (YM, JK, DM, JW), pp. 804–809.
CHICHI-2001-BlySN #mobile
Quiet calls: talking silently on mobile phones (SAB, TS, LN), pp. 174–187.
ASEASE-2000-LiuR #automation #security #using
Automated Security Checking and Patching Using TestTalk (CL, DJR), pp. 261–264.
VLDBVLDB-2000-Carey #industrial #research
Toto, We’re Not in Kansas Anymore: On Transitioning from Research to the Real (Invited Industrial Talk) (MJC), p. 733.
WRLAWRLA-2000-Millen #analysis #bibliography #encryption #protocol #term rewriting
Applications of Term Rewriting to Cryptographic Protocol Analysis overview of the invited talk (JKM), pp. 229–234.
WRLAWRLA-2000-Nakashima #bibliography #information management
Cyber Assistance for Situtated Human Information Processing Overview of the invited talk (HN), pp. 292–293.
PEPMPEPM-2000-Das #case study #experience #scalability #source code #static analysis
Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk) (MD), p. 1.
PEPMPEPM-2000-Pfenning #logic #on the #staged
On the Logical Foundations of Staged Computation (Abstract of Invited Talk) (FP), p. 33.
PEPMPEPM-2000-Walpole #case study #challenge #experience #operating system
Operating Systems Specialization: Experiences, Opportunities and Challenges (Abstract of Invited Talk) (JW), p. 83.
ICFPICFP-2000-HarperP
Advanced module systems: a guide for the perplexed (abstract of invited talk) (RH, BCP), p. 130.
ICFPICFP-2000-Seger #functional #hardware #programming #verification
Combining functional programming and hardware verification (abstract of invited talk) (CJHS), p. 244.
CHICHI-2000-RodensteinD #design
Talking in circles: designing a spatially-grounded audioconferencing environment (RR, JSD), pp. 81–88.
CSCWCSCW-2000-RodensteinD #social
Talking in circles: a spatially-grounded social environment (RR, JSD), p. 349.
KDDKDD-2000-Buchanan #information management #source code #using
Informed knowledge discovery: using prior knowledge in discovery programs (invited talk, abstract only) (BGB), p. 3.
KDDKDD-2000-Catlett #data mining #mining #privacy
Among those dark electronic mills: privacy and data mining (invited talk, abstract only) (JC), p. 4.
KDDKDD-2000-Cutler #metric #named
E-metrics: tomorrow’s business metrics today (invited talk, abstract only) (MC), p. 6.
KDDKDD-2000-Goodnight
Decision support in the booming e-world (invited talk, abstract only) (JG), p. 5.
KDDKDD-2000-Papadimitriou #data mining #mining #on the
On certain rigorous approaches to data mining (invited talk, abstract only) (CHP), p. 2.
KDDKDD-2000-Stodder #data mining #mining
After the gold rush (invited talk, abstract only): data mining in the new economy (invited talk, abstract only) (DS), p. 7.
HCIHCI-CCAD-1999-Nishida #community #evolution
Facilitating community knowledge evolution by talking virtualized egos (TN), pp. 437–441.
HCIHCI-EI-1999-Haubner #image #on the #quality #visual notation
On the Visual Quality of Still Images and of Low-motion Talking Head Digital Videos (PJH), pp. 471–475.
HCIHCI-EI-1999-MachateS #gesture #interactive
Let Your Hands Talk — Gestures as a Means of Interaction (JM, SS), pp. 291–295.
KDDKDD-1999-Agrawal #data mining #mining
Data Mining: Crossing the Chasm (Invited talk, Abstract only) (RA), p. 2.
KDDKDD-1999-Hackathorn #web
Farming the Web for Systematic Business Intelligence (Invited talk, Abstract only) (RDH), p. 3.
KDDKDD-1999-Pregibon #named #statistics
2001: A Statistical Odyssey (Invited talk, Abstract only) (DP), p. 4.
SEKESEKE-1999-JohanssonHC #experience #in a nutshell #quote
“Talk to Paula and Peter — They Are Experienced” — The Experience Engine in a Nutshell (CJ, PAVH, MC), pp. 171–185.
CADECADE-1999-Gradel #logic
Invited Talk: Decision procedures for guarded logics (EG), pp. 31–51.
CADECADE-1999-Nieuwenhuis #constraints #deduction
Invited Talk: Rewrite-based Deduction and Symbolic Constraints (RN), pp. 302–313.
CADECADE-1999-Nipkow #programming language #proving #theorem proving
Invited Talk: Embedding Programming Languages in Theorem Provers (Abstract) (TN), p. 398.
ICLPICLP-1999-Kahn #prolog
From Prolog and Zelta to ToonTalk (KMK), pp. 67–78.
HTHT-1998-Moulthrop
Straight Talk for Troubled Times, Or: The Street Finds Its Uses for Things (SM), p. 306.
ITiCSEITiCSE-1998-JohnsonLHSFDM #collaboration #using
Virtual office hours using TechTalk, a Web-based mathematical collaboration tool (JRJ, YNL, TTH, TS, TF, SD, PM), pp. 130–133.
CHICHI-1998-Strommen #interface #learning
When the Interface is a Talking Dinosaur: Learning Across Media with ActiMates Barney (ES), pp. 288–295.
CSCWCSCW-1998-McDonaldA #case study
Just Talk to Me: A Field Study of Expertise Location (DWM, MSA), pp. 315–324.
CSCWCSCW-1998-ZhangWDT #comparison #web
Talking to Customers on the Web: A Comparison of Three Voice Alternatives (QZ, CGW, SD, MT), pp. 109–117.
SACSAC-1998-Nola #algebra #aspect-oriented #fuzzy #logic
Algebraic aspects of fuzzy logic (invited talk) (AdN), pp. 255–261.
CADECADE-1998-Kaufmann #verification
ACL2 Support for Verification Projects (Invited Talk) (MK), pp. 220–238.
CADECADE-1998-Pfenning #deduction #linear #logic #reasoning
Reasoning About Deductions in Linear Logic (Abstract of Invited Talk) (FP), pp. 1–2.
CADECADE-1998-Pnueli #deduction #verification
Deductive vs. Model-Theoretic Approaches to Formal Verification (Abstract of Invited Talk) (AP), p. 301.
ICSEICSE-1997-Osterweil #process
Software Processes Are Software Too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9 (LJO), pp. 540–548.
CHICHI-1996-BowersPO #collaboration
Talk and Embodiment in Collaborative Virtual Environments (JB, JP, JO), pp. 58–65.
CSCWCSCW-1996-Whittaker #collaboration #evaluation
Talking to Strangers: An Evaluation of the Factors Affecting Electronic Collaboration (SW), pp. 409–418.
ICPRICPR-1996-LuettinTB96a #learning
Learning to recognise talking faces (JL, NAT, SWB), pp. 55–59.
KRKR-1996-Gottlob #complexity #power of
Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract) (GG), pp. 647–649.
CHICHI-1995-FelsH #adaptation #interface #named
GloveTalkII: An Adaptive Gesture-to-Formant Interface (SF, GEH), pp. 456–463.
ICLPICLP-1995-Kahn #concurrent #constraints #named #programming
ToonTalk — Concurrent Constraint Programming for Kids (KMK), p. 3.
LISPLFP-1994-DavisPS
Talking About Modules and Delivery (HD, PP, NS), pp. 113–120.
LISPLFP-1994-DavisPS94a
Sweet Harmony: The Talk/C++ Connection (HD, PP, NS), pp. 121–127.
CHICHI-1994-BowersP94a #design #prototype #requirements
Talking through design: requirements and resistance in cooperative prototyping (JB, JP), pp. 299–305.
CHIINTERCHI-1993-CowleyJ
Talking to machines (abstract) (CKC, DMJ), p. 522.
CHIINTERCHI-1993-NardiSKLWS
Turning away from talking heads: the use of video-as-data in neurosurgery (BAN, HS, AK, RL, SW, RJS), pp. 327–334.
RERE-1993-LoucopoulosPMMLZ #object-oriented #requirements
I never knew my requirements were object-oriented until I talked to my analyst (PL, CP, SJM, JAM, L, LZ), pp. 226–230.
TOOLSTOOLS-USA-1992-Szafron #named #object-oriented #specification
SPECTalk: an Object-Oriented Data Specification Language (DS), pp. 123–137.
ICSEICSE-1990-Basili #metric
Recent Advances in Software Measurement (Abstract for Talk) (VRB), pp. 44–49.
ICLPICLP-1986-JaffarLM86 #logic programming #roadmap #semantics
Invited Talk: Some Issues and Trends in the Semantics of Logic Programming (JJ, JLL, MJM), pp. 223–241.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.