1582 search results - page 256 / 317 » Qualitative Representation of Change |
APN
2004
Springer
14 years 17 days ago
2004
Springer
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...
DILS
2006
Springer
14 years 15 days ago
2006
Springer
Steps in scientific workflows often generate collections of results, causing the data flowing through workflows to become increasingly nested. Because conventional workflow compone...
EUROCRYPT
2006
Springer
14 years 15 days ago
2006
Springer
Motivated by the representation of biometric and multimedia objects, we consider the problem of hiding noisy point-sets using a secure sketch. A point-set X consists of s points fr...
AFRIGRAPH
2003
ACM
14 years 14 days ago
2003
ACM
Virtual sculpting enables the creation of computer models by emulating traditional sculpting. It can be implemented using spatial deformation, an interactive versatile modelling t...
CAV
2001
Springer
14 years 14 days ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...