4276 search results - page 332 / 856 » Techniques for Empirical Validation |
201
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
172
click to vote
ECML
2007
Springer
16 years 29 days ago
2007
Springer
A general game player is an agent capable of taking as input a description of a game’s rules in a formal language and proceeding to play without any subsequent human input. To do...
190
click to vote
IBPRIA
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This paper deals with a compact catadioptric omnidirectional stereovision system based on a single camera and multi-mirrors (at least two mirrors). Many configurations w...
197
click to vote
MDM
2007
Springer
16 years 28 days ago
2007
Springer
Data broadcast is a technique to realize energy saving and bandwidth utilization in a mobile computing environment. However, traditional schemes schedule data items without consid...
156
click to vote
PKDD
2007
Springer
16 years 27 days ago
2007
Springer
In discretization of a continuous variable its numerical value range is divided into a few intervals that are used in classification. For example, Na¨ıve Bayes can benefit from...