|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5243 occurrences of 2614 keywords
|
|
|
Results
Found 10726 publication records. Showing 10726 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Carla Limongelli, Filippo Sciarrone, Marco Temperini, Giulia Vaste |
Lecomps5: A Framework for the Automatic Building of Personalized Learning Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSKS (1) ![In: Emerging Technologies and Information Systems for the Knowledge Society, First World Summit on the Knowledge Society, WSKS 2008, Athens, Greece, September 24-26, 2008. Proceedings, pp. 296-303, 2008, Springer, 978-3-540-87780-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Zhengdong Zhu, Xuehan Dong, Yahong Hu, Weiguo Wu, Zengzhi Li |
A Minimum Coverage Dynamic Adaptive Method for Concurrent Web Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSCC ![In: Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, APSCC 2008, Yilan, Taiwan, 9-12 December 2008, pp. 1083-1088, 2008, IEEE Computer Society, 978-0-7695-3473-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Yuki Ogawa, Hirohiko Suwa, Hitoshi Yamamoto, Isamu Okada, Toshizumi Ohta |
Development of Recommender Systems Using User Preference Tendencies: An Algorithm for Diversifying Recommendation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
II3E ![In: Towards Sustainable Society on Ubiquitous Networks, The 8th IFIP Conference on e-Business, e-Services, and e-Society (I3E 2008), September 24-26, 2008, Tokyo, Japan, pp. 61-73, 2008, Springer, 978-0-387-85690-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Okan Yilmaz, Ing-Ray Chen |
On QoS Guarantees with Reward Optimization for Servicing Multiple Priority Classes in Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 17th International Conference on Computer Communications and Networks, IEEE ICCCN 2008, St. Thomas, U.S. Virgin Islands, August 3-7, 2008, pp. 191-196, 2008, IEEE, 978-1-4244-2390-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Shih-Wei Chou, Mong-Young He, Pi-Yi Chen |
The Factors that Affect the Implementation Success of IS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island, HI, USA, pp. 421, 2008, IEEE Computer Society, 0-7695-3075-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
goal conflict, software development success, project management, risk management, coordination strategy |
14 | P. K. Kannan 0001, João F. Proença |
Design of Service Systems under Variability: Research Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island, HI, USA, pp. 116, 2008, IEEE Computer Society, 0-7695-3075-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Pierre Hadaya, Jean Éthier |
Online Purchasing of Simple Retail Goods: The Impact of e-Service Quality as Provided by Electronic Commerce Functionalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island, HI, USA, pp. 31, 2008, IEEE Computer Society, 0-7695-3075-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Jung-Yu Lai, Chao-Te Wang, Chun-Yi Chou |
How Knowledge Map and Personalization Affect Effectiveness of KMS in High-Tech Firms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island, HI, USA, pp. 355, 2008, IEEE Computer Society, 0-7695-3075-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Ying Guo 0001, Rongxin Li, Geoff Poulton, Astrid Zeman |
A Simulator for Self-Adaptive Energy Demand Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASO ![In: Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2008, 20-24 October 2008, Venice, Italy, pp. 64-73, 2008, IEEE Computer Society, 978-0-7695-3404-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Harald Fecher, Michael Huth 0001 |
Model Checking for Action Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings, pp. 112-126, 2008, Springer, 978-3-540-78162-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Osamah S. Badarneh, Michel Kadoch, Ahmed K. Elhakeem |
A new approach for the construction of multiple multicast trees using multiple description video for wireless ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: LCN 2008, The 33rd IEEE Conference on Local Computer Networks, The Conference on Leading Edge and Practical Computer Networking, Hyatt Regency Montreal, Montreal, Quebec, Canada, 14-17 October 2008, Proceedings, pp. 152-159, 2008, IEEE Computer Society, 978-1-4244-2412-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Arindam Mallik, Jack Cosgrove, Robert P. Dick, Gokhan Memik, Peter A. Dinda |
PICSEL: measuring user-perceived performance to control dynamic frequency scaling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2008, Seattle, WA, USA, March 1-5, 2008, pp. 70-79, 2008, ACM, 978-1-59593-958-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
thermal emergency, user-perceived performance, power management, dynamic voltage and frequency scaling |
14 | Shoichi Murakami, Sotaro Kimura, Xiaodong Lu, Kinji Mori |
Autonomous Mobile Agent Coordination Technology for Fungible Multi-services to Achieve High Response Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIS ![In: Second International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2008), March 4th-7th, 2008, Technical University of Catalonia, Barcelona, Spain, pp. 429-434, 2008, IEEE Computer Society, 978-0-7695-3109-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Pedro C. Pinto, Thomas A. Runkler, João Miguel da Costa Sousa |
Ant Colony Optimization and its Application to Regular and Dynamic MAX-SAT Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Biologically Inspired Information Systems ![In: Advances in Biologically Inspired Information Systems: Models, Methods, and Tools, pp. 283-302, 2007, Springer, 978-3-540-72692-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | K. Subramani 0001 |
A Randomized Algorithm for BBCSPs in the Prover-Verifier Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings, pp. 455-466, 2007, Springer, 978-3-540-75290-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | María Cristina Riff, Marcos Zúñiga |
Towards an immune system that solves CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 2837-2841, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Daniela E. Damian, Sabrina Marczak, Irwin Kwan |
Collaboration Patterns and the Impact of Distance on Awareness in Requirements-Centred Social Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 15th IEEE International Requirements Engineering Conference, RE 2007, October 15-19th, 2007, New Delhi, India, pp. 59-68, 2007, IEEE Computer Society, 0-7695-2935-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Ya-sha Wang, Junfeng Zhao 0001, Ge Li |
Using Scenario Oriented Response-time Management for Composite Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA, pp. 1144-1145, 2007, IEEE Computer Society, 0-7695-2924-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Ye Tao, Hong-Zhong Huang, Bao-Gui Wu |
Satisficing Approximation Response Model Based on Neural Network in Multidisciplinary Collaborative Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (3) ![In: Advances in Neural Networks - ISNN 2007, 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part III, pp. 267-276, 2007, Springer, 978-3-540-72394-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Yan-chun Liu, Liang Sun |
Comparative Research of Portfolio Model Using Fuzzy Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007, 24-27 August 2007, Haikou, Hainan, China, Proceedings, Volume 1, pp. 106-110, 2007, IEEE Computer Society, 0-7695-2874-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Pavel Surynek |
A Global Filtration for Satisfying Goals in Mutual Exclusion Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints, 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007, Revised Selected Papers, pp. 142-157, 2007, Springer, 978-3-540-89811-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
global filtration, mutual exclusion network, search |
14 | Antonio García-Romero |
Assessing the socio-economic returns of biomedical research (I): How can we measure the relationship between research and health care? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 66(2), pp. 249-261, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Panagiotis Sfetsos, Ioannis Stamelos, Lefteris Angelis, Ignatios S. Deligiannis |
Investigating the Impact of Personality Types on Communication and Collaboration-Viability in Pair Programming - An Empirical Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP ![In: Extreme Programming and Agile Processes in Software Engineering, 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings, pp. 43-52, 2006, Springer, 3-540-35094-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Mats Folke, Ulf Bodin |
On the Influence of User Behaviour and Admission Control on System Performance in HS-DSCH. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 63rd IEEE Vehicular Technology Conference, VTC Spring 2006, 7-10 May 2006, Melbourne, Australia, pp. 378-382, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Peter Harvey, Aditya Ghose |
Relaxation of Soft Constraints Via a Unified Semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Canadian AI ![In: Advances in Artificial Intelligence, 19th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2006, Québec City, Québec, Canada, June 7-9, 2006, Proceedings, pp. 122-133, 2006, Springer, 3-540-34628-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | L. Christian Schaupp, Weiguo Fan, France Bélanger |
Determining Success for Different Website Goals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), CD-ROM / Abstracts Proceedings, 4-7 January 2006, Kauai, HI, USA, 2006, IEEE Computer Society, 0-7695-2507-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Yoichi Tomiura, Shosaku Tanaka, Toru Hitaka |
Estimating satisfactoriness of selectional restriction from corpus without a thesaurus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Asian Lang. Inf. Process. ![In: ACM Trans. Asian Lang. Inf. Process. 4(4), pp. 400-416, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Co-occurrence of word combination, multiple regression model, similarity between words with respect to co-occurrence, syntactic disambiguation |
14 | Deborah J. Smith |
Senior users of the internet: lessons from the cybernun study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Univers. Access Inf. Soc. ![In: Univers. Access Inf. Soc. 4(1), pp. 59-66, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Religious sisters, Usability, Computer use |
14 | Jeffrey M. Stibel |
Increasing productivity through framing effects for interactive consumer choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 7(1), pp. 63-68, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Framing effects, Behavioral economics, Purchase behavior, Internet, Decision making |
14 | Teddy Candale, Sandip Sen |
Learning to Use Referrals to Select Satisficing Service Providers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRAC ![In: Innovative Concepts for Autonomic and Agent-Based Systems, Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papers, pp. 13-22, 2005, Springer, 978-3-540-69265-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi |
Regular Vacuity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings, pp. 191-206, 2005, Springer, 3-540-29105-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Otto R. Koppius, Wouter Speelman, Oliver Stulp, Bart Verhoef, Eric van Heck |
Why are customers coming back to buy their airline tickets online? theoretical explanations and empirical evidence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Proceedings of the 7th International Conference on Electronic Commerce, ICEC 2005, Xi'an, China, August 15-17, 2005, pp. 319-326, 2005, ACM, 1-59593-112-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
airline industry, expectation confirmation theory, online travel agent, e-Commerce, technology acceptance model, online consumer behavior |
14 | Cedric Angelo M. Festin, Søren-Aksel Sørensen |
Utility-Based Buffer Management for Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN (1) ![In: Networking - ICN 2005, 4th International Conference on Networking, ReunionIsland, France, April 17-21, 2005, Proceedings, Part I, pp. 518-526, 2005, Springer, 3-540-25339-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Özgür Deniz Önür, A. Aydin Alatan |
Video Adaptation for Transmission Channels by Utility Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2005 IEEE International Conference on Multimedia and Expo, ICME 2005, July 6-9, 2005, Amsterdam, The Netherlands, pp. 1400-1403, 2005, IEEE Computer Society, 0-7803-9331-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Iftekhar Ahmad, Joarder Kamruzzaman, Srinivas Aswathanarayaniah |
Revenue Aware Preemption Policy in Multimedia Communication Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2005 IEEE International Conference on Multimedia and Expo, ICME 2005, July 6-9, 2005, Amsterdam, The Netherlands, pp. 1374-1377, 2005, IEEE Computer Society, 0-7803-9331-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Peter C. Rigby, Suzanne Thompson |
Study of novice programmers using Eclipse and Gild. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eTX ![In: Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, ETX 2005, San Diego, California, USA, October 16-17, 2005, pp. 105-109, 2005, ACM, 1-59593-342-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
user study, integrated development environment, novice |
14 | Alexander Benlian, Benedikt von Walter, Thomas Hess |
Semantically Enriched Information Seeking in Peer-to-Peer File Sharing Systems - Empirical Evidence from the User Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 38th Hawaii International Conference on System Sciences (HICSS-38 2005), CD-ROM / Abstracts Proceedings, 3-6 January 2005, Big Island, HI, USA, 2005, IEEE Computer Society, 0-7695-2268-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Michael J. Gallivan |
Examining IT professionals' adaptation to technological change: the influence of gender and personal attributes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Base ![In: Data Base 35(3), pp. 28-49, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
burnout, innovation adoption, openness to experience, software process innovations, tolerance of ambiguity, gender, stress, IT professionals |
14 | Jin Xiao, Raouf Boutaba |
Customer-centric network upgrade strategy: maximizing investment benefits for enhanced service quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS (1) ![In: Managing Next Generation Convergence Networks and Services, IEEE/IFIP Network Operations and Management Symposium, NOMS 2004, Seoul, Korea, 19-23 April 2004, Proceedings, pp. 759-772, 2004, IEEE, 0-7803-8230-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Sheng-Chai Chi, In-Jou Lin, Min-Chuan Yan |
An Evolutionary Clustering Method for Part Family Formation with Multiple Process Plans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part II, pp. 1252-1259, 2004, Springer, 3-540-23206-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi |
Enhanced Vacuity Detection in Linear Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings, pp. 368-380, 2003, Springer, 3-540-40524-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Jae-Hwan Kim, Young Yong Kim |
Analysis of User Utility Function in the Combined Cellular/WLAN Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Human.Society@Internet 2003 ![In: Web Communication Technologies and Internet-Related Social Issues - HSI 2003, Second International Conference on Human Society@Internet, Seoul, Korea, June 18-20, 2003, Proceedings, pp. 725-730, 2003, Springer, 3-540-40456-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana |
Monitoring of Timing Constraints with Confidence Threshold Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 3-5 December 2003, Cancun, Mexico, pp. 178-187, 2003, IEEE Computer Society, 0-7695-2044-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Marius-Calin Silaghi |
Arithmetic circuit for the first solution of distributed CSPs with cryptographic multi-party computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), 13-17 October 2003, Halifax, Canada, pp. 609-613, 2003, IEEE Computer Society, 0-7695-1931-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Santiago Macho-Gonzalez, Boi Faltings |
Problem-solving in open environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), 13-17 October 2003, Halifax, Canada, pp. 203-210, 2003, IEEE Computer Society, 0-7695-1931-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Eric W. Welch, Charles C. Hinnant |
Internet Use, Transparency, and Interactivity Effects on Trust in Government. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA, pp. 144, 2003, IEEE Computer Society, 0-7695-1874-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Jerome Kelleher, Barry O'Sullivan |
Optimising the Representation and Evaluation of Semiring Combination Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 978, 2003, Springer, 3-540-20202-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Ferdinand Börner, Andrei A. Bulatov, Peter Jeavons 0001, Andrei A. Krokhin |
Quantified Constraints: Algorithms and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings, pp. 58-70, 2003, Springer, 3-540-40801-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Phokion G. Kolaitis, Jonathan Panttaja |
On the Complexity of Existential Pebble Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings, pp. 314-329, 2003, Springer, 3-540-40801-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Stéphane Airiau, Sandip Sen, David H. Wolpert, Kagan Tumer |
Providing Effective Access to Shared Resources: A COIN Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Engineering Self-Organising Systems ![In: Engineering Self-Organising Systems, Nature-Inspired Approaches to Software Engineering [revised and extended papers presented at the Engineering Self-Organising Applications Workshop, ESOA 2003, held at AAMAS 2003 in Melbourne, Australia, in July 2003 and selected invited papers from leading researchers in self-organisation], pp. 249-264, 2003, Springer, 3-540-21201-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Katarina Britz, Johannes Heidema |
Semiring-Valued Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2003: Advances in Artificial Intelligence, 16th Australian Conference on Artificial Intelligence, Perth, Australia, December 3-5, 2003, Proceedings, pp. 402-413, 2003, Springer, 3-540-20646-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Martin Blom, Eivind J. Nordby, Anna Brunström |
An Experimental Evaluation of Programming by Contract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 9th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2002), 8-11 April 2002, Lund, Sweden, pp. 118-, 2002, IEEE Computer Society, 0-7695-1549-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
evaluation, Experiment, contract, precondition, postcondition |
14 | Lee A. Wynne, Thomas W. Ferratt, David P. Biros |
Career anchors of United States Air Force information systems workers: a turnover predictor? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCPR ![In: Proceedings of the ACM SIGCPR Conference on Computer Personnel Research, Kristiansand, Norway, May 14-16, 2002, pp. 79-89, 2002, ACM, 1-58113-466-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
air force, employee turnover, information systems workers, military personnel, retention, career anchor |
14 | Néstor J. Rodríguez, Daniel Z. Sands |
A Study of Physicians Interaction with Text-Based and Graphical-Based Electronic Patient Record Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 15th IEEE Symposium on Computer-Based Medical Systems (CBMS 2002), 4-7 June 2002, Maribor, Slovenia, pp. 357-360, 2002, IEEE Computer Society, 0-7695-1614-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Amol Dattatraya Mali |
On Temporal Planning as CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 4-6 November 2002, Washington, DC, USA, pp. 75-82, 2002, IEEE Computer Society, 0-7695-1849-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | John Thornton 0001, Matthew Beaumont, Abdul Sattar 0001, Michael J. Maher |
Applying Local Search to Temporal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 9th International Symposium on Temporal Representation and Reasoning, TIME-2002, Manchester, UK, July 7-9, 2002, pp. 94-99, 2002, IEEE Computer Society, 0-7695-1474-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Olli Kamarainen, Hani El Sakkout |
Local Probing Applied to Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings, pp. 155-171, 2002, Springer, 3-540-44120-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Eugene C. Freuder |
Constraint Acquisition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 1, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | T. K. Satish Kumar, Richard Dearden |
The Oracular Constraints Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SARA ![In: Abstraction, Reformulation and Approximation, 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings, pp. 290-298, 2002, Springer, 3-540-43941-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Walid El Moudani, Carlos Alberto Nunes Cosenza, Marc de Coligny, Félix Mora-Camino |
A Bi-Criterion Approach for the Airlines Crew Rostering Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMO ![In: Evolutionary Multi-Criterion Optimization, First International Conference, EMO 2001, Zurich, Switzerland, March 7-9, 2001, Proceedings, pp. 486-500, 2001, Springer, 3-540-41745-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Multi-Criterion Optimization, Airlines Operations, Crew Rostering, Genetic Algorithms, Heuristics, Crew Scheduling |
14 | Walid El Moudani, Félix Mora-Camino, Carlos Alberto Nunes Cosenza |
An Intelligent Approach for Solving the Airlines Crew Rostering Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 26-29 June 2001, Beirut, Lebanon, pp. 73-, 2001, IEEE Computer Society, 0-7695-1165-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Chris E. Hillam, Helen M. Edwards, Caroline L. Young |
Successful Software Applications: Can They Be Evaluated? ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 24th International Computer Software and Applications Conference (COMPSAC 2000), 25-28 October 2000, Taipei, Taiwan, pp. 528-534, 2000, IEEE Computer Society, 0-7695-0792-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Small-medium organizations, systems success, case study analysis, longitudinal surveys, evaluation |
14 | Paul Davidsson, Magnus Boman |
A Multi-Agent System for Controlling Intelligent Buildings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMAS ![In: 4th International Conference on Multi-Agent Systems, ICMAS 2000, Boston, MA, USA, July 10-12, 2000, pp. 377-378, 2000, IEEE Computer Society, 0-7695-0625-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Grzegorz Malewicz, Alexander A. Shvartsman |
An Auction-Based Flexible Pricing Scheme for Renegotiated QoS Connections and Its Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: MASCOTS 1999, Proceedings of the 7th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 24-28 October, 1999, College Park, Maryland, USA, pp. 244-251, 1999, IEEE Computer Society, 0-7695-0381-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
auction based pricing, renegotiation, budget function, tariffs, competition, QoS guarantees, dynamic bandwidth allocation, charging |
14 | Ping Zhang 0002, Ruth V. Small, Gisela M. von Dran, Silvia Barcellos |
Websites that Satisfy Users: A Theoretical Framework for Web User Interface Design and Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, USA, 1999, IEEE Computer Society, 0-7695-0001-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Jon B. Woodroof, William D. Burg |
An Empirical Assessment of User Affectivity Predispositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, USA, 1999, IEEE Computer Society, 0-7695-0001-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Michael Gallivan |
Influence of System Developers' Creative Style on Their Attitudes toward and Assimilation of a Software Process Innovation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (6) ![In: Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998, pp. 435-, 1998, IEEE Computer Society, 0-8186-8255-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Aditya Ghose, Randy Goebel |
Anytime Default Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings, pp. 546-557, 1996, Springer, 3-540-61532-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Yehoshua Sagiv, Claude Delobel, Douglas Stott Parker Jr., Ronald Fagin |
Correction to "An equivalence between relational database dependencies and a fragment of propositional logic". ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 34(4), pp. 1016-1018, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
13 | Shinji Nagano, Yoichi Fujimoto, Masahiro Nagamatu |
Constraint Satisfaction with Neural Network for Trajectory Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Brain-Inspired Information Technology ![In: Brain-Inspired Information Technology, pp. 69-72, 2010, Springer, 978-3-642-04024-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
13 | Moses Charikar, Konstantin Makarychev, Yury Makarychev |
Near-optimal algorithms for maximum constraint satisfaction problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Algorithms ![In: ACM Trans. Algorithms 5(3), pp. 32:1-32:14, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
MAX 2CSP, MAX k-CSP, SDP |
13 | Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren 0002 |
Dynamic structural symmetry breaking for constraint satisfaction problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 14(4), pp. 506-538, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Dominance detection, CSP, Tractability, Symmetry breaking |
13 | Ismel Brito, Amnon Meisels, Pedro Meseguer, Roie Zivan |
Distributed constraint satisfaction with partially known constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 14(2), pp. 199-234, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Distributed CSPs, Asynchronous search, Privacy, Entropy |
13 | Swapna Reddy, Ya'akov Gal, Stuart M. Shieber |
Recognition of Users' Activities Using Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UMAP ![In: User Modeling, Adaptation, and Personalization, 17th International Conference, UMAP 2009, formerly UM and AH, Trento, Italy, June 22-26, 2009. Proceedings, pp. 415-421, 2009, Springer, 978-3-642-02246-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Daniela Marino, Fabio Massacci, Andrea Micheletti, Nataliya Rassadko, Stephan Neuhaus |
Satisfaction of Control Objectives by Control Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC/ServiceWave ![In: Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings, pp. 531-545, 2009, 978-3-642-10382-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Jorge Muñoz, Germán Gutiérrez, Araceli Sanchis |
Evolutionary Genetic Algorithms in a Constraint Satisfaction Problem: Puzzle Eternity II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Bio-Inspired Systems: Computational and Ambient Intelligence, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I, pp. 720-727, 2009, Springer, 978-3-642-02477-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Michelle Robertson, Emily Huang, Nancy Larson |
Examining the Effects of Workstation Design Satisfaction, Computer Usage, Supervisory and Co-worker Support on Perceived Physical Discomfort and Psychosocial Factors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (15) ![In: Ergonomics and Health Aspects of Work with Computers, International Conference, EHAWC 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, pp. 88-94, 2009, Springer, 978-3-642-02730-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Office ergonomics, computer workers, psychosocial factors, discomfort |
13 | Yoshinori Hijikata, Takuya Shimizu, Shogo Nishida |
Discovery-oriented collaborative filtering for improving user satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 14th International Conference on Intelligent User Interfaces, IUI 2009, Sanibel Island, Florida, USA, February 8-11, 2009, pp. 67-76, 2009, ACM, 978-1-60558-168-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
discovery ratio, profile of acquaintance, collaborative filtering, novelty |
13 | Xiaoqing Liu, Lianzhang Zhu |
Design of SOA Based Web Service Systems Using QFD for Satisfaction of Quality of Service Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2009, Los Angeles, CA, USA, 6-10 July 2009, pp. 567-574, 2009, IEEE Computer Society, 978-0-7695-3709-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Gabriela N. Aranda, Aurora Vizcaíno, Alejandra Cechich, Mario Piattini |
Analyzing Stakeholders' Satisfaction When Choosing Suitable Groupware Tools for Requirements Elicitation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRIWG ![In: Groupware: Design, Implementation, and Use, 15th International Workshop, CRIWG 2009, Peso da Régua, Douro, Portugal, September 13-17, 2009. Proceedings, pp. 222-230, 2009, Springer, 978-3-642-04215-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Marcello Balduccini |
CR-Prolog as a Specification Language for Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings, pp. 402-408, 2009, Springer, 978-3-642-04237-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Thomas Léauté, Boi Faltings |
Privacy-Preserving Multi-agent Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSE (3) ![In: Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, CSE 2009, Vancouver, BC, Canada, August 29-31, 2009, pp. 17-25, 2009, IEEE Computer Society, 978-1-4244-5334-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Christoph Klimmt, Christopher Blake, Dorothée Hefner, Peter Vorderer, Christian Roth 0001 |
Player Performance, Satisfaction, and Video Game Enjoyment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Entertainment Computing - ICEC 2009, 8th International Conference, Paris, France, September 3-5, 2009. Proceedings, pp. 1-12, 2009, Springer, 978-3-642-04051-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
attribution theory, performance, entertainment, Video games, flow, enjoyment |
13 | Christophe Lecoutre, Olivier Roussel |
Failed Value Consistencies for Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings, pp. 554-568, 2009, Springer, 978-3-642-04243-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Albert Atserias, Mark Weyer |
Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings, pp. 102-116, 2009, Springer, 978-3-642-04026-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Peter Jackson, Yanbin Chen, Ramin Farhangi, Xiang Li, David A. Pilo Mansion, Evan Markel, Ryan Morris, Len Podgurny, Al Randall, Paul Hofmann |
IT Strategies for Increased Rail Employee Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 23(5), pp. 13-15, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Hubie Chen |
Quantified Constraint Satisfaction and the Polynomially Generated Powers Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations, pp. 197-208, 2008, Springer, 978-3-540-70582-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Andrei A. Bulatov |
The Complexity of the Counting Constraint Satisfaction Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (1) ![In: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack A: Algorithms, Automata, Complexity, and Games, pp. 646-661, 2008, Springer, 978-3-540-70574-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Hugo Terashima-Marín, José Carlos Ortiz-Bayliss, Peter Ross, Manuel Valenzuela-Rendón |
Using Hyper-heuristics for the Dynamic Variable Ordering in Binary Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2008: Advances in Artificial Intelligence, 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008, Proceedings, pp. 407-417, 2008, Springer, 978-3-540-88635-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Leah Findlater, Joanna McGrenere |
Impact of screen size on performance, awareness, and user satisfaction with adaptive graphical user interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2008 Conference on Human Factors in Computing Systems, CHI 2008, 2008, Florence, Italy, April 5-10, 2008, pp. 1247-1256, 2008, ACM, 978-1-60558-011-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
personalization, user study, interaction techniques, adaptive interfaces, small screen devices, menu design |
13 | Bart G. W. Craenen, Ben Paechter |
A Conflict Tabu Search Evolutionary Algorithm for Solving Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoCOP ![In: Evolutionary Computation in Combinatorial Optimization, 8th European Conference, EvoCOP 2008, Naples, Italy, March 26-28, 2008. Proceedings, pp. 13-24, 2008, Springer, 978-3-540-78603-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Boi Faltings, Thomas Léauté, Adrian Petcu |
Privacy Guarantees through Distributed Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Sydney, NSW, Australia, December 9-12, 2008, pp. 350-358, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Bahareh Jafari Jashmi, Malek Mouhoub |
Solving Temporal Constraint Satisfaction Problems with Heuristic Based Evolutionary Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI (2) ![In: 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 2, pp. 525-529, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Tapashree Guha, Simone A. Ludwig |
Comparison of Service Selection Algorithms for Grid Services: Multiple Objective Particle Swarm Optimization and Constraint Satisfaction Based Service Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI (1) ![In: 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1, pp. 172-179, 2008, IEEE Computer Society, 978-0-7695-3440-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Elnaz Ketabchi, Mohamadreza Mortazavi, Ali Moeini |
Evaluation of User Satisfaction in Center of eLearning-University of Tehran. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (5) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 5: E-learning and Knowledge Management / Socially Informed and Instructinal Design / Learning Systems Platforms and Architectures / Modeling and Representation / Other Applications , December 12-14, 2008, Wuhan, China, pp. 536-539, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Kazunori Mizuno, Yukio Fukui, Seiichi Nishihara |
Urban Traffic Signal Control Based on Distributed Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island, HI, USA, pp. 65, 2008, IEEE Computer Society, 0-7695-3075-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | T. K. Satish Kumar |
A Framework for Hybrid Tractability Results in Boolean Weighted Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings, pp. 282-297, 2008, Springer, 978-3-540-85957-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Apostolos Ampatzoglou, Alexander Chatzigeorgiou, Ioannis Stamelos |
Graphical Representation as a Factor of 3D Software User Satisfaction: A Metric Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Panhellenic Conference on Informatics ![In: Panhellenic Conference on Informatics, PCI 2008, August 28-30, 2008, Samos Island, Greece, Proceedings, pp. 105-109, 2008, IEEE Computer Society, 978-0-7695-3323-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Jorge-Arnulfo Quiané-Ruiz, Philippe Lamarre, Sylvie Cazalens, Patrick Valduriez |
Managing virtual money for satisfaction and scale up in P2P systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaMaP ![In: Proceedings of the 2008 International Workshop on Data Management in Peer-to-Peer Systems, DaMaP 2008, Nantes, France, March 25, 2008, pp. 67-74, 2008, ACM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Sivan Sabato, Yehuda Naveh |
Preprocessing Expression-Based Constraint Satisfaction Problems for Stochastic Local Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings, pp. 244-259, 2007, Springer, 978-3-540-72396-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
|
|