Search results for "actions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Jerry Boetje	Foundational actions: teaching software engineering when time is tight.	ITiCSE	2006	DBLP DOI BibTeX RDF	software engineering, education, pedagogy, software, tools, process, engineering, undergraduate
20	Sébastien Jodogne, Justus H. Piater	Task-Driven Discretization of the Joint Space of Visual Percepts and Continuous Actions.	ECML	2006	DBLP DOI BibTeX RDF
20	Haris Dindo, Ignazio Infantino	Representation, Recognition and Generation of Actions in the Context of Imitation Learning.	EUROS	2006	DBLP DOI BibTeX RDF
20	David Minnen, Thad Starner, Irfan A. Essa, Charles Lee Isbell Jr.	Discovering Characteristic Actions from On-Body Sensor Data.	ISWC	2006	DBLP DOI BibTeX RDF
20	James D. Jones	Using Logic Programming to Detect Deception on the Basis of Actions.	ISI	2006	DBLP DOI BibTeX RDF
20	Matthias Tichy, Holger Giese, Daniela Schilling, Wladimir Pauls	Computing optimal self-repair actions: damage minimization versus repair time.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	distributed systems, dependability, deployment, self-healing
20	Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre	DynAlloy: upgrading alloy with actions.	ICSE	2005	DBLP DOI BibTeX RDF	software specification, dynamic logic, alloy, software validation
20	Kean-Huat Soon, Werner Kuhn	Formalizing User Actions for Ontologies.	GIScience	2004	DBLP DOI BibTeX RDF
20	Taketoshi Mori, Yushi Segawa, Masamichi Shimosaka, Tomomasa Sato	Hierarchical Recognition of Daily Human Actions Based on Continuous Hidden Markov Models.	FGR	2004	DBLP DOI BibTeX RDF
20	Miguel Pérez-Ramírez, Chris Fox	Imperatives as Obligatory and Permitted Actions.	CICLing	2003	DBLP DOI BibTeX RDF
20	Nikos Papadakis, Dimitris Plexousakis	Addressing the Ramification Problem in a Temporal Context: The Case of Concurrent Actions.	ICTAI	2003	DBLP DOI BibTeX RDF
20	Alfonso Gerevini, Alessandro Saetti, Ivan Serina	On Managing Temporal Information for Handling Durative Actions in LPG.	AI*IA	2003	DBLP DOI BibTeX RDF
20	Aaron Bloomfield, Yu Deng, Jeff Wampler, Pascale Rondot, Dina Harth, Mary McManus, Norman I. Badler	A Taxonomy and Comparison of Haptic Actions for Disassembly Tasks.	VR	2003	DBLP DOI BibTeX RDF
20	Charles X. Ling, Tielin Chen, Qiang Yang 0001, Jie Cheng	Mining Optimal Actions for Profitable CRM.	ICDM	2002	DBLP DOI BibTeX RDF
20	Yan Zhang 0003, Norman Y. Foo	Representing Actions over Dynamic Domains.	PRICAI	2002	DBLP DOI BibTeX RDF
20	Nikos Papadakis, Dimitris Plexousakis	Actions with Duration and Constraints: the Ramification Problem in Temporal Databases.	ICTAI	2002	DBLP DOI BibTeX RDF
20	Alexandra M. Coddington	A Continuous Planning Framework with Durative Actions.	TIME	2002	DBLP DOI BibTeX RDF
20	Ralf Schoknecht, Martin A. Riedmiller	Speeding-up Reinforcement Learning with Multi-step Actions.	ICANN	2002	DBLP DOI BibTeX RDF
20	Jordi Gonzàlez 0001, Xavier Varona, F. Xavier Roca, Juan José Villanueva	aSpaces : Action Spaces for Recognition and Synthesis of Human Actions.	AMDO	2002	DBLP DOI BibTeX RDF
20	Khaled Ben Lamine, Froduald Kabanza	Reasoning about Robot Actions: A Model Checking Approach.	Advances in Plan-Based Control of Robotic Agents	2001	DBLP DOI BibTeX RDF
20	Ed Huai-hsin Chi, Peter Pirolli, Kim Chen, James E. Pitkow	Using information scent to model user information needs and actions and the Web.	CHI	2001	DBLP DOI BibTeX RDF	data mining, information retrieval, World Wide Web, usability, information foraging, information scent
20	Monika Wagener, Silvia Mecklenbräuker, Werner Wippich, Jörg E. Saathoff, André Melzer	Preparing a Cup of Tea and Writing a Letter: Do Script-Based Actions Influence the Representation of a Real Environment?	Spatial Cognition	2000	DBLP DOI BibTeX RDF
20	Stephen Zimmerbaum, Richard B. Scherl	Sensing Actions, Time, and Concurrency in the Situation Calculus.	ATAL	2000	DBLP DOI BibTeX RDF
20	Darnell J. Moore, Irfan A. Essa, Monson H. Hayes	Exploiting Human Actions and Object Context for Recognition Tasks.	ICCV	1999	DBLP DOI BibTeX RDF
20	Antonis C. Kakas, Rob Miller 0002, Francesca Toni	An Argumentation Framework of Reasoning about Actions and Change.	LPNMR	1999	DBLP DOI BibTeX RDF
20	Arkadi Estrin, Michael Kaminski	The Expressive Power of Temporal Logic of Actions (Extended Abstract).	CONCUR	1999	DBLP DOI BibTeX RDF
20	John Fox 0001, Simon Parsons	Arguing about beliefs and actions.	Applications of Uncertainty Formalisms	1998	DBLP DOI BibTeX RDF
20	Andreas Myka, Ulrich Güntzer, Frank Sarre	Monitoring user actions in the hypertext system "HyperMan".	SIGDOC	1992	DBLP DOI BibTeX RDF
20	Christian Neusius	Synchronizing Actions.	ECOOP	1991	DBLP DOI BibTeX RDF
20	Martín Abadi	An Axiomatization of Lamport's Temporal Logic of Actions.	CONCUR	1990	DBLP DOI BibTeX RDF
20	Gilles Brassard, Moti Yung	One-Way Group Actions.	CRYPTO	1990	DBLP DOI BibTeX RDF
20	Rob J. van Glabbeek, Ursula Goltz	Refinement of Actions in Causality Based Models.	REX Workshop	1989	DBLP DOI BibTeX RDF	Petri nets, Concurrency, action refinement, event structures
20	Kurt Rothermel	Communication primitives supporting the execution of atomic actions at remote sites.	Comput. Commun. Rev.	1984	DBLP DOI BibTeX RDF
20	David P. Reed	Implementing Atomic Actions on Decentralized Data.	SOSP	1979	DBLP DOI BibTeX RDF
19	Nuno Saavedra, André Silva, Martin Monperrus	GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions.	CoRR	2023	DBLP DOI BibTeX RDF
19	William Mocaër	Réseaux de Neurones à Convolution Spatio-Temporelle pour l'analyse et la reconnaissance précoce d'actions et de gestes. (Spatio-Temporal Convolutional Neural Networks for the analysis and early recognition of actions and gestures).		2023	RDF
19	Edward W. N. Bernroider, G. Harindranath 0001, Sherif Kamel	From connective actions in social movements to offline collective actions: an individual level perspective.	Inf. Technol. People	2022	DBLP DOI BibTeX RDF
19	Johan Ferret	On actions that matter: credit assignment and interpretability in reinforcement learning. (De l'importance des actions: assignation de crédit et interprétabilité pour l'apprentissage par renforcement).		2022	RDF
19	Jens Claßen, James P. Delgrande	An Account of Intensional and Extensional Actions, and its Application to Belief, Nondeterministic Actions and Fallible Sensors.	KR	2021	DBLP DOI BibTeX RDF
19	Hugo Caselles-Dupré	On the role of Actions and Machine Learning in Artificial Agent Perception. (Du rôle des Actions et de l'Apprentissage Automatique dans la Perception des Agents Artificiels).		2021	RDF
19	Dimitri Zhukov	Learning to localize goal-oriented actions with weak supervision. (Localisation faiblement supervisée des actions orientées vers un but).		2021	RDF
19	Christine Largouët	Intelligence Artificielle pour l'aide à la décision des systèmes dynamiques : Diagnostic, Prévision, Recommandation d'actions. (Artificial Intelligence for decision support in dynamic systems: Diagnosis, Prediction, Recommendation of actions).		2019	RDF
19	Tom Decroos, Lotte Bransen, Jan Van Haaren, Jesse Davis	Actions Speak Louder than Goals: Valuing Player Actions in Soccer.	KDD	2019	DBLP DOI BibTeX RDF
19	Yuya Yoshikawa, Jiaqing Lin, Akikazu Takeuchi	STAIR Actions: A Video Dataset of Everyday Home Actions.	CoRR	2018	DBLP BibTeX RDF
19	Manuel Rodrigues, Ricardo Santos 0001, Paulo Novais	Our Actions, Ourselves: How Unconscious Actions Become a Productivity Indicator.	IntelliSys (2)	2018	DBLP DOI BibTeX RDF
19	Carlos Maestre	Autonomous and Online Generation of Skills Inferring Actions Adapted to Low-Level and High-Level Contextual States. (Génération autonome et en ligne de compétences déduisant des actions adaptées aux états contextuels de bas niveau et de haut niveau).		2018	RDF
19	Nicolas Chesneau	Learning to Recognize Actions with Weak Supervision. (Reconnaissance d'actions de manière faiblement supervisée).		2018	RDF
19	Guilhem Chéron	Structured modeling and recognition of human actions in video. (Modélisation structurée et reconnaissance des actions humaines dans les vidéos).		2018	RDF
19	Christos Rantsoudis	Knowledge Bases and Preferred Update Actions : Searching for Consistency through Dynamic Logic Programs. (Bases de connaissance et actions de mise à jour préférées : à la recherche de consistance au travers des programmes de la logique dynamique).		2018	RDF
19	Said Yacine Boulahia	Reconnaissance en-ligne d'actions 3D par l'analyse des trajectoires du squelette humain. (Online 3D actions recognition by analyzing the trajectories of human's skeleton).		2018	RDF
19	Hadi Teimouri, Kouroush Jenab, Hamid Reza Moazeni, Bardia Bakhtiari	Studying Effectiveness of Human Resource Management Actions and Organizational Agility: Resource Management Actions and Organizational Agility.	Inf. Resour. Manag. J.	2017	DBLP DOI BibTeX RDF
19	Gunnar A. Sigurdsson, Olga Russakovsky, Abhinav Gupta 0001	What Actions are Needed for Understanding Human Actions in Videos?	CoRR	2017	DBLP BibTeX RDF
19	Kazuki Sakai, Fabio Dalla Libera, Yuichiro Yoshikawa, Hiroshi Ishiguro	Generation of Bystander Robot Actions Based on Analysis of Relative Probability of Human Actions.	J. Adv. Comput. Intell. Intell. Informatics	2017	DBLP DOI BibTeX RDF
19	Gunnar A. Sigurdsson, Olga Russakovsky, Abhinav Gupta 0001	What Actions are Needed for Understanding Human Actions in Videos?	ICCV	2017	DBLP DOI BibTeX RDF
19	Neha Dawar, Nasser Kehtarnavaz	Continuous detection and recognition of actions of interest among actions of non-interest using a depth camera.	ICIP	2017	DBLP DOI BibTeX RDF
19	Aïsha Sahaï, Elisabeth Pacherie, Ouriel Grynszpan, Bruno Berberian	Co-representation of human-generated actions vs. machine-generated actions: Impact on our sense of we-agency?	RO-MAN	2017	DBLP DOI BibTeX RDF
19	Vicky Kalogeiton	Localizing spatially and temporally objects and actions in videos. (Localiser spatio-temporallement des objets et des actions dans des vidéos).		2017	RDF
19	Paul Hammond	Distinguishing joint actions from collective actions.	Synth.	2016	DBLP DOI BibTeX RDF
19	Lukás Chrpa, Thomas Leo McCluskey, Hugh Osborne	On the completeness of replacing primitive actions with macro-actions and its generalization to planning operators and macro-operators.	AI Commun.	2016	DBLP DOI BibTeX RDF
19	Joo Yun Lee, Hyeoun-Ae Park	Is the ISO Reference Terminology Model for Nursing Actions Enough to Describe Nursing Actions?	Nursing Informatics	2016	DBLP DOI BibTeX RDF
19	Eva Coupeté	Reconnaissance de gestes et actions pour la collaboration homme-robot sur chaîne de montage. (Recognition of gestures and actions for man and robot collaboration on assembly line).		2016	RDF
19	Guillaume Claude	Séquencement d'actions en environnement virtuel collaboratif. (Actions sequencing incollaborative virtual environment).		2016	RDF
19	Joseph Boudou	Decision procedures for modal logics of actions, resources and concurrency. (Procédures de décision pour des logiques modales d'actions, de ressources et de concurrence).		2016	RDF
19	Simandeep K. Poonian, Jessica McFadyen, Jessica Ogden, Ross Cunnington	Implicit Agency in Observed Actions: Evidence for N1 Suppression of Tones Caused by Self-made and Observed Actions.	J. Cogn. Neurosci.	2015	DBLP DOI BibTeX RDF
19	Nesrine Fourati	Classification and Characterization of Emotional Body Expression in Daily Actions. (Classification et Caractérisation de l'Expression Corporelle des Emotions dans des Actions Quotidiennes).		2015	RDF
19	Agnieszka Wykowska, Ryad Chellali, Md. Mamun Al-Amin, Hermann J. Müller	Implications of Robot Actions for Human Perception. How Do We Represent Actions of the Observed Robots?	Int. J. Soc. Robotics	2014	DBLP DOI BibTeX RDF
19	Valerio Capraro, Alessandra Marcelletti	Do good actions inspire good actions in others?	CoRR	2014	DBLP BibTeX RDF
19	Hideki Asoh, Ichiro Kobayashi	Zero-Shot Learning of Language Models for Describing Human Actions Based on Semantic Compositionality of Actions.	PACLIC	2014	DBLP BibTeX RDF
19	Manuel Gesell, Klaus Schneider 0001	Translating synchronous guarded actions to interleaved guarded actions.	MEMOCODE	2013	DBLP BibTeX RDF
19	Mathieu Barnachon	Reconnaissance d'actions en temps réel à partir d'exemples. (Real time actions recognition from examplars).		2013	RDF
19	Djamila Seddig-Raufie, Ludger Jansen, Daniel Schober, Martin Boeker, Niels Grewe, Stefan Schulz 0001	Proposed actions are no actions: re-modeling an ontology design pattern with a realist top-level ontology.	J. Biomed. Semant.	2012	DBLP BibTeX RDF
19	Krystyna Grabski, Laurent Lamalle, Marc Sato	Contrôle prédictif et codage du but des actions oro-faciales (Predictice control and coding of orofacial actions) [in French].	JEP-TALN-RECITAL 2012	2012	DBLP BibTeX RDF
19	Cleidson R. B. de Souza, David F. Redmiles	The Awareness Network, To Whom Should I Display My Actions? And, Whose Actions Should I Monitor?	IEEE Trans. Software Eng.	2011	DBLP DOI BibTeX RDF
19	Boris Lesner	Planification et apprentissage par renforcement avec modèles d'actions compacts. (Planning and Reinforcement Learning With Compact Actions).		2011	RDF
19	Alexander Kläser	Learning human actions in video. (Apprentissage pour la reconnaissance d'actions humaines en vidéo).		2010	RDF
19	Jee-In Hwang, Hyeoun-Ae Park	Exploring the usability of the ISO reference terminology model for nursing actions in representing oriental nursing actions.	Int. J. Medical Informatics	2009	DBLP DOI BibTeX RDF
19	Cleidson R. B. de Souza, David F. Redmiles	The Awareness Network: To Whom Should I Display My Actions? And, Whose Actions Should I Monitor?. (PDF / PS)	ECSCW	2007	DBLP DOI BibTeX RDF
19	Joseph Modayil, Benjamin Kuipers	Where Do Actions Come From? Autonomous Robot Learning of Objects and Actions.	AAAI Spring Symposium: Control Mechanisms for Spatial Knowledge Processing in Cognitive / Intelligent Systems	2007	DBLP BibTeX RDF
19	Ross Cunnington, Christian Windischberger, Simon Robinson 0002, Ewald Moser	The selection of intended actions and the observation of others' actions: A time-resolved fMRI study.	NeuroImage	2006	DBLP DOI BibTeX RDF
19	Ian Oakley	Haptic augmentation of the cursor : transforming virtual actions into physical actions.		2003	RDF
19	Anna Radzikowska	Towards a Formalization of Narratives: Actions with Duration, Concurrent Actions and Qualifications.	ECSQARU-FAPR	1997	DBLP DOI BibTeX RDF
19	Moriyoshi Teruya, Motofumi Hattori, Satoshi Tadokoro, Toshi Takamori, Kazuhito Yamada	An analysis of BUNRAKU puppet actions for the generation of humanlike actions of home robots.	IROS	1996	DBLP DOI BibTeX RDF
19	Fabrice Duermael	Référence aux actions dans des dialogues de commande homme-machine. (Reference to actions in man-machine command dialogues).		1994	RDF
18	Dang-Vien Tran, Hoang-Khoi Nguyen, Enrico Pontelli, Tran Cao Son	Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications.	PADL	2009	DBLP DOI BibTeX RDF	Conformant Planning, Planning, Reasoning about Actions
18	Alfredo Capozucca, Nicolas Guelfi	Designing reliable real-time concurrent object-oriented software systems.	SAC	2009	DBLP DOI BibTeX RDF	fault tolerance, real-time, coordinated atomic actions
18	Toni Robertson, Lian Loke	Designing situations.	OZCHI	2009	DBLP DOI BibTeX RDF	Suchman, interactional resources, plans and situated actions, interaction design, design tool, situated action
18	Rodolfo Gómez 0001	A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata.	FORMATS	2009	DBLP DOI BibTeX RDF	Urgent actions, Timed Automata with Deadlines, Uppaal
18	Florencia Balbastro, Alfredo Capozucca, Nicolas Guelfi	Analysis and framework-based design of a fault-tolerant web information system for m-health.	Serv. Oriented Comput. Appl.	2008	DBLP DOI BibTeX RDF	CAA-DRIP, Fault tolerance, SOA, Mobility, Dependability, Coordinated atomic actions
18	Michael Braun, Adalbert Kerber, Reinhard Laue	Systematic Construction of q-Analogs of t-(v, k, lambda)-Designs.	Des. Codes Cryptogr.	2005	DBLP DOI BibTeX RDF	designs over finite fields, Kramer-Mesner method, group actions, q-analogs, t-designs
18	Timothy William Cleaver, Abdul Sattar 0001, Kewen Wang 0001	Reasoning with the Outcomes of Plan Execution in Intentional Agents.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF	AI architectures and Reasoning about Actions and Change, Agents
18	Angélica de Antonio, Ricardo Imbert, Jaime Ramírez, Xavier Ferré	Usability issues in the design of an intuitive interface for planning and simulating maintenance interventions using a virtual environment.	Virtual Real.	2004	DBLP DOI BibTeX RDF	Planning and design of interventions, Generic actions, Usability of desktop virtual environments, Object manipulation, Voice recognition
18	Ali Sabbir, Kaliappa Nadar Ravindran	User-assisted tools for concurrency control in distributed multimedia collaborations.	ACM Multimedia	2004	DBLP DOI BibTeX RDF	ordering of actions, shared window systems, user-level asynchrony, window consistency
18	Sule Nair, Rachel Cardell-Oliver	Formal specification and analysis of performance variation in sensor network diffusion protocols.	MSWiM	2004	DBLP DOI BibTeX RDF	temporal logic of actions, sensor network, formal specification, directed diffusion
18	George Xirogiannis, Michael Glykas	Fuzzy Causal Maps in Business Modeling and Performance-Driven Process Re-engineering.	SETN	2004	DBLP DOI BibTeX RDF	reasoning about actions and change, management, uncertainty, cognitive modeling
18	David V. Keyson, Marc de Hoogh, Jans Aasman	Designing for pen and speech input in an object-action framework: the case of email.	Univers. Access Inf. Soc.	2003	DBLP DOI BibTeX RDF	generic actions, Webpad, navigation, user interface design, Multimodal interaction, objects, email, pen input, speech input
18	Anneke Kleppe, Jos Warmer	The Semantics of the OCL Action Clause.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF	action clause, UML, constraints, invariants, OCL, actions, operations, dynamic semantics, pre- and postconditions
18	Giuseppe Coldani, L. Cotrino, Giovanni Danese, Francesco Leporati, M. Maneri	Notacheck: A Parallel DSP-Based Architecture for Real Time High Resolution Inspection of Bank-Notes.	CAMP	2000	DBLP DOI BibTeX RDF	Notacheck, parallel DSP-based architecture, real time high resolution inspection, bank-notes, time-triggered synchronised actions, distributed architecture system, real-time systems, real time systems, real-time control, computer engineering, feedback loops, visual inspection
18	José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, Paulo Quaresma	Dynamic Knowledge Representation and Its Applications.	AIMSA	2000	DBLP DOI BibTeX RDF	Updates of Knowledge Bases, Dynamic Knowledge Representation, Generalized Logic Programs, Theory of Actions
18	G. Butler, Christine Mingins	YooccLa: A Parser Generator for L-Attributed Grammars.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	YooccLa, left-attributed grammars, object-oriented compiler compiler, nonleft-recursive LL grammar, EBNF-like language, Eiffel features, semantic actions, Eiffel Parse library, syntax class, software engineering, object-oriented programming, specification languages, object-oriented languages, software libraries, attribute grammars, compiler generators, parser generator
18	Ileana Ober	More Meaningful UML Models.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	complex systems modelling, tool support capabilities, executable semantics, tool vendors, intelligent tools, consistency checkers, semantics definition, UML meta-model, well formedness rules, UML standard, behaviour primitives, ASM transition rules, UML actions, object-oriented programming, specification languages, finite automata, formal semantics, symbolic execution, Abstract State Machines, UML models, programming language semantics, dynamic semantics, static semantics