5329 search results - page 1004 / 1066 » The Weighted Majority Algorithm |
127
click to vote
JAR
1998
15 years 2 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
116
click to vote
JUCS
2002
15 years 2 months ago
2002
: JPlag is a web service that finds pairs of similar programs among a given set of programs. It has successfully been used in practice for detecting plagiarisms among student Java ...
134
click to vote
SIGPLAN
2002
15 years 2 months ago
2002
We present a new analysis for removing unnecessary write barriers in programs that use generational garbage collection. To our knowledge, this is the first static program analysis...
143
click to vote
VLDB
2002
ACM
15 years 2 months ago
2002
ACM
Automated recommendation (e.g., personalized product recommendation on an ecommerce web site) is an increasingly valuable service associated with many databases--typically online ...
124
click to vote
JETC
2008
15 years 1 months ago
2008
With aggressive reductions in feature sizes and the integration of multiple functionalities on the same die, bottlenecks due to I/O pin limitations have become a severe issue in to...