Stem inclus$ (all stems)

118 papers:

VLDB-2015-PapenbrockKQN #dependence

Divide & Conquer-based Inclusion Dependency Discovery (TP, SK, JAQR, FN), pp. 774–785.

CHI-2015-WoltersKMDM #corpus #design #interface

The CADENCE Corpus: A New Resource for Inclusive Voice Interface Design (MKW, JK, SEM, MD, JDM), pp. 3963–3966.

DUXU-UI-2015-BeltranUPSSSPCA #design #game studies #learning

Inclusive Gaming Creation by Design in Formal Learning Environments: “Girly-Girls” User Group in No One Left Behind (MEB, YU, AP, CS, WS, BS, SdlRP, MFCU, MTA), pp. 153–161.

HPCA-2015-JaleelNMSE #latency

High performing cache hierarchies for server workloads: Relaxing inclusion to capture the latency benefits of exclusive caches (AJ, JN, AM, SCSJ, JSE), pp. 343–353.

TACAS-2014-Wang0LWL #automaton #specification

Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata (TW, JS, YL, XW, SL), pp. 310–325.

ICPC-2014-Cutrell #constraints #design

Innovating in india: designing for constraint, computing for inclusion (keynote) (EC), p. 1.

CHI-2014-CarringtonHK #design #mobile #smarttech

Wearables and chairables: inclusive design of mobile input and output techniques for power wheelchair users (PC, AH, SKK), pp. 3103–3112.

CHI-2014-NorvalAH #network #recommendation #social #what

What’s on your mind?: investigating recommendations for inclusive social networking and older adults (CN, JLA, VLH), pp. 3923–3932.

LCT-NLE-2014-UlbrichtBFQ #component #interface #learning #testing #usability

The Emotion Component on Usability Testing Human Computer Interface of an Inclusive Learning Management System (VRU, CHB, LF, SRPdQ), pp. 334–345.

LCT-TRE-2014-LongoGTBA #social #towards

Society@school: Towards an e-Inclusion App for Social Reading (LL, EG, AT, MB, RAG), pp. 155–164.

CIKM-2014-LimsopathamMO #modelling #multi #ranking #towards

Modelling Relevance towards Multiple Inclusion Criteria when Ranking Patients (NL, CM, IO), pp. 1639–1648.

HPCA-2014-ElwellRAP #architecture #memory management

A Non-Inclusive Memory Permissions architecture for protection against cross-layer attacks (JE, RR, NBAG, DP), pp. 201–212.

ITiCSE-2013-RidgewayWP #education #online

Diversifying computing teaching: building an online hub to promote inclusivity (JR, RW, RP), p. 332.

LATA-2013-BruyereDG #anti #automaton

Visibly Pushdown Automata: Universality and Inclusion via Antichains (VB, MD, OG), pp. 190–201.

LATA-2013-HutagalungLL #automaton #game studies #simulation

Revealing vs. Concealing: More Simulation Games for Büchi Inclusion (MH, ML, ÉL), pp. 347–358.

CHI-2013-HoloneH #design

Three tensions in participatory design for inclusion (HH, JH), pp. 2903–2906.

DHM-SET-2013-BaptistaSVQCD #interactive #using

Using Digital Interactive Television to Promote Healthcare and Wellness Inclusive Services (AB, ÁDS, IV, CQ, MC, MJD), pp. 150–156.

DUXU-NTE-2013-CombeHD #design #people #self #usability

Designing Technology for Older People — The Role of Technical Self-confidence in Usability of an Inclusive Heating Control (NC, DH, HD), pp. 49–56.

DUXU-WM-2013-BucchianicoCP #analysis #communication #towards #visual notation

Branding “for All”: Toward the Definition of Inclusive Toolkits of Analysis and Visual Communication for Brand Identities (GDB, SC, SP), pp. 23–29.

HCI-AMTE-2013-FuglerudS #design

The Link between Inclusive Design and Innovation: Some Key Elements (KSF, DS), pp. 41–50.

HCI-AMTE-2013-OhKHJ #design #perspective #process

