We report on our on-going effort to build an adaptive driver support system, Driver AdvocateTM , merging various AI techniques, in particular, agents, ontology, production systems...
Chung Hee Hwang, Noel Massey, Bradford W. Miller, ...
This paper describes the efforts required to convert conceptual designs and undefined processes for a proposed advanced steel processing shipyard facility into a discrete event si...
Daniel L. Williams, Daniel A. Finke, Deborah J. Me...
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
In this paper, we propose a novel shape and physical attribute handling system Volume-CAD designated for practical and robust use in the manufacturing process of various industrie...
Kiwamu Kase, Yoshinori Teshima, Shugo Usami, H. Oh...
Defect prevention is the most vital but habitually neglected facet of software quality assurance in any project. If functional at all stages of software development, it can condens...