: The 'Reusable Learning Objects' Centre for Excellence in Teaching and Learning (RLO-CETL) is a five-year project (2005-2010) involving staff from three universities (Lo...
Over the last years, object detection has become a more and more active field of research in robotics. An important problem in object detection is the need for sufficient labeled ...
The KNOWITALL system aims to automate the tedious process of extracting large collections of facts (e.g., names of scientists or politicians) from the Web in an unsupervised, doma...
Oren Etzioni, Michael J. Cafarella, Doug Downey, A...
On the desktop, an application can expect to control its user interface down to the last pixel, but on the World Wide Web, a content provider has no control over how the client wi...
Michael Bolin, Matthew Webber, Philip Rha, Tom Wil...
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...