3090 search results - page 563 / 618 » Document Processing with LinkIT |
103
click to vote
JLP
2007
15 years 11 days ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
AIEDU
2004
15 years 11 days ago
2004
Learning and reasoning from multiple documents requires students to employ the skills of sourcing (i.e., attending to and citing sources) and information integration (i.e., making ...
73
Voted
URBAN
2008
15 years 11 days ago
2008
Technologies associated with the second-generation of the World-Wide Web enable virtually anyone to share their data, documents, observations, and opinions on the Internet. In les...
SIGIR
2002
ACM
15 years 4 days ago
2002
ACM
We compare standard global IR searching with user-centric localized techniques to address the database selection problem. We conduct a series of experiments to compare the retriev...
SIGMOD
2002
ACM
15 years 4 days ago
2002
ACM
During 2001, the Enterprise Engineering Laboratory at George Mason University was contracted by the Boeing Company to develop an eHub capability for aerospace suppliers in Taiwan....