ACS
2004
13 years 4 months ago
2004
For a complete lattice V which, as a category, is monoidal closed, and for a suitable Setmonad T we consider (T, V)-algebras and introduce (T, V)-proalgebras, in generalization of...
CIE
2005
Springer
13 years 4 months ago
2005
Springer
The attempt of this paper is to describe and analyze the formalisms of pervasive games and pervasive gaming (PG). As the title indicates, PG consists of atomic entities that never...
TOPNOC
2008
13 years 4 months ago
2008
State spaces are commonly used representations of system behavior. A state space may be derived from a model of system behavior but can also be obtained through process mining. For...
SIAMSC
2008
13 years 4 months ago
2008
Previously, it has been shown that discretising a multi-Hamiltonian PDE in space and time with partitioned Runge
JSCIC
2006
13 years 4 months ago
2006
An explicit time-stepping method is developed for adaptive solution of time-dependent partial differential equations with first order derivatives. The space is partitioned into bl...
MLQ
2008
13 years 4 months ago
2008
Abstract: Under the axiom of choice, every first countable space is a Fr
EJC
2007
13 years 4 months ago
2007
Consider a polar space S weakly embedded in a projective space P. A secant of S is the intersection of the point set of S with a line of P spanned by two non-collinear points of S...
ECCC
2007
13 years 4 months ago
2007
Satisfiability algorithms have become one of the most practical and successful approaches for solving a variety of real-world problems, including hardware verification, experime...
ECCC
2007
13 years 4 months ago
2007
We prove space hierarchy and separation results for randomized and other semantic models of computation with advice where a machine is only required to behave appropriately when g...
JMIV
2008
13 years 4 months ago
2008
Every stereovision application must cope with the correspondence problem. The space of the matching variables, often consisting of spatial coordinates, intensity and disparity, is...