467 search results - page 8 / 94 » I O-automata Based Testing |
HICSS
2006
IEEE
15 years 4 months ago
2006
IEEE
The public sector provides a variety of services to citizens. The delivery of information for these services over electronic means such as the Internet forms an important componen...
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
Visual Servoing has been a viable method of robot manipulator control for more than a decade. Image-Based Visual Servoing (IBVS), in particular, has seen considerable development ...
AUSAI
2003
Springer
15 years 3 months ago
2003
Springer
An important task in machine learning is determining which learning algorithm works best for a given data set. When the amount of data is small the same data needs to be used repea...
114
click to vote
IFIP
2001
Springer
15 years 2 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
KDD
2006
ACM
15 years 10 months ago
2006
ACM
Outlier detection can uncover malicious behavior in fields like intrusion detection and fraud analysis. Although there has been a significant amount of work in outlier detection, ...