Diana F. Spears

According to our database1, Diana F. Spears authored at least 47 papers between 1988 and 2012.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2012
An Ensemble Architecture for Learning Complex Problem-Solving Techniques from Demonstration.
ACM Trans. Intell. Syst. Technol., 2012

Learning and Verifying Safety Constraints for Planners in a Knowledge-Impoverished System.
Comput. Intell., 2012

2010
Biases in Particle Swarm Optimization.
Int. J. Swarm Intell. Res., 2010

A Theoretical Framework for Estimating Swarm Success Probability Using Scouts.
Int. J. Swarm Intell. Res., 2010

Experimental studies of swarm robotic chemical plume tracing using computational fluid dynamics simulations.
Int. J. Intell. Comput. Cybern., 2010

2009
Safety and Security Multi-agent Systems - Research Results from 2004-2006.
Proceedings of the Safety and Security in Multiagent Systems, 2009

Erratum to: Fluid-Like Swarms with Predictable Macroscopic Behavior.
Proceedings of the Safety and Security in Multiagent Systems, 2009

Foundations of swarm robotic chemical plume tracing from a fluid dynamics perspective.
Int. J. Intell. Comput. Cybern., 2009


2008
Using scouts to predict swarm success rate.
Proceedings of the 2008 IEEE Swarm Intelligence Symposium, 2008

Trilateration Localization for Multi-robot Teams.
Proceedings of the ICINCO 2008, 2008

2007
Logic-Based Agent Verification.
J. Appl. Log., 2007

2006
Where Are You?
Proceedings of the Swarm Robotics, Second International Workshop, SAB 2006, Rome, Italy, 2006

2005
Swarms for chemical plume tracing.
Proceedings of the 2005 IEEE Swarm Intelligence Symposium, 2005

Swarm Approach to Chemical Source Localization.
Proceedings of the IEEE International Conference on Systems, 2005

Distributed robotics approach to chemical plume tracing.
Proceedings of the 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2005

Robotic simulation of gases for a surveillance task.
Proceedings of the 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2005

2004
Reconfigurable robot teams: modeling and supervisory control.
IEEE Trans. Control. Syst. Technol., 2004

Distributed, Physics-Based Control of Swarms of Vehicles.
Auton. Robots, 2004

An Overview of Physicomimetics.
Proceedings of the Swarm Robotics, SAB 2004 International Workshop, 2004

Agent-Based Chemical Plume Tracing Using Fluid Dynamics.
Proceedings of the Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, 2004

A Formal Analysis of Potential Energy in a Multi-agent System.
Proceedings of the Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, 2004

Two Formal Gas Models for Multi-agent Sweeping and Obstacle Avoidance.
Proceedings of the Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, 2004

A Fluid Dynamics Approach to Multi-Robot Chemical Plume Tracing.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Physicomimetics for Mobile Robot Formations.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

2002
Formal Modeling and Supervisory Control of Reconfigurable Robot Teams.
Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

Analysis of a Phase Transition in a Physics-Based Multiagent System.
Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

Asimov's Laws: Current Progress.
Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

2001
Supervision of multiple-robot systems.
Proceedings of the American Control Conference, 2001

2000
Asimovian Adaptive Agents.
J. Artif. Intell. Res., 2000

Evolving Finite-State Machine Strategies for Protecting Resources.
Proceedings of the Foundations of Intelligent Systems, 12th International Symposium, 2000

Adaptive Supervisory Control of Multi-agent Systems.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

Panel Discussion: Future Directions.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

Panel Discussion: Empirical versus Formal Methods.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

APT Agents: Agents That Are Adaptive, Predictable, and Timely.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

1998
Well-Behaved Borgs, Bolos, and Berserkers.
Proceedings of the Fifteenth International Conference on Machine Learning (ICML 1998), 1998

1995
Evaluation and Selection of Biases in Machine Learning.
Mach. Learn., 1995

For Every Generalization Action, Is There Really an Equal and Opposite Reaction?
Proceedings of the Machine Learning, 1995

1994
Using Markov Chains to Analyze GAFOs.
Proceedings of the Third Workshop on Foundations of Genetic Algorithms. Estes Park, Colorado, USA, July 31, 1994

1993
Using Genetic Algorithms for Concept Learning.
Mach. Learn., 1993

A Multistrategy Learning Scheme for Agent Knowledge Acquisition.
Informatica (Slovenia), 1993

1991
Improving the Comprehensibility, Accuracy, and Generality of Reactive Plans.
Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

An Enhancer for Reactive Plans.
Proceedings of the Eighth International Workshop (ML91), 1991

1990
Explanations of Empirically Derived Reactive Plans.
Proceedings of the Machine Learning, 1990

1989
Explicitly biased generalization.
Comput. Intell., 1989

Screening Hypotheses with Explicit Bias.
Proceedings of the Sixth International Workshop on Machine Learning (ML 1989), 1989

1988
Using cautious heuristics to bias generlization and guide example section.
SIGART Newsl., 1988


  Loading...