|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9125 occurrences of 4100 keywords
|
|
|
Results
Found 12713 publication records. Showing 12713 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Robert Willison |
Understanding the Offender/Environment Dynamic for Computer Crimes: Assessing the Feasibility of Applying Criminological Theory to the IS Security Context. |
HICSS |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Alfredo Milani, Valentina Poggioni |
Action Reasoning with Uncertain Resources. |
ICCSA (4) |
2004 |
DBLP DOI BibTeX RDF |
Artificial Intelligence, Planning, Fuzzy Sets, Problem Solving |
11 | Se-Jin Ji, Byung-Joo Kim, Jong-Hee Park |
An Agent-Architecture for Implementing a Virtual Inhabitant. |
MMM |
2004 |
DBLP DOI BibTeX RDF |
|
11 | David C. Han, K. Suzanne Barber |
Desire-Space Analysis and Action Selection for Multiple Dynamic Goals. |
CLIMA |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Georgios Nikolakis, George Fergadis, Dimitrios Tzovaras, Michael G. Strintzis |
A Mixed Reality Learning Environment for Geometry Education. |
SETN |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa |
A Logical Model for Commitment and Argument Network for Agent Communication. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Kyungeun Cho, Hyungje Cho, Kyhyun Um |
Human Action Recognition by Inference of Stochastic Regular Grammars. |
SSPR/SPR |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Jun Zhou 0001, Walter F. Bischof, Terry Caelli |
Understanding Human-Computer Interactions in Map Revision. |
SSPR/SPR |
2004 |
DBLP DOI BibTeX RDF |
|
11 | John R. Graham, Keith Decker, Michael Mersic |
DECAF - A Flexible Multi Agent System Architecture. |
Auton. Agents Multi Agent Syst. |
2003 |
DBLP DOI BibTeX RDF |
DECAF, TÆMS, RETSINA, agent toolkits, multi-agent systems, infrastructure, agent architectures |
11 | Pierre E. Bonzon |
Conscious Behavior through Reflexive Dialogs. |
KI |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Roman van der Krogt, Mathijs de Weerdt, Cees Witteveen |
A Resource Based Framework for Planning and Replanning. |
IAT |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Guy W. Mineau |
Representing and Enforcing Interaction Protocols in Multi-Agent Systems: an Approach Based on Conceptual Graphs. |
IAT |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Bharaneedharan Rathnasabapathy, Piotr J. Gmytrasiewicz |
Formalizing Multi-Agent POMDP's in the context of network routing. |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Dirk Ourston, Sara Matzner, William Stump, Bryan Hopkins |
Applications of Hidden Markov Models to Detecting Multi-Stage Network Attacks. |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
Coordinated Internet attacks, rare data, multi-stage network intrusions, partial data, Hidden Markov Models, noise |
11 | David Lie, John C. Mitchell, Chandramohan A. Thekkath, Mark Horowitz |
Specifying and Verifying Hardware for Tamper-Resistant Software. |
S&P |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Keith Chan, Annie Chen, Zhi Cong Leo Liang, Amir Michail, Minh Hoai Nguyen, Nicholas Seow |
DRT: A Tool for Design Recovery of Interactive Graphical Applications. |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Keith Chan, Zhi Cong Leo Liang, Amir Michail |
Design Recovery of Interactive Graphical Applications. |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
11 | José Martín Molina Espinosa, Jean Fanchon, Khalil Drira |
A Logical Model for Coordination Rule Classes in Collaborative Sessions. |
WETICE |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Boris A. Galitsky, Rajesh Mysore Pampapathi |
Deductive and Inductive Reasoning for Processing the Claims of Unsatisfied Customers. |
IEA/AIE |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Laura Giordano 0001, Alberto Martelli, Camilla Schwind |
Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. |
AI*IA |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Salem Benferhat, Fabien Autrel, Frédéric Cuppens |
Enhanced Correlation in an Intrusion Detection Process. |
MMM-ACNS |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Haksun Li, Edmund H. Durfee, Kang G. Shin |
Multiagent planning for agents with internal execution resource constraints. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
coordination infrastructures, coordination of multiple agents/activities, planning for agents, action selection |
11 | Mark O. Riedl, C. J. Saretto, Robert Michael Young |
Managing interaction between users and agents in a multi-agent storytelling environment. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
planning, computer games, interactive narrative, embodied agents |
11 | David R. Traum, Jeff Rickel, Jonathan Gratch, Stacy Marsella |
Negotiation over tasks in hybrid human-agent teams for simulation-based training. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
negotiation, conversational agents, animated agents |
11 | Robert Headon, Rupert Curwen |
Movement Awareness for Ubiquitous Game Control. |
Pers. Ubiquitous Comput. |
2002 |
DBLP DOI BibTeX RDF |
Ground reaction force, Movement awareness, Ubiquitous games, Sentient computing, Floor sensor |
11 | Roy A. Ruddle, Justin C. D. Savage, Dylan M. Jones |
Symmetric and asymmetric action integration during cooperative object manipulation in virtual environments. |
ACM Trans. Comput. Hum. Interact. |
2002 |
DBLP DOI BibTeX RDF |
piano movers' problem, rules of interaction, Virtual environments, object manipulation |
11 | Mohamed G. Gouda |
Multiphase Stabilization. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
multiphase recovery, periodic reset, spanning tree construction, convergence, self-stabilization, Computing system |
11 | John Pikoulas, William J. Buchanan, Mike Mannion, Kostas Triantafyllopoulos |
An Intelligent Agent Security Intrusion System. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
|
11 | David Franklin, Jay Budzik, Kristian J. Hammond |
Plan-based interfaces: keeping track of user tasks and acting to cooperate. |
IUI |
2002 |
DBLP DOI BibTeX RDF |
plan-based intelligent user interfaces, representation of activity, task recognition, perceptual user interfaces |
11 | Balachander Krishnamurthy, Craig E. Wills |
Improving web performance by client characterization driven server adaptation. |
WWW |
2002 |
DBLP DOI BibTeX RDF |
client characterization, client connectivity, server adaptation |
11 | Hisashi Miyamori |
Improving Accuracy in Behaviour Identification for Content-Based Retrieval by Using Audio and Video Information. |
ICPR (2) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Kee-Eung Kim, Thomas L. Dean |
Solving Factored MDPs with Large Action Space Using Algebraic Decision Diagrams. |
PRICAI |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Hisashi Hayashi, Kenta Cho 0001, Akihiko Ohsuga |
Logic Programming for Agents. |
PRICAI |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Jens Meyer, Robert Adolph, Daniel Stephan, Andreas Daniel, Matthias Seekamp, Volker Weinert, Ubbo Visser |
Decision-Making and Tactical Behavior with Potential Fields. |
RoboCup |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Dimitrios S. Nikolopoulos, Constantine D. Polychronopoulos |
Adaptive Scheduling under Memory Pressure on Multiprogrammed SMPs. |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Jason Baker, Wilson C. Hsieh |
Maya: Multiple-Dispatch Syntax Extension in Java. |
PLDI |
2002 |
DBLP DOI BibTeX RDF |
Java, generative programming, macros, metaprogramming |
11 | Birgit Möller 0001, Stefan Posch |
Analysis of Object Interactions in Dynamic Scenes. |
DAGM-Symposium |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Minh Anh Thi Ho, Yoji Yamada, Yoji Umetani |
An HMM-based Temporal Difference Learning with Model-Updating Capability for Visual Tracking of Human Communicational Behaviors. |
FGR |
2002 |
DBLP DOI BibTeX RDF |
intended gestures, Model-update capability, Hidden Markov Models, Reinforcement Learning, Visual tracking |
11 | Xiaolin Feng, Pietro Perona |
Human Action Recognition By Sequence of Movelet Codewords. |
3DPVT |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Meirav Hadad, Sarit Kraus |
Exchanging and Combining Temporal Information in a Cooperative Environment. |
CIA |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Riccardo Focardi, Carla Piazza, Sabina Rossi |
Proofs Methods for Bisimulation Based Information Flow Security. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Norman I. Badler, Jan M. Allbeck, Liwei Zhao, Meeran Byun |
Representing and Parameterizing Agent Behaviors. |
CA |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Thomas Toth, Christopher Krügel |
Evaluating the Impact of Automated Intrusion Response Mechanisms. |
ACSAC |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Martin Stolle, Doina Precup |
Learning Options in Reinforcement Learning. |
SARA |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Marc Cavazza, Fred Charles, Steven J. Mead |
Interacting with virtual characters in interactive storytelling. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
planning, computer games, interactive storytelling, synthetic characters, speech understanding |
11 | Carlos H. C. Ribeiro, Renê Pegoraro, Anna Helena Reali Costa |
Experience generalization for concurrent reinforcement learners: the minimax-QS algorithm. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
Markov games, Minimax-Q, experience generalization, reinforcement learning, robot soccer |
11 | Pinar Yolum, Munindar P. Singh |
Flexible protocol specification and execution: applying event calculus planning using commitments. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
commitments, agent communication languages and protocols, methodologies and tools |
11 | Raymond Reiter |
On knowledge-based programming with sensing in the situation calculus. |
ACM Trans. Comput. Log. |
2001 |
DBLP DOI BibTeX RDF |
dynamic closed-world assumption, sensing and knowledge, situation calculus programming languages, theorem-proving, situation calculus |
11 | Arend Rensink, Heike Wehrheim |
Process algebra with action dependencies. |
Acta Informatica |
2001 |
DBLP DOI BibTeX RDF |
|
11 | John Pikoulas, William J. Buchanan, Mike Mannion, Kostas Triantafyllopoulos |
An Agent-Based Bayesian Forecasting Model for Enhanced Network Security. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Mario Bravetti, Alessandro Aldini |
Expressing Processes with Different Action Durations through Probabilities. |
PAPM-PROBMIV |
2001 |
DBLP DOI BibTeX RDF |
|
11 | 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 |
11 | Glenn S. Wasson, James P. Gunderson, Sean Graves, Robin A. Felder |
An assistive robotic agent for pedestrian mobility. |
Agents |
2001 |
DBLP DOI BibTeX RDF |
smart walker, robotics, assistive technology, control systems |
11 | Gerald Lüttgen, Walter Vogler |
A Faster-than Relation for Asynchronous Processes. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
11 | James Bailey 0001, Alexandra Poulovassilis, Simon Courtenage |
Optimising Active Database Rules by Partial Evaluation and Abstract Interpretation. |
DBPL |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Pinar Yolum, Munindar P. Singh |
Commitment Machines. |
ATAL |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Jon Hindmarsh, Mike Fraser 0001, Christian Heath, Steve Benford, Chris Greenhalgh |
Object-focused interaction in collaborative virtual environments. |
ACM Trans. Comput. Hum. Interact. |
2000 |
DBLP DOI BibTeX RDF |
virtual reality, CSCW, user interface design, social interaction, objects, embodiment, shared spaces |
11 | Xiaoqin Zhang 0001, Anita Raja, Barbara Staudt Lerner, Victor R. Lesser, Leon J. Osterweil, Thomas Wagner 0001 |
Integrating High-Level and Detailed Agent Coordination into a Layered Architecture. |
Agents Workshop on Infrastructure for Multi-Agent Systems |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Anant Madabhushi, J. K. Aggarwal |
Using Head Movement to Recognize Activity. |
ICPR |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Gabriela P. Henning |
Knowledge-Based Interactive Scheduling of Multiproduct Batch Plants. |
IBERAMIA-SBIA |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Marc S. Atkin, David L. Westbrook, Paul R. Cohen |
HAC: A Unified View of Reactive and Deliberative Activity. |
Balancing Reactivity and Social Deliberation in Multi-Agent Systems |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Carlo Ferrari, Francesco Garelli, Enrico Pagello |
PaSo-Team 2000. |
RoboCup |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Elisa Bertino, Piero A. Bonatti, Elena Ferrari |
TRBAC: a temporal role-based access control model. |
ACM Workshop on Role-Based Access Control |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Hisashi Miyamori, Shun-ichi Iisaku |
Video Annotation for Content-based Retrieval using Human Behavior Analysis and Domain Knowledge. |
FG |
2000 |
DBLP DOI BibTeX RDF |
database, indexing, annotation, video, behavior analysis, content retrieval |
11 | Predrag Knezevic, Bozidar Radunovic, Nenad V. Nikolic, Tijana Jovanovic, Dusan Milanov, Miroslav Nikolic, Veljko M. Milutinovic, Steve Casselman, John Schewel |
The Architecture of the Obelix - An Improved Internet Search Engine. |
HICSS |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Patrick Riley 0001, Peter Stone, Manuela M. Veloso |
Layered Disclosure: Revealing Agents' Internals. |
ATAL |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Fiora Pirri, Raymond Reiter |
Some Contributions to the Metatheory of the Situation Calculus. |
J. ACM |
1999 |
DBLP DOI BibTeX RDF |
programming languages for the situation calculus, theorem-proving, regression, situation calculus |
11 | Paolo Terenziani, Paolo Raviola, Oscar Bruschi, Mauro Torchio, Marina Marzuoli, Gianpaolo Molino |
Representing Knowledge Levels in Clinical Guidelines. |
AIMDM |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Claudio S. Pinhanez, Aaron F. Bobick |
Using Computer Vision to Control a Reactive Computer Graphics Character in a Theater Play. |
ICVS |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Norihiro Ogata |
Formal Semantics of Acknowledgements, Agreements and Disagreements. |
PRIMA |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Douglas M. Sycamore, James S. Collofello |
Using System Dynamics Modeling to Manage Projects. |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
Project Tracking, Simulation, Software Engineering, Prototype, Software Development, Project Management, Tool, Process, System Dynamics, Project Planning, Incremental Development |
11 | Ian H. Witten, Zane Bray, Malika Mahoui, W. J. Teahan |
Text Mining: A New Frontier for Lossless Compression. |
Data Compression Conference |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Mike Fraser 0001, Steve Benford, Jon Hindmarsh, Christian Heath |
Supporting Awareness and Interaction Through Collaborative Virtual Interfaces. |
ACM Symposium on User Interface Software and Technology |
1999 |
DBLP DOI BibTeX RDF |
action representation, peripheral lenses, user presentation, collaborative virtual environments |
11 | Richard Kelsey, William D. Clinger, Jonathan Rees |
Revised5 Report on the Algorithmic Language Scheme. |
ACM SIGPLAN Notices |
1998 |
DBLP DOI BibTeX RDF |
SCHEME |
11 | Teo Lian Seng, Marzuki Khalid, Rubiyah Yusof, Sigeru Omatu 0001 |
Adaptive Neuro-fuzzy Control System by RBF and GRNN Neural Networks. |
J. Intell. Robotic Syst. |
1998 |
DBLP DOI BibTeX RDF |
adaptive control system, generalized predictive control, general regression neural network, neuro-fuzzy controller |
11 | Hiroshi Kawakami, Osamu Katai, Tadataka Konishi |
A Reinforcement Learning with Condition Reduced Fuzz Rules. |
SEAL |
1998 |
DBLP DOI BibTeX RDF |
reduced condition, interpolation, Q-learning, fuzzy rule |
11 | Kaoru Katayama, Osami Kagawa, Yasuhiro Kamiya, Hideki Tsushima, Takuya Yoshihiro, Yahiko Kambayashi |
Use of Action History Views for Indexing Continuous Media Objects. |
AMCP |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Benjamin Kuipers |
A Hierarchy of Qualitative Representations for Space. |
Spatial Cognition |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Jeffrey J. P. Tsai, Eric Y. T. Juan |
Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
11 | John-Jules Ch. Meyer, Patrick Doherty 0001 |
Preferential Action Semantics (Preliminary Report). |
ModelAge Workshop |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero |
TPAL: A Timed-Probabilistic Model for Concurrent Processes. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Pawel Jachowicz, Randy Goebel |
Describing Plan Recognition as Nonmonotonic Reasoning and Belief Revision. |
Australian Joint Conference on Artificial Intelligence |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Alassane Cissé, Souleymane Ndiaye, Josette Link-Pezet |
Process Oriented Cooperative Work: An Emergent Framework. |
ECBS |
1996 |
DBLP DOI BibTeX RDF |
CSCW, Process Modeling, Emergence, Cooperative Work, Situated Action, Autopoiesis |
11 | David N. Morley, Liz Sonenberg |
A Logic for Concurrent Events and Action Failure. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Marco Bernardo 0001, Roberto Gorrieri |
Extended Markovian Process Algebra. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Michael Kaiser, Volker Klingspor, José del R. Millán, Marco Accame, Frank Wallner, Rüdiger Dillmann |
Using Machine Learning Techniques in Real-World Mobile Robots. |
IEEE Expert |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Joost-Pieter Katoen |
Causal Behaviours and Nets. |
Application and Theory of Petri Nets |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Liesbeth M. Dusink, Jan van Katwijk |
Reuse Dimensions. |
SSR |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Patrick Doherty 0001, Witold Lukaszewicz |
Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change. |
ISMIS |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Peter D. Mosses |
On the Action Semantics of Concurrent Programming Languages. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
action notation, semantics, concurrency, synchronization, distributed processing, asynchrony, action semantics |
11 | Ed Brinksma, Bengt Jonsson 0001, Fredrik Orava |
Refining Interfaces of Communicating Systems. |
TAPSOFT, Vol.2 |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Paolo Bottoni, Marco Protti, Piero Mussio |
An APL Rule-Based System Architecture for Image Interpretation Strategies. |
APL |
1991 |
DBLP DOI BibTeX RDF |
APL |
11 | Jan Friso Groote |
A New Strategy for Proving omega-Completeness applied to Process Algebra. |
CONCUR |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Harvey J. Greenberg, R. M. Pengelly |
A Conceptual Basis for hte Role of the Micro-Computer in the Teaching/Learning of College Mathematics. |
ICCAL |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Deepak Kumar |
An Integrated Model of Acting and Inference. |
SNePS |
1989 |
DBLP DOI BibTeX RDF |
|
11 | E. Ravindran, S. L. Mehndiratta |
A Unified Framework for Characterising Logic Program Executions. |
KBCS |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Peter Wegner |
Granularity of modules in object-based concurrent systems. |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming |
1988 |
DBLP DOI BibTeX RDF |
|
11 | Bruce Martin |
Concurrent programming vs. concurrency control: shared events or shared data. |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming |
1988 |
DBLP DOI BibTeX RDF |
|
11 | David W. Cordes, Doris L. Carver |
Generating a requirements specifications knowledge-base. |
ACM Conference on Computer Science |
1988 |
DBLP DOI BibTeX RDF |
|
11 | Rudy Hirschheim |
Understanding the Office: A Social-Analytic Perspective. |
ACM Trans. Inf. Syst. |
1986 |
DBLP DOI BibTeX RDF |
|
|
|