1285 search results - page 191 / 257 » Structural Operators for Modeling 3-Manifolds |
APN
2006
Springer
15 years 4 months ago
2006
Springer
We consider nested nets, i.e. Petri nets in which tokens can be Petri nets themselves. We study value semantics of nested nets rather than reference semantics, and apply nested ne...
114
click to vote
WSCG
2004
15 years 2 months ago
2004
Rasterization of polygons in 2D is a well known problem, existing several optimal solutions to solve it. The extension of this problem to 3D is more difficult and most existing so...
114
click to vote
CORR
2010
Springer
15 years 22 days ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
113
Voted
JMIV
2007
15 years 15 days ago
2007
We discuss the existence of viscosity solutions for a class of anisotropic level-set methods which can be seen as an extension of the mean-curvature motion with a nonlinear anisot...
140
click to vote
ANSOFT
2002
15 years 15 days ago
2002
Web applications can be classified as hybrids between hypermedia and information systems. They have a relatively simple distributed architecture from the user viewpoint, but a comp...