Sciweavers

1501 search results - page 156 / 301
» Towards Integration of Modeling Methods for Cyber-Physical S...
Sort
View
IFM
1999
Springer
111views Formal Methods» more  IFM 1999»
15 years 8 months ago
An Object Semantic Model of SOFL
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
Jin Song Dong, Shaoying Liu
WSC
2008
15 years 6 months ago
A simulation template for modeling tunnel shaft construction
This paper presents the design and development of a template for analyzing shaft construction projects. It is suitable for integration with the existing Tunneling template of the ...
Fangyi Zhou, Simaan M. AbouRizk, Siri Fernando
CCECE
2006
IEEE
15 years 10 months ago
A Dynamic Associative E-Learning Model based on a Spreading Activation Network
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...
Phongchai Nilas, Nilamit Nilas, Somsak Mitatha
ICASSP
2008
IEEE
15 years 11 months ago
Multi-feature vector flow for active contour tracking
In order to achieve both fast tracking and accurate object extraction, we present in this paper an original real-time active contour method, incorporating different feature maps i...
Joanna I. Olszewska, Christophe De Vleeschouwer, B...
UM
2007
Springer
15 years 10 months ago
Visual Attention in Open Learner Model Presentations: An Eye-Tracking Investigation
Using an eye-tracker, this paper investigates the information that learners visually attend to in their open learner model, and the degree to which this is related to the method of...
Susan Bull, Neil Cooke, Andrew Mabbott