3116 search results - page 192 / 624 » Positively dependent types |
127
Voted
ICML
1998
IEEE
16 years 5 months ago
1998
IEEE
Three factors are related in analyses of performance curves such as learning curves: the amount of training, the learning algorithm, and performance. Often we want to know whether...
130
click to vote
PADL
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
148
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper deals with the detection of a continuous random process described by an Ornstein-Uhlenbeck (O-U) stochastic differential equation. Randomly spaced sensors or equivalent...
130
click to vote
ICDCSW
2008
IEEE
15 years 11 months ago
2008
IEEE
Energy consumption is one of the critical concerns in sensor networks. In particular, there is substantial interest to investigate the distribution of the energy consumption among...
104
click to vote
ICALT
2007
IEEE
15 years 11 months ago
2007
IEEE
The tutor tries, by using feedbacks, to keep the learner’s attention and to increase his motivation and then his performance. However, the effectiveness of the tutor’s feedbac...