Sciweavers

2799 search results - page 310 / 560
» Ontological technologies for user modelling
Sort
View
IV
2003
IEEE
111views Visualization» more  IV 2003»
15 years 12 months ago
A Model of Synchronous Collaborative Information Visualization
In this paper we describe a model of the process by which people solve problems using information visualization systems. The model was based on video analysis of forty dyads who p...
Gloria Mark, Keri Carpenter, Alfred Kobsa
KBSE
2003
IEEE
15 years 12 months ago
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
Peter Bunus, Peter Fritzson
ECAI
2008
Springer
15 years 8 months ago
Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu,...
DICTA
2003
15 years 8 months ago
Gesture Classification Using Hidden Markov Models and Viterbi Path Counting
Human-Machine interfaces play a role of growing importance as computer technology continues to evolve. Motivated by the desire to provide users with an intuitive gesture input syst...
Nianjun Liu, Brian C. Lovell
TAMODIA
2004
15 years 8 months ago
Towards a composite modelling approach for multitasking
Much information and knowledge work (with and without information technology) can be characterised as multitasking and interrupt driven. A whole host of characterisations and buzz...
Peter J. Wild, Peter Johnson, Hilary Johnson