Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Conferences

Cost Effective Uses of Formal Methods in Verification and Validation

October 1, 2002

Author(s)

D. Richard Kuhn, Ramaswamy Chandramouli

Formal methods offer the promise of significant improvements in verification and validation, and may be the only approach capable of demonstrating the absence...

Dynamic Analysis of Sliding Contacts at Head-Disk Interface

October 1, 2002

Author(s)

Tze J. Chuang, Stephen M. Hsu

As magnetic data storage technology moves towards higher areal data density with higher rotational speeds and lower flying heights, the propensity of severe...

An IDEF1X Information Model for a Supply Chain Simulation

October 1, 2002

Author(s)

Yung-Tsun Lee, Shigeki Umeda

This paper describes the scope and configuration of the simulation model that is under development for a manufacturing supply chain. An information model that...

An Architecture for a Generic Data-Driven Machine Shop Simulator

October 1, 2002

Author(s)

Charles R. McLean, Albert T. Jones, Yung-Tsun Lee, Frank H. Riddick

In most cases, the effort required to develop a meaningful simulation for a small machine shop exceeds the resources available. Small shops typically do not...

Testing STEP-NC Implementations

October 1, 2002

Author(s)

Allison Barnard Feeney, Simon P. Frechette

STEP (STandard for the Exchange of Product model data, ISO 10303) data for numerical control, or STEP-NC, is intended to provide full product and process data...

Atomic Force Microscopy of Semiconductor Line Edge Roughness

October 1, 2002

Author(s)

N G. Orji, Jayaraman Raja, Theodore V. Vorburger

Over the last two decades the width of patterned lines on semiconductor devices has continuously decreased. Based on technology trends predicted by the...

Non-contact Electrical Critical Dimensions Metrology Sensor for Chrome Photomasks

October 1, 2002

Author(s)

Nadine Guillaume, Markku Lahti, Michael W. Cresswell, Richard A. Allen, Loren W. Linholm, Mona E. Zaghloul

A Tool to Improve Efficiency in Large Scale Manufacturing

September 25, 2002

Author(s)

Roger V. Bostelman, William P. Shackleford, Frederick M. Proctor, James S. Albus, Alan M. Lytle

NIST is working directly with industry to improve repair and conversion operations of ships in dry dock. Similarly, this work allows transfer of technology to...

Concept of the Robotoid Manager With AR.

September 23, 2002

Author(s)

T Bock, S Ashida

Computer Technologies in Construction Robots Control.

September 23, 2002

Author(s)

T Bock, D Parshin, R Neudorf, A Bulgakow

Collaborative Fire Protection Engineering Based on Software Agents.

September 23, 2002

Author(s)

U Rueppel

Case Study: Using the Wearable Computer in the Construction Industry.

September 23, 2002

Author(s)

S Fuller, Zhongli Ding, A Sattineni

Capitalizing on Early Project Opportunities to Improve Facility Life-Cycle Performance.

September 23, 2002

Author(s)

C Kam, M Fischer, R Hanninen, S Lehto, J Laitinen

Beyond WEBCAM: A Site-Web-Site for Building Construction.

September 23, 2002

Author(s)

S Nuntasunti, L E. Bernold

Automation in Building Design With Spatial Information.

September 23, 2002

Author(s)

Tinh Nguyen, A A. Oloufa

Automation Consideration During Project Design.

September 23, 2002

Author(s)

M M. Hewitt, J A. Gambatese

Automatic Steering System for Rotary Snow Removers.

September 23, 2002

Author(s)

H Hirashita, T Arai, T Yoshida

Automated Selecting Subcontractor Model in E-Commerce.

September 23, 2002

Author(s)

P H. Lin

Automated Inspection of Utility Pipes: A Solution Strategy for Data Management.

September 23, 2002

Author(s)

T Shehab-Eldeen, O Moselhi

Automated DSS for Lighting Design of Nightime Operations in Highway Construction Projects.

September 23, 2002

Author(s)

K El-Rayes, K Hyari

Automated Data Acquisition and Planning of Highway Construction.

September 23, 2002

Author(s)

A Hassanein, O Moselhi

Automated Construction Using Contour Crafting: Applications on Earth and Beyond.

September 23, 2002

Author(s)

B Khoshnevis, G Bekey

AUTMOD3: A Planning Tool for Modular Building System.

September 23, 2002

Author(s)

V M. Padron, O Cardenas, R Diez, M Abderrahim, C Balaguer

Assembly + Disassembly of Interior Wall.

September 23, 2002

Author(s)

A Hanser

Asphalt Quality Parameters Tracability Using Electronic Tags and GPS.

September 23, 2002

Author(s)

F Peyret, R Tasky

Artificial Intelligence Based Quality Control of Aggregate Production.

September 23, 2002

Author(s)

H Kim, C T. Haas, A F. Rauch

Application of a 3D Scanner in the Representation of Building Construction Site.

September 23, 2002

Author(s)

N J. Shih

Time Dependent Failure in E-Glass/DGEBA/m-PDA Model Composites

September 18, 2002

Author(s)

Gale A. Holmes, Walter G. McDonough

Knowledge Engineering for Real Time Intelligent Control

September 18, 2002

Author(s)

John Evans, Elena R. Messina, James S. Albus

The key to real-time intelligent control lies in the knowledge models that the system contains. Three main classes of knowledge are identified: parametric...

Effects of Word Error Rate in the DARPA Communicator Data During 2000 and 2001

September 16, 2002

Author(s)

Gregory A. Sanders, A N. Le, John S. Garofolo

During 2000 and 2001 two large data collections were performed, with paid users doing travel planning using eight Communicator spoken dialogue systems. We...

Was this page helpful?