1296 search results - page 127 / 260 » Searching with context |
137
click to vote
SIGKDD
2000
15 years 5 months ago
2000
With over 800 million pages covering most areas of human endeavor, the World-wide Web is a fertile ground for data mining research to make a di erence to the e ectiveness of infor...
220
click to vote
VL
2010
IEEE
15 years 3 months ago
2010
IEEE
-- In the past decade there has been spectacular growth in the number and size of third-party libraries, frameworks, toolkits and other Application Programming Interfaces (APIs) av...
163
click to vote
CSL
2010
Springer
15 years 6 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
297
click to vote
CADE
2011
Springer
14 years 5 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
115
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
The Malibu system provides peripheral access to and awareness of activities, tasks, social-bookmark resources, and feeds to assist knowledge workers in their activity-centric work...