Stem sound$ (all stems)

194 papers:

CASE-2015-JiaJCS #locality #named #using

SoundLoc: Accurate room-level indoor localization using acoustic signatures (RJ, MJ, ZC, CJS), pp. 186–193.

SIGMOD-2015-ReABCJKR #database #machine learning #question

Machine Learning and Databases: The Sound of Things to Come or a Cacophony of Hype? (CR, DA, MB, MIC, MIJ, TK, RR), pp. 283–284.

ESOP-2015-Penninckx0P #behaviour #composition #source code #verification

Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs (WP, BJ, FP), pp. 158–182.

SAS-2015-LiTX #analysis #effectiveness

Effective Soundness-Guided Reflection Analysis (YL, TT, JX), pp. 162–180.

CHI-2015-CaramiauxAPT #design #interactive

Form Follows Sound: Designing Interactions from Sonic Memories (BC, AA, SGP, AT), pp. 3943–3952.

CHI-2015-JainFGHDZVF #artificial reality #visualisation

Head-Mounted Display Visualizations to Support Sound Awareness for the Deaf and Hard of Hearing (DJ, LF, JG, BH, RD, DNZ, CV, JEF), pp. 241–250.

CHI-2015-Tajadura-Jimenez

As Light as your Footsteps: Altering Walking Sounds to Change Perceived Body Weight, Emotional State and Gait (ATJ, MB, OD, MF, NM, NBB), pp. 2943–2952.

CHI-2015-TubbD #design #evaluation #multi

An Evaluation of Multidimensional Controllers for Sound Design Tasks (RT, SD), pp. 47–56.

DHM-HM-2015-OkaTGOO #process #research

Researching Sounds Generated During the Second Lining Pounding Process (YO, YT, AG, KO, KO), pp. 154–164.

DUXU-UI-2015-CarvalhoP #design #user interface

Sound Design and UX: The Dynamic Audio Application Guide (LRC, ATCP), pp. 289–300.

HCI-IT-2015-WalkerSJ #interactive #performance

Interactive Sonification Markup Language (ISML) for Efficient Motion-Sound Mappings (JWW, MTS, MJ), pp. 385–394.

HIMI-IKC-2015-ZhangT #design #game studies

Considering a New Nanbu Fuurin Design that Play a Healing Sound — Including Innovations in Appearance and Texture, and Continually Improving- (YZ, TT), pp. 675–684.

HIMI-IKD-2015-ImajiF #generative #summary #visual notation

Generating Summary Videos Based on Visual and Sound Information from Movies (YI, MF), pp. 190–203.

LCT-2015-BajajHKPSDY #question #word

Audio Cues: Can Sound Be Worth a Hundred Words? (JB, AH, AK, RMP, KS, OD, KY), pp. 14–23.

ICEIS-v3-2015-PassosJ #process #verification #workflow

Relaxed Soundness Verification for Interorganizational Workflow Processes (LMSP, SJ), pp. 221–228.

Onward-2015-GreweEWM #performance #proving #type system

Type systems for the masses: deriving soundness proofs and efficient checkers (SG, SE, PW, MM), pp. 137–150.

OOPSLA-2015-ErdwegLW #dependence #incremental

A sound and optimal incremental build system with dynamic dependencies (SE, ML, MW), pp. 89–106.

PPDP-2015-Cousot #abstract interpretation #induction #verification

Verification by abstract interpretation, soundness and abstract induction (PC), pp. 1–4.

POPL-2015-Agten0P #c #composition #verification

Sound Modular Verification of C Code Executing in an Unverified Context (PA, BJ, FP), pp. 581–594.

POPL-2015-FioritiH #composition #probability #termination

Probabilistic Termination: Soundness, Completeness, and Compositionality (LMFF, HH), pp. 489–501.

ESEC-FSE-2015-NorthBSC #developer #named #using

GitSonifier: using sound to portray developer conflict history (KJN, SB, AS, MBC), pp. 886–889.

ICST-2015-BardinDDKPTM #detection #requirements

