Stem satisfact$ (all stems)

184 papers:

CASE-2015-ZhaoCWCJZ #assessment

Experimental assessment of a satisfaction based thermal comfort control for a group of occupants (QZ, ZC, FW, ZC, YJ, ZZ), pp. 15–20.

CASE-2015-ZhaoCWCJZ15a

Showcase for a satisfaction based group comfort control system (QZ, ZC, FW, ZC, YJ, ZZ), pp. 697–698.

ICALP-v1-2015-BhangaleKS #approximate #constraints #problem

Simultaneous Approximation of Constraint Satisfaction Problems (AB, SK, SS), pp. 193–205.

ICALP-v1-2015-BodirskyMM #constraints #integer #problem

Constraint Satisfaction Problems over the Integers with Successor (MB, BM, AM), pp. 256–267.

ICALP-v1-2015-KozikO #algebra #constraints #problem

Algebraic Properties of Valued Constraint Satisfaction Problem (MK, JO), pp. 846–858.

CSCW-2015-BazarovaCSCW #difference #facebook #social

Social Sharing of Emotions on Facebook: Channel Differences, Satisfaction, and Replies (NNB, YHC, VSS, DC, JW), pp. 154–164.

CSCW-2015-MatthewsMCMHB #community #what

They Said What?: Exploring the Relationship Between Language Use and Member Satisfaction in Communities (TM, JUM, JC, MM, EMH, HB), pp. 819–825.

HCI-DE-2015-HashizumeK #analysis #smarttech #usability

Analysis of Factors Influencing the Satisfaction of the Usability Evaluations in Smartphone Applications (AH, SK), pp. 194–201.

HCI-UC-2015-BorsciFMC #assessment #testing #usability

Short Scales of Satisfaction Assessment: A Proxy to Involve Disabled Users in the Usability Testing of Websites (SB, SF, MLM, MC), pp. 35–42.

HIMI-IKD-2015-ZhangA #game studies #mobile #research

The Research of the Influence of Customer Perceived Value to Customer Satisfaction in Mobile Games (KZ, YA), pp. 678–687.

ICEIS-v1-2015-ConstantinoTPLR #scheduling

A Variable Neighbourhood Search for Nurse Scheduling with Balanced Preference Satisfaction (AAC, ET, RLP, DLS, WR), pp. 462–470.

ICEIS-v2-2015-Boon-itt #quality #self

Managing Service Quality of Self-Service Technologies to Enhance e-Satisfaction in Digital Banking Context — The Roles of Technology Readiness and Perceived Value (SBi), pp. 602–609.

ECIR-2015-UrbanoM #correlation #definite clause grammar #how #question #user satisfaction

How Do Gain and Discount Functions Affect the Correlation between DCG and User Satisfaction? (JU, MM), pp. 197–202.

SEKE-2015-SubramanianKKG #reasoning

Quantitative Reasoning of Goal Satisfaction in the i*Framework (CS, AK, AK, RPG), pp. 666–669.

SIGIR-2015-LiuCTS0MZ #predict

Different Users, Different Opinions: Predicting Search Satisfaction with Mouse Movement Information (YL, YC, JT, JS, MZ, SM, XZ), pp. 493–502.

SIGIR-2015-SchuthHR #metric #predict

Predicting Search Satisfaction Metrics with Interleaved Comparisons (AS, KH, FR), pp. 463–472.

SAC-2015-0001RMW #approach #behaviour #constraints #process

Matching of events and activities: an approach based on behavioral constraint satisfaction (TB, ARS, JM, MW), pp. 1225–1230.

LICS-2015-KlinKOT #constraints #finite #problem

Locally Finite Constraint Satisfaction Problems (BK, EK, JO, ST), pp. 475–486.

ICALP-v1-2014-IvanyosKQSS #complexity #constraints #fault #on the #problem

On the Complexity of Trial and Error for Constraint Satisfaction Problems (GI, RK, YQ, MS, AS), pp. 663–675.

CHI-2014-VlahovicWKL #community #online

