1867 search results - page 92 / 374 » Understanding visual behaviour |
100
Voted
IFM
2004
Springer
15 years 7 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
116
Voted
AUSFORENSICS
2004
15 years 3 months ago
2004
The increase in incidence of criminal, illegal and inappropriate computer behaviour has resulted in organisations forming specialist teams to investigate these behaviours. Academi...
104
Voted
FM
2009
Springer
15 years 9 months ago
2009
Springer
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
99
Voted
HPCS
2007
IEEE
15 years 8 months ago
2007
IEEE
One of the challenges in the large-scale simulations required for many molecular systems (such as those of biological interested) is the recording, monitoring and visualization of...
124
Voted
IVA
2009
Springer
15 years 7 months ago
2009
Springer
This paper presents an architecture for an intelligent virtual agent that imitates human drumming behaviour. Through imitation, the agent models the user-specific variations that ...