User Centered Inclusive Design Process: A “Situationally-Induced Impairments and Disabilities” Perspective (HJO, HCK, HH, YGJ), pp. 103–108.

HCI-UC-2013-RossvollF #social #social media

Trustworthy and Inclusive Identity Management for Applications in Social Media (THR, LF), pp. 68–77.

ICEIS-v2-2013-TrindadeGG #collaboration #community #concept #design #framework

Conceptual Framework for Design of Collaborative Environments — Cultivating Communities of Practices for Deaf Inclusion (DdFGT, CG, LSG), pp. 206–215.

ICEIS-v3-2013-GarciaGAF #architecture #community #human-computer

HCI Architecture for Deaf Communities Cultural Inclusion and Citizenship (LSG, CG, DRA, SF), pp. 126–133.

CIKM-2013-MorishimaYTSK #dependence #performance #ranking #web

Efficient filtering and ranking schemes for finding inclusion dependencies on the web (AM, EY, MT, SS, HK), pp. 763–768.

CAV-2013-LaarmanODLP #abstraction #automaton #manycore #using

Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction (AL, MCO, AED, KGL, JvdP), pp. 968–983.

CSL-2013-GallianiH #fixpoint #logic

Inclusion Logic and Fixed Point Logic (PG, LH), pp. 281–295.

CIAA-2012-AmaviCR #recursion #xml

Weak Inclusion for Recursive XML Types (JA, JC, PR), pp. 78–89.

CIKM-2012-BauckmannALMN #dependence

Discovering conditional inclusion dependencies (JB, ZA, UL, HM, FN), pp. 2094–2098.

SAC-2012-OtaMSA #dependence #flexibility #functional #named

C-Mapping: a flexible XML-RDB mapping method based on functional and inclusion dependencies (SO, AM, NS, TA), pp. 834–839.

PPoPP-2012-Mendez-LojoBP #analysis #gpu #implementation #points-to

A GPU implementation of inclusion-based points-to analysis (MML, MB, KP), pp. 107–116.

CSEET-2011-John #assessment #re-engineering #usability

A quantitative usability assessment method for inclusion in software engineering courses (BEJ), pp. 537–539.

DLT-J-2009-BertoniCR11 #context-free grammar #problem

The Inclusion Problem of Context-Free Languages: Some Tractable Cases (AB, CC, RR), pp. 289–299.

AFL-2011-BorgwardtP #automaton #infinity #problem

The Inclusion Problem for Weighted Automata on Infinite Trees (SB, RP), pp. 108–122.

CIAA-2011-AmaviCAR #xml

Weak Inclusion for XML Types (JA, JC, MHFA, PR), pp. 30–41.

ICALP-v2-2011-Husfeldt #algorithm

Invitation to Algorithmic Uses of Inclusion-Exclusion (TH), pp. 42–59.

HCI-UA-2011-FiddianBMFCKML #case study #design

An End User and Environment Field Study for an Inclusive Design of Consumer Products (TF, CB, MM, AF, JOC, PTK, YM, ML), pp. 443–452.

SAT-2011-BennettS #principle #using

Model Counting Using the Inclusion-Exclusion Principle (HB, SS), pp. 362–363.

DLT-2010-BremerF #bound #problem

Inclusion Problems for Patterns with a Bounded Number of Variables (JB, DDF), pp. 100–111.

LATA-2010-BousquetL #ambiguity #automaton #equivalence #problem

Equivalence and Inclusion Problem for Strongly Unambiguous Büchi Automata (NB, CL), pp. 118–129.

LATA-2010-Hovland #problem #regular expression

The Inclusion Problem for Regular Expressions (DH), pp. 309–320.

CSCW-2010-RobersonN #social

Survival needs and social inclusion: technology use among the homeless (JR, BAN), pp. 445–448.

ICEIS-HCI-2010-ReisBB #challenge #network #social

New Perspectives for Search in Social Networks — A Challenge for Inclusion (JCdR, RB, MCCB), pp. 53–62.

ICEIS-J-2010-ReisBB10a #network #social

Prospecting an Inclusive Search Mechanism for Social Network Services (JCdR, RB, MCCB), pp. 555–570.