Support matching and satisfaction in an online breast cancer support community (TAV, YCW, REK, JML), pp. 1625–1634.

CHI-2014-YurutenZP #mobile #predict #process

Predictors of life satisfaction based on daily activities from mobile sensor data (OY, JZ, PHZP), pp. 497–500.

CSCW-2014-RatanH #design #game studies

Playing well with virtual classmates: relating avatar design to group satisfaction (RR, BSH), pp. 564–573.

DHM-2014-ButlewskiMC #development #safety

Non-financial Factors of Job Satisfaction in the Development of a Safety Culture Based on Examples from Poland and Romania (MB, AM, RC), pp. 577–587.

DUXU-DI-2014-ShafiqICRAAR #analysis #case study #learning #smarttech #usability #user satisfaction #what

To What Extent System Usability Effects User Satisfaction: A Case Study of Smart Phone Features Analysis for Learning of Novice (MS, MI, JGC, ZR, MA, WA, SR), pp. 346–357.

CIKM-2014-KiselevaCBD #detection #modelling #user satisfaction

Modelling and Detecting Changes in User Satisfaction (JK, EC, RB, RD), pp. 1449–1458.

ECIR-2014-MonizJ #analysis #sentiment

Sentiment Analysis and the Impact of Employee Satisfaction on Firm Earnings (AM, FdJ), pp. 519–527.

SIGIR-2014-KimHWZ #predict

Comparing client and server dwell time estimates for click-level satisfaction prediction (YK, AHA, RWW, IZ), pp. 895–898.

SIGIR-2014-LagunHWN #metric #mobile #towards

Towards better measurement of attention and satisfaction in mobile search (DL, CHH, DW, VN), pp. 113–122.

SIGIR-2014-WangSCHHW #modelling #predict

Modeling action-level satisfaction for search task satisfaction prediction (HW, YS, MWC, XH, AHA, RWW), pp. 123–132.

POPL-2014-DSilvaHK #satisfiability

Abstract satisfaction (VD, LH, DK), pp. 139–150.

RE-2014-RubythonM #implementation #modelling #off the shelf #requirements #variability

The effect of variability modeling on requirements satisfaction for the configuration and implementation of off-the-shelf software packages (AR, NAMM), pp. 394–401.

SAC-2014-TangKK #resource management #user satisfaction

An optimal device selection for user satisfaction of content sharing (JT, PK, SK), pp. 1745–1746.

LICS-CSL-2014-KlinLOT #complexity #constraints #problem #turing machine

Turing machines with atoms, constraint satisfaction problems, and descriptive complexity (BK, SL, JO, ST), p. 10.

STOC-2013-HarrisS #constraints

Constraint satisfaction, packet routing, and the lovasz local lemma (DGH, AS), pp. 685–694.

DUXU-CXC-2013-MakanawalaGGL #gamification #performance

Applying Gamification in Customer Service Application to Improve Agents’ Efficiency and Satisfaction (PM, JG, EG, HL), pp. 548–557.

DUXU-NTE-2013-Shieh #design #segmentation #using

Designing a Product Satisfaction Model Using Customer Segmentation and Information Consolidation (MDS), pp. 568–577.

DUXU-PMT-2013-Evans #bibliography #online

Beyond Satisfaction Questionnaires: “Hacking” the Online Survey (ALE), pp. 222–231.

DUXU-WM-2013-KimJ13a #case study #difference #experience #user interface

A Study of the Satisfaction Level of User Experience in Digital Media Space Accordance with Differences in Flow Characteristic (YK, ECJ), pp. 515–524.

HIMI-LCCB-2013-KuritaKWS #analysis

A Method for Service Failure Effects Analysis Based on Customer Satisfaction (YK, KK, KW, YS), pp. 485–494.

ICEIS-v2-2013-BenhaddiBA #approach #evaluation #formal method #implementation #user satisfaction

Formalization of the User Centric SOA Approach — Implementation and End User Satisfaction Evaluation (MB, KB, EHA), pp. 481–488.

KDIR-KMIS-2013-SvobodaC #case study #education #experience

