Search results for "tactics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
143	Fausto Giunchiglia, Paolo Traverso	Program Tactics and Logic Tactics.	LPAR	1994	DBLP DOI BibTeX RDF
87	Kamal Aboul-Hosn	A Proof-Theoretic Approach to Tactics.	MKM	2006	DBLP DOI BibTeX RDF
77	Eunsuk Kang, Mark D. Aagaard	Improving the Usability of HOL Through Controlled Automation Tactics.	TPHOLs	2007	DBLP DOI BibTeX RDF
71	Hector Ouilhet	Google Sky Map: using your phone as an interface.	Mobile HCI	2010	DBLP DOI BibTeX RDF
66	Phillipa Avery, Sushil J. Louis	Coevolving influence maps for spatial team tactics in a RTS game.	GECCO	2010	DBLP DOI BibTeX RDF	influence maps, real time strategy, co-evolution
66	Andrew McCreight	Practical Tactics for Separation Logic.	TPHOLs	2009	DBLP DOI BibTeX RDF
66	Qiuli Qin, Zhao Xi, Jingyan Chen	The Innovation of E-marketing Combination Tactics.	Human.Society@Internet	2001	DBLP DOI BibTeX RDF
61	Liming Zhu 0001, Mark Staples	Situational Method Quality.	Situational Method Engineering	2007	DBLP DOI BibTeX RDF
59	Stefan Zickler, Manuela M. Veloso	Efficient physics-based planning: sampling search via non-deterministic tactics and skills.	AAMAS (1)	2009	DBLP BibTeX RDF	kinodynamic, physics-based, robot, planning, control, behavioral, rigid body, tactics
59	Jan Richter, Ryszard Kowalczyk	Mixing behaviour-dependent and -independent tactics in multi-issue negotiation.	AAMAS (2)	2009	DBLP BibTeX RDF	negotiation, strategies, utility, mixing, tactics
56	Stefan Zickler, Manuela M. Veloso	Playing Creative Soccer: Randomized Behavioral Kinodynamic Planning of Robot Tactics.	RoboCup	2008	DBLP DOI BibTeX RDF
56	Iain H. McKenna, Stephen Little	Military concept development: developing tactics using low cost, accessible simulations.	WSC	2000	DBLP DOI BibTeX RDF
56	Philip J. Smith, Steven J. Shute, Deb Galdes, Mark H. Chignell	Knowledge-Based Search Tactics for an Intelligent Intermediary System.	ACM Trans. Inf. Syst.	1989	DBLP DOI BibTeX RDF
51	Huaqiang Wei, Deborah A. Frincke, Jim Alves-Foss, Terence Soule, Hugh Pforsich	A layered decision model for cost-effective network defense.	IRI	2005	DBLP DOI BibTeX RDF
51	Ruth C. King, Weidong Xia	Retaining IS talents in the new millennium: effects of socialization on IS professionals' role adjustment and organizational attachment.	SIGCPR	2001	DBLP DOI BibTeX RDF	and intention to quit, information systems human resources management, organizational socialization, role ambiguity, role conflict, job satisfaction, organizational commitment
49	Yuen-Hsien Tseng, Yi-Jen Wu	A study of search tactics for patentability search: a case study on patent engineers.	PaIR	2008	DBLP DOI BibTeX RDF	patentability search, search tactics, user study
49	Guangyu Zhu, Qingming Huang, Changsheng Xu, Yong Rui, Shuqiang Jiang, Wen Gao 0001, Hongxun Yao	Trajectory based event tactics analysis in broadcast sports video.	ACM Multimedia	2007	DBLP DOI BibTeX RDF	broadcast video, tactics analysis, trajectory analysis, object tracking, event detection
46	Boreum Choi, Kira Alexander, Robert E. Kraut, John M. Levine	Socialization tactics in wikipedia and their effects.	CSCW	2010	DBLP DOI BibTeX RDF	wikiproject, wikipedia, socialization
46	Patrícia Augustin Jaques, Matheus Lehmann, Sylvie Pesty	Evaluating the affective tactics of an emotional pedagogical agent.	SAC	2009	DBLP DOI BibTeX RDF	animated pedagogical agents, affective computing, affective user modeling
46	Jan Richter, Ryszard Kowalczyk	New Mechanisms for Mixing Time- and Behaviour-Dependent Tactics in Negotiation Strategies.	IAT	2008	DBLP DOI BibTeX RDF
46	Frédéric Besson	Fast Reflexive Arithmetic Tactics the Linear Case and Beyond.	TYPES	2006	DBLP DOI BibTeX RDF
46	Chongming Hou	Predicting Agents Tactics in Automated Negotiation.	IAT	2004	DBLP DOI BibTeX RDF
46	Marcel Oliveira, Manuela Xavier, Ana Cavalcanti 0001	Refine and Gabriel: Support for Refinement and Tactics.	SEFM	2004	DBLP DOI BibTeX RDF
46	Katherine A. Eastaughffe, Maris A. Ozols, Anthony Cant	Proof Tactics for a Theory of State Machines in a Graphical Environment.	CADE	1997	DBLP DOI BibTeX RDF
46	Harald Rueß	Reflection of Formal Tactics in a Deductive Reflection Framework.	CADE	1996	DBLP DOI BibTeX RDF
43	Thomas Thomsen	Lambda-Search in Game Trees - with Application to Go.	Computers and Games	2000	DBLP DOI BibTeX RDF	binary tree search, threat-sequences, null-moves, proof-number search, abstract game-knowledge, Go block tactics
41	Suntae Kim, Dae-Kyoo Kim, Lunjin Lu, Sooyong Park	A Tactic-Based Approach to Embodying Non-functional Requirements into Software Architectures.	EDOC	2008	DBLP DOI BibTeX RDF
41	Nathan Schurr, Janusz Marecki, Milind Tambe, Paul Scerri	Demonstration of DEFACTO: training tool for incident commanders.	AAMAS	2005	DBLP DOI BibTeX RDF
39	Syed Nasir Alsagoff	Real World Issues in Developing a Malaysian Forest Battlefield Environment for Small Unit Tactics Using 3D Graphics.	IVIC	2009	DBLP DOI BibTeX RDF	Move, Shoot, Army, Simulation, Communicate, Training, Image, 3D, Graphics, Sound, Terrain, Weather, Tactics
36	Johan Magnusson, Bo Oskarsson	Evasive Maneuvers and Guerilla Tactics: A Scandinavian Institutional Perspective on Chief Information Officer's Strategies for Legitimization.	HICSS	2008	DBLP DOI BibTeX RDF
36	Adrienne H. Andrew, Gaetano Borriello, James Fogarty	Toward a Systematic Understanding of Suggestion Tactics in Persuasive Technologies.	PERSUASIVE	2007	DBLP DOI BibTeX RDF	persuasive technologies, Mobile information systems, behavior modification
36	Ko-Hsin Liang, Kuei-Ming Wang	Using simulation and evolutionary algorithms to evaluate the design of mix strategies of decoy and jammers in anti-torpedo tactics.	WSC	2006	DBLP DOI BibTeX RDF
36	Fabio N. Akhras, Benedict du Boulay, Arthur C. Graesser, Susanne P. Lajoie, Rosemary Luckin, Natalie K. Person	Workshop on Modeling Human Teaching Tactics and Strategies.	Intelligent Tutoring Systems	2004	DBLP DOI BibTeX RDF
36	Emmanuel Letier, Axel van Lamsweerde	Agent-based tactics for goal-oriented requirements elaboration.	ICSE	2002	DBLP DOI BibTeX RDF
36	Yoichiro Kumada, Kazuhiro Ueda	Emergence of Cooperative Tactics by Soccer Agents with Ability of Prediction and Learning.	ECAL	2001	DBLP DOI BibTeX RDF
36	Benedict du Boulay	W1 - Modeling Human Teaching Tactics and Strategies.	Intelligent Tutoring Systems	2000	DBLP DOI BibTeX RDF
36	Koichi Takahashi, Masami Hagiya	Proving as Editing HOL Tactics.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Tactic-Based Theorem Prover, User interface, Higher Order Logic, Emacs
36	Iaakov Exman	Solving Sequential Games with Boltzmann-Learned Tactics.	PPSN	1990	DBLP DOI BibTeX RDF
33	Elaine G. Toms, Joan C. Bartlett	An approach to search for the digital library.	JCDL	2001	DBLP DOI BibTeX RDF	search tactics, digital libraries, searching, search interface
31	Genki Suzuki, Sho Takahashi, Takahiro Ogawa 0001, Miki Haseyama	Team Tactics Estimation in Soccer Videos Based on a Deep Extreme Learning Machine and Characteristics of the Tactics.	IEEE Access	2019	DBLP DOI BibTeX RDF
31	Felipe Osses, Gastón Márquez, Mónica M. Villegas, Cristian Orellana, Marcello Visconti, Hernán Astudillo	Security tactics selection poker (TaSPeR): a card game to select security tactics to satisfy security requirements.	ECSA (Companion)	2018	DBLP DOI BibTeX RDF
31	Diego Gatica, Gastón Marquez, Hernán Astudillo	Systematic Selection of Software Components through Architectural Tactics. Is a Relationship between Tactics and NFRs Possible?	CIbSE	2017	DBLP BibTeX RDF
31	Fausto Giunchiglia, Paolo Traverso	Program Tactics and Logic Tactics.	Ann. Math. Artif. Intell.	1996	DBLP DOI BibTeX RDF
31	Massimo Benerecetti, Luca Spalazzi	METAFOL: Program tactics and logic tactics plus reflection.	Future Gener. Comput. Syst.	1996	DBLP DOI BibTeX RDF
30	Robert G. Abbott	Behavioral Cloning for Simulator Validation.	RoboCup	2007	DBLP DOI BibTeX RDF
30	João Certo, Nuno Lau, Luís Paulo Reis	A Generic Strategic Layer For Collaborative Networks.	Virtual Enterprises and Collaborative Networks	2007	DBLP DOI BibTeX RDF
30	Jason Hickey, Aleksey Nogin	Extensible Hierarchical Tactic Construction in a Logical Framework.	TPHOLs	2004	DBLP DOI BibTeX RDF
30	Liming Zhu 0001, Muhammad Ali Babar 0001, D. Ross Jeffery	Mining Patterns to Support Software Architecture Evaluation.	WICSA	2004	DBLP DOI BibTeX RDF
30	Heather Pon-Barry, Brady Clark, Karl Schultz, Elizabeth Owen Bratt, Stanley Peters	Advantages of Spoken Language Interaction in Dialogue-Based Intelligent Tutoring Systems.	Intelligent Tutoring Systems	2004	DBLP DOI BibTeX RDF
30	Jim Little 0003	Change Your Organization (For Peons).	Agile Development Conference	2003	DBLP DOI BibTeX RDF
30	Miquel Bertran, Francesc-Xavier Babot, August Climent, Miquel Nicolau	Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs.	SAS	2001	DBLP DOI BibTeX RDF
26	Lu Liu 0001, Nick Antonopoulos, Stephen Mackin	Managing peer-to-peer networks with human tactics in social interactions.	J. Supercomput.	2008	DBLP DOI BibTeX RDF	Simulations, Performance evaluations, Peer-to-peer, Social interactions, Small world
26	Haiwei Jin	An Approach of Multi-Tactics in Programming Language Education.	ICYCS	2008	DBLP DOI BibTeX RDF
26	Jari Vanhanen, Casper Lassenius, Mika Mäntylä	Issues and Tactics when Adopting Pair Programming: A Longitudinal Case Study.	ICSEA	2007	DBLP DOI BibTeX RDF
26	Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis	Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees.	SAFECOMP	2007	DBLP DOI BibTeX RDF	intrusion attacks, e-commerce protocols, model checking, SPIN
26	Steven Alter	Goals and Tactics on the Dark Side of Knowledge Management.	HICSS	2006	DBLP DOI BibTeX RDF
26	Louise Barkhuus, Matthew Chalmers, Paul Tennent, Malcolm Hall, Marek Bell, Scott Sherwood, Barry A. T. Brown	Picking Pockets on the Lawn: The Development of Tactics and Strategies in a Mobile Game.	UbiComp	2005	DBLP DOI BibTeX RDF
26	Jeongjun Lee, Dongmin Ji, Wonchang Lee, Geuntaek Kang, Moon G. Joo	A Tactics for Robot Soccer with Fuzzy Logic Mediator.	CIS (1)	2005	DBLP DOI BibTeX RDF
26	Weihang Wu, Tim Kelly	Safety Tactics for Software Architecture Design.	COMPSAC	2004	DBLP DOI BibTeX RDF
26	W. Lewis Johnson	Interaction tactics for socially intelligent pedagogical agents.	IUI	2003	DBLP DOI BibTeX RDF	interface agents, conversational interfaces
26	Phillip Martin	New approaches to combat simulation: the rapid modelling system: a component based approach to the simulation of tactics.	WSC	2001	DBLP DOI BibTeX RDF
26	V. William Porto, David B. Fogel, Lawrence J. Fogel	Generating novel tactics through evolutionary computation.	SIGART Bull.	1998	DBLP DOI BibTeX RDF
26	R. C. Sugden, M. R. Strens	Strategies, Tactics and Methods for Handling Change.	ECBS	1996	DBLP DOI BibTeX RDF	Changing requirements, assessment criteria, requirements and design methods, change management
23	Frank Buschmann	Learning from Failure, Part III: On Hammers and Nails, and Falling in Love with Technology and Design.	IEEE Softw.	2010	DBLP DOI BibTeX RDF	design tactics, design simplicity, architecture, software, design quality
23	Jungwoo Ryoo, Phillip A. Laplante, Rick Kazman	In Search of Architectural Patterns for Software Security.	Computer	2009	DBLP DOI BibTeX RDF	Security-relevant architectures, Architectural tactics, Security, Software architectures, Hierarchical clustering
23	Tuomo Kujala	Efficiency of visual time-sharing behavior: the effects of menu structure on POI search tasks while driving.	AutomotiveUI	2009	DBLP DOI BibTeX RDF	levels of control, menu structures, visual load, strategies, workload, displays, time-sharing, visual interaction, driving performance, driver distraction, tactics
23	Fernando Ramos, Huberto Ayanegui	Discovering Behavior Patterns in Muti-agent Teams.	KES-AMSTA	2008	DBLP DOI BibTeX RDF	Soccer-agents, behavior pattern recognition, tactics
23	Dustin White	Clarifications and extensions to tactical waypoint graph algorithms for video games.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF	ambush points, group tactics, incomplete graph, pinch points, waypoint graph, video game, pathfinding
23	Alf Inge Wang, Carl-Fredrik Sørensen	Writing as a Tool for Learning Software Engineering.	CSEE&T	2006	DBLP DOI BibTeX RDF	writing to learn and software architecture tactics, Software architecture, software engineering education
23	Caroline M. Eastman	30, 000 Hits may be Better than 300: Precision Anomalies in Internet Searches (poster abstract).	SIGIR	1999	DBLP DOI BibTeX RDF	search tactics, Internet, evaluation, Web, search engine, Web View
23	Goa Ji	Representing Inference Control by Hypothesis-Based Association.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	planning level, performing level, inference tactics, representation system hypothesis-based associative representation, HAR, functional architecture, hypothesis-based associative networks, block-world action planning, least commitment strategy, knowledge representation, knowledge-based systems, knowledge based systems, inference mechanisms, inference control, AI techniques, problem solving strategies
23	Douglas J. Howe	Computational Metatheory in Nuprl.	CADE	1988	DBLP DOI BibTeX RDF	formal metamathematics, reflection, Theorem proving, type theory, constructive mathematics, tactics
23	David A. Basin	An Environment For Automated Reasoning About Partial Functions.	CADE	1988	DBLP DOI BibTeX RDF	Automated program development, unsolvability, theorem proving, computability, type theory, constructivity, tactics, partial functions
20	Michael Rushforth, Sudeep Gandhe, Ron Artstein, Antonio Roque, Sarrah Ali, Nicolle Whitman, David R. Traum	Varying Personality in Spoken Dialogue with a Virtual Human.	IVA	2009	DBLP DOI BibTeX RDF
20	YongLiang Xu, Malcolm Yoke Hean Low, Chwee Seng Choo	Enhancing automated red teaming with evolvable simulation.	GEC Summit	2009	DBLP DOI BibTeX RDF	automated red teaming, evolvable simulation, particle swarm optimization, experimentation, agent-based simulation, operations research, simulation and modelling
20	W. Scott Neal Reilly, Karen A. Harper, Stephen Marotta	Modeling concurrent, interacting behavior moderators for simulation-based acquisition tasks.	SpringSim (3)	2007	DBLP BibTeX RDF	IWARS, behavior moderators, human behavior modeling, individual differences, emotion modeling
20	Daniel Moura, Eugénio Oliveira	Fighting fire with agents: an agent coordination model for simulated firefighting.	SpringSim (2)	2007	DBLP BibTeX RDF	multi-agent systems, coordination, teamwork, firefighting
20	Thomas Wagner 0005, Tjorben Bogon, Carsten Elfers	Incremental Generation of Abductive Explanations for Tactical Behavior.	RoboCup	2007	DBLP DOI BibTeX RDF
20	Georgios Kontes, Michail G. Lagoudakis	Coordinated Team Play in the Four-Legged RoboCup League.	ICTAI (1)	2007	DBLP DOI BibTeX RDF
20	Koen V. Hindriks, Catholijn M. Jonker, Dmytro Tykhonov	Analysis of Negotiation Dynamics.	CIA	2007	DBLP DOI BibTeX RDF
20	Raquel Ros, Carles Sierra	A Negotiation Meta Strategy Combining Trade-off and Concession Moves.	Auton. Agents Multi Agent Syst.	2006	DBLP DOI BibTeX RDF	Negotiation
20	Pieter Spronck, Marc J. V. Ponsen, Ida G. Sprinkhuizen-Kuyper, Eric O. Postma	Adaptive game AI with dynamic scripting.	Mach. Learn.	2006	DBLP DOI BibTeX RDF	Dynamic scripting, Reinforcement learning, Computer game
20	Kosuke Akune, Kenji Mase, Yasushi Hirano, Shoji Kajita	Discussion Support System for Video-oriented Sports Meetings.	ICICIC (2)	2006	DBLP DOI BibTeX RDF
20	Américo Nobre G. F. Amorim, Jairo S. Dornelas	P2P Users: Important dimensions for changing to legal online music stores.	I3E	2006	DBLP DOI BibTeX RDF
20	Henry Detmold, Katrina Falkner, David S. Munro, Travis Olds, Alicia Zakarevicius	Evolving System Services to Meet Application Requirements.	HICSS	2006	DBLP DOI BibTeX RDF
20	Joshua Sinai	Combating Terrorism Insurgency Resolution Software: A Research Note.	ISI	2006	DBLP DOI BibTeX RDF
20	Kevin Curran, Colman Morrissey, Colm Fagan, Colm Murphy, Brian O'Donnell, Gerry Fitzpatrick, Stephen Condit	Monitoring hacker activity with a Honeynet.	Int. J. Netw. Manag.	2005	DBLP DOI BibTeX RDF
20	Romain Laborde, François Barrère, Abdelmalek Benzekri	A formal framework (Expression + Analysis) for network security.	NCA	2005	DBLP DOI BibTeX RDF
20	Sascha Kriewel, Claus-Peter Klas, Sven Frankmölle, Norbert Fuhr	A Framework for Supporting Common Search Strategies in DAFFODIL.	ECDL	2005	DBLP DOI BibTeX RDF
20	Tira Cohene, Steve M. Easterbrook	Contextual Risk Analysis for Interview Design.	RE	2005	DBLP DOI BibTeX RDF
20	An Shi, Jian Wang, Zebin Zhao, He Lin	Venture firms value analysis: a control rights allocation model.	ICEBE	2005	DBLP DOI BibTeX RDF
20	Romain Laborde, François Barrère, Abdelmalek Benzekri	A Security Management Information Model Derivation Framework: From Goals to Configurations.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
20	Raquel Ros, Carles Sierra	Experimental analysis of negotiation meta strategies.	AAMAS	2005	DBLP DOI BibTeX RDF	multi agent systems, automated negotiation, negotiation strategies
20	Ian Stuart, Sung-Hyuk Cha, Charles C. Tappert	A Neural Network Classifier for Junk E-Mail.	Document Analysis Systems	2004	DBLP DOI BibTeX RDF
20	Luís Cruz-Filipe, Freek Wiedijk	Hierarchical Reflection.	TPHOLs	2004	DBLP DOI BibTeX RDF
20	Ana Iglesias, Paloma Martínez, Ricardo Aler, Fernando Fernández 0001	Learning Content Sequencing in an Educational Environment According to Student Needs.	ALT	2004	DBLP DOI BibTeX RDF
20	Mario J. Enriquez, Karon E. MacLean	Impact of Haptic Warning Signal Reliability in a Time-and-Safety-Critical Task.	HAPTICS	2004	DBLP DOI BibTeX RDF	Haptic force feedback, warning signal, participant instructions, experiment design, false positive, driving performance, false negative
20	Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001	ArcAngel: a Tactic Language for Refinement.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	ensp, Formal methods, Refinement calculus, Program development
20	David Hemer, Ian J. Hayes, Paul A. Strooper	Refinement Calculus for Logic Programming in Isabelle/HOL.	TPHOLs	2001	DBLP DOI BibTeX RDF
20	John E. Laird	It knows what you're going to do: adding anticipation to a Quakebot.	Agents	2001	DBLP DOI BibTeX RDF	computer games, anticipation, soar, quake