Search results for "actions"

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