Customer Satisfaction and Loyalty in Higher Education — A Case Study over a Five-Year Academic Experience (PS, JC), pp. 431–436.

REFSQ-2013-ProynovaP #feedback #predict

Factors Influencing User Feedback on Predicted Satisfaction with Software Systems (RP, BP), pp. 96–111.

SAT-2013-MihalT #approach #constraints #logic #programmable

A Constraint Satisfaction Approach for Programmable Logic Detailed Placement (AM, ST), pp. 208–223.

MSR-2012-RotellaC #analysis #bibliography

Analysis of customer satisfaction survey data (PR, SC), pp. 88–97.

STOC-2012-BartoK #constraints #problem #robust #satisfiability

Robust satisfiability of constraint satisfaction problems (LB, MK), pp. 931–940.

FLOPS-2012-Codish #programming

Programming with Boolean Satisfaction (MC), p. 1.

KDD-2012-Sun #comprehension #evaluation

Understanding users’ satisfaction for search engine evaluation (GS), p. 1404.

SEKE-2012-MCRM #effectiveness #performance #usability

Measuring the Effect Of Usability Mechanisms On User Efficiency, Effectiveness and Satisfaction (MA, DMC, ADlR, AMM), pp. 599–604.

SIGIR-2012-Hassan #approach #modelling #web

A semi-supervised approach to modeling web search satisfaction (AH), pp. 275–284.

SAC-2012-HijikataKN #recommendation #user satisfaction

The relation between user intervention and user satisfaction for information recommendation (YH, YK, SN), pp. 2002–2007.

CSL-2012-BodirskyW #constraints #equivalence #problem

Equivalence Constraint Satisfaction Problems (MB, MW), pp. 122–136.

LICS-2012-ChenM #algebra #category theory #constraints #quantifier #theorem

An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction (HC, MM), pp. 215–224.

ITiCSE-2011-CarboneWC #student

A scheme for improving ICT units with critically low student satisfaction (AC, JW, JC), pp. 253–257.

ICALP-v1-2011-BulatovM #constraints

Constraint Satisfaction Parameterized by Solution Size (AAB, DM), pp. 424–436.

ICALP-v1-2011-Mengel #constraints #problem

Characterizing Arithmetic Circuit Classes by Constraint Satisfaction Problems — (Extended Abstract) (SM), pp. 700–711.

DUXU-v2-2011-GaoZ #user satisfaction

User Satisfaction of Ali Wangwang, an Instant Messenger Tool (JG, ZZ), pp. 414–420.

HCI-UA-2011-RhiuRJY #analysis

Analysis of Customer Satisfaction on the Stiffness of Outside Panels of Passenger Cars (IR, TR, BJ, MHY), pp. 257–265.

OCSC-2011-TanT #design #perspective

Impact of Blog Design Features on Blogging Satisfaction: An Impression Management Perspective (WKT, HHT), pp. 130–139.

CAiSE-2011-PerniciS #adaptation #fuzzy

A Fuzzy Service Adaptation Based on QoS Satisfaction (BP, SHS), pp. 48–61.

ICEIS-v2-2011-WangJ #analysis #empirical

An Empirical Analysis of Beijing Public Transport Users’ Satisfaction Level (HW, LJ), pp. 384–388.

ICEIS-v4-2011-FengLL #evaluation #set

Comprehensive Evaluation of the Railway Passenger’s Satisfaction based on Rough Set and Entropy (YqF, XwL, XmL), pp. 629–635.

CIKM-2011-HassanSH #estimation #metric #web

A task level metric for measuring web search satisfaction and its application on improving relevance estimation (AHA, YS, LwH), pp. 125–134.

SIGIR-2011-LiuADGMPS #predict #web

Predicting web searcher satisfaction with existing community-based answers (QL, EA, GD, EG, YM, DP, IS), pp. 415–424.

ESEC-FSE-2011-ClementsEIMM #architecture #requirements #testing

Exploiting software architecture to support requirements satisfaction testing (PCC, MJEC, PI, IM, EM), pp. 484–487.