Sound and Quasi-Complete Detection of Infeasible Test Requirements (SB, MD, RD, NK, MP, YLT, JYM), pp. 1–10.

LICS-2015-DisneyF #game studies #semantics

Game Semantics for Type Soundness (TD, CF), pp. 104–114.

FASE-2014-FahrenbergALW #diagrams #difference

Sound Merging and Differencing for Class Diagrams (UF, MA, AL, AW), pp. 63–78.

FASE-2014-GomesPG #bytecode #control flow #graph #java #source code

Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs (PdCG, AP, DG), pp. 215–229.

PLDI-2014-BiswasHSB #named #performance #precise

DoubleChecker: efficient sound and precise atomicity checking (SB, JH, AS, MDB), p. 6.

PLDI-2014-HuangMR #abstraction #concurrent #control flow #detection #predict

Maximal sound predictive race detection with control flow abstraction (JH, POM, GR), p. 36.

FLOPS-2014-BalabonskiPP

Type Soundness and Race Freedom for Mezzo (TB, FP, JP), pp. 253–269.

CHI-2014-LeeLKKHC #approach

An EEG-based approach for evaluating audio notifications under ambient sounds (YCL, WCL, JTK, LWK, YTH, FYC), pp. 3817–3826.

CHI-2014-MarentakisL #evaluation #locality

Evaluation of hear-through sound localization (GM, RL), pp. 267–270.

CHI-2014-MullerGDS #interactive

The boomRoom: mid-air direct interaction with virtual sound sources (JM, MG, CD, SS), pp. 247–256.

CSCW-2014-LeeT

Sounds of silence: exploring contributions to conversations, non-responses and the impact of mediating technologies in triple space (JSL, DGT), pp. 1561–1572.

DUXU-DI-2014-NeidlingerJ #quantum

Sound Bending — Talking Bodies Quantum Sound Suits (KN, WJ), pp. 598–605.

DUXU-DI-2014-OrlandiniCB #evaluation #interface #mobile #usability

Ergonomics and Usability in Sound Dimension: Evaluation of a Haptic and Acoustic Interface Application for Mobile Devices (GO, GAC, LMPB), pp. 193–202.

HCI-AS-2014-JeonCY #case study #mobile

Developing a Location-Aware Mobile Guide System for GLAMs Based on TAPIR Sound Tag: A Case Study of the Lee Ungno Museum (JJ, GC, WSY), pp. 425–433.

HIMI-DE-2014-MatsuyamaNKYI #crowdsourcing #development #mobile

Development of a Mobile Application for Crowdsourcing the Data Collection of Environmental Sounds (MM, RN, HK, JY, TI), pp. 514–524.

ICPR-2014-LuWW #detection #summary

Audiotory Movie Summarization by Detecting Scene Changes and Sound Events (TL, YW, GW), pp. 756–760.

KDD-2014-HamalainenW #statistics

Statistically sound pattern discovery (WH, GIW), p. 1976.

ECOOP-2014-AnconaC #induction #object-oriented #type system

Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages (DA, AC), pp. 282–307.

POPL-2014-ChongDK #abstraction #parallel #reasoning

A sound and complete abstraction for reasoning about parallel prefix sums (NC, AFD, JK), pp. 397–410.

POPL-2014-DarulovaK #compilation

Sound compilation of reals (ED, VK), pp. 235–248.

POPL-2014-LongSKR #fault #generative #integer

Sound input filter generation for integer overflow errors (FL, SSD, DK, MCR), pp. 439–452.

SLE-2014-Ridge #combinator #context-free grammar #parsing #performance #using

Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle (TR), pp. 261–281.

TACAS-2013-AbdullaACLR #automation #precise

Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO (PAA, MFA, YFC, CL, AR), pp. 530–536.

SCAM-2013-MattsenCS #bound

Driving a sound static software analyzer with branch-and-bound (SM, PC, SS), pp. 63–68.

PLDI-2013-MorissetPN #compilation #formal method #memory management #optimisation #testing

Compiler testing via a theory of sound optimisations in the C11/C++11 memory model (RM, PP, FZN), pp. 187–196.