OOPSLA-2010-Mendez-LojoMP #analysis #parallel #points-to

Parallel inclusion-based points-to analysis (MML, AM, KP), pp. 428–443.

SAC-2010-HayashiB #comprehension

Understanding meta-communication in an inclusive scenario (ECSH, MCCB), pp. 1213–1218.

CAV-2010-AbdullaCCHHMV #automaton #simulation #testing

Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing (PAA, YFC, LC, LH, CDH, RM, TV), pp. 132–147.

IJCAR-2010-Kazakov #axiom #logic

An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ (YK), pp. 472–486.

HT-2009-IorioL #xml

From XML inclusions to XML transclusions (ADI, JWL), pp. 147–156.

ITiCSE-2009-IglesiasMRJ #education #named

APEINTA: a spanish educational project aiming for inclusive education in and out of the classroom (AI, LM, PR, JJ), p. 393.

DLT-2009-BertoniCR #context-free grammar #problem

The Inclusion Problem of Context-Free Languages: Some Tractable Cases (AB, CC, RR), pp. 103–112.

DHM-2009-MarshallCSSGD #design #simulation

Virtual Task Simulation for Inclusive Design (RM, KC, SJS, RES, DG, PD), pp. 700–709.

HIMI-DIE-2009-HosonoMST #collaboration

Urgent Collaboration Service for Inclusive Use (NH, HM, MS, YT), pp. 49–58.

IDGD-2009-ChavanAKK #how #mobile #women

How Mobile Money Can Drive Financial Inclusion for Women at the Bottom of the Pyramid (BOP) in Indian Urban Centers (ALC, SA, AK, PK), pp. 475–484.

IDGD-2009-Singh09a #design #mobile

Mobile Remittances: Design for Financial Inclusion (SS), pp. 515–524.

OCSC-2009-AlmeidaNMHB #approach #design #network #social

Designing Inclusive Social Networks: A Participatory Approach (LDAA, VPdAN, LCdM, ECSH, MCCB), pp. 653–662.

ICEIS-J-2009-BonacinBR #agile #development #process

An Agile Process Model for Inclusive Software Development (RB, MCCB, MAR), pp. 807–818.

CIKM-2009-ColazzoGPS #linear #regular expression #xml

Linear inclusion for XML regular expression types (DC, GG, LP, CS), pp. 137–146.

ECIR-2009-BoscCPU #information retrieval

Graded-Inclusion-Based Information Retrieval Systems (PB, VC, OP, LU), pp. 252–263.

ITiCSE-2008-MorenoICM #database #design #distance #education #learning #towards #using

Using accessible digital resources for teaching database design: towards an inclusive distance learning proposal (LM, AI, EC, PM), pp. 32–36.

CIAA-2008-BouajjaniHHTV #automaton #finite #nondeterminism #testing

Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata (AB, PH, LH, TT, TV), pp. 57–67.

LATA-2008-ChampavereGLN #automaton #performance

Efficient Inclusion Checking for Deterministic Tree Automata and DTDs (JC, RG, AL, JN), pp. 184–195.

LATA-2008-Yoshinaka #algorithm #performance #problem #subclass

An Efficient Algorithm for the Inclusion Problem of a Subclass of DPDAs (RY), pp. 487–498.

RecSys-2008-Santos #adaptation #lifecycle #recommendation #standard

A recommender system to provide adaptive and inclusive standard-based support along the elearning life cycle (OCS), pp. 319–322.

RE-2008-Castro-HerreraDCM #data mining #elicitation #mining #process #recommendation #requirements #scalability #using

Using Data Mining and Recommender Systems to Facilitate Large-Scale, Open, and Inclusive Requirements Elicitation Processes (CCH, CD, JCH, BM), pp. 165–168.

RE-2008-Kof #generative #sequence chart

From Textual Scenarios to Message Sequence Charts: Inclusion of Condition Generation and Actor Extraction (LK), pp. 331–332.

DocEng-2007-ZeridaLC #categorisation

Exclusion-inclusion based text categorization of biomedical articles (NZ, NL, BC), pp. 202–204.

ITiCSE-2007-Deibel #case study #experience #student

