553 search results - page 99 / 111 » Learning Meets Verification |
GECCO
2008
Springer
13 years 11 months ago
2008
Springer
In this paper we explore the model–building issue of multiobjective optimization estimation of distribution algorithms. We argue that model–building has some characteristics t...
APIN
2008
13 years 10 months ago
2008
Abstract Self-healing, i.e. the capability of a system to autonomously detect failures and recover from them, is a very attractive property that may enable large-scale software sys...
IJMMS
2006
13 years 9 months ago
2006
How to measure usability is an important question in HCI research and user interface evaluation. We review current practice in measuring usability by categorizing and discussing u...
VC
2008
13 years 9 months ago
2008
We synthesize new human body motions from existing motion data. We divide the body of an animated character into several parts, such as to upper and lower body, and partition the m...
PUC
2007
13 years 9 months ago
2007
We present a study of using camera-phones and visual-tags to access mobile services. Firstly, a userexperience study is described in which participants were both observed learning ...