1999 search results - page 311 / 400 » Finding Reductions Automatically |
FLAIRS
2008
15 years 2 months ago
2008
In this paper, we present methods to analyze dialog coherence that help us to automatically distinguish between coherent and incoherent conversations. We build a machine learning ...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
Recent work in transfer learning has succeeded in making reinforcement learning algorithms more efficient by incorporating knowledge from previous tasks. However, such methods typ...
105
click to vote
ATVA
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
103
click to vote
CARDIS
2008
Springer
15 years 1 months ago
2008
Springer
The Java Card API provides a framework of classes and interfaces that hides the details of the underlying smart card interface, thus relieving developers from going through the swa...
120
click to vote
CEAS
2008
Springer
15 years 1 months ago
2008
Springer
Social networking communities have become an important communications platform, but the popularity of these communities has also made them targets for a new breed of social spamme...