677 search results - page 68 / 136 » Dependent Types from Counterexamples |
CSREAEEE
2006
14 years 11 months ago
2006
- Collaborative filtering is a widely used and proven method of building recommender systems that provide personalized recommendations on products or services based on explicit rat...
IADIS
2004
14 years 11 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...
104
click to vote
VCIP
2003
14 years 11 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...
BC
2008
14 years 10 months ago
2008
For simulations of large spiking neuron networks, an accurate, simple and versatile single-neuron modeling framework is required. Here we explore the versatility of a simple two-eq...
ISCI
2008
14 years 9 months ago
2008
As two classical measures, approximation accuracy and consistency degree can be employed to evaluate the decision performance of a decision table. However, these two measures cann...