7167 search results - page 1106 / 1434 » A Technique for Invariant Generation |
227
click to vote
KDD
2009
ACM
16 years 5 days ago
2009
ACM
Inductive Logic Programming (ILP) systems have been successfully applied to solve complex problems in bioinformatics by viewing them as binary classification tasks. It remains an...
242
click to vote
MCS
2009
Springer
16 years 4 days ago
2009
Springer
Abstract. Data with multi-valued categorical attributes can cause major problems for decision trees. The high branching factor can lead to data fragmentation, where decisions have ...
220
click to vote
MIG
2009
Springer
16 years 4 days ago
2009
Springer
There are various techniques for simulating crowds, however, in most cases the quality of the simulation is measured by examining its “look-and-feel”. Even if the aggregate mov...
196
click to vote
OTM
2009
Springer
16 years 4 days ago
2009
Springer
Grids currently serve as platforms for numerous scientific as well as business applications that generate and access vast amounts of data. In this paper, we address the need for e...
194
click to vote
SSS
2009
Springer
16 years 4 days ago
2009
Springer
Abstract. The problem of self-optimization and adaptation in the context of customizable systems is becoming increasingly important with the emergence of complex software systems a...