158 search results - page 12 / 32 » Higher Dimensional Transition Systems |
HPCS
2006
IEEE
14 years 1 months ago
2006
IEEE
We address computational issues relevant to the study of disordered quantum mechanical systems at very low temperatures. As an example we consider the disordered BoseHubbard model...
ESM
2000
13 years 8 months ago
2000
Petri Nets and higher order versions like Predicate Transition Nets (Pr/T-Nets) are very suitable for modeling event-oriented discrete and even parallel systems. Obviously, the ne...
JOT
2008
13 years 7 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
This paper addresses the problem of estimating human body dynamics from 3-D visual data. That is, our goal is to estimate the state of the system, joint angle trajectories and velo...
INFOCOM
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract. One important problem for such public broadcast LBS is to enforce access control on a large number of subscribers. In such a system a user typically subscribes to a LBS f...