502 search results - page 10 / 101 » Visual Formalisms Revisited |
COMBINATORICS
2007
13 years 7 months ago
2007
In this paper, we revisit the enumeration of directed animals using gas models. We show that there exists a natural construction of random directed animals on any directed graph t...
JCP
2008
13 years 7 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
WAPCV
2007
Springer
14 years 1 months ago
2007
Springer
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent that suppor...
IV
2003
IEEE
14 years 28 days ago
2003
IEEE
In this paper we present a “lightweight” visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, te...
ICMCS
1996
IEEE
13 years 12 months ago
1996
IEEE
The MATILDA multimedia authoring system has been developedto addressissuesrelated to authoringprocessand information management and representation. This paper presents our initial...