3416 search results - page 597 / 684 » Can Machines Learn Logics |
131
click to vote
KDD
2005
ACM
16 years 1 months ago
2005
ACM
Abstract. With the amount of available information on the Web growing rapidly with each day, the need to automatically filter the information in order to ensure greater user effici...
114
click to vote
JCDL
2009
ACM
15 years 7 months ago
2009
ACM
Users of digital libraries usually want to know the exact author or authors of an article. But different authors may share the same names, either as full names or as initials and...
109
click to vote
SMC
2007
IEEE
15 years 7 months ago
2007
IEEE
— This paper presents the prototype of an expert peering system for information exchange in the knowledge society. Our system realizes an intelligent, real-time search engine for...
104
click to vote
LCPC
2005
Springer
15 years 6 months ago
2005
Springer
Compilers employ system models, sometimes implicitly, to make code optimization decisions. These models are analytic; they reflect their implementor’s understanding and beliefs ...
120
Voted
ECLIPSE
2007
ACM
15 years 4 months ago
2007
ACM
We present a tool that predicts whether the software under development inside an IDE has a bug. An IDE plugin performs this prediction, using the Change Classification technique t...