79 search results - page 14 / 16 » An Analysis of Empirical Testing for Modal Decision Procedur... |
ISSTA
1998
ACM
13 years 11 months ago
1998
ACM
Program dependence information is useful for a variety of software testing and maintenance tasks. Properly defined, control and data dependencies can be used to identify semantic...
FOGA
1998
13 years 8 months ago
1998
Genetic algorithms (GAs) are multi-dimensional and stochastic search methods, involving complex interactions among their parameters. For last two decades, researchers have been tr...
FLAIRS
1998
13 years 8 months ago
1998
Reinforcement learning (RL) problems constitute an important class of learning and control problems faced by artificial intelligence systems. In these problems, one is faced with ...
ECCV
2008
Springer
14 years 9 months ago
2008
Springer
We propose a new local learning scheme that is based on the principle of decisiveness: the learned classifier is expected to exhibit large variability in the direction of the test ...
SUM
2007
Springer
14 years 1 months ago
2007
Springer
Schema matching is the task of matching between concepts describing the meaning of data in various heterogeneous, distributed data sources. With many heuristics to choose from, sev...