Search results for "satisfaction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Andrei A. Bulatov, Víctor Dalmau	Towards a Dichotomy Theorem for the Counting Constraint Satisfaction Problem.	FOCS	2003	DBLP DOI BibTeX RDF
13	Michael Molloy 0001, Mohammad R. Salavatipour	The Resolution Complexity of Random Constraint Satisfaction Problems.	FOCS	2003	DBLP DOI BibTeX RDF
13	Kenneth N. Brown, Peter J. F. Lucas, David W. Fowler	Decision Network Semantics of Branching Constraint Satisfaction Problems.	ECSQARU	2003	DBLP DOI BibTeX RDF
13	Thomas T. Tran, Robin Cohen	A Strategy for Improved Satisfaction of Selling Software Agents in E-Commerce.	AI	2003	DBLP DOI BibTeX RDF
13	Hisashi Handa	Hybridization of Estimation of Distribution Algorithms with a Repair Method for Solving Constraint Satisfaction Problems.	GECCO	2003	DBLP DOI BibTeX RDF
13	Hee-Sok Park, Seung J. Noh	A Customer Satisfaction Evaluation Model for Mobile Internet Services.	Mobile HCI	2003	DBLP DOI BibTeX RDF
13	Alan M. Frieze, Michael Molloy 0001	The Satisfiability Threshold for Randomly Generated Binary Constraint Satisfaction Problems.	RANDOM-APPROX	2003	DBLP DOI BibTeX RDF
13	Alexander V. Smirnov 0001, Mikhail Pashkin, Nikolai Chilov 0001, Tatiana Levashova, Andrew Krizhanovsky	Ontology-Driven Knowledge Logistics Approach as Constraint Satisfaction Problem.	OTM	2003	DBLP DOI BibTeX RDF
13	Christophe Lecoutre, Frédéric Boussemart, Fred Hemery	Implicit Random Constraint Satisfaction Problems.	ICTAI	2003	DBLP DOI BibTeX RDF
13	Bryan Chi-ho Lam, Ho-fung Leung	Progressive Stochastic Search for Solving Constraint Satisfaction Problems.	ICTAI	2003	DBLP DOI BibTeX RDF
13	Cyril Terrioux, Philippe Jégou	Bounded Backtracking for the Valued Constraint Satisfaction Problems.	CP	2003	DBLP DOI BibTeX RDF
13	Muhammed Basharu	FeReRA: A Multi-agent Approach to Constraint Satisfaction.	CP	2003	DBLP DOI BibTeX RDF
13	David G. Mitchell	Resolution and Constraint Satisfaction.	CP	2003	DBLP DOI BibTeX RDF
13	Ahmet Ünveren, Adnan Acan	An Evolutionary Constraint Satisfaction Solution for over the Cell Channel Routing.	GCC (2)	2003	DBLP DOI BibTeX RDF
13	Kuo-Ming Chao, Muhammad Younas 0001, Rachid Anane, Chen-Fang Tsai, Von-Wun Soo	Degree of Satisfaction in Agent Negotiation.	CEC	2003	DBLP DOI BibTeX RDF
13	Lingzhong Zhou, John Thornton 0001, Abdul Sattar 0001	Dynamic Agent Ordering in Distributed Constraint Satisfaction Problems.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF
13	Alexandru Stancu, Vicenç Puig, Joseba Quevedo	Gas Turbine Model-Based Robust Fault Detection Using a Forward - Backward Test.	COCOS	2003	DBLP DOI BibTeX RDF
13	Jano I. van Hemert, Thomas Bäck	Measuring the Searched Space to Guide Efficiency: The Principle and Evidence on Constraint Satisfaction.	PPSN	2002	DBLP DOI BibTeX RDF
13	Miguel A. Salido, Federico Barber	Disjunction of Non-binary and Numeric Constraint Satisfaction Problems.	CCIA	2002	DBLP DOI BibTeX RDF	non-binary constraints, Disjunctive constraints, CSPs
13	Arquimedes Lopes da Silva, Edgard Lamounier Jr.	An Incremental Algorithm to Support Geometric Constraint Satisfaction in Engineering Design.	IV	2002	DBLP DOI BibTeX RDF	incremental graph-based algorithms, CAD, geometric constraints, engineering design
13	Harvey G. Enns, Thomas W. Ferratt, Jayesh Prasad	Antecedents and consequences of traditional and virtual IT professionals' satisfaction with employment arrangements.	SIGCPR	2002	DBLP DOI BibTeX RDF	IT human resource management, managing information technology (IT) professionals
13	James Lackey, Lori Christy	Evaluating client satisfaction: a quantitative approach.	SIGUCCS	2002	DBLP DOI BibTeX RDF	ISP (Internet Service Provider), anecdotal evidence, quantitative data
13	Patrick Prosser, Evgeny Selensky	A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
13	Alan M. Frisch, Ian Miguel, Toby Walsh	CGRASS: A System for Transforming Constraint Satisfaction Problems.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
13	Michael Molloy 0001	Models and thresholds for random constraint satisfaction problems.	STOC	2002	DBLP DOI BibTeX RDF	sharp thresholds
13	Evgeny Dantsin, Alexander Wolpert	Solving Constraint Satisfaction Problems with DNA Computing.	COCOON	2002	DBLP DOI BibTeX RDF
13	Marco Aiello 0001, Mike P. Papazoglou, Jian Yang 0001, Mark James Carman, Marco Pistore, Luciano Serafini, Paolo Traverso	A Request Language for Web-Services Based on Planning and Constraint Satisfaction.	TES	2002	DBLP DOI BibTeX RDF
13	T. K. Satish Kumar	Reformulating Combinatorial Optimization as Constraint Satisfaction.	SARA	2002	DBLP DOI BibTeX RDF
13	Aditya Ghose, Peter Harvey	Metric SCSPs: Partial Constraint Satisfaction via Semiring CSPs Augmented with Metrics.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF
13	Marc Torrens, Boi Faltings	Constraint Satisfaction for Modelling Scalable Electronic Catalogs.	AgentLink	2001	DBLP DOI BibTeX RDF
13	David Eppstein	Improved algorithms for 3-coloring, 3-edge-coloring, and constraint satisfaction.	SODA	2001	DBLP BibTeX RDF
13	Hyuckchul Jung, Milind Tambe, Shriniwas Kulkarni	Argumentation as distributed constraint satisfaction: applications and results.	Agents	2001	DBLP DOI BibTeX RDF
13	Jaewook Lee 0001, Hsiao-Dong Chiang	Quotient gradient methods for solving constraint satisfaction problems.	ISCAS (3)	2001	DBLP DOI BibTeX RDF
13	Georg Ringwelski	Distributed Constraint Satisfaction with Cooperating Asynchronous Solvers.	CP	2001	DBLP DOI BibTeX RDF
13	Brahim Hnich	High-Level Modelling and Reformulation of Constraint Satisfaction Problems.	CP	2001	DBLP DOI BibTeX RDF
13	Amy M. Beckwith, Berthe Y. Choueiry	On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems.	CP	2001	DBLP DOI BibTeX RDF
13	Eugene C. Freuder, Chavalit Likitvivatanavong, Richard J. Wallace	Deriving Explanations and Implications for Constraint Satisfaction Problems.	CP	2001	DBLP DOI BibTeX RDF
13	Pragnesh Jay Modi, Hyuckchul Jung, Milind Tambe, Wei-Min Shen, Shriniwas Kulkarni	Dynamic Distributed Resource Allocation: A Distributed Constraint Satisfaction Approach.	ATAL	2001	DBLP DOI BibTeX RDF
13	Amy M. Beckwith, Berthe Y. Choueiry, Hui Zou	How the Level of Interchangeability Embedded in a Finite Constraint Satisfaction Problem Affects the Performance of Search.	Australian Joint Conference on Artificial Intelligence	2001	DBLP DOI BibTeX RDF
13	Megumi Ishii, Yutaka Sasaki, Shigeo Kaneda	A Constraint-Satisfaction Approach to Clerical Work.	IEEE Intell. Syst.	2000	DBLP DOI BibTeX RDF
13	Raj S. Mitra, Anupam Basu	Hardware-Software Partitioning: A Case for Constraint Satisfaction.	IEEE Intell. Syst.	2000	DBLP DOI BibTeX RDF
13	Nikolay Pelov, Emmanuel De Mot, Marc Denecker	Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison.	LPAR	2000	DBLP DOI BibTeX RDF
13	Daqing He, Graeme Ritchie, John Lee 0004	Resolving References to Graphical Objects in Multimodal Queries by Constraint Satisfaction.	ICMI	2000	DBLP DOI BibTeX RDF
13	Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar 0001	A Constraint Directed Model for Partial Constraint Satisfaction Problems.	AI	2000	DBLP DOI BibTeX RDF
13	Amit Rudra, Emilie Yeo	Issues in User Perceptions of Data Quality and Satisfaction in using a Data Warehouse - An Australian Experience.	HICSS	2000	DBLP DOI BibTeX RDF
13	Farhad Arbab, Éric Monfroy	Distributed Splitting of Constraint Satisfaction Problems.	COORDINATION	2000	DBLP DOI BibTeX RDF
13	Susan B. Garavaglia	Health Care Customer Satisfaction Survey Analysis Using Self-Organizing Maps and "Exponentially Smeared" Data Vectors.	IJCNN (4)	2000	DBLP DOI BibTeX RDF
13	Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano, Massimo Piccardi	3D Object Recognition by VC-Graphs and Interactive Constraint Satisfaction.	ICIAP	1999	DBLP DOI BibTeX RDF
13	A. E. Eiben, Jano I. van Hemert, Elena Marchiori, Adri G. Steenbeek	Solving Binary Constraint Satisfaction Problems Using Evolutionary Algorithms with an Adaptive Fitness Function.	PPSN	1998	DBLP DOI BibTeX RDF
13	Tsunemichi Shiozawa, Kiyoshi Oguri, Kouichi Nagami, Hideyuki Ito, Ryusuke Konishi, Norbert Imlig	A Hardware Implementation of Constraint Satisfaction Problem Based on New Reconfigurable LSI Architecture.	FPL	1998	DBLP DOI BibTeX RDF
13	David Abramson 0001, Kate A. Smith, Paul Logothetis, David J. Duke	FPGA Based Implementation of a Hopfield Neural Network for Solving Constraint Satisfaction Problems.	EUROMICRO	1998	DBLP DOI BibTeX RDF
13	Maarten Gelderman	Translation and Validation of the Doll and Torkzadeh End User Computing Satisfaction Instrument.	HICSS (6)	1998	DBLP DOI BibTeX RDF
13	Susan Reiblein, Andy Symons	SPI: "I can't get no satisfaction" - directing process improvement to meet business needs.	Softw. Qual. J.	1997	DBLP DOI BibTeX RDF	business process improvement (BPI), IT strategy determination, software quality, software process improvement (SPI), continuous process improvement
13	Jon B. Woodroof	StatisticaUy Comparing User Satisfaction Instruments: an Application of the Bootstrap Using a Spreadsheet.	HICSS (3)	1997	DBLP DOI BibTeX RDF
13	Rosalie J. Ocker, Jerry Fjermestad, Starr Roxanne Hiltz, Murray Turoff	An Exploratory Comparison of Four Modes of Communication for Determining Requirements: Results on Creativity, Quality and Satisfaction.	HICSS (2)	1997	DBLP DOI BibTeX RDF
13	Sanjeev Khanna, Madhu Sudan 0001, Luca Trevisan	Constraint Satisfaction: The Approximability of Minimization Problems.	CCC	1997	DBLP DOI BibTeX RDF	complete problems, computational classes, computational complexity, Approximation algorithms, combinatorial optimization
13	Michel Bidoit, Andrzej Tarlecki	Behavioural Satisfaction and Equivalence in Concrete Model Categories.	CAAP	1996	DBLP DOI BibTeX RDF
13	Daniele Frigioni, Alberto Marchetti-Spaccamela, Umberto Nanni	Dynamization of Backtrack-Free Search for the Constraint Satisfaction Problem.	CIAC	1994	DBLP DOI BibTeX RDF
13	Oscar E. Ruiz S., Placid M. Ferreira	Algebraic Geometry and Group Theory in Geometric Constraint Satisfaction.	ISSAC	1994	DBLP DOI BibTeX RDF
13	Jean-Francois Puget	On the Satisfiability of Symmetrical Constrained Satisfaction Problems.	ISMIS	1993	DBLP DOI BibTeX RDF
13	Lefteris M. Kirousis	Fast Parallel Constraint Satisfaction.	ICALP	1993	DBLP DOI BibTeX RDF
13	Andrew J. Worth, David N. Kennedy	Segmentation of Magnetic Resonance Brain Images Using Analog Constraint Satisfaction Neural Networrks.	IPMI	1993	DBLP DOI BibTeX RDF
13	James M. Conrad, Dennis R. Bahler, James Bowen	Static Parallel Arc Consistency in Constraint Satisfaction.	ISMIS	1991	DBLP DOI BibTeX RDF
13	Ying Zhang, Alan K. Mackworth	Parallel and distributed algorithms for finite constraint satisfaction problems.	SPDP	1991	DBLP DOI BibTeX RDF
13	Bernard A. Nadel	Representation Selection for Constraint Satisfaction: A Case Study Using n-Queens.	IEEE Expert	1990	DBLP DOI BibTeX RDF
13	Franco Torquati, Massimo Paltrinieri, Alberto Momigliano	A Constraint Satisfaction Approach to Operative Management of Aircraft Routing.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF
13	Jan A. Mulder, Alan K. Mackworth, William S. Havens	Knowledge Structuring and Constraint Satisfaction: The Mapsee Approach.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	Mapsee approach, map interpretation programs, schema-based representation, hierarchical arc-consistency algorithm, discrimination graphs, computer vision, computer vision, knowledge representation, graph theory, computerised pattern recognition, computerized pattern recognition, visual knowledge
13	Wesley W. Chu, Patrick H. Ngai	A Dynamic Constraint-Directed Ordered Search Algorithm for Solving Constraint Satisfaction Problems.	IEA/AIE (Vol. 1)	1988	DBLP DOI BibTeX RDF
13	François Bry, Hendrik Decker, Rainer Manthey	A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases.	EDBT	1988	DBLP DOI BibTeX RDF
11	Nabil Fakhfakh, Hervé Verjus, Frédéric Pourraz	Multi-criteria Decision Making Method for Quality of Service Aggregation.	EDOC	2011	DBLP DOI BibTeX RDF	QoS aggregation, satisfaction degree measurement, SOA, Choquet Integral, MCDM
11	Stephen S. Yau, Yin Yin	QoS-Based Service Ranking and Selection for Service-Based Systems.	IEEE SCC	2011	DBLP DOI BibTeX RDF	QoS-based, satisfaction score, prospect theory, selection, QoS requirements, service-based systems, Service ranking
11	Azlan B. Ismail, Jun Yan 0005, Jun Shen 0001	Analyzing Fault-Impact Region of Composite Service for Supporting Fault Handling Process.	IEEE SCC	2011	DBLP DOI BibTeX RDF	Temporal Impact, Temporal Satisfaction, Impact Analysis, Temporal Consistency, Temporal Properties
11	Andreas Beer, Johannes Gärtner, Nysret Musliu, Werner Schafhauser, Wolfgang Slany	An AI-Based Break-Scheduling System for Supervisory Personnel.	IEEE Intell. Syst.	2010	DBLP DOI BibTeX RDF	break-scheduling system, supervisory personnel, metaheuristic optimization, minimum-conflicts heuristic, Operating Hours Assistant 3.6, Ximes, artificial intelligence, constraint satisfaction, human-centered computing
11	Xianzhi Wang 0001, Zhongjie Wang, Xiaofei Xu, Alice Liu, Dian-Hui Chu	A Service Composition Approach for the Fulfillment of Temporally Sequential Requirements.	SERVICES	2010	DBLP DOI BibTeX RDF	temporally sequential requirements, satisfaction equilibrium, time segmentation, service composition
11	Shao-chong Li, Haopeng Chen, Xi Chen	A Mechanism for Web Service Selection and Recommendation Based on Multi-QoS Constraints.	SERVICES	2010	DBLP DOI BibTeX RDF	multi-QoS, web service, consumer satisfaction
11	Libor Barto, Marcin Kozik	New Conditions for Taylor Varieties and CSP.	LICS	2010	DBLP DOI BibTeX RDF	Taylor conditions, Constraint Satisfaction Problem
11	Yi Wei 0001, Serge Gebhardt, Bertrand Meyer 0001, Manuel Oriol	Satisfying Test Preconditions through Guided Object Selection.	ICST	2010	DBLP DOI BibTeX RDF	precondition satisfaction, linear constraint solving, random testing
11	Ehsan Safar Khorasani, Seyed Mohsen Naghibizadeh Meybodi	A Framework to Improve E-Tourism Experience by Using Intelligent Portal.	ITNG	2010	DBLP DOI BibTeX RDF	Intelligent portal, tourist satisfaction, Personalization, Recommendation, E-tourism
11	Carol M. Barnum, Laura A. Palmer	More than a feeling: understanding the desirability factor in user experience.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	usability, user experience, emotion, usability testing, methods, user research, satisfaction, usability research, desirability
11	Maxim Graubner, Parag S. Mogre, Ralf Steinmetz, Thorsten Lorenzen	A new QoE model and evaluation method for broadcast audio contribution over IP.	NOSSDAV	2010	DBLP DOI BibTeX RDF	acip, aoip, audio communication, mos, peaq, pemo-q, pqos, qoe, wb-pesq, user satisfaction, quality of experience, qos, e-model
11	Ahmed Hassan Awadallah, Rosie Jones, Kristina Lisa Klinkner	Beyond DCG: user behavior as a predictor of a successful search.	WSDM	2010	DBLP DOI BibTeX RDF	search engine evaluation, user satisfaction, query log analysis, user behavior models, search sessions
11	R. Baker Kearfott	Interval Analysis: Intermediate Terms.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Expression parsing, Constraint satisfaction techniques, Interval dependency, Verification, Global optimization, Interval computations
11	Frédéric Benhamou	Interval Constraints.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Continuous constraint satisfaction problems, Constraint programming, Propagation, Local consistency
11	Lucas Bordeaux, Marco Cadoli, Toni Mancini	Generalizing consistency and other constraint properties to quantified constraints.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	quantified constraints, Constraint satisfaction, quantified Boolean formulae
11	Brian Y. Lim, Anind K. Dey	Assessing demand for intelligibility in context-aware applications.	UbiComp	2009	DBLP DOI BibTeX RDF	context-aware, explanations, intelligibility, satisfaction
11	Yeon Ji Kim, Sun Ju Jeon, Min Jeong Kim	User Needs of Mobile Phone Wireless Search: Focusing on Search Result Pages.	HCI (10)	2009	DBLP DOI BibTeX RDF	Wireless search, usability, mobile phone, user satisfaction, design guidelines, wireless internet
11	Alejandro Arbelaez, Youssef Hamadi	Exploiting weak dependencies in tree-based search.	SAC	2009	DBLP DOI BibTeX RDF	constraint programming, functional dependencies, constraint satisfaction problems, tree-search
11	Yu-Feng Lan, Shin-Ming Huang	Designing an Efficient Collaborative Learning Model to Construct a Consensus Based on Binary Tree Structure.	NCM	2009	DBLP DOI BibTeX RDF	Student satisfaction, Collaborative learning, CSCL, Collaborative process, Constructivist learning
11	Prasad Raghavendra, David Steurer	How to Round Any CSP.	FOCS	2009	DBLP DOI BibTeX RDF	rounding scheme, approximation algorithm, sensitivity analysis, semidefinite programming, constraint satisfaction problems, dimension reduction, integrality gap
11	Dana N. Xu, Simon L. Peyton Jones, Koen Claessen	Static contract checking for Haskell.	POPL	2009	DBLP DOI BibTeX RDF	contract satisfaction, static contract checking
11	Georgios N. Yannakakis	Learning from preferences and selected multimodal features of players.	ICMI	2009	DBLP DOI BibTeX RDF	evolving artificial neural networks, player satisfaction modeling, preference learning, augmented reality games
11	Md. Shafiul Alam, Scott D. Goodwin	Control of Constraint Weights for a 2D Autonomous Camera.	Canadian AI	2009	DBLP DOI BibTeX RDF	graphical environment, animation, virtual environment, computer game, constraint satisfaction, video game, camera control, virtual camera
11	Takuto Yanagida, Hidetoshi Nonaka, Masahito Kurihara	Personalizing graphical user interfaces on flexible widget layout.	EICS	2009	DBLP DOI BibTeX RDF	flexible widget layouts, fuzzy constraint satisfaction problems, personalization of graphical user interfaces, optimization, adaptive user interfaces
11	Yukio Hori, Takashi Nakayama, Yoshiro Imai	Design and Implementation of a Course Scheduling System Using Activation Spreading.	SNPD	2009	DBLP DOI BibTeX RDF	Activation Spreading, Recommendation, Constraint Satisfaction Problem, Scheduling System
11	Chen-Chi Wu, Kuan-Ta Chen, Chun-Ying Huang, Chin-Laung Lei	An empirical evaluation of VoIP playout buffer dimensioning in Skype, Google talk, and MSN Messenger.	NOSSDAV	2009	DBLP DOI BibTeX RDF	mos, VoIP, user satisfaction, quality of experience, e-model, pesq
11	Gábor Kun, Mario Szegedy	A new line of attack on the dichotomy conjecture.	STOC	2009	DBLP DOI BibTeX RDF	term operations, computational complexity, constraint satisfaction problems, fourier analysis, NP, dichotomy
11	Marek Karpinski, Warren Schudy	Linear time approximation schemes for the Gale-Berlekamp game and related minimization problems.	STOC	2009	DBLP DOI BibTeX RDF	Gale-Berlekamp game, correlation and hierarchical clustering, dense instances, linear time approximation schemes, minimum constraint satisfaction, nearest codeword problem, approximation algorithms
11	Sudhir Sawarkar, Samidha Shelar	Database Instances Generation Tool for White-Box Testing.	ICSAP	2009	DBLP DOI BibTeX RDF	SQL, Constraint Satisfaction Problem, Database Application
11	Jingdong Chen, Qisong Zhu	The theory and empirical research of differentiation benefit positioning based on product value.	ICIS	2009	DBLP DOI BibTeX RDF	product value, satisfaction, differentiation, benefit
11	Sathish Gopalakrishnan, Marco Caccamo, Lui Sha	Sharp Thresholds for Scheduling Recurring Tasks with Distance Constraints.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Scheduling, Real time, Constraint satisfaction, Heuristic methods, Real-time systems and embedded systems