HPDC-2011-ChenWZSLZ #in the cloud #trade-off

Tradeoffs Between Profit and Customer Satisfaction for Service Provisioning in the Cloud (JC, CW, BBZ, LS, YCL, AYZ), pp. 229–238.

CSL-2011-Egri #constraints #on the #problem

On Constraint Satisfaction Problems below P (LE), pp. 203–217.

CSL-2011-Wolter #constraints #data access #ontology

Ontology-Based Data Access and Constraint Satisfaction (FW), p. 4.

ICST-2011-NavarroPR #quality #towards #user interface #user satisfaction

Towards Software Quality and User Satisfaction through User Interfaces (PLMN, GMP, DSR), pp. 415–418.

LICS-2011-Barto #constraints #problem #revisited

The Dichotomy for Conservative Constraint Satisfaction Problems Revisited (LB), pp. 301–310.

SAT-2011-Sen #constraints #testing

Concolic Testing and Constraint Satisfaction (KS), pp. 3–4.

STOC-2010-Marx #constraints #query

Tractable hypergraph properties for constraint satisfaction and conjunctive queries (DM), pp. 735–744.

FLOPS-2010-TamuraTB #constraints #problem #satisfiability

Solving Constraint Satisfaction Problems with SAT Technology (NT, TT, MB), pp. 19–23.

IFM-2010-FranzleTE #hybrid #probability #smt

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

CSL-2010-Krokhin #constraints

Tree Dualities for Constraint Satisfaction (AAK), pp. 32–33.

ICST-2010-Weissleder #state machine #test coverage #uml

Simulated Satisfaction of Coverage Criteria on UML State Machines (SW), pp. 117–126.

LICS-2010-BodirskyHM #algebra #approach #constraints #on the

On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction (MB, MH, BM), pp. 90–99.

SAT-2010-BofillSV #constraints #problem #smt

A System for Solving Constraint Satisfaction Problems with SMT (MB, JS, MV), pp. 300–305.

SAT-2010-Naveh #constraints #difference

The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference (YN), pp. 1–7.

DHM-2009-PandithLD #evaluation #using

The Impact of Change in Software on Satisfaction: Evaluation Using Critical Incident Technique (CIT) (AP, ML, VGD), pp. 717–726.

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-KanungoGKW #algorithm #summary #user satisfaction #web

Web search result summarization: title selection algorithms and user satisfaction (TK, NG, KYK, LW), pp. 1581–1584.

CIKM-2009-ParkG #automation #metric #realtime #towards #using

Towards real-time measurement of customer satisfaction using automatically generated call transcripts (YP, SCG), pp. 1387–1396.

RecSys-2009-KnijnenburgW #adaptation #comprehension #elicitation #recommendation #user satisfaction

Understanding the effect of adaptive preference elicitation methods on user satisfaction of a recommender system (BPK, MCW), pp. 381–384.

MoDELS-2009-HorvathV #constraints #csp #modelling #problem

CSP(M): Constraint Satisfaction Problem over Models (ÁH, DV), pp. 107–121.

MoDELS-2009-HorvathV #constraints #csp #modelling #problem

CSP(M): Constraint Satisfaction Problem over Models (ÁH, DV), pp. 107–121.

RE-2009-HolbrookHD #assessment #automation #requirements #towards

Toward Automating Requirements Satisfaction Assessment (EAH, JHH, AD), pp. 149–158.

SAC-2009-MattheT #query #using

Bipolar query satisfaction using satisfaction and dissatisfaction degrees: bipolar satisfaction degrees (TM, GDT), pp. 1699–1703.

SAC-2009-TreDWMC #approach

Heterogeneous bipolar criteria satisfaction handling in geographical decision support systems: an LSP based approach (GDT, JJD, NVdW, TM, NC), pp. 1704–1708.

CSL-2009-AtseriasW #consistency #constraints #decidability #problem

Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems (AA, MW), pp. 102–116.

STOC-2008-BodirskyK #complexity #constraints #problem

The complexity of temporal constraint satisfaction problems (MB, JK), pp. 29–38.

