|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 444 occurrences of 366 keywords
|
|
|
Results
Found 1061 publication records. Showing 1061 according to the selection in the facets
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 |
Displaying result #1 - #100 of 1061 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|