|
|
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 |
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 |
|
|
|