Sciweavers

950 search results - page 61 / 190
» The User Centred Knowledge Model - t-UCK
Sort
View
ISBRA
2010
Springer
14 years 3 months ago
Modeling without Borders: Creating and Annotating VCell Models Using the Web
Biological research is becoming increasingly complex and data-rich, with multiple public databases providing a variety of resources: hundreds of thousands of substances and interac...
Michael L. Blinov, Oliver Ruebenacker, James C. Sc...
SPIN
2004
Springer
14 years 2 months ago
Model-Driven Software Verification
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
Gerard J. Holzmann, Rajeev Joshi
AIED
2009
Springer
14 years 3 months ago
Belief Exploration in a Multiple-Media Open Learner Model for Basic Harmony
This paper focuses on whether learners of basic music theory may find a multiple-media independent open learner model useful to explore their knowledge of harmony concepts. Learner...
Matthew Johnson, Susan Bull
SGAI
2007
Springer
14 years 3 months ago
Extending Jess to Handle Uncertainty
Computer scientists are often faced with the challenge of having to model the world and its associated uncertainties. One area in particular where modelling uncertainty is importa...
David Corsar, Derek H. Sleeman, Anne McKenzie
AAAI
2012
11 years 11 months ago
A Spin-Glass Model for Semi-Supervised Community Detection
Current modularity-based community detection methods show decreased performance as relational networks become increasingly noisy. These methods also yield a large number of divers...
Eric Eaton, Rachael Mansbach