467 search results - page 17 / 94 » I O-automata Based Testing |
114
click to vote
ICAIL
2003
ACM
15 years 3 months ago
2003
ACM
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...
IPMI
2007
Springer
15 years 11 months ago
2007
Springer
This study evaluates a robust parametric modeling approach for computer-aided detection (CAD) of vertebrae column metastases in whole-body MRI. Our method involves constructing a m...
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
— Collision awareness has been recognized as a critical component for effective rate adaptation schemes. Recently, several collision-aware rate adaptation schemes have been propo...
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
Mobile agents require access to computing resources on heterogeneous systems across the Internet. This demo illustrates how agents can negotiate terms and conditions of resource a...
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
A survey of niching algorithms, based on 5 variants of derandomized Evolution Strategies (ES), is introduced. This set of niching algorithms, ranging from the very first derandom...