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