6800 search results - page 1028 / 1360 » Testing with Functions as Specifications |
170
click to vote
PDPTA
2010
15 years 4 months ago
2010
The problem of programmability on modern heterogeneous multicore and future manycore embedded platforms is still not solved satisfactorily: although many existing but incompatible ...
217
click to vote
PKDD
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present an implementation of model-based online reinforcement learning (RL) for continuous domains with deterministic transitions that is specifically designed to achi...
188
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
Traditional architecture design approaches hide hardware uncertainties from the software stack through overdesign, which is often expensive in terms of power consumption. The recen...
183
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: In this paper we describe an approach that enables the detection, tracking and fine analysis (classification of gender and facial expression) of faces using a single web camera. ...
157
click to vote
HCI
2009
15 years 4 months ago
2009
We aim at designing an effective evacuation support system for disaster response, specifically tailored to aid the walking wounded, a significant group of victims suffering from re...