Sidney C. Bailin

Publication Activity (10 Years)

Years Active: 1988-2015
Publications (10 Years): 0

Top Topics

Application Domains

Statistical Methods

Top Venues

Publications

Sidney C. Bailin, Theodora Bakker
A Flexible, Evolvable Data Broker. SKY (2015)
Bernard P. Zeigler, James J. Nutaro, Chungman Seo, Steven B. Hall, Pamela Clark, Michael Rilee, Sidney C. Bailin, Thomas Speller, Walter Powell
Frontier modeling support environment: flexibility to adapt to diverse stakeholders. SpringSim (TMS-DEVS) (2012)
Sidney C. Bailin
Retraction of: "A normalization theorem for set theory". J. Symb. Log. 76 (3) (2011)
Sidney C. Bailin
Features Need Stories. ICSR (2009)
Walt Truszkowski, Christopher A. Rouff, Sidney C. Bailin, Mike Rilee
Progressive autonomy: a method for gradually introducing autonomy into space missions. Innov. Syst. Softw. Eng. 1 (2) (2005)
Walt Truszkowski, Christopher A. Rouff, Sidney C. Bailin, Mike Rilee
Progressive Autonomy - An Incremental Agent-based Approach. Software Engineering Research and Practice (2005)
Sidney C. Bailin
Software Reuse as Ontology Negotiation. ICSR (2004)
Sidney C. Bailin, Heike B. Lehmann
Facilitating Physician-Patient Dialogue through Ontology Negotiation. CBMS (2003)
Walt Truszkowski, Sidney C. Bailin
Agent-based Spectral Analysis Automation (SAA) for On-board Science Data Processing. FLAIRS Conference (2003)
Sidney C. Bailin, Walt Truszkowski
Perspectives: An Analysis of Multiple Viewpoints in Agent-Based Systems. AMKM (2003)
David Guo, Michael W. Berry, Bryan B. Thompson, Sidney C. Bailin
Knowledge-Enhanced Latent Semantic Indexing. Inf. Retr. 6 (2) (2003)
Sidney C. Bailin, Walt Truszkowski
Ontology negotiation between intelligent information agents. Knowl. Eng. Rev. 17 (1) (2002)
Sidney C. Bailin, Gary Berg-Cross, Timothy W. Finin
Panel Discussion on Ontologies. WRAC (2002)
Sidney C. Bailin, Walt Truszkowski
Ontology Negotiation: How Agents Can Really Get to Know Each Other. WRAC (2002)
Sidney C. Bailin, Walt Truszkowski
Ontology Negotiation as a Basis for Opportunistic Cooperation between Intelligent Information Agents. CIA (2001)
Sidney C. Bailin, Walt Truszkowski
Ontology Negotiation between Scientific Archives. SSDBM (2001)
Sidney C. Bailin, Walt Truszkowski
Ontology Negotiation Using JESS. ICEIS (1) (2001)
Sidney C. Bailin
Ontology Negotiation in a Community of Agents. FAABS (2000)
Sidney C. Bailin, Dean Allemang
Formal alternative management integrating logical inference and rationals (FAMILIAR). ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Sidney C. Bailin
Domain Processes and Engineering. ACM SIGSOFT Softw. Eng. Notes 21 (1) (1996)
Scott Henderson, Sidney C. Bailin
A dynamic memory of software designs. Artif. Intell. Eng. Des. Anal. Manuf. 8 (2) (1994)
Sidney C. Bailin, Dave Barker-Plummer
Z-Match: An Inference Rule for Incrementally Elaborating Set Instantiations. J. Autom. Reason. 11 (3) (1993)
Dave Barker-Plummer, Sidney C. Bailin
Graphical Theorem Proving: An Approach to Reasoning with the Help of Diagrams. ECAI (1992)
Dave Barker-Plummer, Sidney C. Bailin, Andrew S. Merrill
&: Automated Natural Deduction. CADE (1992)
Sidney C. Bailin, Robert H. Gattis, Walt Truszkowski
A Learning-Based Software Engineering Environment for Reusing Design Knowledge. Int. J. Softw. Eng. Knowl. Eng. 1 (4) (1991)
Sidney C. Bailin, Robert H. Gattis, Walt Truszkowski
A Learning-Based Software Engineering Environment. KBSE (1991)
Sidney C. Bailin, Manju Bewtra, J. Mike Moore
Combining object-oriented and functional paradigms in a design methodology for Ada. TRI-Ada (1990)
Manju Bewtra, Sidney C. Bailin, J. Mike Moore
An Ada design and implementation toolset based on object-oriented and functional programming paradigms. WADAS (1990)
Sidney C. Bailin
An Object-Oriented Requirements Specifications Method. Commun. ACM 32 (5) (1989)
Sidney C. Bailin
An object-oriented specification method for Ada. WADAS (1988)
Sidney C. Bailin
A lambda-Unifiability Test for Set Theory. J. Autom. Reason. 4 (3) (1988)