Search results for "Strategies"

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.	IEEE Trans. Software Eng.	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.	SEAL	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.	STRATEGIES@IJCAR	2006	DBLP DOI BibTeX RDF
46	Sayan Mitra, Myla Archer	PVS Strategies for Proving Abstraction Properties of Automata.	STRATEGIES@IJCAR	2004	DBLP DOI BibTeX RDF
46	Tatjana Lutovac, James Harland	Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics.	STRATEGIES@IJCAR	2004	DBLP DOI BibTeX RDF
46	Richard B. Kieburtz	A Logic for Rewriting Strategies.	STRATEGIES@IJCAR	2001	DBLP DOI BibTeX RDF
46	Maria Paola Bonacina, Bernhard Gramlich	Preface: STRATEGIES 2001.	STRATEGIES@IJCAR	2001	DBLP DOI BibTeX RDF
46	Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner	Termination of Rewriting with Local Strategies.	STRATEGIES@IJCAR	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.	HICSS (3)	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.	Insider Threats: Strategies for Prevention, Mitigation, and Response	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.	Insider Threats: Strategies for Prevention, Mitigation, and Response	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	STRATEGIES@IJCAR	2007	DBLP BibTeX RDF
40	Maria Paola Bonacina, Mnacho Echenim	Rewrite-Based Decision Procedures.	STRATEGIES@IJCAR	2006	DBLP DOI BibTeX RDF
40	Myla Archer, Thierry Boy de la Tour, César A. Muñoz	Preface.	STRATEGIES@IJCAR	2006	DBLP DOI BibTeX RDF
40	Hongping Lim, Myla Archer	Translation Templates to Support Strategy Development in PVS.	STRATEGIES@IJCAR	2006	DBLP DOI BibTeX RDF
40	Florent Kirchner, César A. Muñoz	PVS#: Streamlined Tacticals for PVS.	STRATEGIES@IJCAR	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	STRATEGIES@IJCAR	2005	DBLP BibTeX RDF
40	Thierry Boy de la Tour, Prakash Countcham	An Isomorph-Free SEM-Like Enumeration of Models.	STRATEGIES@IJCAR	2004	DBLP DOI BibTeX RDF
40	Aaron Stump, Carsten Schürmann	Logical Semantics for the Rewriting Calculus.	STRATEGIES@IJCAR	2004	DBLP DOI BibTeX RDF
40	Bernhard Gramlich	Strategic Issues, Problems and Challenges in Inductive Theorem Proving.	STRATEGIES@IJCAR	2004	DBLP DOI BibTeX RDF
40	Maria Paola Bonacina, Thierry Boy de la Tour	Preface.	STRATEGIES@IJCAR	2004	DBLP DOI BibTeX RDF
40	Andreas Meier 0002, Erica Melis	Failure Reasoning in Multiple-Strategy Proof Planning.	STRATEGIES@IJCAR	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	STRATEGIES@IJCAR	2001	DBLP BibTeX RDF
40	Serge Autexier	A Proof-Planning Framework with Explicit Abstractions Based on Indexed Formulas.	STRATEGIES@IJCAR	2001	DBLP DOI BibTeX RDF
40	Axel Schairer, Serge Autexier, Dieter Hutter	A Pragmatic Approach to Reuse in Tactical Theorem Proving.	STRATEGIES@IJCAR	2001	DBLP DOI BibTeX RDF
40	Wolfgang Goerigk	Mechanical Software Verification: High Level Control Aspects from a User's Perspective.	STRATEGIES@IJCAR	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.	HICSS (2)	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.	Data Base	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	Insider Threats: Strategies for Prevention, Mitigation, and Response	2010	DBLP BibTeX RDF
34	Jose B. Cruz Jr., Ashkan Kian	Nash Strategies for Load Serving Entities in Dynamic Energy Multi-markets.	HICSS	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.	IEEE Trans. Parallel Distributed Syst.	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.	IS-EUD	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.	ITiCSE	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.	SIGMETRICS	1985	DBLP DOI BibTeX RDF
31	Alfred Bashllari, Dritan Nace	A Study on Two New Protection Strategies.	IPOM	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.	GECCO	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.	ICHL	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.	Empir. Softw. Eng.	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.	CCS	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.	IEEE J. Sel. Areas Commun.	2004	DBLP DOI BibTeX RDF
29	Ioannis V. Papaioannou, Ioanna Roussaki, Miltiades E. Anagnostou	Detecting Unsuccessful Automated Negotiation Threads When Opponents Employ Hybrid Strategies.	ICIC (2)	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.	GECCO	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.	PPDP	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.	IEEE Trans. Mob. Comput.	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.	GECCO	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.	Soft Comput.	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.	EDOC	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.	ACM Trans. Inf. Syst. Secur.	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.	SIGCPR	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.	Soft Comput.	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.	ACM Trans. Asian Lang. Inf. Process.	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.	HIS	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.	HICSS (3)	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.	ITiCSE	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.	COMPSAC	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.	CHI	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.	ACM Trans. Model. Comput. Simul.	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.	REFSQ	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.	CHI	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.	ARM	2008	DBLP DOI BibTeX RDF	adaptivity, services, strategies
26	Grace K. Kim	Early research strategies in context: adobe photoshop lightroom.	CHI Extended Abstracts	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.	PST	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.	QofIS	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.	ICDE	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.	Annual Simulation Symposium	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.	IEEE Trans. Software Eng.	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.	GECCO	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.	APWeb/WAIM Workshops	2007	DBLP DOI BibTeX RDF
25	Nelis Franken, Andries P. Engelbrecht	Particle swarm optimization approaches to coevolve strategies for the iterated prisoner's dilemma.	IEEE Trans. Evol. Comput.	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.	ACM Trans. Embed. Comput. Syst.	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.	CCS	2001	DBLP DOI BibTeX RDF
25	Franz Rothlauf, Daniel Schunk, Jella Pfeiffer	Classification of human decision behavior: finding modular decision rules with genetic algorithms.	GECCO	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.	EUROMICRO	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.	ICEC	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.	Asian Test Symposium	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.	SIGCSE	2010	DBLP DOI BibTeX RDF	functional programming, haskell, strategies, automatic assessment
23	Dipti Srinivasan, Dakun Woo	Evolving cooperative bidding strategies in a power market.	Appl. Intell.	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.	BCS HCI (2)	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.	ENTER	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.	WINTECH	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.	SIGCSE	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.	Spatial Cognition	2008	DBLP DOI BibTeX RDF	Navigation strategies, Modelling, Robotics, Action selection
23	Darius Plikynas	NN-Based Multiagent Platform for Testing Investing Strategies.	AIMSA	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.	SimuTools	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.	J. Comput. Neurosci.	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.	W4A	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.	ITiCSE	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.	GECCO	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.	Eng. Comput.	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.	ACM Trans. Asian Lang. Inf. Process.	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.	EC	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.	Softw. Qual. J.	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.	ISPAN	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.	ICCV	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.	EC-TEL	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.	Secure Data Management	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.	ICDAR	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.	Adaptive Agents and Multi-Agents Systems	2007	DBLP DOI BibTeX RDF
23	Anne Aula, Harri Siirtola	Hundreds of Folders or One Ugly Pile - Strategies for Information Search and Re-access.	INTERACT	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.	IPDPS Next Generation Software Program - NSFNGS - PI Workshop	2004	DBLP DOI BibTeX RDF