ICALP-A-2008-Bulatov #complexity #constraints #problem

The Complexity of the Counting Constraint Satisfaction Problem (AAB), pp. 646–661.

ICALP-B-2008-BodirskyG #complexity #constraints

Non-dichotomies in Constraint Satisfaction Complexity (MB, MG), pp. 184–196.

ICALP-B-2008-Chen #constraints #quantifier

Quantified Constraint Satisfaction and the Polynomially Generated Powers Property (HC), pp. 197–208.

CHI-2008-FindlaterM #adaptation #performance #user interface #user satisfaction #visual notation

Impact of screen size on performance, awareness, and user satisfaction with adaptive graphical user interfaces (LF, JM), pp. 1247–1256.

CIKM-2008-AnnexsteinS #clustering #collaboration #user satisfaction

Collaborative partitioning with maximum user satisfaction (FSA, SS), pp. 1445–1446.

KDD-2008-GodboleR08a #analysis #automation #industrial

An integrated system for automatic customer satisfaction analysis in the services industry (SG, SR), pp. 1073–1076.

SIGIR-2008-LiuBA #community #predict

Predicting information seeker satisfaction in community question answering (YL, JB, EA), pp. 483–490.

CSL-2008-CreignouSS #constraints #problem

Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint (NC, HS, IS), pp. 109–123.

LICS-2008-CarvalhoDK #constraints #problem

Caterpillar Duality for Constraint Satisfaction Problems (CC, VD, AAK), pp. 307–316.

ICALP-2007-LaroseT #algebra #constraints #problem

Universal Algebra and Hardness Results for Constraint Satisfaction Problems (BL, PT), pp. 267–278.

HCI-AS-2007-AlTaboliA #consistency #design #interface #performance #physics #web

Effect of Physical Consistency of Web Interface Design on Users’ Performance and Satisfaction (AA, MRAZ), pp. 849–858.

HCI-IDU-2007-HeoPS #case study #usability

A Study on the Improving Product Usability Applying the Kano’s Model of Customer Satisfaction (JH, SP, CS), pp. 482–489.

HCI-MIE-2007-KoLKJL #case study #evaluation #personalisation #recommendation #user satisfaction

A Study on User Satisfaction Evaluation About the Recommendation Techniques of a Personalized EPG System on Digital TV (SMK, YJL, MHK, YGJ, SWL), pp. 909–917.

CAiSE-2007-WalleCD #distributed #process #requirements #sequence

The Impact of Task Structure and Negotiation Sequence on Distributed Requirements Negotiation Activity, Conflict, and Satisfaction (BVdW, CC, FPD), pp. 381–394.

CIKM-2007-Quiane-RuizLCV

Satisfaction balanced mediation (JAQR, PL, SC, PV), pp. 947–950.

SEKE-2007-GomezA #development #quality

Study of the Relationships between Personality, Satisfaction and Product Quality in Software Development Teams (MG, STA), p. 292–?.

SIGIR-2007-Al-MaskariSC #effectiveness #information retrieval #metric #user satisfaction

The relationship between IR effectiveness measures and user satisfaction (AAM, MS, PDC), pp. 773–774.

SIGIR-2007-HuffmanH #how #predict #question

How well does result relevance predict session satisfaction? (SBH, MH), pp. 567–574.

LOPSTR-2007-Codish #proving #termination

Proving Termination with (Boolean) Satisfaction (MC), pp. 1–7.

RE-2007-BhatG #maintenance #using

Enhancing Requirement Stakeholder Satisfaction during Far-shore Maintenance of Custom Developed Software using Shift-Pattern Model (JMB, MG), pp. 322–327.

RE-2007-DorrHKLA #user satisfaction

Built-in User Satisfaction — Feature Appraisal and Prioritization with AMUSE (JD, SH, DK, DL, PA), pp. 101–110.

RE-2007-MaidenLRJB #modelling #using

Using Satisfaction Arguments to Enhance i* Modelling of an Air Traffic Management System (NAMM, JL, DR, SJ, DB), pp. 49–52.

