136 search results - page 14 / 28 » separable and transitive graphoids |
PG
2003
IEEE
14 years 24 days ago
2003
IEEE
This paper presents several methods for shading meshes from scanned paint samples that represent dark to light transitions. Our techniques emphasize artistic control of brush stro...
APN
2003
Springer
14 years 23 days ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
COOPIS
2002
IEEE
14 years 15 days ago
2002
IEEE
Abstract. Filtered delivery model of message passing in an objectoriented distributed computing environment facilitates separation of message control from message processing in a t...
SI3D
1997
ACM
13 years 11 months ago
1997
ACM
A new tracing algorithm is described that supports haptic rendering of NURBS surfaces without the use of any intermediate representation. By using this tracing algorithm in conjun...
CSL
2004
Springer
13 years 11 months ago
2004
Springer
It is well known that in an o-minimal hybrid system the continuous and discrete components can be separated, and therefore the problem of finite bisimulation reduces to the same pr...