Sciweavers

1829 search results - page 73 / 366
» Towards Validation of Requirements Models
Sort
View
MICCAI
2003
Springer
16 years 23 days ago
Establishing Local Correspondences towards Compact Representations of Anatomical Structures
Computer-aided diagnosis is often based on comparing a structure of interest with prior models. Such a comparison requires automatic techniques in determining prior models from a s...
Xiaolei Huang, Nikos Paragios, Dimitris N. Metaxas
CCGRID
2009
IEEE
15 years 6 months ago
Multi-scale Real-Time Grid Monitoring with Job Stream Mining
—The ever increasing scale and complexity of large computational systems ask for sophisticated management tools, paving the way toward Autonomic Computing. A first step toward A...
Xiangliang Zhang, Michèle Sebag, Céc...
HCI
2009
14 years 9 months ago
Trust in Online Technology: Towards Practical Guidelines Based on Experimentally Verified Theory
Abstract. A large amount of research attempts to define trust, yet relatively little research attempts to experimentally verify what makes trust needed in interactions with humans ...
Christian Detweiler, Joost Broekens
AH
2006
Springer
15 years 3 months ago
Towards Formalising Adaptive Behaviour Within the Scope of E-Learning
As there are a lot of approaches and projects within the area of adaptive e-learning, several theoretical models have been developed in the last 15 years. Against this background, ...
Felix Mödritscher
IPPS
2008
IEEE
15 years 6 months ago
Measuring power and temperature from real processors
The modeling of power and thermal behavior of modern processors requires challenging validation approaches, which may be complex and in some cases unreliable. In order to address ...
Francisco J. Mesa-Martinez, Michael Brown, Joseph ...