SEFM-2013-VanspauwenJ #preprocessor

Sound Symbolic Linking in the Presence of Preprocessing (GV, BJ), pp. 122–136.

ICFP-2013-LorenzenE #automation #composition #verification

Modular and automated type-soundness verification for language extensions (FL, SE), pp. 331–342.

HCI-AS-2013-HuangC13a #education #interface #learning #music #self #visualisation

Sound to Sight: The Effects of Self-generated Visualization on Music Sight-Singing as an Alternate Learning Interface for Music Education within a Web-Based Environment (YTH, CNC), pp. 386–390.

HCI-AS-2013-TakanoS #learning

Nature Sound Ensemble Learning in Narrative-Episode Creation with Pictures (KT, SS), pp. 493–502.

HCI-IMT-2013-ShimizuNS #algorithm #generative #search-based #using

System of Generating Japanese Sound Symbolic Expressions Using Genetic Algorithm (YS, TN, MS), pp. 126–134.

ICML-c3-2013-BryanM #interactive #performance

An Efficient Posterior Regularized Latent Variable Model for Interactive Sound Source Separation (NJB, GJM), pp. 208–216.

ECOOP-2013-Xu #adaptation #java #named

CoCo: Sound and Adaptive Replacement of Java Collections (G(X), pp. 1–26.

OOPSLA-2013-BalatsourasS #graph

Class hierarchy complementation: soundly completing a partial type graph (GB, YS), pp. 515–532.

ASPLOS-2013-CurtsingerB #evaluation #named #performance #statistics

STABILIZER: statistically sound performance evaluation (CC, EDB), pp. 219–228.

ISMM-2013-WangNG #effectiveness #generative #memory management

Generating sound and effective memory debuggers (YW, IN, RG), pp. 51–62.

SAT-2013-MantheyPW #satisfiability

Soundness of Inprocessing in Clause Sharing SAT Solvers (NM, TP, CW), pp. 22–39.

VMCAI-2013-Pearce #type system

Sound and Complete Flow Typing with Unions, Intersections and Negations (DJP), pp. 335–354.

DATE-2012-LiangCZRZJC #3d #implementation #locality #optimisation #performance #realtime

Real-time implementation and performance optimization of 3D sound localization on GPUs (YL, ZC, SZ, KR, YZ, DLJ, DC), pp. 832–835.

PLDI-2012-WuTHCY #analysis #parallel #precise #source code

Sound and precise analysis of parallel programs through schedule specialization (JW, YT, GH, HC, JY), pp. 205–216.

SAS-2012-Midtgaard0M #proving

A Structural Soundness Proof for Shivers’s Escape Technique — A Case for Galois Connections (JM, MDA, MM), pp. 352–369.

SEFM-2012-AmighiGGH #control flow #exception #graph #java #source code

Sound Control-Flow Graph Extraction for Java Programs with Exceptions (AA, PdCG, DG, MH), pp. 33–47.

CHI-2012-GuptaMPT #gesture #named #using

SoundWave: using the doppler effect to sense gestures (SG, DM, SP, DST), pp. 1911–1914.

CHI-2012-KuleszaSBK #personalisation

Tell me more?: the effects of mental model soundness on personalizing an intelligent agent (TK, SS, MMB, IK), pp. 1–10.

CHI-2012-LazarFBMWHOE #approach #interactive #proving

The SoundsRight CAPTCHA: an improved approach to audio human interaction proofs for blind users (JL, JF, TB, GM, BW, JH, AO, NE), pp. 2267–2276.

CHI-2012-Swift #music #named

Becoming-sound: affect and assemblage in improvisational digital music making (BS), pp. 1815–1824.

CSCW-2012-FarnhamKYT

Puget sound off: fostering youth civic engagement through citizen journalism (SF, DK, VY, CT), pp. 285–294.

ICPR-2012-SakaiKMK #detection #robust

Robust detection of adventitious lung sounds in electronic auscultation signals (TS, MK, SM, SK), pp. 1993–1996.

ICPR-2012-YamashitaTHNH #detection #representation

Sparse representation of audio features for sputum detection from lung sounds (TY, ST, KH, YN, SH), pp. 2005–2008.

ECOOP-2012-Ancona #induction #object-oriented #semantics

Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics (DA), pp. 459–483.

POPL-2012-SmaragdakisESYF #concurrent #detection #polynomial #predict

Sound predictive race detection in polynomial time (YS, JE, CS, JY, CF), pp. 387–400.

ICSE-2012-FraserA #empirical #testing

Sound empirical evidence in software testing (GF, AA), pp. 178–188.

RTA-2012-Bahr #graph grammar

Infinitary Term Graph Rewriting is Simple, Sound and Complete (PB), pp. 69–84.

RTA-2012-GmeinerGS #on the #term rewriting

On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems (KG, BG, FS), pp. 193–208.

VMCAI-2012-LeeLY #clustering #static analysis #statistics

Sound Non-statistical Clustering of Static Analysis Alarms (WL, WL, KY), pp. 299–314.

FoSSaCS-2011-PierardS #bisimulation #calculus #distributed #higher-order #process

Sound Bisimulations for Higher-Order Distributed Process Calculus (AP, ES), pp. 123–137.

TACAS-2011-BurnimSS #consistency #memory management #modelling #monitoring

Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models (JB, KS, CS), pp. 11–25.

CHI-2011-RieckeFRM #self

Spatialized sound enhances biomechanically-induced self-motion illusion (vection) (BER, DF, JJR, TPM), pp. 2799–2802.

CSCW-2011-GutwinSXB #distributed

Chalk sounds: the effects of dynamic synthesized audio on workspace awareness in distributed groupware (CG, OSS, RX, SAB), pp. 85–94.

DUXU-v2-2011-ArdavanC #3d #exclamation #safety #towards

Listen! Somebody Is Walking towards Your Car (Introducing the Awareness-3D Sound System into the Driver to Increase the Pedestrian’s Safety) (MA, FC), pp. 89–98.

DUXU-v2-2011-MooreBC #locality #optimisation #prototype

Optimisation of Sound Localisation for Emergency Vehicle Sirens through a Prototype Audio System (JDM, SB, VC), pp. 177–186.

HCD-2011-AbsarG #design #information management

Nonspeech Sound Design for a Hierarchical Information System (RA, CG), pp. 461–470.

HCI-MIIE-2011-PlocherJC #using

Using Sound Patterns to Enhance Directional Sound for Emergency Route Guidance (TP, ZJJ, FYDC), pp. 329–337.

HIMI-v2-2011-IkegamiIIO #development #game studies #visual notation

Development of a Tracking Sound Game for Exercise Support of Visually Impaired (YI, KI, HI, MO), pp. 31–35.

RecSys-2011-SabinC #named #online #recommendation

myMicSound: an online sound-based microphone recommendation system (ATS, CLC), pp. 351–352.

SAC-2011-YukselBK #algorithm #estimation #framework #parametricity #search-based

A software platform for genetic algorithms based parameter estimation on digital sound synthesizers (KAY, BB, HK), pp. 1088–1089.

CAV-2011-ChaudhuriS #robust

Smoothing a Program Soundly and Robustly (SC, ASL), pp. 277–292.

RTA-2011-NishidaSS #term rewriting

Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity (NN, MS, TS), pp. 267–282.

SIGMOD-2010-BjorlingFMBBJ #lessons learnt #metric

Performing sound flash device measurements: some lessons from uFLIP (MB, LLF, AM, PB, LB, BÞJ), pp. 1219–1222.

ICPC-2010-Berman #architecture #comprehension #low level

Sound as an Aid in Understanding Low-Level Program Architecture (LB), pp. 58–59.

ICALP-v1-2010-ApplebaumIK #performance #verification

From Secrecy to Soundness: Efficient Verification via Secure Computation (BA, YI, EK), pp. 152–163.

CHI-2010-GonzalesNZG

Motivating expressive writing with a text-to-sound application (ALG, TYN, OJZ, GG), pp. 1937–1940.

CHI-2010-MaFC #named

SoundNet: investigating a language composed of environmental sounds (XM, CF, PRC), pp. 1945–1954.

CSCW-2010-DibPW #product line

Sonic souvenirs: exploring the paradoxes of recorded sound for family remembering (LD, DP, SW), pp. 391–400.

CAiSE-2010-SidorovaST #concept #correctness #workflow

Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual (NS, CS, NT), pp. 530–544.

SAC-2010-Kuzume #using

Input device for disabled persons using expiration and tooth-touch sound signals (KK), pp. 1159–1164.

SAC-2010-VogelsJP #generative #performance #proving #verification

A machine-checked soundness proof for an efficient verification condition generator (FV, BJ, FP), pp. 2517–2522.

LICS-2010-Milius #calculus #finite

A Sound and Complete Calculus for Finite Stream Circuits (SM), pp. 421–430.

RTA-2010-GmeinerGS #on the

On (Un)Soundness of Unravelings (KG, BG, FS), pp. 119–134.

HCI-NIMT-2009-Suzuki

Embodied Sound Media Technology for the Enhancement of the Sound Presence (KS), pp. 745–751.

HCI-VAD-2009-ParkK #design #interactive

Design of Interactive Emotional Sound Edutainment System (MP, KK), pp. 368–377.

HCI-VAD-2009-ZhangLBAMY #development #learning #simulation #visualisation

Development of a Visualised Sound Simulation Environment: An e-Approach to a Constructivist Way of Learning (JZ, BL, IB, LA, YM, SY), pp. 266–275.

HIMI-DIE-2009-KawashimoSDAT

A Skill Transfer Method for Manual Machine Tool Operation Utilizing Cutting Sound (TK, NS, DD, MA, TT), pp. 77–86.

OCSC-2009-MatsudaIY #design #interface #web

Web Interface for Designing and Sharing Sound Space (SM, SI, TY), pp. 374–380.

TOOLS-EUROPE-2009-NordioCMM #eiffel #logic

A Sound and Complete Program Logic for Eiffel (MN, CC, PM, BM), pp. 195–214.

POPL-2009-QiM

Masked types for sound object initialization (XQ, ACM), pp. 53–65.

VMCAI-2009-MightM #abstract interpretation #nondeterminism

A PosterioriSoundness for Non-deterministic Abstract Interpretations (MM, PM), pp. 260–274.

ESOP-2008-Owens #semantics

A Sound Semantics for OCamllight (SO), pp. 1–15.

PLDI-2008-DilligDA #analysis #scalability

Sound, complete and scalable path-sensitive analysis (ID, TD, AA), pp. 270–280.

PLDI-2008-FlanaganFY #named #parallel #source code #thread

Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs (CF, SNF, JY), pp. 293–303.

SAS-2008-ConwayDNB #analysis #fault #pointer #proving

Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors (CLC, DD, KSN, CB), pp. 62–77.

ICALP-A-2008-Ben-SassonHLM

Sound 3-Query PCPPs Are Long (EBS, PH, OL, AM), pp. 686–697.

ICALP-B-2008-Canetti #analysis #composition #performance #security

Composable Formal Security Analysis: Juggling Soundness, Simplicity and Efficiency (RC), pp. 1–13.

CHI-2008-MerrillRA #physics

The sound of touch: physical manipulation of digital sound (DM, HR, RA), pp. 739–742.

OOPSLA-2008-RobersonHDB #model checking #performance #type system

Efficient software model checking of soundness of type systems (MR, MH, PTD, CB), pp. 493–504.

OOPSLA-2008-SchaferEM #java

Sound and extensible renaming for java (MS, TE, OdM), pp. 277–294.

POPL-2008-FournetR #data flow #encryption #implementation #security

Cryptographically sound implementations for typed information-flow security (CF, TR), pp. 323–335.

POPL-2008-Laud #encryption #on the

On the computational soundness of cryptographically masked flows (PL), pp. 337–348.

LICS-2008-SprengerB #abstraction

Cryptographically-Sound Protocol-Model Abstractions (CS, DAB), pp. 115–129.

PLDI-2007-WassermannS #analysis #injection #precise #web

Sound and precise analysis of web applications for injection vulnerabilities (GW, ZS), pp. 32–41.

SEFM-2007-JacobsMP #exception #reasoning

Sound reasoning about unchecked exceptions (BJ, PM, FP), pp. 113–122.

HCI-IPT-2007-OtsukiKNST #artificial reality #interactive #novel

RealSound Interaction: A Novel Interaction Method with Mixed Reality Space by Localizing Sound Events in Real World (MO, AK, TN, FS, HT), pp. 653–662.

HCI-IPT-2007-Young-hyunK #feedback #smarttech

Information Display of Wearable Devices Through Sound Feedback of Wearable Computing (PYh, HKh), pp. 1200–1209.

HIMI-IIE-2007-SuzukiUKAI #adaptation #communication #interactive #towards

Toward Adaptive Interaction — The Effect of Ambient Sounds in an Ultra-Realistic Communication System (NS, IU, TK, HA, NI), pp. 185–194.

OOPSLA-2007-SasitornC #component #framework #java

Component nextgen: a sound and expressive component framework for java (JS, RC), pp. 153–170.

PPDP-2007-BentonZ #compilation #formal method #semantics #verification

Formalizing and verifying semantic type soundness of a simple compiler (NB, UZ), pp. 1–12.

ICSE-2007-Chalin #compilation #evolution #semantics #verification

A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler (PC), pp. 23–33.

FoSSaCS-2006-AbadiBW #equivalence

Guessing Attacks and the Computational Soundness of Static Equivalence (MA, MB, BW), pp. 398–412.

TACAS-2006-FontaineMMNT #automation #interactive #proving #smt #towards

Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants (PF, JYM, SM, LPN, AFT), pp. 167–181.

ICPC-2006-BermanDGG #comprehension #using

The Sound of Software: Using Sonification to Aid Comprehension (LIB, SD, KBG, NG), pp. 225–229.

ICALP-v2-2006-AdaoF #communication #encryption #implementation #process

Cryptographically Sound Implementations for Communicating Processes (PA, CF), pp. 83–94.

CSCW-2006-RiegelsbergerCFP #game studies

Sounds good to me: effects of photo and voice profiles on gaming partner choice (JR, SC, SF, BCP), pp. 159–162.

EDOC-2006-DongenMA #modelling #process

Structural Patterns for Soundness of Business Process Models (BFvD, JM, WMPvdA), pp. 116–128.

ICPR-v1-2006-RavulapalliS #using #video

Association of Sound to Motion in Video using Perceptual Organization (SR, SS), pp. 1216–1219.

ICPR-v4-2006-TsujiYI #integration #locality #realtime

Real-time Sound Source Localization Based on Audiovisual Frequency Integration (TT, KY, II), pp. 322–325.

ITiCSE-2005-GomesSVG #behaviour #multi #named

SoundSpaces: behavior based control system for multimedia systems (RG, RS, JV, NG), p. 407.

ESOP-2005-CortierW #automation #protocol #proving #security

Computationally Sound, Automated Proofs for Security Protocols (VC, BW), pp. 157–171.

ESOP-2005-JanvierLM #encryption

Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries (RJ, YL, LM), pp. 172–185.

ICALP-2005-BaudetCK #equation #implementation

Computationally Sound Implementations of Equational Theories Against Passive Adversaries (MB, VC, SK), pp. 652–663.

PADL-2005-Karczmarczuk #framework #functional #synthesis

Functional Framework for Sound Synthesis (JK), pp. 7–21.

POPL-2005-LernerMRC #analysis #automation #data flow #proving

Automated soundness proofs for dataflow analyses and transformations via local rules (SL, TDM, ER, CC), pp. 364–377.

ICSE-2005-Jurjens #effectiveness #modelling #security #tool support #uml

Sound methods and effective tools for model-based security engineering with UML (JJ), pp. 322–331.

SIGMOD-2004-KosugiSM #named

SoundCompass: A Practical Query-by-Humming System (NK, YS, MM), pp. 881–886.

ITiCSE-2004-Ben-AriBBH #education #question #research #what

What do we mean by theoretically sound research in computer science education? (MBA, AB, SB, CH), pp. 230–231.

ESOP-2004-DuckPSS #decidability #dependence #functional #type inference

Sound and Decidable Type Inference for Functional Dependencies (GJD, SLPJ, PJS, MS), pp. 49–63.

ICFP-2004-BlumeM #contract

A sound (and complete) model of contracts (MB, DAM), pp. 189–200.

CHI-2004-MoffattMPK #design #image #people

The participatory design of a sound and image enhanced daily planner for people with aphasia (KM, JM, BP, MMK), pp. 407–414.

ICPR-v1-2004-Li #authentication

Handwriting Authentication by Envelopes of Sound Signatures (FFL), pp. 401–404.

ICPR-v2-2004-DroriFY

Spectral Sound Gap Filling (ID, AF, YY), pp. 871–874.

ICPR-v2-2004-LeungNL #classification

ICA-FX Features for Classification of Singing Voice and Instrumental Sound (TWL, CWN, RWHL), pp. 367–370.

ICPR-v3-2004-MizoguchiTSKN #array #visual notation

Visually Steerable Sound Beam Forming System based on Face Tracking and Speaker Array (HM, YT, KS, SK, KN), pp. 977–980.

SAC-2004-HatalaKWN #ontology #retrieval #rule-based

Ontology and rule based retrieval of sound objects in augmented audio reality system for museum visitors (MH, LK, RW, KN), pp. 1045–1050.

FoSSaCS-2003-Maier #composition

Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete (PM), pp. 343–357.

PLDI-2003-ChenWAF #optimisation

A provably sound TAL for back-end optimization (JC, DW, AWA, HF), pp. 208–219.

ICFP-2003-KameyamaH #axiom #continuation

A sound and complete axiomatization of delimited continuations (YK, MH), pp. 177–188.

CHI-2003-Ho-ChingML #design #evaluation #what

Can you see what i hear?: the design and evaluation of a peripheral sound display for the deaf (FWlHC, JM, JAL), pp. 161–168.

ICSE-2003-CoppitS #analysis #effectiveness #modelling #tool support

Sound Methods and Effective Tools for Engineering Modeling and Analysis (DC, KJS), pp. 198–209.

LICS-2003-NeculaS #framework #generative

A Sound Framework for Untrusted Verification-Condition Generators (GCN, RRS), pp. 248–260.

TLCA-2003-Fujita #λ-calculus #μ-calculus

A Sound and Complete CPS-Translation for λμ-Calculus (KeF), pp. 120–134.

FME-2002-BackesJP #bisimulation #composition #encryption #implementation #using

Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation (MB, CJ, BP), pp. 310–329.

CHI-2002-IsaacsWR #interactive #mobile #named

Hubbub: a sound-enhanced mobile instant messenger that supports awareness and opportunistic interactions (EI, AW, DR), pp. 179–186.

PODS-2001-MendelzonM #data flow #query

Querying Partially Sound and Complete Data Sources (AOM, GAM).

CAiSE-2001-DehnertR #process

Relaxed Soundness of Business Processes (JD, PR), pp. 157–170.

OOPSLA-2001-FindlerF #contract #object-oriented

Contract Soundness for Object-Oriented Languages (RBF, MF), pp. 1–15.

PEPM-2000-Taha #formal method #ml #multi #reduction #semantics

A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract) (WT), pp. 34–43.

