940 search results - page 77 / 188 » Rules and Strategies in Java |
150
click to vote
AI
2005
Springer
15 years 17 days ago
2005
Springer
Maximum Boolean satisfiability (max-SAT) is the optimization counterpart of Boolean satisfiability (SAT), in which a variable assignment is sought to satisfy the maximum number of...
112
click to vote
LPAR
2001
Springer
15 years 5 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
84
Voted
DAWAK
2008
Springer
15 years 2 months ago
2008
Springer
In many application domains, classification tasks have to tackle multiclass imbalanced training sets. We have been looking for a CBA approach (Classification Based on Association r...
211
click to vote
ICDE
2005
IEEE
16 years 2 months ago
2005
IEEE
Data warehousing and on-line analytical processing (OLAP) are essential for decision support applications. Common OLAP operations include for example drill down, roll up, pivot an...
108
Voted
WETICE
1999
IEEE
15 years 4 months ago
1999
IEEE
Virtual organisations within and across enterprise structures are becoming mature as a potentially effective means for goal oriented business teamwork. Among the plentyful of supp...