Computer Science

College of Engineering

Works Published in 1995

Sorted by most recent date added to the index first, which may not be the same as publication date order.

1995 conference paper

Formalizing Actions in Branching Time: Model-Theoretic Considerations

Proceedings of the 2nd International Workshop on Temporal Representation and Reasoning (TIME), 97–104. Melbourne Beach, Florida.

By: M. Singh

Source: NC State University Libraries
Added: January 29, 2021

1995 conference paper

Structure of Narratives: A Semantic Approach

Proceedings of the 2nd Conference of the Pacific Association for Computational Linguistics (PACLING), 1–8. Brisbane.

By: M. Singh & M. Singh

Source: NC State University Libraries
Added: January 29, 2021

1995 conference paper

A Natural Language Interface to Information Retrieval Systems

Proceedings of the 2nd Conference of the Pacific Association for Computational Linguistics (PACLING), 1–9. Brisbane.

By: M. Singh & M. Singh

Source: NC State University Libraries
Added: January 29, 2021

1995 conference paper

The Environmental Information Mall

IJCAI Workshop on Artificial Intelligence and the Environment. Montréal.

By: M. Huhns, M. Singh & G. Pitts

Source: NC State University Libraries
Added: January 29, 2021

1995 conference paper

An Event Algebra for Specifying and Scheduling Workflows

Proceedings of the 4th International Conference on Database Systems for Advanced Applications, 53–60.

By: M. Singh, L. Meredith, C. Tomlinson & P. Attie

Source: NC State University Libraries
Added: January 29, 2021

1995 conference paper

Semantical Considerations on Workflows: An Algebra for Intertask Dependencies

(P. Atzeni & V. Tannen, Eds.).

By: M. Singh

Ed(s): P. Atzeni & V. Tannen

Event: Proceedings of the Fifth International Workshop on Database Programming Languages at Gubbio, Umbria, Italy on September 6-8, 1995

Sources: Crossref, ORCID
Added: November 15, 2020

1995 journal article

Analysis of Coppersmith’s block Wiedemann algorithm for the parallel solution of sparse linear systems

Mathematics of Computation, 64(210), 777–777.

Source: Crossref
Added: August 28, 2020

1995 journal article

Integer division in residue number systems

IEEE Transactions on Computers, 44(8), 983–989.

By: M. Hitz & E. Kaltofen

Source: Crossref
Added: August 28, 2020

1995 journal article

Process Scheduling in DSC and the Large Sparse Linear Systems Challenge

Journal of Symbolic Computation, 19(1-3), 269–282.

By: A. Dı́az, M. Hitz, E. Kaltofen, A. Lobo & T. Valente

Source: Crossref
Added: August 28, 2020

1995 journal article

Effective Noether Irreducibility Forms and Applications

Journal of Computer and System Sciences, 50(2), 274–295.

Source: Crossref
Added: August 28, 2020

1995 journal article

Mixed quantitative/qualitative method for evaluating compromise solutions to conflicts in collaborative design

Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 9(4), 325–336.

By: D. Bahler, C. Dupont & J. Bowen

Source: Crossref
Added: February 24, 2020

1995 journal article

A mediated approach to open, large-scale information management

CONFERENCE PROCEEDINGS OF THE IEEE FOURTEENTH ANNUAL INTERNATIONAL PHOENIX CONFERENCE ON COMPUTERS AND COMMUNICATIONS.

Source: ORCID
Added: December 10, 2019

1995 conference paper

Mediated approach to open, large-scale information management

Conference Proceedings - International Phoenix Conference on Computers and Communications, 115–121.

By: M. Huhns & M. Singh

Source: ORCID
Added: December 10, 2019

1995 journal article

On embedding binary trees into hypercubes

Journal of Parallel and Distributed Computing, 24(2), 132–138.

By: W. Chen & M. Stallmann

Source: ORCID
Added: December 6, 2019

1995 conference paper

A database of course materials in computer architecture

Proceedings of the 1995 workshop on Computer architecture education - WCAE '95. Presented at the the 1995 workshop.

Event: the 1995 workshop

Sources: Crossref, ORCID
Added: March 30, 2019

1995 journal article

Real-time software development with formal models

Journal of Computing in Civil Engineering, 9(1), 73–86.

By: J. Baugh & W. Elseaidy

Source: ORCID
Added: December 6, 2018

1995 conference paper

Multiobjective optimization of the dial-a-ride problem using simulated annealing

Computing in Civil Engineering (New York), 1, 278–285.

Source: ORCID
Added: December 6, 2018

1995 conference paper

Decision support system for air quality management

Computing in Civil Engineering (New York), 2, 1367–1374.

By: D. Loughlin, J. Neal, S. Ranjithan, E. Brill & J. Baugh

Source: ORCID
Added: December 6, 2018

1995 book

Handbook of comparative veterinary pharmacokinetics and residues of pesticides and environmental contaminants

Boca Raton, FL: CRC Press, Inc.

By: S. Sundlof, J. Riviere & A. Craigmill

Source: NC State University Libraries
Added: August 6, 2018

1995 journal article

Image analysis of mispicks in woven fabric

Textile Research Journal, 65(11), 683–692.

Source: NC State University Libraries
Added: August 6, 2018