Search results for "actions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Robert L. Stewart, Michael Kirley	Swarming with logic.	GECCO	2007	DBLP DOI BibTeX RDF	collective decision making, multi-agent systems, swarm intelligence, control systems, swarm robotics
11	Pier Luca Lanzi, Daniele Loiacono	Classifier systems that compute action mappings.	GECCO	2007	DBLP DOI BibTeX RDF	action mappings, XCS, LCS
11	Leticia Sánchez, Ricardo Imbert, Jaime Ramírez	Activity Plan Structure and Processing in Virtual Environments for Training Supported by Intelligent Tutoring Systems.	ICALT	2007	DBLP DOI BibTeX RDF
11	Duan-Yu Chen, Sheng-Wen Shih, Hong-Yuan Mark Liao	Human Action Recognition Using 2-D Spatio-Temporal Templates.	ICME	2007	DBLP DOI BibTeX RDF
11	Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ananth Grama	Building Verifiable Sensing Applications Through Temporal Logic Specification.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF
11	Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu	Refining Interface Alphabets for Compositional Verification.	TACAS	2007	DBLP DOI BibTeX RDF
11	Richard J. Wallace	Determining the Basis for Performance Variations in CSP Heuristics.	ICTAI (2)	2007	DBLP DOI BibTeX RDF
11	Alfonso Gerevini	Automated Planning in Temporal Domains: Some Recent Advances and Current Research Topics.	TIME	2007	DBLP DOI BibTeX RDF
11	Daan Wierstra, Jürgen Schmidhuber	Policy Gradient Critics.	ECML	2007	DBLP DOI BibTeX RDF
11	Corina Cîrstea, Mehrnoosh Sadrzadeh	Coalgebraic Epistemic Update Without Change of Model.	CALCO	2007	DBLP DOI BibTeX RDF
11	Karla Parussel, Lola Cañamero	Biasing Neural Networks Towards Exploration or Exploitation Using Neuromodulation.	ICANN (2)	2007	DBLP DOI BibTeX RDF
11	Jin Choi, Yong-il Cho, Taewoo Han, Hyun Seung Yang	A View-Based Real-Time Human Action Recognition System as an Interface for Human Computer Interaction.	VSMM	2007	DBLP DOI BibTeX RDF	view-based action recognition, adaptive background subtraction, HCI, motion history image
11	David Pizzi, Marc Cavazza, Jean-Luc Lugrin	Extending character-based storytelling with awareness and feelings.	AAMAS	2007	DBLP DOI BibTeX RDF	embodied and believable agents, cognitive models, interactive storytelling
11	Nicholas K. Jong, Peter Stone	Model-based function approximation in reinforcement learning.	AAMAS	2007	DBLP DOI BibTeX RDF	models, reinforcement learning, function approximation
11	Duc Quang Pham, James Harland	Temporal linear logic as a basis for flexible agent interactions.	AAMAS	2007	DBLP DOI BibTeX RDF	logic and formal models of agency and multi-agent systems, agent communication languages and protocols
11	Raphael M. Bahati, Michael A. Bauer 0001, Elvis M. Vieira	Policy-driven autonomic management of multi-component systems.	CASCON	2007	DBLP DOI BibTeX RDF
11	Patrick Riley 0001, Manuela M. Veloso	Coach planning with opponent models for distributed execution.	Auton. Agents Multi Agent Syst.	2006	DBLP DOI BibTeX RDF	Simulated robot soccer, Planning, Opponent modeling, Advice, Distributed execution
11	Mehmet A. Orgun, Liyin Xue	From Predefined Consistency to User-Centered Emergent Consistency in Real-Time Collaborative Editing Systems.	IEEE Trans. Syst. Man Cybern. Part A	2006	DBLP DOI BibTeX RDF
11	María Dolores Rodríguez-Moreno, Angelo Oddi, Daniel Borrajo, Amedeo Cesta	IPSS: A Hybrid Approach to Planning and Scheduling Integration.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	scheduling, Planning, constraint satisfaction problem, temporal reasoning
11	Vasu Parameswaran, Rama Chellappa	View Invariance for Human Action Recognition.	Int. J. Comput. Vis.	2006	DBLP DOI BibTeX RDF	2D invariance, invariance space trajectories, human action recognition
11	Martin Hall-May, Tim Kelly	Using Agent-Based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems.	SAFECOMP	2006	DBLP DOI BibTeX RDF
11	Adam Barth, John C. Mitchell	Managing Digital Rights using Linear Logic.	LICS	2006	DBLP DOI BibTeX RDF
11	Howard Goodell, Chih-Hung Chiang, Curran Kelleher, Alex Baumann, Georges G. Grinstein	Collecting and Harnessing Rich Session Histories.	IV	2006	DBLP DOI BibTeX RDF	User monitoring, session history visualization, session history, voice annotation
11	Luca Aceto, Taolue Chen, Wan J. Fokkink, Anna Ingólfsdóttir	On the Axiomatizability of Priority.	ICALP (2)	2006	DBLP DOI BibTeX RDF
11	Marco Vala, João Dias, Ana Paiva 0001	Mind the Body.	IVA	2006	DBLP DOI BibTeX RDF
11	Bernhard Jung 0001, Heni Ben Amor, Guido Heumer, Matthias Weber 0004	From motion capture to action capture: a review of imitation learning techniques and their application to VR-based character animation.	VRST	2006	DBLP DOI BibTeX RDF	action capture, virtual reality, motion capture, character animation, imitation learning
11	Elhadi M. Shakshuki, Abdul Wasey Matin	RL-Agent That Learns in Collaborative Virtual Environment.	ITNG	2006	DBLP DOI BibTeX RDF
11	Fadi Dornaika, Bogdan Raducanu	Recognizing Facial Expressions in Videos Using a Facial Action Analysis-Synthesis Scheme.	AVSS	2006	DBLP DOI BibTeX RDF
11	Raphael M. Bahati, Michael A. Bauer 0001, Elvis M. Vieira, O. K. Baek	Using Policies to Drive Autonomic Management.	WOWMOM	2006	DBLP DOI BibTeX RDF
11	Lena Mamykina, Elizabeth D. Mynatt, David R. Kaufman	Investigating health management practices of individuals with diabetes.	CHI	2006	DBLP DOI BibTeX RDF	monitoring, healthcare, elderly, home, qualitative studies, technology probes
11	Igor V. Kotenko, Mikhail Stepashkin	Attack Graph Based Evaluation of Network Security.	Communications and Multimedia Security	2006	DBLP DOI BibTeX RDF	Network security, Risk Assessment, Security Metrics, Vulnerability Assessment, Network attacks
11	Francisco Elizalde, Luis Enrique Sucar, Pablo deBuen	An Intelligent Assistant for Training of Power Plant Operators.	ICALT	2006	DBLP DOI BibTeX RDF
11	Kai-Florian Richter, Alexander Klippel	Before or After: Prepositions in Spatially Constrained Systems.	Spatial Cognition	2006	DBLP DOI BibTeX RDF
11	Christel Kemke	Natural Language Communication Between Human and Artificial Agents.	PRIMA	2006	DBLP DOI BibTeX RDF
11	Ryan F. Kelly, Adrian R. Pearce	Towards High-Level Programming for Distributed Problem Solving.	IAT	2006	DBLP DOI BibTeX RDF
11	Christel Kemke, Erin Walker	Planning with Action Abstraction and Plan Decomposition Hierarchies.	IAT	2006	DBLP DOI BibTeX RDF
11	Daniel Weinland, Rémi Ronfard, Edmond Boyer	Automatic Discovery of Action Taxonomies from Multiple Views.	CVPR (2)	2006	DBLP DOI BibTeX RDF
11	Ashok Veeraraghavan, Amit K. Roy-Chowdhury	The Function Space of an Activity.	CVPR (1)	2006	DBLP DOI BibTeX RDF
11	David C. Shepherd, Lori L. Pollock, K. Vijay-Shanker	Towards supporting on-demand virtual remodularization using program graphs.	AOSD	2006	DBLP DOI BibTeX RDF	reverse engineering, program analysis, feature location, remodularization
11	Shie Mannor, Nahum Shimkin	Online Learning with Variable Stage Duration.	COLT	2006	DBLP DOI BibTeX RDF
11	Jason Fleischer	Neural Correlates of Anticipation in Cerebellum, Basal Ganglia, and Hippocampus.	SAB ABiALS	2006	DBLP DOI BibTeX RDF
11	Amandeep S. Sidhu, Narendra S. Chaudhari, Ghee Ming Goh	Hierarchical Reinforcement Learning Model for Military Simulations.	IJCNN	2006	DBLP DOI BibTeX RDF
11	Adam Barth, Anupam Datta, John C. Mitchell, Helen Nissenbaum	Privacy and Contextual Integrity: Framework and Applications.	S&P	2006	DBLP DOI BibTeX RDF
11	Yoshizo Ishihara, Runhe Huang, Jianhua Ma 0002	A Real Trading Model based Price Negotiation Agents.	AINA (1)	2006	DBLP DOI BibTeX RDF
11	Fengjun Lv, Ramakant Nevatia	Recognition and Segmentation of 3-D Human Action Using HMM and Multi-class AdaBoost.	ECCV (4)	2006	DBLP DOI BibTeX RDF
11	Duan-Yu Chen, Sheng-Wen Shih, Hong-Yuan Mark Liao	Atomic Human Action Segmentation Using a Spatio-Temporal Probabilistic Framework.	IIH-MSP	2006	DBLP DOI BibTeX RDF
11	Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance	A New Logical Semantics for Agent Communication.	CLIMA	2006	DBLP DOI BibTeX RDF
11	Sauro Chellini, Tommaso Martini, Paolo Nesi	Accounting Solutions in the AXMEDIS Project.	AXMEDIS	2006	DBLP DOI BibTeX RDF
11	Mark A. Brown	Acting with an End in Sight.	DEON	2006	DBLP DOI BibTeX RDF
11	Zhiqiang Luo, I-Ming Chen, Shusong Xing, Henry Been-Lirn Duh	Gesture-based control of highly articulated biomechatronic systems.	HRI	2006	DBLP DOI BibTeX RDF	biomechatronic system, multilayered motion synthesis, robotic puppet, human-robot interface
11	Seungryul Choi, Donald Yeung	Learning-Based SMT Processor Resource Distribution via Hill-Climbing.	ISCA	2006	DBLP DOI BibTeX RDF
11	Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, Michael J. Wooldridge	Reasoning about action and cooperation.	AAMAS	2006	DBLP DOI BibTeX RDF	(multi-)agent planning, agent and multi-agent architectures, logics for agent systems, cooperation and coordination among agents
11	Gang Zheng, Wanqing Li 0001, Philip Ogunbona, Liju Dong, Igor Kharitonenko	Simulation of Human Motion for Learning and Recognition.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF
11	Shotaro Kamio, Hitoshi Iba	Adaptation technique for integrating genetic programming and reinforcement learning for real robots.	IEEE Trans. Evol. Comput.	2005	DBLP DOI BibTeX RDF
11	Xinwen Zhang, Francesco Parisi-Presicce, Ravi S. Sandhu, Jaehong Park	Formal model and policy specification of usage control.	ACM Trans. Inf. Syst. Secur.	2005	DBLP DOI BibTeX RDF	Access control, formal specification, security policy, usage control
11	Shaul Markovitch, Ronit Reger	Learning and Exploiting Relative Weaknesses of Opponent Agents.	Auton. Agents Multi Agent Syst.	2005	DBLP DOI BibTeX RDF	machine learning, multi-agent systems, opponent modelling
11	Martin Svensson, Kristina Höök, Rickard Cöster	Designing and evaluating kalas: A social navigation system for food recipes.	ACM Trans. Comput. Hum. Interact.	2005	DBLP DOI BibTeX RDF	evaluation, design, collaborative filtering, experiments, Social navigation
11	Cormac Flanagan, Stephen N. Freund, Shaz Qadeer	Exploiting Purity for Atomicity.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	purity, concurrent programs, reduction, Atomicity
11	Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum	Reasoning about static and dynamic properties in alloy: A purely relational approach.	ACM Trans. Softw. Eng. Methodol.	2005	DBLP DOI BibTeX RDF	fork algebras, relational specifications, Alloy
11	Arash Mokhber, Catherine Achard, Xingtai Qu, Maurice Milgram	Action Recognition with Global Features.	ICCV-HCI	2005	DBLP DOI BibTeX RDF
11	Fadi Dornaika, Franck Davoine	Simultaneous Facial Action Tracking and Expression Recognition Using a Particle Filter.	ICCV	2005	DBLP DOI BibTeX RDF
11	Sanjay Kumar, Ada Gavrilovska, Karsten Schwan, Srikanth Sundaragopalan	C-CORE: Using Communication Cores for High Performance Network Services.	NCA	2005	DBLP DOI BibTeX RDF
11	Ana C. R. Paiva, João C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal	A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing.	ICFEM	2005	DBLP DOI BibTeX RDF
11	Andreas L. Symeonidis, Pericles A. Mitkas	A Methodology for Predicting Agent Behavior by the Use of Data Mining Techniques.	AIS-ADM	2005	DBLP DOI BibTeX RDF
11	Machiel van der Bijl, Arend Rensink, Jan Tretmans	Action Refinement in Conformance Testing.	TestCom	2005	DBLP DOI BibTeX RDF
11	Derek G. Bridge	The Virtue of Reward: Performance, Reinforcement and Discovery in Case-Based Reasoning.	ICCBR	2005	DBLP DOI BibTeX RDF
11	Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis	Fine Grain QoS Control for Multimedia Application Software.	DATE	2005	DBLP DOI BibTeX RDF
11	Lin Chen, Jie Huang, Zhenghu Gong	Computing the Optimal Action Sequence by Niche Genetic Algorithm.	KI	2005	DBLP DOI BibTeX RDF	ECD (Expected Cost of Diagnosis), Niche Genetic Algorithm, Fault Diagnosis
11	Andrew Faulring, Brad A. Myers	Enabling rich human-agent interaction for a calendar scheduling agent.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	rich human-agent interaction, intelligent user interfaces, interface agents, calendars, meeting scheduling
11	Boris A. Galitsky, Sergei O. Kuznetsov, Mikhail V. Samokhin	Analyzing Conflicts with Concept-Based Learning.	ICCS	2005	DBLP DOI BibTeX RDF
11	Donglin Liang, Kai Xu 0002	Debugging object-oriented programs with behavior views.	AADEBUG	2005	DBLP DOI BibTeX RDF	debugging language, secenario-driven, execution monitoring
11	Katsumi Inoue, Hideyuki Bando, Hidetomo Nabeshima	Inducing Causal Laws by Regular Inference.	ILP	2005	DBLP DOI BibTeX RDF
11	Matt Lepinski, Silvio Micali, Abhi Shelat	Collusion-free protocols.	STOC	2005	DBLP DOI BibTeX RDF	steganography, secure function evaluation
11	Kai-Yuan Cai, Lei Zhao, Hai Hu, Chang-Hai Jiang	On the Test Case Definition for GUI Testing.	QSIC	2005	DBLP DOI BibTeX RDF
11	Antonio Chella, Haris Dindo, Ignazio Infantino	Anchoring by Imitation Learning in Conceptual Spaces.	AI*IA	2005	DBLP DOI BibTeX RDF
11	Trung Hau Tran, Cédric Sanza, Yves Duthen	Learning Cooperation from Classifier Systems.	CIS (1)	2005	DBLP DOI BibTeX RDF
11	Martin J. Kollingbaum, Timothy J. Norman	Informed Deliberation During Norm-Governed Practical Reasoning.	AAMAS Workshops	2005	DBLP DOI BibTeX RDF
11	Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi	Dynamic epistemic logic with assignment.	AAMAS	2005	DBLP DOI BibTeX RDF	assignment, agent communication, dynamic epistemic logic
11	Christian F. J. Lange, Michel R. V. Chaudron	Managing Model Quality in UML-Based Software Development.	STEP	2005	DBLP DOI BibTeX RDF
11	Steve Whittaker 0001, Rachel Laban, Simon Tucker	Analysing Meeting Records: An Ethnographic Study and Technological Implications.	MLMI	2005	DBLP DOI BibTeX RDF
11	Twan Basten, Dragan Bosnacki, Marc Geilen	Cluster-Based Partial-Order Reduction.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	(LTL) model checking, concurrency, formal verification, SPIN, partial-order reduction, state explosion
11	Georgios I. Papadimitriou, M. Sklira, Andreas S. Pomportsis	A new class of epsi-optimal learning automata.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
11	Robert Miller 0002, Anand R. Tripathi	The Guardian Model and Primitives for Exception Handling in Distributed Systems.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	fault tolerance, Concurrent programming, distributed programming
11	Jennifer Ren, Rick Buskens, Oscar J. Gonzalez	Dependable Initialization of Large-Scale Distributed Software.	DSN	2004	DBLP DOI BibTeX RDF
11	Julien Burlet, Olivier Aycard, Thierry Fraichard	Robust Motion Planning using Markov Decision Processes and Quadtree Decomposition.	ICRA	2004	DBLP DOI BibTeX RDF
11	Günter Graw, Peter Herrmann	Generation and Enactment of Controllers for Business Architectures Using MDA.	EWSA	2004	DBLP DOI BibTeX RDF
11	Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa	A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication.	ArgMAS	2004	DBLP DOI BibTeX RDF
11	Chamy Allenberg-Neeman, Benny Neeman	Full Information Game with Gains and Losses.	ALT	2004	DBLP DOI BibTeX RDF
11	Dong Yu 0001, Deborah A. Frincke	A Novel Framework for Alert Correlation and Understanding.	ACNS	2004	DBLP DOI BibTeX RDF
11	Hyggo Oliveira de Almeida, Leandro Dias da Silva, Angelo Perkusich, Evandro de Barros Costa	A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets.	SELMAS	2004	DBLP DOI BibTeX RDF
11	Geoffrey Mainland, Laura Kang, Sébastien Lahaie, David C. Parkes, Matt Welsh	Using virtual markets to program global behavior in sensor networks.	ACM SIGOPS European Workshop	2004	DBLP DOI BibTeX RDF
11	Xinwen Zhang, Jaehong Park, Francesco Parisi-Presicce, Ravi S. Sandhu	A logical specification for usage control.	SACMAT	2004	DBLP DOI BibTeX RDF	logic specification, access control, security policy, usage control
11	Hideaki Kuzuoka, Keiichi Yamazaki, Akiko Yamazaki, Jun'ichi Kosaka, Yasuko Suga, Christian Heath	Dual ecologies of robot as communication media: thoughts on coordinating orientations and projectability.	CHI	2004	DBLP DOI BibTeX RDF	robot-mediated communication, human-robot interaction
11	Walter Hussak, Shaun H. Yang	Formal development of remote interfaces for large-scale real-time systems.	SMC (1)	2004	DBLP DOI BibTeX RDF
11	Masafumi Kozuma, Hirokazu Taki, Noriyuki Matsuda, Hirokazu Miura, Satoshi Hori, Norihiro Abe	Construction of Conscious Model Using Reinforcement Learning.	KES	2004	DBLP DOI BibTeX RDF
11	Cormac Flanagan, Stephen N. Freund, Shaz Qadeer	Exploiting purity for atomicity.	ISSTA	2004	DBLP DOI BibTeX RDF	purity, concurrent programs, reduction, atomicity
11	Jesse Hoey, James J. Little	Value Directed Learning of Gestures and Facial Displays.	CVPR (2)	2004	DBLP DOI BibTeX RDF
11	Jürgen Klüver, Maarten Sierhuis, Christina Stoica	The Emergence of Social Order in a Robotic Society..	MATES	2004	DBLP DOI BibTeX RDF	emergence of order, emergent programming, multi-agent-systems, robotics, neural nets
11	Marc Shapiro 0001, Karthikeyan Bhargavan, Nishith Krishna	A Constraint-Based Formalism for Consistency in Replicated Systems.	OPODIS	2004	DBLP DOI BibTeX RDF
11	Takenori Wama, Masayuki Higuchi, Hajime Sakamoto, Ryohei Nakatsu	Realization of Tai-Chi Motion Using a Humanoid Robot.	ICEC	2004	DBLP DOI BibTeX RDF