|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 20214 occurrences of 8050 keywords
|
|
|
Results
Found 45678 publication records. Showing 45678 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
59 | Jeffery A. Solheim, John H. Rowland |
An Empirical Study of Testing and Integration Strategies Using Artificial Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(10), pp. 941-949, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
artificial software systems, top-down strategies, sandwich integration strategies, spot unit testing, bottom-up integration, defect correction, big-bang strategies, code generator, software reliability, program testing, system reliability, reliable systems, verification processes |
50 | Stefan J. Johansson, Bengt Carlsson, Magnus Boman |
Modeling Strategies as Generous and Greedy in Prisoner's Dilemma like Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEAL ![In: Simulated Evolution and Learning, Second Asia-Pacific Conference on Simulated Evolution and Learning, SEAL'98, Canberra, Australia, November 24-27 1998, Selected Papers, pp. 285-292, 1998, Springer, 3-540-65907-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
simulations, games, evolutionary stable strategies |
46 | Steven Eker, Narciso Martí-Oliet, José Meseguer 0001, Alberto Verdejo |
Deduction, Strategies, and Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: Proceedings of the 6th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA, USA, August 16, 2006, pp. 3-25, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
46 | Sayan Mitra, Myla Archer |
PVS Strategies for Proving Abstraction Properties of Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: Proceedings of the 5th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004, pp. 45-65, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
46 | Tatjana Lutovac, James Harland |
Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: Proceedings of the 5th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004, pp. 115-147, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
46 | Richard B. Kieburtz |
A Logic for Rewriting Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: 4th International Workshop on Strategies in Automated Deduction, STRATEGIES 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001, Selected Papers, pp. 138-154, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
46 | Maria Paola Bonacina, Bernhard Gramlich |
Preface: STRATEGIES 2001. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: 4th International Workshop on Strategies in Automated Deduction, STRATEGIES 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001, Selected Papers, pp. 217-218, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
46 | Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner |
Termination of Rewriting with Local Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: 4th International Workshop on Strategies in Automated Deduction, STRATEGIES 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001, Selected Papers, pp. 155-188, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
42 | William L. Kuechler Jr., Nina Lim, Vijay K. Vaishnavi |
A smart object approach to hybrid knowledge representation and reasoning strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 32-41, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
smart object approach, reasoning strategies, human reasoning, non-trivial real world problems, multiple reasoning strategies, multiple domain knowledge, smart object paradigm, complex knowledge based systems, multiple inference strategies, engineered artifacts, high level object structure, rule based lower level language, complex knowledge based system, prototype KBS, object-oriented programming, knowledge representation, knowledge based systems, inference mechanisms, hybrid knowledge representation |
40 | Matt Bishop, Lizzie Coles-Kemp, Dieter Gollmann, Jeffrey Hunker, Christian W. Probst |
10341 Report - Insider Threats: Strategies for Prevention, Mitigation, and Response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Insider Threats: Strategies for Prevention, Mitigation, and Response ![In: Insider Threats: Strategies for Prevention, Mitigation, and Response, 22.08. - 26.08.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
40 | Matt Bishop, Lizzie Coles-Kemp, Dieter Gollmann, Jeffrey Hunker, Christian W. Probst |
10341 Abstracts Collection - Insider Threats: Strategies for Prevention, Mitigation, and Response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Insider Threats: Strategies for Prevention, Mitigation, and Response ![In: Insider Threats: Strategies for Prevention, Mitigation, and Response, 22.08. - 26.08.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
40 | Myla Archer, Thierry Boy de la Tour, César A. Muñoz (eds.) |
Proceedings of the 6th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA, USA, August 16, 2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![Elsevier The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
40 | Maria Paola Bonacina, Mnacho Echenim |
Rewrite-Based Decision Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: Proceedings of the 6th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA, USA, August 16, 2006, pp. 27-45, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Myla Archer, Thierry Boy de la Tour, César A. Muñoz |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: Proceedings of the 6th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA, USA, August 16, 2006, pp. 1-2, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Hongping Lim, Myla Archer |
Translation Templates to Support Strategy Development in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: Proceedings of the 6th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA, USA, August 16, 2006, pp. 59-79, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Florent Kirchner, César A. Muñoz |
PVS#: Streamlined Tacticals for PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: Proceedings of the 6th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA, USA, August 16, 2006, pp. 47-58, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Maria Paola Bonacina, Thierry Boy de la Tour (eds.) |
Proceedings of the 5th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004 ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![Elsevier The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
40 | Thierry Boy de la Tour, Prakash Countcham |
An Isomorph-Free SEM-Like Enumeration of Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: Proceedings of the 5th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004, pp. 91-113, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Aaron Stump, Carsten Schürmann |
Logical Semantics for the Rewriting Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: Proceedings of the 5th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004, pp. 149-164, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Bernhard Gramlich |
Strategic Issues, Problems and Challenges in Inductive Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: Proceedings of the 5th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004, pp. 5-43, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Maria Paola Bonacina, Thierry Boy de la Tour |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: Proceedings of the 5th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004, pp. 1-3, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Andreas Meier 0002, Erica Melis |
Failure Reasoning in Multiple-Strategy Proof Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: Proceedings of the 5th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004, pp. 67-90, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Maria Paola Bonacina, Bernhard Gramlich (eds.) |
4th International Workshop on Strategies in Automated Deduction, STRATEGIES 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001, Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![Elsevier The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
40 | Serge Autexier |
A Proof-Planning Framework with Explicit Abstractions Based on Indexed Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: 4th International Workshop on Strategies in Automated Deduction, STRATEGIES 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001, Selected Papers, pp. 189-202, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
40 | Axel Schairer, Serge Autexier, Dieter Hutter |
A Pragmatic Approach to Reuse in Tactical Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: 4th International Workshop on Strategies in Automated Deduction, STRATEGIES 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001, Selected Papers, pp. 203-216, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
40 | Wolfgang Goerigk |
Mechanical Software Verification: High Level Control Aspects from a User's Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: 4th International Workshop on Strategies in Automated Deduction, STRATEGIES 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001, Selected Papers, pp. 117-137, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Yung-Kang Chu, I-Ling Yen, Diane T. Rover |
Guiding processor allocation with estimated execution time for mesh connected multiple processor systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 163-172, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
estimated execution time, mesh connected multiple processor systems, mesh connected parallel architectures, multiprocessor systems design, submesh allocation strategies, two-dimensional mesh systems, estimated execution times, submesh allocation, processor allocation strategies, extensive simulations, system performance improvement, execution failures, scheduling, performance, resource allocation, parallel architectures, response time, processor scheduling, software performance evaluation, execution time, processor allocation, standard deviation, job characteristics, load conditions |
38 | Soon Ang, Sandra Slaughter |
Turnover of information technology professionals: the effects of internal labor market strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Base ![In: Data Base 35(3), pp. 11-27, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
internal labor market strategies, management of information technology workforce, recruitment and retention |
35 | Matt Bishop, Lizzie Coles-Kemp, Dieter Gollmann, Jeffrey Hunker, Christian W. Probst (eds.) |
Insider Threats: Strategies for Prevention, Mitigation, and Response, 22.08. - 26.08.2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Insider Threats: Strategies for Prevention, Mitigation, and Response ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
34 | Jose B. Cruz Jr., Ashkan Kian |
Nash Strategies for Load Serving Entities in Dynamic Energy Multi-markets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 53, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
energy multi-markets, dynamic game theory, load-serving entities (LSE), Nash strategies, bidding strategies |
34 | Avraham Leff, Philip S. Yu |
A Performance Study of Robust Distributed Load Sharing Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(12), pp. 1286-1301, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
robust distributed load sharing strategies, regression-based adaptive strategies, transaction response time, scheduling, distributed algorithms, resource allocation, distributed databases, software performance evaluation, distributed database system, performance study, feedback mechanism |
33 | Valentina Grigoreanu, James N. Brundage, Eric Bahna, Margaret M. Burnett, Paul ElRif, Jeffrey Snover |
Males' and Females' Script Debugging Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IS-EUD ![In: End-User Development, 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009. Proceedings, pp. 205-224, 2009, Springer, 978-3-642-00425-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Debugging Strategies, Debugging, Gender, Scripting |
33 | Diana Cukierman, Donna McGee Thompson |
Learning strategies sessions within the classroom in computing science university courses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2007, Dundee, Scotland, UK, June 25-27, 2007, pp. 341, 2007, ACM, 978-1-59593-610-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
pedagogy |
32 | Derek L. Eager, Edward D. Lazowska, John Zahorjan |
A Comparison of Receiver-Initiated and Sender-Initiated Adaptive Load Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1985 ACM SIGMETRICS conference on Measurement and modeling of computer systems, Austin, Texas, USA, August 26-29, 1985, pp. 1-3, 1985, ACM, 0-89791-169-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
31 | Alfred Bashllari, Dritan Nace |
A Study on Two New Protection Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPOM ![In: IP Operations and Management, 8th IEEE International Workshop, IPOM 2008, Samos Island, Greece, September 22-26, 2008, Proceedings, pp. 66-77, 2008, Springer, 978-3-540-87356-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Protection strategies, rerouting strategies, linear programming, multi-commodity flow, path generation, survivable networks |
31 | Rui Li 0001, Michael Emmerich, Jeroen Eggermont, Ernst G. P. Bovenkamp |
Mixed-integer optimization of coronary vessel image analysis using evolution strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2006, Proceedings, Seattle, Washington, USA, July 8-12, 2006, pp. 1645-1652, 2006, ACM, 1-59593-186-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
evolution strategies (ES), mixed-Integer evolution strategies (MI-ES), IntraVascular ultraSound (IVUS) |
31 | Dennis C. S. Law, Jan H. F. Meyer |
Relationships between the Learning Strategies, Mental Models of Learning and Learning Orientations of Post-secondary Students in Hong Kong. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICHL ![In: Hybrid Learning and Education, First International Conference, ICHL 2008, Hong Kong, China, August 13-15, 2008, Proceedings, pp. 428-438, 2008, Springer, 978-3-540-85169-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Student Learning, Inventory of Learning Styles, Regulation Strategies |
31 | Mats Grindal, Birgitta Lindström, Jeff Offutt, Sten F. Andler |
An evaluation of combination strategies for test case selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 11(4), pp. 583-611, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
AETG, Testing experiment, Test case selection, Orthogonal arrays, Combination strategies |
31 | Peng Ning, Dingbang Xu |
Learning attack strategies from intrusion alerts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 10th ACM Conference on Computer and Communications Security, CCS 2003, Washington, DC, USA, October 27-30, 2003, pp. 200-209, 2003, ACM, 1-58113-738-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
profiling attack strategies, intrusion detection, alert correlation |
31 | Thierry E. Klein, Seung-Jae Han |
Assignment strategies for mobile data users in hierarchical overlay networks: performance of optimal and adaptive strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 22(5), pp. 849-861, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Ioannis V. Papaioannou, Ioanna Roussaki, Miltiades E. Anagnostou |
Detecting Unsuccessful Automated Negotiation Threads When Opponents Employ Hybrid Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008, Proceedings, pp. 27-39, 2008, Springer, 978-3-540-85983-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
MLP & GR neural networks, NN-assisted negotiation strategies, Opponent behaviour prediction, Early detection of unsuccessful negotiations, Hybrid negotiation strategies, Automated negotiations |
29 | Gloria Childress Townsend, Wade N. Hazel, Rick Smock |
Using evolutionary computation methods to support analytical models for the evolution and maintenance of conditional strategies in chthamalus anisopoma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 409-414, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
alternative phenotypes, conditional strategies, induced defense, threshold model, evolutionary computation, evolution strategies |
28 | Markus Kaiser 0002, Ralf Lämmel |
An Isabelle/HOL-based model of stratego-like traversal strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, pp. 93-104, 2009, ACM, 978-1-60558-568-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
generic functional programming, traversal strategies, domain specific languages, rewriting, isabelle/hol, software transformation, stratego |
28 | Zhao Cheng, Mark A. Perillo, Wendi B. Heinzelman |
General Network Lifetime and Cost Models for Evaluating Sensor Network Deployment Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 7(4), pp. 484-497, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
deployment strategies, wireless sensor networks, linear programming, data dissemination |
28 | Anurag Bhatt, Pratul Varshney, Kalyanmoy Deb |
In search of no-loss strategies for the game of tic-tac-toe using a customized genetic algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008, pp. 889-896, 2008, ACM, 978-1-60558-130-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
tic-tac-toe, learning strategies, evolutionary games |
28 | Igor Walter, Fernando A. C. Gomide |
Design of coordination strategies in multiagent systems via genetic fuzzy systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 10(10), pp. 903-915, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Competitive markets, Multiagent systems, Genetic fuzzy systems, Coordination strategies |
28 | Jaiganesh Balasubramanian, Douglas C. Schmidt, Lawrence W. Dowdy, Ossama Othman |
Evaluating the Performance of Middleware Load Balancing Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 20-24 September 2004, Monterey, California, USA, Proceedings, pp. 135-146, 2004, IEEE Computer Society, 0-7695-2214-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Middleware load balancing, adaptive load balancing strategies |
28 | Ting Yu 0001, Marianne Winslett, Kent E. Seamons |
Supporting structured credentials and sensitive policies through interoperable strategies for automated trust negotiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 6(1), pp. 1-42, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
interoperable strategies, access control, Automated trust negotiation, digital credentials |
28 | Sandra Slaughter, Soon Ang |
Internal labor market strategies and turnover of information technology professionals. ![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. 139-144, 2002, ACM, 1-58113-466-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
internal labor market strategies, management of information technology, recruitment and retention, information technology workforce |
28 | Angela C. Sodan, Vicenç Torra |
Fuzzy configuration of matching runtime implementation strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 5(1), pp. 77-92, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Multistage fuzzy inference, Runtime implementation strategies, Parallelization, Configuration |
28 | Yan Qu, David A. Hull, Gregory Grefenstette, David A. Evans 0001, Motoko Ishikawa, Setsuko Nara, Toshiya Ueda, Daisuke Noda, Kousaku Arita, Yuki Funakoshi, Hiroshi Matsuda |
Towards effective strategies for monolingual and bilingual information retrieval: Lessons learned from NTCIR-4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Asian Lang. Inf. Process. ![In: ACM Trans. Asian Lang. Inf. Process. 4(2), pp. 78-110, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Monolingual information retrieval, cross-language information retrieval, comparison, NTCIR |
26 | Elisabeth Rakus-Andersson, Maria Salomonsson, Hang Zettervall |
Ranking of Weighted Strategies in the Two-Player Games with Fuzzy Entries of the Payoff Matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIS ![In: 8th International Conference on Hybrid Intelligent Systems (HIS 2008), September 10-12, 2008, Barcelona, Spain, pp. 186-191, 2008, IEEE Computer Society, 978-0-7695-3326-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Imprecise payoff matrix, profit variables, weighted strategies, optimal strategies of a fuzzy game |
26 | Marianne Bays |
Impact of IS alignment strategies on organizational perceptions of quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 379-390, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
IS alignment strategies, information systems alignment strategies, organizational perceptions, business unit needs, IS producer unit, IS customer unit, JAD, Canadian organizations, US organizations, software engineering, information systems, software quality, project management, business data processing, project planning, application development, management of change, coordination mechanisms, survey research, information systems quality |
26 | Carole A. Bagley, Chientzu Candace Chou |
Collaboration and the importance for novices in learning java computer programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2007, Dundee, Scotland, UK, June 25-27, 2007, pp. 211-215, 2007, ACM, 978-1-59593-610-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
affective strategies, collaboration, pedagogy, problem solving, gender, CS ed research, cognitive strategies |
26 | Viral Shah, Sourav Bhattacharya |
Fault propagation analysis based variable length checkpoint placement for fault-tolerant parallel and distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 612-615, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
fault propagation analysis based variable length checkpoint placement, fault tolerant parallel systems, optimal checkpoint placement strategies, failure propagation analysis, distributed rollback recovery system, FPA based checkpoint placement strategy, task grouping/allocation, loop stabilization aspects, message communication instructions, checkpoint placement strategy, message send/receive regions, FPA process, checkpoint placement strategies, cyclic relationship, distributed systems, parallel algorithm, fast Fourier transform, FFT, recursion, distributed programs, task allocation, system recovery, link failures |
26 | Jessie Chin, Wai-Tat Fu |
Interactive effects of age and interface differences on search strategies and performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Atlanta, Georgia, USA, April 10-15, 2010, pp. 403-412, 2010, ACM, 978-1-60558-929-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
interface affordance, web search, cost-benefit analysis, search strategies, knowledge structure, age differences |
26 | Ali Gerhard Tafazzoli, Stephen D. Roberts, Robert W. Klein, Reid M. Ness, Robert S. Dittus |
Probabilistic cost-effectiveness comparison of screening strategies for colorectal cancer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 19(2), pp. 6:1-6:29, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Cost-effectiveness analysis, acceptability curves, colorectal cancer screening strategies, net benefit analysis, probabilistic sensitivity analysis, medical decision-making |
26 | Mahvish Khurum, Tony Gorschek, Lefteris Angelis, Robert Feldt |
A Controlled Experiment of a Method for Early Requirements Triage Utilizing Product Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFSQ ![In: Requirements Engineering: Foundation for Software Quality, 15th International Working Conference, REFSQ 2009, Amsterdam, The Netherlands, June 8-9, 2009, Proceedings, pp. 22-36, 2009, Springer, 978-3-642-02049-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
requirements triage, product strategies, MERTS, effectiveness and efficiency, experiment, Market driven requirements engineering |
26 | Sunny Consolvo, David W. McDonald, James A. Landay |
Theory-driven design strategies for technologies that support behavior change in everyday life. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Boston, MA, USA, April 4-9, 2009, pp. 405-414, 2009, ACM, 978-1-60558-246-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
everyday life, mobile phone, persuasive technology, physical activity, behavior change, design strategies, lifestyle |
26 | Claudia Raibulet, Luigi Ubezio, William Gobbo |
Leveraging on strategies to achieve adaptivity in a distributed architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARM ![In: Proceedings of the 7th Workshop on Adaptive and Reflective Middleware, ARM 2008, held at the ACM/IFIP/USENIX International Middleware Conference, December 1-5, 2008, Leuven, Belgium, pp. 53-54, 2008, ACM, 978-1-60558-367-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
adaptivity, services, strategies |
26 | Grace K. Kim |
Early research strategies in context: adobe photoshop lightroom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2007 Conference on Human Factors in Computing Systems, CHI 2007, San Jose, California, USA, April 28 - May 3, 2007, pp. 1777-1782, 2007, ACM, 978-1-59593-642-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
research strategies, user-centered design, user research, digital imaging, qualitative methods, concept design, new product development |
26 | Jennifer Horkoff, Eric S. K. Yu, Lin Liu 0001 |
Analyzing trust in technology strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PST ![In: Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services, PST 2006, Markham, Ontario, Canada, October 30 - November 1, 2006, pp. 9, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
the i* framework, trust, trusted computing, goal modeling, business strategies, model evaluation |
26 | Ying Zhang, Markus P. J. Fromherz, Lukas D. Kuhn |
Smart Routing with Learning-Based QoS-Aware Meta-strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QofIS ![In: Quality of Service in the Emerging Networking Panorama: Fifth International Workshop on Quality of Future Internet Services, QofIS 2004 and First Workshop on Quality of Service Routing WQoSR 2004 and Fourth International Workshop on Internet Charging and QoS Technology, ICQT 2004, Barcelona, Catalonia, Spain, September 29 - October 1, 2004, Proceedings, pp. 298-307, 2004, Springer, 3-540-23238-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Mobile and Wireless Networks, Meta-strategies, Reinforcement Learning, Ad-hoc Sensor Networks |
26 | Jianjun Chen 0001, David J. DeWitt, Jeffrey F. Naughton |
Design and Evaluation of Alternative Selection Placement Strategies in Optimizing Continuous Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 18th International Conference on Data Engineering, San Jose, CA, USA, February 26 - March 1, 2002, pp. 345-356, 2002, IEEE Computer Society, 0-7695-1531-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Incrmental Group Optimization, Selection Placement Strategies, PushDown, PullUp, Query Optimization, Cost Models, Continuous Queries |
26 | Sylvain Lauzac, Taieb Znati |
Comparative evaluation of cooperative plan execution strategies in multiagent environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 28st Annual Simulation Symposium (SS '95), April 25-28, 1995, Santa Barbara, California, USA, pp. 126-125, 1995, IEEE Computer Society, 0-8186-7091-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
cooperative plan execution strategies, multiagent environments, coordinated action, dynamically changing environment, dynamic threshold-based scheme, client-initiated strategy, server-initiated strategy, hybrid strategy, load balancing, resource allocation, planning (artificial intelligence), client-server systems, cooperative systems, communication overhead, comparative analysis, distributed agents |
26 | Wael Hilal Bahaa-El-Din, Farokh B. Bastani, Ju-En Teng |
Performance Analysis of Periodic and Concurrent Data Structure Maintenance Strategies for Network Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(12), pp. 1526-1536, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
concurrent data structure maintenance strategies, periodic maintenance, maximum response time, performance evaluation, performance analysis, parallel programming, data structures, network servers, network servers, incremental maintenance, average response time |
25 | Jella Pfeiffer, Dejan Duzevik, Franz Rothlauf, Koichi Yamamoto |
A genetic algorithm for analyzing choice behavior with mixed decision strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, pp. 1585-1592, 2009, ACM, 978-1-60558-325-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
choice task, decision strategy, genetic algorithm, e-commerce, decision making, consumer behavior |
25 | Jie Song 0001, Daling Wang, Yubin Bao, Ge Yu 0001, Wen Qi |
Mining Purpose-Based Authorization Strategies in Database System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb/WAIM Workshops ![In: Advances in Web and Network Technologies, and Information Management, APWeb/WAIM 2007 International Workshops: DBMAN 2007, WebETrends 2007, PAIS 2007 and ASWAN 2007, Huang Shan, China, June 16-18, 2007, Proceedings, pp. 86-98, 2007, Springer, 978-3-540-72908-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Nelis Franken, Andries P. Engelbrecht |
Particle swarm optimization approaches to coevolve strategies for the iterated prisoner's dilemma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Evol. Comput. ![In: IEEE Trans. Evol. Comput. 9(6), pp. 562-579, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Sandy Irani, Sandeep K. Shukla, Rajesh K. Gupta 0001 |
Online strategies for dynamic power management in systems with multiple power-saving states. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 2(3), pp. 325-346, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
power management, Dynamic, online algorithms |
25 | Ting Yu 0001, Marianne Winslett, Kent E. Seamons |
Interoperable strategies in automated trust negotiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: CCS 2001, Proceedings of the 8th ACM Conference on Computer and Communications Security, Philadelphia, Pennsylvania, USA, November 6-8, 2001., pp. 146-155, 2001, ACM, 1-58113-385-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Franz Rothlauf, Daniel Schunk, Jella Pfeiffer |
Classification of human decision behavior: finding modular decision rules with genetic algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 2021-2028, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
human decision behavior, genetic algorithms, search strategy |
24 | Oum-El-Kheir Benkahla, F. Chevassu, B. Remy, Chantal Robach |
Performance Evaluation of Testing Strategies in Parallel Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 371-378, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
SimDiag, process-based model, performance evaluation, parallel systems, testing strategies, quantitative analysis, evaluation tool, distributed diagnosis |
23 | Haixia Tan, Jianfeng Guo |
Some methods to depress the risks of the online transactions. ![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. 217-220, 2005, ACM, 1-59593-112-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
alternative dispute resolution, privacy strategies, risks of the online transactions, security strategies, reputation systems |
23 | Oum-El-Kheir Benkahla, Chouki Aktouf, Chantal Robach |
Distributed off-line testing of parallel systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 4th Asian Test Symposium (ATS '95), November 23-24, 1995. Bangalore, India, pp. 2-8, 1995, IEEE Computer Society, 0-8186-7129-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
distributed off-line testing, off-line testing, distributed self-diagnosis algorithms, adaptive testing assignment strategies, static testing assignment strategies, testing latency, message load, SELF3, HOST BSCT, HOST PATH, ADAPTIVE TREES, performance evaluation, parallel algorithms, fault diagnosis, adaptive systems, parallel systems, queueing network model, computer testing, automatic test software |
23 | Alex Gerdes, Johan Jeuring, Bastiaan Heeren |
Using strategies for assessment of programming exercises. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 41st ACM technical symposium on Computer science education, SIGCSE 2010, Milwaukee, Wisconsin, USA, March 10-13, 2010, pp. 441-445, 2010, ACM, 978-1-4503-0006-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
functional programming, haskell, strategies, automatic assessment |
23 | Dipti Srinivasan, Dakun Woo |
Evolving cooperative bidding strategies in a power market. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 29(2), pp. 162-173, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Power system economics, Multi-agent system, Evolutionary algorithms, Cooperative strategies |
23 | Oussama Metatla, Nick Bryan-Kinns, Tony Stockman |
Comparing interaction strategies for constructing diagrams in an audio-only interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCS HCI (2) ![In: Proceedings of the 22nd British HCI Group Annual Conference on HCI 2008: People and Computers XXII: Culture, Creativity, Interaction - Volume 2, BCS HCI 2008, Liverpool, United Kingdom, 1-5 September 2008, pp. 65-69, 2008, BCS, 978-1-906124-06-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
diagram construction, interaction strategies, accessibility, auditory display |
23 | Anita Zehrer, Peter Möschl |
New Distribution Channels and Business Strategies for Location-based Travel Agencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENTER ![In: Information and Communication Technologies in Tourism, ENTER 2008, Proceedings of the International Conference in Innsbruck, Austria, 2008, pp. 359-370, 2008, Springer, 978-3-211-77279-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
location-based travel agencies, business strategies, distribution channels |
23 | Amr B. Hilal, Jawwad Nasar Chattha, Vivek Srivastava, Michael S. Thompson, Allen B. MacKenzie, Luiz A. DaSilva |
Interactions between cooperation strategies in mobile ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINTECH ![In: Proceedings of the Third ACM Workshop on Wireless Network Testbeds, Experimental Evaluation and Characterization, WINTECH 2008, San Francisco, California, USA, September 19, 2008, pp. 99-100, 2008, ACM, 978-1-60558-187-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
mobile ad hoc networks, virtualization, network emulation, cooperation strategies |
23 | Laurie Murphy, Gary Lewandowski, Renée McCauley, Beth Simon, Lynda Thomas, Carol Zander |
Debugging: the good, the bad, and the quirky -- a qualitative analysis of novices' strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2008, Portland, OR, USA, March 12-15, 2008, pp. 163-167, 2008, ACM, 978-1-59593-799-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
debugging, pedagogy, strategies, novice programming |
23 | Laurent Dollé, Mehdi Khamassi, Benoît Girard 0001, Agnès Guillot, Ricardo Chavarriaga |
Analyzing Interactions between Navigation Strategies Using a Computational Model of Action Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatial Cognition ![In: Spatial Cognition VI. Learning, Reasoning, and Talking about Space, International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings, pp. 71-86, 2008, Springer, 978-3-540-87600-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Navigation strategies, Modelling, Robotics, Action selection |
23 | Darius Plikynas |
NN-Based Multiagent Platform for Testing Investing Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings, pp. 12-21, 2008, Springer, 978-3-540-85775-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Neural Networks, Multi-agent systems, Investing Strategies |
23 | Alvaro L. Barradas, Maria C. R. Medeiros |
An OMNeT++ model for the evaluation of OBS routing strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SimuTools ![In: Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems & Workshops, SimuTools 2008, Marseille, France, March 3-7, 2008, pp. 77, 2008, ICST/ACM, 978-963-9799-20-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
burst loss, path selection strategies, discrete event simulation, OBS, routing optimization |
23 | Romain Brette, Michelle Rudolph, Ted Carnevale, Michael L. Hines, David Beeman, James M. Bower, Markus Diesmann, Abigail Morrison, Philip H. Goodman, Frederick C. Harris Jr., Milind Zirpe, Thomas Natschläger, Dejan Pecevski, Bard Ermentrout, Mikael Djurfeldt, Anders Lansner, Olivier Rochel, Thierry Viéville, Eilif Mueller, Andrew P. Davison, Sami El Boustani, Alain Destexhe |
Simulation of networks of spiking neurons: A review of tools and strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 23(3), pp. 349-398, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Clock-driven, Event-driven, Spiking neural networks, Simulation tools, Integration strategies |
23 | Sergio Sayago, Josep Blat |
A preliminary usability evaluation of strategies for seeking online information with elderly people. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W4A ![In: Proceedings of the 2007 International Cross-Disciplinary Conference on Web Accessibility (W4A 2007), Banff, Canada, May 7-8, 2007, pp. 54-57, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
seeking online information strategies, usability, older people |
23 | Robert McCartney, Anna Eckerdal, Jan Erik Moström, Kate Sanders 0001, Carol Zander |
Successful students' strategies for getting unstuck. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2007, Dundee, Scotland, UK, June 25-27, 2007, pp. 156-160, 2007, ACM, 978-1-59593-610-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
stuck places, learning strategies, threshold concepts |
23 | Dirk V. Arnold, Alexander MacLeod |
Hierarchically organised evolution strategies on the parabolic ridge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2006, Proceedings, Seattle, Washington, USA, July 8-12, 2006, pp. 437-444, 2006, ACM, 1-59593-186-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
hierarchically organised evolution strategies, step length adaptation, ridge functions |
23 | S. Rajasekaran, V. Shalu Mohan, Osama Khamis |
The optimisation of space structures using evolution strategies with functional networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 20(1), pp. 75-87, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Formian, Formex, Functional network, Constraints, Optimisation, Evolution strategies |
23 | Robert W. P. Luk, Kui-Lam Kwok |
A comparison of Chinese document indexing strategies and retrieval models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Asian Lang. Inf. Process. ![In: ACM Trans. Asian Lang. Inf. Process. 1(3), pp. 225-268, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
indexing strategies, comparison, Chinese information retrieval |
23 | Joan Morris DiMicco, Amy Greenwald, Pattie Maes |
Dynamic pricing strategies under a finite time horizon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 3rd ACM Conference on Electronic Commerce (EC-2001), Tampa, Florida, USA, October 14-17, 2001, pp. 95-104, 2001, ACM, 1-58113-387-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
buyer behavior, electronic markets, dynamic pricing, pricing strategies, agent simulation |
23 | Mark K. De Wegner, Henry M. Franken |
A situational approach to design strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 6(3), pp. 181-194, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
>software design process, process models, design strategies, development methods |
23 | Cheng Yu |
A network-based train traffic simulation with changeable rescheduling strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1996 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '96), June 12-14, 1996, Beijing, China, pp. 214-220, 1996, IEEE Computer Society, 0-8186-7460-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
rail traffic, traffic engineering computing, train traffic simulation, rescheduling strategies, traffic rescheduling, simulation procedure, train traffic control, scheduling, parallel programming, discrete event simulation, traffic control, event-driven simulation, rescheduling |
23 | Jun Miura, Katsushi Ikeuchi |
Task-Oriented Generation of Visual Sensing Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 1106-1114, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
laser ranging, task-oriented generation, visual sensing strategies, vision-guided robotic operations, task-oriented evaluation, computer vision, robot vision, laser range finder |
23 | Teresa Hurley, Stephan Weibelzahl |
Using MotSaRT to Support On-Line Teachers in Student Motivation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-TEL ![In: Creating New Learning Experiences on a Global Scale, Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007, Proceedings, pp. 101-111, 2007, Springer, 978-3-540-75194-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
intervention strategies, on-line teachers, perceived task difficulty, recommender tool, motivation, on-line learning, self-efficacy, goal orientation, locus of control |
23 | Amir H. Chinaei, Huaxin Zhang |
Hybrid Authorizations and Conflict Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secure Data Management ![In: Secure Data Management, Third VLDB Workshop, SDM 2006, Seoul, Korea, September 10-11, 2006, Proceedings, pp. 131-145, 2006, Springer, 978-3-540-38984-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Access Control, Conflict Resolution, Combined Strategies |
23 | Xu-Cheng Yin, Hong-Wei Hao, Yun-Feng Tang, Jun Sun 0004, Satoshi Naoi |
Rejection Strategies with Multiple Classifiers for Handwritten Character Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 10th International Conference on Document Analysis and Recognition, ICDAR 2009, Barcelona, Spain, 26-29 July 2009, pp. 1126-1130, 2009, IEEE Computer Society, 978-0-7695-3725-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Kai Cai, Jinzhong Niu, Simon Parsons |
Using Evolutionary Game-Theory to Analyse the Performance of Trading Strategies in a Continuous Double Auction Market. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adaptive Agents and Multi-Agents Systems ![In: Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers, pp. 44-59, 2007, Springer, 978-3-540-77947-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Anne Aula, Harri Siirtola |
Hundreds of Folders or One Ugly Pile - Strategies for Information Search and Re-access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERACT ![In: Human-Computer Interaction - INTERACT 2005, IFIP TC13 International Conference, Rome, Italy, September 12-16, 2005, Proceedings, pp. 954-957, 2005, Springer, 3-540-28943-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Michael A. Bender, Martin Farach-Colton, Simai He, Bradley C. Kuszmaul, Charles E. Leiserson |
Adversarial Analyses of Window Backoff Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Next Generation Software Program - NSFNGS - PI Workshop ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 45678 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|