1263 search results - page 157 / 253 » Packaging Mathematical Structures |
WSC
1998
13 years 11 months ago
1998
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...
WSC
2000
13 years 11 months ago
2000
This paper introduced the application of a more efficient mathematical representation of the kinematics of avatars, or digital human beings, in telecollaborative virtual reality e...
COLING
1990
13 years 11 months ago
1990
Tense and aspect, together with mood and modality, usually form the entangled structure of a complex verb. They are often hard to translate by machines, because of both syntactic ...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
DM
2008
13 years 9 months ago
2008
A pooling space is a ranked poset P such that the subposet w+ induced by the elements above w is atomic for each element w of P. Pooling spaces were introduced in [Discrete Mathem...