SAC-2007-BordeauxS #constraints #framework #on the #probability

On the stochastic constraint satisfaction framework (LB, HS), pp. 316–320.

SAC-2007-MouhoubS #constraints #problem

Solving conditional and composite constraint satisfaction problems (MM, AS), pp. 336–337.

LICS-2007-EgriLT #constraints #datalog #problem #symmetry

Symmetric Datalog and Constraint Satisfaction Problems in Logspace (LE, BL, PT), pp. 193–202.

DATE-2006-DuttA #incremental #locality #performance #using

Efficient timing-driven incremental routing for VLSI circuits using DFS and localized slack-satisfaction computations (SD, HA), pp. 768–773.

STOC-2006-AchlioptasR #constraints #geometry #on the #problem #random

On the solution-space geometry of random constraint satisfaction problems (DA, FRT), pp. 130–139.

KR-2006-RagniW #constraints

Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning (MR, SW), pp. 472–480.

SAC-2006-DantsinWK #algorithm #constraints #problem #quantum #towards

Quantum versions of k-CSP algorithms: a first step towards quantum algorithms for interval-related constraint satisfaction problems (ED, AW, VK), pp. 1640–1644.

SAC-2006-LokkuN #approach #constraints

Morphogenetic constraint-satisfaction based approach for organizational engineering (DSL, KVN), pp. 1563–1564.

SAC-2006-WintzSM #constraints #framework #geometry #problem

A framework for geometric constraint satisfaction problem (JW, PS, PM), pp. 974–978.

CSL-2006-BodirskyC #constraints #quantifier

Collapsibility in Infinite-Domain Quantified Constraint Satisfaction (MB, HC), pp. 197–211.

LICS-2006-LaroseLT #constraints #first-order #problem

A Characterisation of First-Order Constraint Satisfaction Problems (BL, CL, CT), pp. 201–210.

SAT-2006-ChenIJSS #constraints #problem #theorem

A Dichotomy Theorem for Typed Constraint Satisfaction Problems (SC, TI, KJ, DS, MS), pp. 226–239.

STOC-2005-VegaKKV #approximate #composition #constraints #problem

Tensor decomposition and approximation schemes for constraint satisfaction problems (WFdlV, MK, RK, SV), pp. 747–754.

SAC-2005-DantchevV #infinity #on the

On the computational limits of infinite satisfaction (SSD, FDV), pp. 393–397.

SAC-2005-OConnellOF #constraints #problem

Timid acquisition of constraint satisfaction problems (SO, BO, ECF), pp. 404–408.

CSL-2005-ChenD #algorithm #consistency #constraints #game studies #quantifier

From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction (HC, VD), pp. 232–247.

ICALP-2004-DvorakKP #consistency #constraints #problem

Locally Consistent Constraint Satisfaction Problems: (Extended Abstract) (ZD, DK, OP), pp. 469–480.

ICALP-2004-Williams #algorithm #constraints

A New Algorithm for Optimal Constraint Satisfaction and Its Implications (RW), pp. 1227–1237.

CHI-2004-VeraHML #approach #constraints #interactive #predict

A constraint satisfaction approach to predicting skilled interactive cognition (AHV, AH, MM, RLL), pp. 121–128.

ICEIS-v1-2004-PaparoZL #automation #generative #process

Proposal for Automating the Generation Process of Questionnaires to Measure the Satisfaction Level of Software Users (MP, SZ, MIL), pp. 113–118.

ICEIS-v5-2004-ChenLK #assessment #perspective

Assessment of E-Learning Satisfaction from Critical Incidents Perspective (NSC, KML, K), pp. 27–34.

SAC-2004-Hosobe #constraints

Hierarchical nonlinear constraint satisfaction (HH), pp. 16–20.

FSE-2004-LetierL #design #reasoning #requirements

Reasoning about partial goal satisfaction for requirements and design engineering (EL, AvL), pp. 53–62.

LICS-2004-Bulatov #constraints #graph #problem #relational

A Graph of a Relational Structure and Constraint Satisfaction Problems (AAB), pp. 448–457.

