Abstract. In this paper we show an implementation of an algorithm to synthesize a place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by ...
With the broad availability and increasing performance of commodity graphics processors (GPU), non-graphical applications have become an active field of research. However, leveragi...
This paper discusses our approach to building models and analyzing student behaviors in different versions of our learning by teaching environment where students learn by teaching ...
Abstract. With the convergence of technologies in artificial intelligence, humancomputer interfaces, and pervasive computing, the idea of a “smart environment” is becoming a re...
Parisa Rashidi, G. Michael Youngblood, Diane J. Co...
Task information support on the Web is not always an easy and straightforward process. Much of the information is inaccurate, biased, out-of-date, or just not thorough enough. The...