509 search results - page 23 / 102 » Preserving Properties Under Change |
MFCS
1997
Springer
14 years 2 months ago
1997
Springer
It is important for programs to have modular correctness properties. We look at non-deterministic programs expressed as termrewriting systems which compute normal forms of input t...
CSFW
2004
IEEE
14 years 1 months ago
2004
IEEE
Information flow security properties such as noninterference ensure the protection of confidential data by strongly limiting the flow of sensitive information. However, to deal wi...
ICCS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Wrinkles are important visual features on the skin of an animated character. However, realistic animation of wrinkles is not easy, especially for the hand, as it gathers ...
3DPVT
2004
IEEE
14 years 1 months ago
2004
IEEE
Many model editing operations, such as morphing, blending, and shape deformation, require the ability to interactively transform the surface of a model in response to some control...
AAAI
2008
14 years 5 days ago
2008
Changing preferences is very common in real life. The expressive power of the operations of preference change introduced so far in the literature is limited to adding new informat...