627 search results - page 32 / 126 » Branched Polyhedral Systems |
QEST
2007
IEEE
14 years 2 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes an implementation of vertex weighting for real-time animation of 3D trees as a result of wind force and direction. This method improves over similar technique...
WSC
2004
13 years 10 months ago
2004
Decision trees are one of the most easy to use tools in decision analysis. Problems where decision tree branches are based on random variables have not received much attention. Th...
FMOODS
2000
13 years 10 months ago
2000
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
IJBC
2007
13 years 8 months ago
2007
Vanderbauwhede and van Gils, Krupa, and Langford studied unfoldings of bifurcations with purely imaginary eigenvalues and a nonsemisimple linearization, which generically occurs i...