Search results for "actions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Jonathan M. Lever, Barry Richards	parcPlan: A Planning Architecture with Parallel Actions, Resources and Constraints.	ISMIS	1994	DBLP DOI BibTeX RDF
13	Rachid Guerraoui, Riccardo Capobianchi, Agnes Lanusse, Pierre Roux	Nesting Actions through Asynchronous Message Passing: the ACS Protocol.	ECOOP	1992	DBLP DOI BibTeX RDF
13	Wolfgang Schönfeld	Properties and Actions.	Natural Language and Logic	1989	DBLP DOI BibTeX RDF
13	Barbara Liskov, Robert Scheifler	Guardians and Actions: Linguistic Support for Robust, Distributed Programs.	POPL	1982	DBLP DOI BibTeX RDF
11	Shichao Ou, Roderic A. Grupen	From manipulation to communicative gesture.	HRI	2010	DBLP DOI BibTeX RDF	developmental robotics, human-robot interaction, knowledge acquisition, communicative behavior
11	Josep Call	Action understanding and gesture acquisition in the great apes.	HRI	2010	DBLP DOI BibTeX RDF	gesture acquisition, great apes
11	François Guerrin	Dynamic simulation of action at operations level.	Auton. Agents Multi Agent Syst.	2009	DBLP DOI BibTeX RDF	Activity representation, Hybrid dynamical system, Temporal logic, Situated action, Operations management
11	Seungryul Choi, Donald Yeung	Hill-climbing SMT processor resource distribution.	ACM Trans. Comput. Syst.	2009	DBLP DOI BibTeX RDF	Hill-climbing algorithm, SMT processor, limit study
11	Rachel McDonnell, Sophie Jörg, Joanna McHugh, Fiona N. Newell, Carol O'Sullivan	Investigating the role of body shape on the perception of emotion.	ACM Trans. Appl. Percept.	2009	DBLP DOI BibTeX RDF	Perception, motion capture, graphics
11	Luciano Caroprese, Sergio Greco, Ester Zumpano	Active Integrity Constraints for Database Consistency Maintenance.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
11	Qing Jia	Deliberate Contrary-to-Law Action.	LORI	2009	DBLP DOI BibTeX RDF	deliberate contrary-to-law action, irrational action, perspectival act utilitarianism
11	Moshe Babaioff, Michal Feldman, Noam Nisan	Free-Riding and Free-Labor in Combinatorial Agency.	SAGT	2009	DBLP DOI BibTeX RDF
11	Lili Nurliyana Abdullah	A Framework for Evaluating Human Action Detection via Multidimensional Approach.	CGIV	2009	DBLP DOI BibTeX RDF
11	Matthias Bezold	Describing User Interactions in Adaptive Interactive Systems.	UMAP	2009	DBLP DOI BibTeX RDF
11	Jianqiang Shen, Erin Fitzhenry, Thomas G. Dietterich	Discovering frequent work procedures from resource connections.	IUI	2009	DBLP DOI BibTeX RDF	data mining, workflow, resource management, provenance, intelligent interfaces, automated assistance
11	Grazia Bombini, Nicola Di Mauro, Stefano Ferilli, Floriana Esposito	Relational Sequence Clustering for Aggregating Similar Agents.	ISMIS	2009	DBLP DOI BibTeX RDF	Relational Sequence Similarity, Sequence Clustering
11	Mostafa Ajallooeian, Majid Nili Ahmadabadi, Babak Nadjar Araabi, Hadi Moradi	An imitation model based on Central Pattern Generator with application in robotic marionette behavior learning.	IROS	2009	DBLP DOI BibTeX RDF
11	Andreas Kolling, Stefano Carpin	Surveillance strategies for target detection with sweep lines.	IROS	2009	DBLP DOI BibTeX RDF
11	Martin Weser, Jianwei Zhang 0001	Autonomous planning for mobile manipulation services based on multi-level robot skills.	IROS	2009	DBLP DOI BibTeX RDF
11	Atieh Mirshahvalad, Majid Noorhosseini	Improving and Extending SMR Technique for Solving Monotonic Problems.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
11	Gerhard Lakemeyer, Hector J. Levesque	A Semantical Account of Progression in the Presence of Defaults.	Conceptual Modeling: Foundations and Applications	2009	DBLP DOI BibTeX RDF
11	Ana Casali, Lluís Godo, Carles Sierra	g-BDI: A Graded Intensional Agent Model for Practical Reasoning.	MDAI	2009	DBLP DOI BibTeX RDF
11	Delene Heukelman, Seraphin Desire Eyono Obono	Exploring the African Village metaphor for computer user interface icons.	SAICSIT	2009	DBLP DOI BibTeX RDF	African culture, icon recognition, user interface usability, design, human factors, metaphors
11	Elena Planas, Jordi Cabot, Cristina Gómez 0001	Verifying Action Semantics Specifications in UML Behavioral Models.	CAiSE	2009	DBLP DOI BibTeX RDF
11	Thomas Mauthner, Peter M. Roth, Horst Bischof	Instant Action Recognition.	SCIA	2009	DBLP DOI BibTeX RDF
11	Hiroyuki Manabe, Masaaki Fukumoto	P-recognition: you are already recognized.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	hover, map navigation, pan & zoom, stroke recognition, stylus pen, gesture recognition, mode, predictive interface
11	Hakima Ould-Slimane, Mohamed Mejri, Kamel Adi	Using Edit Automata for Rewriting-Based Security Enforcement. (PDF / PS)	DBSec	2009	DBLP DOI BibTeX RDF	program rewriting, security properties, Execution monitoring, edit automata
11	Ece Kamar, Ya'akov Gal, Barbara J. Grosz	Modeling User Perception of Interaction Opportunities for Effective Teamwork.	CSE (4)	2009	DBLP DOI BibTeX RDF
11	André Rauber Du Bois, Marcos Echevarria	A Domain Specific Language for Composable Memory Transactions in Java.	DSL	2009	DBLP DOI BibTeX RDF
11	Luigi Sauro, Leendert W. N. van der Torre, Serena Villata	Dependency in Cooperative Boolean Games.	KES-AMSTA	2009	DBLP DOI BibTeX RDF
11	Enrico Giunchiglia, Marco Maratea	Improving Plan Quality in SAT-Based Planning.	AI*IA	2009	DBLP DOI BibTeX RDF
11	Conrad Drescher, Stephan Schiffel, Michael Thielscher	A Declarative Agent Programming Language Based on Action Theories.	FroCoS	2009	DBLP DOI BibTeX RDF
11	Hehua Zhang, Stephan Merz, Ming Gu 0001	Specifying and Verifying PLC Systems with TLA+.	TASE	2009	DBLP DOI BibTeX RDF
11	Stefan Krompass, Harumi A. Kuno, Janet L. Wiener, Kevin Wilkinson, Umeshwar Dayal, Alfons Kemper	Managing long-running queries.	EDBT	2009	DBLP DOI BibTeX RDF
11	Madjid Merabti, Abdennour El Rhalibi, Yuanyuan Shen, Jorge Daniel, Alcantara Melendez, Marc Price	Interactive Storytelling: Approaches and Techniques to Achieve Dynamic Stories.	Trans. Edutainment	2008	DBLP DOI BibTeX RDF	Planning, Interactive Storytelling, Emotional Model
11	René von Schomberg	From the ethics of technology towards an ethics of knowledge policy: implications for robotics.	AI Soc.	2008	DBLP DOI BibTeX RDF
11	Kosta Gaitanis, Benoît Macq	Group Behavior Recognition for Gesture Analysis.	IEEE Trans. Circuits Syst. Video Technol.	2008	DBLP DOI BibTeX RDF
11	Chuohao Yeo, Parvez Ahammad, Kannan Ramchandran, Shankar Sastry 0001	High-Speed Action Recognition and Localization in Compressed Domain Videos.	IEEE Trans. Circuits Syst. Video Technol.	2008	DBLP DOI BibTeX RDF
11	Steven Y. Ko, Indranil Gupta, Yookyung Jo	A new class of nature-inspired algorithms for self-adaptive peer-to-peer computing.	ACM Trans. Auton. Adapt. Syst.	2008	DBLP DOI BibTeX RDF	autonomic computing and communication, bio-inspired techniques, probabilistic protocols, sequence equations, sequence protocols, adaptivity, grid computing, convergence, design methodology, distributed protocols, Complex adaptive systems, difference equations
11	Ralf Peter Botchen, Sven Bachthaler, Fabian Schick, Min Chen 0001, Greg Mori, Daniel Weiskopf, Thomas Ertl	Action-Based Multifield Video Visualization.	IEEE Trans. Vis. Comput. Graph.	2008	DBLP DOI BibTeX RDF
11	Oghenekome Oteri, Arogyaswami Paulraj	Multicell Optimization for Diversity and Interference Mitigation.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
11	Fadi Dornaika, Franck Davoine	Simultaneous Facial Action Tracking and Expression Recognition in the Presence of Head Motion.	Int. J. Comput. Vis.	2008	DBLP DOI BibTeX RDF	Simultaneous tracking and recognition, Face and facial feature tracking, Particle filtering, Facial expression recognition
11	Krishnendu Chatterjee, Luca de Alfaro, Ian Pye	Robust content-driven reputation.	AISec	2008	DBLP DOI BibTeX RDF	wikipedia, reputation, user-generated content
11	Lili Nurliyana Abdullah, Shahrul Azman Mohd. Noah	Integrating Audio Visual Data for Human Action Detection.	CGIV	2008	DBLP DOI BibTeX RDF
11	Samuel N. Hamilton, Wendy L. Hamilton	Adversary Modeling and Simulation in Cyber Warfare.	SEC	2008	DBLP DOI BibTeX RDF
11	Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil	Test Purpose Concretization through Symbolic Action Refinement.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Symbolic Conformance Testing, Test Purpose Concretisation, Model Based Testing, Action Refinement, Test Purpose
11	Harini Veeraraghavan, Manuela M. Veloso	Learning task specific plans through sound and visually interpretable demonstrations.	IROS	2008	DBLP DOI BibTeX RDF
11	Eric Rohmer, Giulio Reina, Genya Ishigami, Keiji Nagatani, Kazuya Yoshida	Action planner of hybrid leg-wheel robots for lunar and planetary exploration.	IROS	2008	DBLP DOI BibTeX RDF
11	Sonia Chernova, Manuela M. Veloso	Learning equivalent action choices from demonstration.	IROS	2008	DBLP DOI BibTeX RDF
11	Naoki Miura, Motoaki Sugiura, Makoto Takahashi, Tomohisa Moridaira, Atsushi Miyamoto, Yoshihiro Kuroki, Ryuta Kawashima	An advantage of bipedal humanoid robot on the empathy generation: A neuroimaging study.	IROS	2008	DBLP DOI BibTeX RDF
11	Christiane Reisse, Christoph Burghardt, Florian Marquardt, Thomas Kirste, Adelinde M. Uhrmacher	Smart environments meet the semantic web.	MUM	2008	DBLP DOI BibTeX RDF	semantic web, smart environments
11	Dane Stuckel, Carl Gutwin	The effects of local lag on tightly-coupled interaction in distributed groupware.	CSCW	2008	DBLP DOI BibTeX RDF	coordination, network delay, real-time groupware
11	Mohamad El Falou, Maroua Bouzid, Abdel-Illah Mouaddib, Thierry Vidal	Automated Web Service Composition Using Extended Representation of Planning Domain.	ICWS	2008	DBLP DOI BibTeX RDF
11	Francisco Javier Díez 0002, Iñaki Maurtua	Dynamic Exception Handling Based on Web Services and OPC XML-DA.	ICWS	2008	DBLP DOI BibTeX RDF
11	Joan-Lluís Ferrer, Elvira Baydal, Antonio Robles, Pedro López 0001, José Duato	On the Influence of the Packet Marking and Injection Control Schemes in Congestion Management for MINs.	Euro-Par	2008	DBLP DOI BibTeX RDF	message throttling, Interconnection networks, congestion management
11	François Brémond, Mohamed Bécha Kaâniche	Commentary Paper 2 on Action Signature: A Novel Holistic Representation for Action Recognition.	AVSS	2008	DBLP DOI BibTeX RDF
11	Sang-Hack Jung, Yanlin Guo, Harpreet S. Sawhney, Rakesh Kumar 0001	Action video retrieval based on atomic action vocabulary.	Multimedia Information Retrieval	2008	DBLP DOI BibTeX RDF	action video, video retrieval, action recognition
11	Yuedong Yang, Aimin Hao, Qinping Zhao	View-invariant action recognition using interest points.	Multimedia Information Retrieval	2008	DBLP DOI BibTeX RDF	naïve bayes, two-layer model, interest points, human action recognition, bag of words, viewpoint invariant
11	Keith Irwin, Ting Yu 0001, William H. Winsborough	Enforcing security properties in task-based systems.	SACMAT	2008	DBLP DOI BibTeX RDF	task-based access control, policy, security properties
11	Steve Barker	Access control by action control.	SACMAT	2008	DBLP DOI BibTeX RDF	action control, logic
11	Yuan-Chi Tseng, Andrew Howes	The adaptation of visual search strategy to expected information gain.	CHI	2008	DBLP DOI BibTeX RDF	image search results, decision making, cognitive models, strategy, eye movement, visual search, spacing, density, thumbnails, visual exploration
11	Sven Grottke, Jan Sablatnig, Jiehua Chen 0001, Ruedi Seiler, Andreas Köpke, Adam Wolisz	Measures for Inconsistency in Distributed Virtual Environments.	ICPADS	2008	DBLP DOI BibTeX RDF
11	James Kinicki, Mark Claypool	Traffic analysis of avatars in Second Life.	NOSSDAV	2008	DBLP DOI BibTeX RDF
11	Abhinav Gupta 0001, Trista P. Chen, Francine Chen 0001, Don Kimber, Larry S. Davis	Context and observation driven latent variable model for human pose estimation.	CVPR	2008	DBLP DOI BibTeX RDF
11	Kui Jia, Dit-Yan Yeung	Human action recognition using Local Spatio-Temporal Discriminant Embedding.	CVPR	2008	DBLP DOI BibTeX RDF
11	Feng Zhou 0002, Fernando De la Torre, Jessica K. Hodgins	Aligned Cluster Analysis for temporal segmentation of human motion.	FG	2008	DBLP DOI BibTeX RDF
11	Anu Singh, C. R. Ramakrishnan 0001, Scott A. Smolka	A Process Calculus for Mobile Ad Hoc Networks.	COORDINATION	2008	DBLP DOI BibTeX RDF
11	Rachel McDonnell, Sophie Jörg, Joanna McHugh, Fiona N. Newell, Carol O'Sullivan	Evaluating the emotional content of human motions on real and virtual characters.	APGV	2008	DBLP DOI BibTeX RDF	perception, motion-capture
11	Satoshi Suzuki, Fumio Harashima	Analysis of machine operation skills using hand discrete movement.	ETFA	2008	DBLP DOI BibTeX RDF
11	Harald Fecher, Michael Huth 0001	Model Checking for Action Abstraction.	VMCAI	2008	DBLP DOI BibTeX RDF
11	Diego R. García, Alejandro Javier García, Guillermo Ricardo Simari	Defeasible Reasoning and Partial Order Planning.	FoIKS	2008	DBLP DOI BibTeX RDF
11	Bhaskar Chakraborty, Marco Pedersoli, Jordi Gonzàlez 0001	View-Invariant Human Action Detection Using Component-Wise HMM of Body Parts.	AMDO	2008	DBLP DOI BibTeX RDF
11	Eduardo Cunha de Almeida, Gerson Sunyé, Patrick Valduriez	Action synchronization in P2P system testing.	DaMaP	2008	DBLP DOI BibTeX RDF
11	Cato Alexander Bjørkli, Kjell Ivar Øvergård, Bjarte Knappen Røed, Thomas Hoff	Control situations in high-speed craft operation.	Cogn. Technol. Work.	2007	DBLP DOI BibTeX RDF	Control situations, Human-technology systems, High-speed crafts, Maneuvering, Navigation, Dynamic adaptation
11	Vincent Conitzer, Tuomas Sandholm	AWESOME: A general multiagent learning algorithm that converges in self-play and learns a best response against stationary opponents.	Mach. Learn.	2007	DBLP DOI BibTeX RDF	Learning in games, Game theory, Nash equilibrium
11	Qiang Yang 0001, Jie Yin, Charles X. Ling, Rong Pan	Extracting Actionable Knowledge from Decision Trees.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	Phrases decision making, data mining, machine learning
11	Aydan R. Yumerefendi, Jeffrey S. Chase	Strong accountability for network storage.	ACM Trans. Storage	2007	DBLP DOI BibTeX RDF	Accountable services, accountable storage, accountability
11	Ivan Blecic, Arnaldo Cecchini, Giuseppe A. Trunfio	A decision support tool coupling a causal model and a multi-objective genetic algorithm.	Appl. Intell.	2007	DBLP DOI BibTeX RDF	Bayesian networks, Multi-objective genetic algorithms, Influence diagrams, Decision networks
11	Paul Curzon, Rimvydas Ruksenas, Ann Blandford	An approach to formal verification of human-computer interaction.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Formal cognitive architecture, Formal verification, Theorem proving, Interactive systems, Human error
11	Vivien Robinet, Gilles Bisson, Mirta B. Gordon, Benoît Lemaire	Inducing High-Level Behaviors from Problem-Solving Traces Using Machine-Learning Tools.	IEEE Intell. Syst.	2007	DBLP DOI BibTeX RDF	data mining, machine learning, education, computer-assisted instruction
11	Daniel Weinland, Edmond Boyer, Rémi Ronfard	Action Recognition from Arbitrary Views using 3D Exemplars.	ICCV	2007	DBLP DOI BibTeX RDF
11	Yan Ke, Rahul Sukthankar, Martial Hebert	Event Detection in Crowded Videos.	ICCV	2007	DBLP DOI BibTeX RDF
11	Sang-Hack Jung, Yanlin Guo, Harpreet S. Sawhney, Rakesh Kumar 0001	Multiple Cue Integrated Action Detection.	ICCV-HCI	2007	DBLP DOI BibTeX RDF
11	Qingdi Wei, Weiming Hu, Xiaoqin Zhang 0002, Guan Luo	Dominant Sets-Based Action Recognition using Image Sequence Matching.	ICIP (6)	2007	DBLP DOI BibTeX RDF
11	Julien Brunel, Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Jean-Paul Bodeveix	Security policy compliance with violation management.	FMSE	2007	DBLP DOI BibTeX RDF	labeled kripke structure, temporal logic, security policy, deontic logic, violation
11	Bengt Jonsson 0001, Mayank Saksena	Systematic Acceleration in Regular Model Checking.	CAV	2007	DBLP DOI BibTeX RDF
11	Kevin Eustice, Venkatraman Ramakrishna, Alison Walker, Matthew Schnaider, Nam T. Nguyen, Peter L. Reiher	nan0sphere: Location-Driven Fiction for Groups of Users.	HCI (3)	2007	DBLP DOI BibTeX RDF
11	Kristof Verpoorten, Kris Luyten, Karin Coninx	Task-Based Prediction of Interaction Patterns for Ambient Intelligence Environments.	HCI (1)	2007	DBLP DOI BibTeX RDF	ambient intelligence environment, pro-active agent system, activity patterns, task patterns
11	Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yang	Local Action and Abstract Separation Logic.	LICS	2007	DBLP DOI BibTeX RDF
11	Keiji Ozaki, Naohiro Hayashibara, Tomoya Enokido, Makoto Takizawa 0001	Fault-Tolerant Semi-Passive Coordination Protocol for a Multi-Actuator/Multi-Sensor (MAMS) Model.	ARES	2007	DBLP DOI BibTeX RDF
11	Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled	On Commutativity Based Edge Lean Search.	ICALP	2007	DBLP DOI BibTeX RDF
11	Amy Catherine Ulinski, Zachary Wartell, Larry F. Hodges	Bimanual task division preferences for volume selection.	VRST	2007	DBLP DOI BibTeX RDF
11	Ke Jiang, Lei Zhang, Shigeru Miyake	OCL4X: An Action Semantics Language for UML Model Execution.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
11	Samson W. Tu	Guideline Models, Process Specification, and Workflow.	Business Process Management Workshops	2007	DBLP DOI BibTeX RDF
11	Matthew Lang, Paolo A. G. Sivilotti	A Distributed Maximal Scheduler for Strong Fairness.	DISC	2007	DBLP DOI BibTeX RDF
11	Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus	Using Speed Diagrams for Symbolic Quality Management.	IPDPS	2007	DBLP DOI BibTeX RDF
11	Jonathan Back, Ann Blandford, Paul Curzon	Slip errors and cue salience.	ECCE	2007	DBLP DOI BibTeX RDF	attentional control, cognitive skill, human error
11	Catherine L. Reed, John P. Garza, Ralph J. Roberts	The Influence of the Body and Action on Spatial Attention.	WAPCV	2007	DBLP DOI BibTeX RDF	spatial attention, covert orienting, embodiment, human body
11	Nicolas Plouznikoff, Alexandre Plouznikoff, Michel C. Desmarais, Jean-Marc Robert 0002	Gesture-based interactions with virtually embodied wearable computer software processes competing for user attention.	SMC	2007	DBLP DOI BibTeX RDF
11	Xianghai Wu, Jonathan Kofman, Hamid R. Tizhoosh	Active exploratory q-learning for large problems.	SMC	2007	DBLP DOI BibTeX RDF