1722 search results - page 164 / 345 » Generating Tests from Counterexamples |
COMSIS
2006
13 years 9 months ago
2006
In this paper we present an improvement of the precision of classification algorithm results. Two various approaches are known: bagging and boosting. This paper describes a set of ...
GW
2005
Springer
14 years 2 months ago
2005
Springer
In Sign Language recognition, one of the problems is to collect enough data. Data collection for both training and testing is a laborious but necessary step. Almost all of the stat...
DATE
1999
IEEE
14 years 1 months ago
1999
IEEE
Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds application in test pattern generation, delay-fault testing, combinational equivalen...
EOR
2007
13 years 9 months ago
2007
This paper presents modeling and solution method improvements for the Multi-Resource Routing Problem (MRRP) with flexible tasks. The MRRP with flexible tasks is used to model ro...
BIOSTEC
2008
13 years 10 months ago
2008
This paper proposes a framework for mining market basket data to generate Nutritional Patterns (NPs) and a method for analysing generated nutritional patterns using F...