3241 search results - page 450 / 649 » Challenges for Dataset Search |
136
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...
242
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
We demonstrate a prototype of the relational data mapping module of MIQIS, a formal framework for investigating information flow in peer-to-peer database management systems. Data ...
163
click to vote
DCC
2007
IEEE
16 years 6 months ago
2007
IEEE
The H.264/ACV standard provides significant improvements in performance over earlier video coding standards at the cost of increased complexity. Our challenge is to determine H.26...
133
click to vote
MMM
2009
Springer
16 years 3 months ago
2009
Springer
The SenseCam is a wearable camera that automatically takes photos of the wearer’s activities, generating thousands of images per day. Automatically organising these images for eï...
207
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
This paper addresses action spotting, the spatiotemporal detection and localization of human actions in video. A novel compact local descriptor of video dynamics in the context of...