553 search results - page 51 / 111 » Learning Meets Verification |
108
click to vote
GI
2009
Springer
15 years 5 days ago
2009
Springer
: Collecting and sharing attention information represents a main concern within the Technology Enhanced Learning community, as the number of works or projects related to this topic...
132
Voted
WISE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The key for providing a robust context for personalized information retrieval is to build a library which gathers the long term and the short term user’s interests and ...
130
click to vote
COLT
2007
Springer
15 years 8 months ago
2007
Springer
We prove that the concept class of disjunctions cannot be pointwise approximated by linear combinations of any small set of arbitrary real-valued functions. That is, suppose there ...
125
click to vote
COOPIS
2004
IEEE
15 years 6 months ago
2004
IEEE
Semantically heterogeneous and distributed data sources are quite common in several application domains such as bioinformatics and security informatics. In such a setting, each dat...
107
click to vote
NIPS
2004
15 years 3 months ago
2004
We propose a new set of criteria for learning algorithms in multi-agent systems, one that is more stringent and (we argue) better justified than previous proposed criteria. Our cr...