3639 search results - page 336 / 728 » Experiments on IPv6 Testing |
177
Voted
AH
2000
Springer
15 years 8 months ago
2000
Springer
The paper investigates the use of computational intelligence for adaptive lesson presentation in a Web-based learning environment. A specialized connectionist architecture is devel...
123
Voted
CAV
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...
111
Voted
ICPR
2010
IEEE
15 years 8 months ago
2010
IEEE
The advent of real-time fMRI pattern classification opens many avenues for interactive self-regulation where the brain's response is better modelled by multivariate, rather t...
117
Voted
DIAU
2000
Springer
15 years 8 months ago
2000
Springer
In the past independent IT security evaluation according to published criteria has not realized its potential for the assessment of privacy enhancing technologies (PETs). Main rea...
128
Voted
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
This paper investigates the problem of improving the performance of general state-of-the-art robot control systems by autonomously adapting them to specific tasks and environments...