674 search results - page 115 / 135 » From Constructibility and Absoluteness to Computability and ... |
135
Voted
GIS
1992
ACM
15 years 6 months ago
1992
ACM
Machine learning techniques such as tree induction have become accepted tools for developing generalisations of large data sets, typically for use with production rule systems in p...
120
click to vote
IJCAI
2007
15 years 3 months ago
2007
A key problem in reinforcement learning is finding a good balance between the need to explore the environment and the need to gain rewards by exploiting existing knowledge. Much ...
114
Voted
AAAI
2008
15 years 3 months ago
2008
We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to...
168
click to vote
AGP
2010
IEEE
14 years 12 months ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
131
click to vote
CRYPTO
2000
Springer
15 years 6 months ago
2000
Springer
Traceability schemes allow detection of at least one traitor when a group of colluders attempt to construct a pirate decoder and gain illegal access to digital content. Fiat and Ta...