The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for tactics with no syntactic query expansion in all metadata.

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