Studying our inclusive practices: course experiences of students with disabilities (KD), pp. 266–270.

ITiCSE-2007-DistasioW #education #framework #game studies #using

Inclusive computer science education using a ready-made computer game framework (JD, TPW), pp. 116–120.

ITiCSE-2007-Hanson #education

Inclusive thinking in computer science education (VLH), p. 3.

ITiCSE-2007-Kane #design #student

Engaging student programmers as inclusive designers (SKK), p. 342.

ITiCSE-2007-KheirW #realtime #speech #student #using

Inclusion of deaf students in computer science classes using real-time speech transcription (RK, TW), pp. 261–265.

ITiCSE-2007-MorenoMRI #education #interface #multi

Accessible interface for multimedia presentation in inclusive education (LM, PM, BRM, AI), p. 321.

ITiCSE-2007-SloanNS #design #education #how #question

How should inclusivity influence teaching of ict design? (DS, BN, MS), pp. 307–308.

CHI-2007-YeeBR #case study #experience #user interface

A meta-analysis of the impact of the inclusion and realism of human-like faces on user experiences in interfaces (NY, JNB, KR), pp. 1–10.

LOPSTR-2007-ZhangN #constraints #scalability #theorem proving #unification #using

A Scalable Inclusion Constraint Solver Using Unification (YZ, FN), pp. 121–137.

SAC-2007-Suzuki #approach #problem

An edit operation-based approach to the inclusion problem for DTDs (NS), pp. 482–488.

ICEIS-DISI-2006-CaropreseGZ #consistency #database #dependence #functional #query

Merging, Repairing and Querying Inconsistent Databases with Functional and Inclusion Dependencies (LC, SG, EZ), pp. 38–45.

ICEIS-DISI-2006-MalinowskiZ #metric

Inclusion of Time-Varying Measures in Temporal Data Warehouses (EM, EZ), pp. 181–186.

ICEIS-HCI-2006-MeloB #approach #evaluation #user interface #web

An Inclusive Approach to Cooperative Evaluation of Web User Interfaces (AMM, MCCB), pp. 65–70.

SAC-2006-ChenSC #algorithm #evaluation #query

Tree inclusion algorithm, signatures and evaluation of path-oriented queries (YC, YS, YC), pp. 1020–1025.

ICSM-2005-MilanovaR #analysis #constraints #precise

Annotated Inclusion Constraints for Precise Flow Analysis (AM, BGR), pp. 187–196.

DLT-2005-Massazza #ambiguity #problem

The Inclusion Problem for Unambiguous Rational Trace Languages (PM), pp. 350–361.

ICALP-2005-BilleG #performance #problem

The Tree Inclusion Problem: In Optimal Space and Faster (PB, ILG), pp. 66–77.

SOFTVIS-2005-OReillyBM #coordination #visualisation

The war room command console: shared visualizations for inclusive team coordination (CO, DWB, PJM), pp. 57–65.

ICEIS-v1-2005-ChenC #database #documentation #evaluation #on the #query

On the Tree Inclusion and Query Evaluation in Document Databases (YC, YC), pp. 182–190.

DATE-v1-2004-RanjanVASVG #modelling #performance #synthesis #using

Fast, Layout-Inclusive Analog Circuit Synthesis using Pre-Compiled Parasitic-Aware Symbolic Performance Models (MR, WV, AA, HS, RV, GGEG), pp. 604–609.

KR-2004-SchulzH #concept

Parthood as Spatial Inclusion — Evidence from biomedical Conceptualizations (SS, UH), pp. 55–63.

LICS-2004-OuaknineW #automaton #decidability #on the #problem

On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap (JO, JW), pp. 54–63.

VMCAI-2004-PaceS #difference #kernel #model checking #using

Model Checking Polygonal Differential Inclusions Using Invariance Kernels (GJP, GS), pp. 110–121.

CAV-2003-KestenPP #simulation

Bridging the Gap between Fair Simulation and Trace Inclusion (YK, NP, AP), pp. 381–393.

SAS-2002-WhaleyL #analysis #performance #points-to #strict

An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages (JW, MSL), pp. 180–195.

