Sciweavers

769 search results - page 37 / 154
» Simple Composition of Nets
Sort
View
EDUTAINMENT
2007
Springer
14 years 1 months ago
Interactive Composition of 3D Faces for Virtual Characters
As many 3D on-line games appear, there is an increased need for simple and efficient techniques to create many new faces. This paper presents a new algorithm to composite 3D faces ...
Haeyoung Lee, Sungyeol Lee
IFIP
2005
Springer
14 years 1 months ago
Opacity Generalised to Transition Systems
Recently, opacity has proved to be a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of...
Jeremy Bryans, Maciej Koutny, Laurent Mazaré...
ANNALS
2008
78views more  ANNALS 2008»
13 years 7 months ago
Netlib and NA-Net: Building a Scientific Computing Community
The Netlib software repository was created in 1984 to facilitate quick distribution of public domain software routines for use in scientific computation. The Numerical Analysis Ne...
Jack Dongarra, Gene H. Golub, Eric Grosse, Cleve B...
SIMPRA
2008
137views more  SIMPRA 2008»
13 years 7 months ago
An admissible-behaviour-based analysis of the deadlock in Petri-net controllers
This paper addresses the problem of verifying the discrete control logic that is typically implemented by programmable controllers. Not only are the logical properties of the cont...
G. Music, Drago Matko
CAGD
2005
108views more  CAGD 2005»
13 years 7 months ago
Designing composite triangular subdivision schemes
The paper iterates on the observation made independently by several groups of authors that building subdivision schemes out of simple, very local and geometrically invariant avera...
Peter Oswald