SAT-2004-Connamacher #constraints #problem #random

A Random Constraint Satisfaction Problem That Seems Hard for DPLL (HSC), pp. 3–11.

CSL-2003-BodirskyN #constraints

Constraint Satisfaction with Countable Homogeneous Templates (MB, JN), pp. 44–57.

LICS-2003-Bulatov #constraints #problem

Tractable conservative Constraint Satisfaction Problems (AAB), p. 321–?.

DAC-2002-ZhongD #algorithm #constraints #multi #optimisation

Algorithms for simultaneous satisfaction of multiple constraints and objective optimization in a placement flow with application to congestion control (KZ, SD), pp. 854–859.

DATE-2002-Essi #all about #implementation

IP is All About Implementation and Customer Satisfaction (VPEJ), p. 132.

STOC-2002-Molloy02a #constraints #modelling #problem #random

Models and thresholds for random constraint satisfaction problems (MM), pp. 209–217.

ICALP-2002-Dalmau #constraints #nondeterminism #problem

Constraint Satisfaction Problems in Non-deterministic Logarithmic Space (VD), pp. 414–425.

KR-2002-Broxvall #constraints #infinity

Constraint Satisfaction on Infinite Domains: Composing Domains and Decomposing Constraints (MB), pp. 509–520.

CSL-2002-BohlerHRV #constraints #equivalence #morphism

Equivalence and Isomorphism for Boolean Constraint Satisfaction (EB, EH, SR, HV), pp. 412–426.

SAT-2002-AchlioptasM

A bit of abstinence (provably) promotes satisfaction (DA, CM), p. 25.

DATE-2001-PintoMEJ #constraints #scheduling

Constraint satisfaction for storage files with Fifos or stacks during scheduling (CAAP, BM, KvE, JAGJ), p. 824.

SAT-2001-HuntMS #complexity #constraints #probability #problem #quantifier

Complexity and Approximability of Quantified and Stochastic Constraint Satisfaction Problems (HBHI, MVM, RES), pp. 217–230.

PODS-2000-Vardi #constraints #database #tutorial

Constraint Satisfaction and Database Theory: a Tutorial (MYV), pp. 76–85.

ICALP-2000-BulatovKJ #algebra #constraints #finite #problem

Constraint Satisfaction Problems and Finite Algebras (AAB, AAK, PJ), pp. 272–282.

CHI-2000-FrokjaerHH #correlation #effectiveness #performance #question #usability

Measuring usability: are effectiveness, efficiency, and satisfaction really correlated? (EF, MH, KH), pp. 345–352.

SAC-2000-MarchioriS #algorithm #constraints #problem #random #search-based

A Genetic Local Search Algorithm for Random Binary Constraint Satisfaction Problems (EM, AGS), pp. 458–462.

LICS-2000-CalvaneseGLV #constraints #query

View-Based Query Processing and Constraint Satisfaction (DC, GDG, ML, MYV), pp. 361–371.

HCI-EI-1999-Hollemans #metric #user satisfaction

User Satisfaction Measurement Methodolgies: Extending the User Satisfaction Questionnaire (GH), pp. 1008–1012.

HCI-EI-1999-Lewis #design #trade-off #usability

Tradeoffs in the Design of the IBM Computer Usability Satisfaction Questionnaires (JRL), pp. 1023–1027.

CAiSE-1999-YiJ #process #reasoning #representation

Beyond Goal Representation: Checking Goal-Satisfaction by Temporal Reasoning with Business Processes (CHY, PJ), pp. 462–466.

PODS-1998-KolaitisV #constraints

Conjunctive-Query Containment and Constraint Satisfaction (PGK, MYV), pp. 205–213.

TAGT-1998-Rudolf #constraints #graph #pattern matching #performance

Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching (MR), pp. 238–251.

SIGIR-1998-SaitoO #user satisfaction #web

A Cognitive Model for Searching for Ill-Defined Targets on the Web: The Relationship Between Search Strategies and User Satisfaction (MS, KO), pp. 155–163.

