3374 search results - page 536 / 675 » Explaining Similarity of Terms |
144
Voted
JACM
2010
15 years 2 months ago
2010
A temporal constraint language is a set of relations that has a first-order definition in (Q, <), the dense linear order of the rational numbers. We present a complete comple...
120
Voted
JBCB
2010
15 years 2 months ago
2010
The production of gold standard corpora is time-consuming and costly. We propose an alternative: the ‚silver standard corpus‗ (SSC), a corpus that has been generated by the ha...
110
Voted
JFP
2010
15 years 2 months ago
2010
The aim of our work is to be able to do fully formal, machine verified proofs over Generic Haskellstyle polytypic programs. In order to achieve this goal, we embed polytypic prog...
130
Voted
LOGCOM
2010
15 years 2 months ago
2010
This paper has two purposes. The first is to present a final coalgebra construction for finitary endofunctors on Set that uses a certain subset L∗ of the limit L of the firs...
143
Voted
MM
2010
ACM
15 years 2 months ago
2010
ACM
We present a tool that can efficiently facilitate interactive navigation and search in videos. In addition to browsing a video by shots it also allows a user to navigate through a...