Sciweavers

2594 search results - page 117 / 519
» Elements of a Theory of Simulation
Sort
View
WMP
2000
14 years 13 days ago
Mathematics of Multisets
This paper is an attempt to summarize the basic elements of the multiset theory. We begin by describing multisets and the operations between them, then we present hybrid sets and t...
Apostolos Syropoulos
AML
2008
85views more  AML 2008»
13 years 9 months ago
A hierarchy of hereditarily finite sets
This article defines a hierarchy on the hereditarily finite sets which reflects the way sets are built up from the empty set by repeated adjunction, the addition to an already exis...
Laurence Kirby
LOGCOM
2010
158views more  LOGCOM 2010»
13 years 7 months ago
Applying Universal Algebra to Lambda Calculus
The aim of this paper is double. From one side we survey the knowledge we have acquired these last ten years about the lattice of all λ-theories (= equational extensions of untype...
Giulio Manzonetto, Antonino Salibra
HT
2003
ACM
14 years 2 months ago
HyperReal: a hypermedia model for mixed reality
This paper describes a generic hypermedia model that is used as a framework for building context aware and mixed reality applications. It can handle different media elements, and ...
Luís Romero, Nuno Correia
IGPL
2010
109views more  IGPL 2010»
13 years 7 months ago
Deductive coherence and norm adoption
This paper is a contribution to the formalisation of Thagard’s coherence theory. The term coherence is defined as the quality or the state of cohering, especially a logical, ord...
Sindhu Joseph, Carles Sierra, W. Marco Schorlemmer...