SAT-2002-MatsuuraI

Inclusion-exclusion for k-CNF formulas (AM, KI), p. 3.

ECOOP-2001-RaynaudT #encoding #performance #testing

A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests (OR, ET), pp. 165–180.

ICFP-2000-Crary #compilation #type system

Typed compilation of inclusive subtyping (KC), pp. 68–81.

ICPR-v4-2000-HatteryCLG #embedded #migration

Optical Signatures of Small, Deeply Embedded, Tumor-Like Inclusions in Tissue-Like Turbid Media Based on a Random-Walk Theory of Photon Migration (DH, VC, MHL, AG), pp. 4348–4351.

POPL-2000-SuFA #constraints #graph

Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs (ZS, MF, AA), pp. 81–95.

HCI-EI-1999-Weber99b #approach #aspect-oriented #health #safety

A Pragmatic and Inclusive Approach to Assess Health and Safety Aspects at VDU Workplaces (HW), pp. 31–35.

PLDI-1998-FahndrichFSA #constraints #graph #online

Partial Online Cycle Elimination in Inclusion Constraint Graphs (MF, JSF, ZS, AA), pp. 85–96.

SAC-1998-ChunLC #semantics

Succinct model semantics: a simple model for inclusive interpretations (SC, HL, JC), pp. 39–44.

OOPSLA-1997-VitekHK #performance #testing

Efficient Type Inclusion Tests (JV, RNH, AK), pp. 142–157.

RTA-1997-BechetGR #axiom #partial order

A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders (DB, PdG, CR), pp. 230–240.

SAC-1996-BordognaBP #database #fuzzy #information retrieval #query

Fuzzy inclusion in database and information retrieval query interpretation (GB, PB, GP), pp. 547–551.

CAV-1994-PuriV #decidability #difference #hybrid

Decidability of Hybrid Systems with Rectangular Differential Inclusion (AP, PV), pp. 95–104.

ICALP-1993-JiangSSY #decidability #pattern matching

Inclusion is Undecidable for Pattern Languages (TJ, AS, KS, SY), pp. 301–312.

FPCA-1993-AikenW #constraints #type inference

Type Inclusion Constraints and Type Inference (AA, ELW), pp. 31–41.

CAV-1991-DillHW #simulation #using

Checking for Language Inclusion Using Simulation Preorders (DLD, AJH, HWT), pp. 255–265.

STOC-1990-LinialN #approximate

Approximate Inclusion-Exclusion (NL, NN), pp. 260–270.

VLDB-1989-CasanovaTFB #dependence #optimisation #relational

Optimization of Relational Schemas Containing Inclusion Dependencies (MAC, LT, ALF, APB), pp. 317–325.

VLDB-1988-CasanovaTF #dependence

Enforcing Inclusion Dependencies and Referencial Integrity (MAC, LT, ALF), pp. 38–49.

VLDB-1987-AtzeniC #database #dependence #functional #independence

Independent Database Schemes under Functional and Inclusion Dependencies (PA, EPFC), pp. 159–166.

VLDB-1986-ArisawaM #dependence #on the

On the Properties of Extended Inclusion Dependencies (HA, TM), pp. 449–456.

PODS-1984-CosmadakisK #approach #dependence #functional #graph

Functional and Inclusion Dependencies: A Graph Theoretic Approach (SSC, PCK), pp. 29–37.

PODS-1983-Mitchell #dependence #functional

Inference Rules for Functional and Inclusion Dependencies (JCM), pp. 58–69.

PODS-1983-Sciore #dependence

Inclusion Dependencies and the Universal Instance (ES), pp. 48–57.

STOC-1983-KanellakisCV #dependence #polynomial #problem

Unary Inclusion Dependencies have Polynomial Time Inference Problems (Extended Abstract) (PCK, SSC, MYV), pp. 264–277.

PODS-1982-CasanovaFP #dependence #functional #interactive

Inclusion Dependencies and Their Interaction with Functional Dependencies (MAC, RF, CHP), pp. 171–176.

PODS-1982-JohnsonK #dependence #functional #query #testing

Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (DSJ, ACK), pp. 164–169.