This paper presents semantic approach for a solution of the problem of interoperability for virtual worlds. The semantic of virtual worlds and virtual entities is described using ...
Programmers and users of compute intensive scientific applications often do not want to (or even cannot) code load balancing and fault tolerance into their programs. The PBEAM syst...
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
Computer games are one of the most successful application domains in the history of interactive systems. This success has come despite the fact that games were ‘separated at bir...
Jeff Dyck, David Pinelle, Barry Brown, Carl Gutwin
An important problem in data mining is detecting changes in large data sets. Although there are a variety of change detection algorithms that have been developed, in practice it c...
Chris Curry, Robert L. Grossman, David Locke, Stev...