IFM-2000-Jonkers #interface #named #specification #towards

ISpec: Towards Practical and Sound Interface Specifications (HBMJ), pp. 116–135.

TACAS-1999-Pusch #bytecode #higher-order #java #proving #specification #verification

Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL (CP), pp. 89–103.

CHI-1999-LumbrerasS #3d #interactive

Interactive 3D Sound Hyperstories for Blind Children (ML, JS), pp. 318–325.

HCI-CCAD-1999-Brewster #interface #mobile

Sound in the interface to a mobile computer (SAB), pp. 43–47.

HCI-CCAD-1999-ShimizuIN #locality #representation #using

Pattern representation system using movement sense of localized sound (MS, KI, TN), pp. 990–994.

TLCA-1999-Goguen #framework #logic #semantics

Soundness of the Logical Framework for Its Typed Operational Semantics (HG), pp. 177–197.

CSMR-1998-ZedanY #approach #re-engineering

A Sound and Practical Approach To The Re-Engineering Of Time-Critical Systems (HZ, HY), pp. 220–223.

ICALP-1997-MasonT #semantics

A Semantically Sound Actor Tranlsation (IAM, CLT), pp. 369–378.

HCI-CC-1997-ItohSY #using #visual notation

A Drawing Support System for the Visually Impaired Computer User Using a Virtual Sound Screen (KI, MS, YY), pp. 401–404.