STOC-1997-KhannaSW #classification #constraints #problem

A Complete Classification of the Approximability of Maximization Problems Derived from Boolean Constraint Satisfaction (SK, MS, DPW), pp. 11–20.

WPC-1996-QuiliciW #algorithm #constraints #framework #towards

Toward a Constraint-Satisfaction Framework for Evaluating Program-Understanding Algorithms (AQ, SW), p. 55–?.

KR-1996-JonssonG #constraints #reasoning

Procedural Reasoning in Constraint Satisfaction (AKJ, MLG), pp. 160–171.

KBSE-1995-BhansaliH #constraints #geometry #knowledge-based #synthesis

Knowledge-Based Program Synthesis for a Geometric Constraint Satisfaction System (SB, TJH), pp. 11–18.

ICSM-1995-BuckleyC

Discovering relationships between service and customer satisfaction (MB, RC), p. 192–?.

ICLP-1995-ShiraiH #constraints #problem

Two Approaches for Finite-Domain Constraint Satisfaction Problems — CP and CMGTP (YS, RH), pp. 249–263.

ICLP-1994-BarklundDCL #constraints

Reflection through Constraint Satisfaction (JB, PD, SC, GAL), p. 742.

STOC-1993-FederV #constraints #monad

Monotone monadic SNP and constraint satisfaction (TF, MYV), pp. 612–622.

ICALP-1993-Kirousis #constraints #parallel #performance

Fast Parallel Constraint Satisfaction (LMK), pp. 418–429.

HCI-ACS-1993-BrazierR #modelling #user satisfaction

Modelling Collective User Satisfaction (FMTB, ZR), pp. 672–677.

HCI-ACS-1993-CockeWA #health #modelling #physics

Models of Job Enlargement Tested and Evaluated from the Point of View of Physical Health and Job Satisfaction (BC, GW, EÅ), pp. 845–850.

HCI-ACS-1993-Khaleque

Job Stress, Fatigue, Jub Involvement and Satisfaction of Manual and Computerized Bank Employees (AK), pp. 943–948.

ICML-1993-Ellman #abstraction #approximate #clustering #constraints #synthesis

Synthesis of Abstraction Hierarchies for Constraint Satisfaction by Clustering Approximately Equivalent Objects (TE), pp. 104–111.

ICLP-1993-CarlssonG #automation #constraints #using

Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques (MC, MG), pp. 647–665.

RTA-1993-Plaisted #constraints #polynomial #termination #testing

Polynomial Time Termination and Constraint Satisfaction Tests (DAP), pp. 405–420.

SEKE-1992-SatoH #constraints

A Constraint Satisfaction System on the Entity and Relationship Model (MS, MH), pp. 503–510.

TOOLS-EUROPE-1992-CervoniR #constraints #design #named #object-oriented #problem #reuse

C/O: A Tool Reusing OO Design for Temporal Constraints Satisfaction Problems (LC, FR), pp. 79–85.

KR-1991-Freuder #constraints #problem

Completable Representations of Constraint Satisfaction Problems (ECF), pp. 186–195.

PLILP-1991-AlpuenteF #algorithm #constraints #incremental

Narrowing as an Incremental Constraint Satisfaction Algorithm (MA, MF), pp. 111–122.

CAV-1991-AndersenW #composition

Compositional Checking of Satisfaction (HRA, GW), pp. 24–36.

CLP-1990-Hentenryck90 #constraints #incremental #logic programming

Incremental Constraint Satisfaction in Logic Programming (PVH), pp. 189–202.

KR-1989-Kasif #constraints #parallel #problem

Parallel Solutions to Constraint Satisfaction Problems (SK), pp. 180–188.

VLDB-1984-Grahne #database #dependence

Dependency Satisfaction in Databases with Incomplete Information (GG), pp. 37–45.

PODS-1982-GrahamM #dependence

Notions of Dependency Satisfaction (MHG, AOM), pp. 177–188.

SHARE-1965-Jacobs #constraints #geometry

Geometric constraint satisfaction for a computer/display system (MJJ).