In this paper we present a method for detecting rounds and fillets in engineering sketches and drawings, and automatically generating a 3D model of the corresponding object, with r...
This paper presents results from on-going investigations into the performance of the Michiganstyle classifier system in a complex multi-agent environment. Using a simplified model...
Three nontrivial limitations of the existing JavaT M technology are considered from the viewpoint of object-oriented database technology. The limitations are: lack of support for o...
Abstract. This paper gives algebraic definitions for obtaining the minimal transition and place flows of a modular Petri net from the minimal transition and place flows of its comp...
Fusion is arguably the simplest way to combine modal logics. For normal modal logics with Kripke semantics, many properties such as completeness and decidability are known to trans...