1982 search results - page 242 / 397 » Parametricity and dependent types |
155
click to vote
IADIS
2004
15 years 7 months ago
2004
This paper introduces a study, part of a work concerning a tool that enables teachers to create educational materials. Production of such educational materials is based on predefi...
199
click to vote
VCIP
2003
15 years 7 months ago
2003
In this paper, we propose a content based video categorizing method focusing broadcasted sports videos using camera motion parameters. We define two new features in the proposed m...
145
click to vote
ESANN
2000
15 years 7 months ago
2000
We describe the results of a research on the effect of weight-decay (WD) in input selection methods based on the analysis of a trained multilayer feedforward network. It was propos...
173
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we analyse how traders select marketplaces and bid in a setting with multiple competing marketplaces. Specifically, we use a fictitious play algorithm to analyse the...
183
click to vote
ERCIMDL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Recent work on analyzing query logs shows that a significant fraction of queries are temporal, i.e., relevancy is dependent on time, and temporal queries play an importan...