IEEE Transactions on Software Engineering · 1995 · 44 citations · 15 references
EngineeringComputer ScienceAlgorithmsInstrumentationMetrologyDimensional AnalysisMeasurement ConversionsMeasurement SystemsUnit ConversionUnits Of MeasurementUnit Conversion Algorithms
Algorithms are presented for converting units of measurement from a given form to a desired form. The algorithms are fast, are able to convert any combination of units to any equivalent combination, and perform dimensional analysis to ensure that the conversion is legitimate. Algorithms are also presented for simplification of symbolic combinations of units. Application of these techniques to perform automatic unit conversion and unit checking in a programming language is described.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
15
Enabling technology for knowledge sharing
Robert Neches, Richard Fikes, Tim Finin et al. · AI Magazine · 1991 · 1.3K citations
Management, Knowledge Management, Knowledge Representation +16
PACT: an experiment in integrating concurrent engineering systems
Mark R. Cutkosky, Robert S. Engelmore, R. Fikes et al. · Computer · 1993 · 544 citations