351 search results - page 20 / 71 » Prototyping a Visual Formalism for System Modelling |
WAPCV
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper proposes a neuronal-based solution to active visual search, that is, visual search for a given target in displays that are too large in spatial extent to be in...
CHI
1995
ACM
14 years 5 days ago
1995
ACM
ld is a prototype IR user interface. It implements visualizations of an abstract information space – fulltext. The presentation demonstrates a visual user interface for the prob...
EJC
2000
13 years 10 months ago
2000
Even if a problem solving method and a domain ontology has been identified, there still remains the problem of adding sufficient and consistent domain knowledge to a knowledge proc...
ZUM
2000
Springer
14 years 5 days ago
2000
Springer
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...
ISSS
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speciï¬...