1722 search results - page 343 / 345 » Generating Tests from Counterexamples |
GI
2010
Springer
13 years 4 months ago
2010
Springer
Abstract: Intuitiveness, attractiveness and efficiency are in general important characteristics of high quality User Interfaces (UI). In the case of a Mass Casualty Incident (MCI)...
ICRA
2010
IEEE
13 years 4 months ago
2010
IEEE
— Data collection using Autonomous Underwater Vehicles (AUVs) is increasing in importance within the oceanographic research community. Contrary to traditional moored or static pl...
TJS
2010
13 years 4 months ago
2010
This paper presents a novel host-based combinatorial method based on k-Means clustering and ID3 decision tree learning algorithms for unsupervised classification of anomalous and ...
SISAP
2010
IEEE
13 years 3 months ago
2010
IEEE
In this paper, we propose a novel image classification approach, derived from the kNN classification strategy, that is particularly suited to be used when classifying images descr...
BMCBI
2010
13 years 3 months ago
2010
Background: Expression levels for 47294 transcripts in lymphoblastoid cell lines from all 270 HapMap phase II individuals, and genotypes (both HapMap phase II and III) of 3.96 mil...