Sciweavers

16606 search results - page 496 / 3322
» Context Modeling: Task Model and Practice Model
Sort
View
ICALT
2009
IEEE
16 years 1 months ago
ICOPER Big Picture Modelling the Central Concepts of Competency-Driven Learning
Competency based learning is seen as a means to make the educational system more adapt to cater for , the learners’ professional development and the need to increase their futur...
Tore Hoel, Vana Kamtsiou
AIME
2009
Springer
16 years 1 months ago
Towards the Merging of Multiple Clinical Protocols and Guidelines via Ontology-Driven Modeling
Abstract. Decision support systems based on computerized Clinical Protocols (CP) and Clinical Practice Guidelines (CPG) fall short when dealing with patient co-morbidites, as this ...
Samina Raza Abidi, Syed Sibte Raza Abidi
ICONS
2008
IEEE
16 years 1 months ago
Dynamic Modeling and Control of Nonholonomic Mobile Robot with Lateral Slip
— Nonholonomic mobile robots are characterized by no-slip constraints. However, in many practical situations, slips are inevitable. In this work, we develop a theoretical and sys...
Naim Sidek, Nilanjan Sarkar
ICPR
2008
IEEE
16 years 1 months ago
Analytical method for MGRF Potts model parameter estimation
This paper proposes a new analytical method for estimating parameters of a homogeneous isotropic Potts model with an asymmetric Gibbs potential function. The model is generalized ...
Asem M. Ali, Aly A. Farag, Georgy L. Gimel'farb
FORMATS
2004
Springer
16 years 8 days ago
Symbolic Model Checking for Simply-Timed Systems
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...
Nicolas Markey, Ph. Schnoebelen