HCI-SEC-1997-FriedlanderSM #feedback

A Bullseye Menu With Sound Feedback (NF, KS, MMM), pp. 379–382.

CAV-1997-KelbMMG #named #performance

MOSEL: A Sound and Efficient Tool for M2L(Str) (PK, TMS, MM, CG), pp. 448–451.

ICPR-1996-KrotkovKZ #analysis #invariant #synthesis

Analysis and synthesis of the sounds of impact based on shape-invariant properties of materials (EK, RLK, NBZ), pp. 115–119.

OOPSLA-1995-EifrigST #polymorphism #type inference

Sound Polymorphic Type Inference for Objects (JE, SFS, VT), pp. 169–184.

ESOP-1994-Moreau #automaton #continuation #evaluation #functional #parallel #source code

The PCKS-Machine: An Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations (LM), pp. 424–438.

KBSE-1993-Hall #rule-based #validation

Validation of Rule-based Reactive Systems by Sound Scenario Generalization (RJH), p. 8.

FPCA-1993-MoreauR #evaluation #functional #parallel

Sound Rules for Parallel Evaluation of a Functional Language with callcc (LM, DR), pp. 125–135.

INTERCHI-1993-DiGianoBO #behaviour #monitoring #named #programming

LogoMedia: a sound-enhanced programming environment for monitoring program behavior (CD, RMB, RNO), pp. 301–302.

