2517 search results - page 100 / 504 » Specifying Weak Sets |
151
click to vote
IJACTAICIT
2010
15 years 2 months ago
2010
We have proposed a fault-prone software module detection method using text-filtering approach, called Fault-proneness filtering. Even though the fault-proneness filtering achieved...
152
click to vote
IUI
2012
ACM
14 years 1 months ago
2012
ACM
Visual programming languages (VPLs) provide notations for representing both the intermediate and the final results of a knowledge engineering process. Whereas some VPLs particula...
152
click to vote
KDD
1999
ACM
15 years 9 months ago
1999
ACM
We propose to use AdaBoost to efficiently learn classifiers over very large and possibly distributed data sets that cannot fit into main memory, as well as on-line learning wher...
142
click to vote
MOR
2008
15 years 5 months ago
2008
We define a refinement of Nash equilibria called metastability. This refinement supposes that the given game might be embedded within any global game that leaves its local best-rep...
153
click to vote
CAV
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...