158 search results - page 1 / 32 » Higher Dimensional Transition Systems |
LICS
1996
IEEE
13 years 9 months ago
1996
IEEE
We introduce the notion of higher dimensional transition systems as a model of concurrency providing an elementary, set-theoretic formalisation of the idea of higher dimensional t...
VISUALIZATION
1997
IEEE
13 years 9 months ago
1997
IEEE
In recent years scientific visualization has been driven by the need to visualize high-dimensional data sets within high-dimensional spaces. However most visualization methods ar...
CONCUR
2005
Springer
13 years 10 months ago
2005
Springer
Starting from the opinion that the standard firing rule of Petri nets embodies the collective token interpretation of nets rather than their individual token interpretation, I pro...
CDC
2010
IEEE
13 years 7 days ago
2010
IEEE
We analyze in this paper controllability aspects for a 4-dimensional quantum system. The "strong regularity" (cf. [1]) has been proven to be sufficient condition for glob...
ICDM
2003
IEEE
13 years 10 months ago
2003
IEEE
The Support Vector Machine (SVM) solution corresponds to the centre of the largest sphere inscribed in version space. Alternative approaches like Bayesian Point Machines (BPM) and...