10996 search results - page 1944 / 2200 » Future Directions in Computing |
FASE
2011
Springer
13 years 23 days ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
FGR
2011
IEEE
13 years 23 days ago
2011
IEEE
— Matching images with large geometric and iconic changes (e.g. faces under different poses and facial expressions) is an open research problem in computer vision. There are two ...
GECCO
2011
Springer
13 years 23 days ago
2011
Springer
In recent years there have been efforts to develop a probabilistic framework to explain the workings of a Learning Classifier System. This direction of research has met with lim...
GECCO
2011
Springer
13 years 23 days ago
2011
Springer
In continuous optimisation, surrogate models (SMs) are used when tackling real-world problems whose candidate solutions are expensive to evaluate. In previous work, we showed that...
INFOCOM
2011
IEEE
13 years 21 days ago
2011
IEEE
—Localizability of network or node is an important subproblem in sensor localization. While rigidity theory plays an important role in identifying several localizability conditio...