Sciweavers

2757 search results - page 219 / 552
» On separating systems
Sort
View
WETICE
1997
IEEE
15 years 9 months ago
A Semantic Approach of Virtual Worlds Interoperability
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 ...
Michel Soto, Sébastien Allongue
IPPS
1998
IEEE
15 years 9 months ago
Migration and Rollback Transparency for Arbitrary Distributed Applications in Workstation Clusters
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...
Stefan Petri, Matthias Bolz, Horst Langendörf...
160
Voted
JAR
1998
134views more  JAR 1998»
15 years 4 months ago
Integrating Computer Algebra into Proof Planning
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...
Manfred Kerber, Michael Kohlhase, Volker Sorge
GRAPHICSINTERFACE
2003
15 years 6 months ago
Learning from Games: HCI Design Innovations in Entertainment Software
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
KDD
2007
ACM
335views Data Mining» more  KDD 2007»
16 years 5 months ago
Detecting changes in large data sets of payment card data: a case study
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...