9067 search results - page 1709 / 1814 » Adaptive Model Checking |
181
click to vote
IEEEHPCS
2010
15 years 1 months ago
2010
Network Multimedia data also need to be encrypted to protect private content and access control. Considering performance constraints and embedded system issues, many hardware solu...
166
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this article, we present a flexible simulation environment for embedded real-time software refinement by a mixed level cosimulation. For this, ne the native speed of a...
169
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
Multilingual speech recognition obviously involves numerous research challenges, including common phoneme sets, adaptation on limited amount of training data, as well as mixed lan...
180
click to vote
JDCTA
2010
15 years 1 months ago
2010
To gain insights into the neural basis of such adaptive decision-making processes, we investigated the nature of learning process in humans playing a competitive game with binary ...
215
click to vote
JDCTA
2010
15 years 1 months ago
2010
Information fused by multi-sensors is an important factor for obtaining reliable contextual information in smart spaces which use the pervasive and ubiquitous computing techniques...