Sidney C. Bailin

According to our database, Sidney C. Bailin authored at least 32 papers between 1988 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

A Flexible, Evolvable Data Broker.

Sidney C. Bailin, Theodora Bakker

Proceedings of the SKY 2015, 2015

2012

Frontier modeling support environment: flexibility to adapt to diverse stakeholders.

Bernard P. Zeigler, James J. Nutaro, Chungman Seo, Steven B. Hall, Pamela Clark, Michael Rilee, Sidney C. Bailin, Thomas Speller, Walter Powell

Proceedings of the 2012 Spring Simulation Multiconference, 2012

2011

Retraction of: "A normalization theorem for set theory".

Sidney C. Bailin

J. Symb. Log., 2011

2009

Features Need Stories.

Sidney C. Bailin

Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

2005

Progressive autonomy: a method for gradually introducing autonomy into space missions.

Walt Truszkowski, Christopher A. Rouff, Sidney C. Bailin, Mike Rilee

Innov. Syst. Softw. Eng., 2005

Progressive Autonomy - An Incremental Agent-based Approach.

Walt Truszkowski, Christopher A. Rouff, Sidney C. Bailin, Mike Rilee

Proceedings of the International Conference on Software Engineering Research and Practice, 2005

2004

Software Reuse as Ontology Negotiation.

Sidney C. Bailin

Proceedings of the Software Reuse: Methods, 2004

2003

Knowledge-Enhanced Latent Semantic Indexing.

David Guo, Michael W. Berry, Bryan B. Thompson, Sidney C. Bailin

Inf. Retr., 2003

Agent-based Spectral Analysis Automation (SAA) for On-board Science Data Processing.

Walt Truszkowski, Sidney C. Bailin

Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003

Facilitating Physician-Patient Dialogue through Ontology Negotiation.

Sidney C. Bailin, Heike B. Lehmann

Proceedings of the 16th IEEE Symposium on Computer-Based Medical Systems (CBMS 2003), 2003

Perspectives: An Analysis of Multiple Viewpoints in Agent-Based Systems.

Sidney C. Bailin, Walt Truszkowski

Proceedings of the Agent Mediated Knowledge Management, 2003

2002

Ontology negotiation between intelligent information agents.

Sidney C. Bailin, Walt Truszkowski

Knowl. Eng. Rev., 2002

Ontology Negotiation: How Agents Can Really Get to Know Each Other.

Sidney C. Bailin, Walt Truszkowski

Proceedings of the Innovative Concepts for Agent-Based Systems, 2002

Panel Discussion on Ontologies.

Sidney C. Bailin, Gary Berg-Cross, Timothy W. Finin

Proceedings of the Innovative Concepts for Agent-Based Systems, 2002

On the Practical Semantics of Mathematical Diagrams.

Dave Barker-Plummer, Sidney C. Bailin

Proceedings of the Diagrammatic Representation and Reasoning, 2002

2001

Ontology Negotiation between Scientific Archives.

Sidney C. Bailin, Walt Truszkowski

Proceedings of the 13th International Conference on Scientific and Statistical Database Management, 2001

Ontology Negotiation Using JESS.

Sidney C. Bailin, Walt Truszkowski

Proceedings of the ICEIS 2001, 2001

Ontology Negotiation as a Basis for Opportunistic Cooperation between Intelligent Information Agents.

Sidney C. Bailin, Walt Truszkowski

Proceedings of the Cooperative Information Agents V, 5th International Workshop, 2001

2000

Formal alternative management integrating logical inference and rationals (FAMILIAR).

Sidney C. Bailin, Dean Allemang

ACM SIGSOFT Softw. Eng. Notes, 2000

Ontology Negotiation in a Community of Agents.

Sidney C. Bailin

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

1996

Domain Processes and Engineering.

Sidney C. Bailin

ACM SIGSOFT Softw. Eng. Notes, 1996

1994

A dynamic memory of software designs.

Scott Henderson, Sidney C. Bailin

Artif. Intell. Eng. Des. Anal. Manuf., 1994

1993

Z-Match: An Inference Rule for Incrementally Elaborating Set Instantiations.

Sidney C. Bailin, Dave Barker-Plummer

J. Autom. Reason., 1993

1992

Graphical Theorem Proving: An Approach to Reasoning with the Help of Diagrams.

Dave Barker-Plummer, Sidney C. Bailin

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

&: Automated Natural Deduction.

Dave Barker-Plummer, Sidney C. Bailin, Andrew S. Merrill

Proceedings of the Automated Deduction, 1992

1991

A Learning-Based Software Engineering Environment for Reusing Design Knowledge.

Sidney C. Bailin, Robert H. Gattis, Walt Truszkowski

Int. J. Softw. Eng. Knowl. Eng., 1991

A Learning-Based Software Engineering Environment.

Sidney C. Bailin, Robert H. Gattis, Walt Truszkowski

Proceedings of the Proceedings 6th Annual Knowledge-Based Software Engineering Conference, 1991

1990

An Ada design and implementation toolset based on object-oriented and functional programming paradigms.

Manju Bewtra, Sidney C. Bailin, J. Mike Moore

Proceedings of the Seventh Washington Ada Symposium on Ada, 1990

Combining object-oriented and functional paradigms in a design methodology for Ada.

Sidney C. Bailin, Manju Bewtra, J. Mike Moore

Proceedings of the conference on TRI-ADA 1990, 1990

1989

An Object-Oriented Requirements Specifications Method.

Sidney C. Bailin

Commun. ACM, 1989

1988

A lambda-Unifiability Test for Set Theory.

Sidney C. Bailin

J. Autom. Reason., 1988

An object-oriented specification method for Ada.

Sidney C. Bailin

Proceedings of the fifth Washington Ada Symposium on Ada, 1988