ILPS-1993-Orgun #logic programming

The Soundness and Completeness of a Temporal Extension of Logic Programming (MAO), p. 669.

KR-1992-PenberthyW #named #partial order

UCPOP: A Sound, Complete, Partial Order Planner for ADL (JSP, DSW), pp. 103–114.

JICSLP-1992-Dumant

Checking the Soundness of Resolution Schemes (BD), pp. 37–51.

CHI-1991-GaverSO #effectiveness #simulation

Effective sounds in complex systems: the ARKOLA simulation (WWG, RBS, TO), pp. 85–90.

CHI-1990-SmithBG #data analysis #generative

Stereophonic and surface sound generation for exploratory data analysis (SS, RDB, GGG), pp. 125–132.

PODS-1989-YuanC #algorithm #database #evaluation #query #relational

A Sound and Complete Query Evaluation Algorithm for Relational Databases with Disjunctive Information (LYY, DAC), pp. 66–74.

SIGMOD-1988-YuanC #algorithm #database #evaluation #null #query #relational

A Sound and Complete Query Evaluation Algorithm for Relational Databases with Null Values (LYY, DAC), pp. 74–81.

OOPSLA-1988-ScalettiJ #composition #interactive #music #object-oriented #synthesis

An Interactive Environment for Object-Oriented Music Composition and Sound Synthesis (CAS, REJ), pp. 222–233.

SLP-1987-Wallace87 #constraints #database #deduction #implementation #performance

Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases (MW), pp. 253–263.

ICALP-1985-ZwiersRB #composition #concurrent #network

Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem (JZ, WPdR, PvEB), pp. 509–519.

PODS-1983-CasanovaV #integration #towards

Towards a Sound View Integration Methodology (MAC, VMPV), pp. 36–47.

ICALP-1982-Gerth #ada #axiom #hoare

A Sound and Complete Hoare Axiomatization of the Ada-Rendevous (RG), pp. 252–264.