3273 search results - page 146 / 655 » types 2007 |
111
click to vote
APAL
1999
15 years 4 months ago
1999
We describe a new way to construct large subdirectly irreducibles within an equational class of algebras. We use this construction to show that there are forbidden geometries of m...
143
click to vote
PRL
2007
15 years 4 months ago
2007
A very large dataset of handwritten Farsi digits is introduced. Binary images of 102,352 digits were extracted from about 12,000 registration forms of two types, filled by B.Sc. ...
233
Voted
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
Type safety and expressiveness of many existing Java libraries and their client applications would improve, if the libraries were upgraded to define generic classes. Efficient and...
151
click to vote
JACM
2007
15 years 4 months ago
2007
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by defining a family of recursive path orderings for terms of a typed ...
104
Voted
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...