4047 search results - page 762 / 810 » Some Properties and Some Problems on Set Functors |
150
click to vote
ALT
1995
Springer
15 years 7 months ago
1995
Springer
This paper characterizes the polynomial time learnability of TPk, the class of collections of at most k rst-order terms. A collection in TPk de nes the union of the languages de n...
138
click to vote
AAAI
2010
15 years 5 months ago
2010
We consider approval voting elections in which each voter votes for a (possibly empty) set of candidates and the outcome consists of a set of k candidates for some parameter k, e....
161
click to vote
AAAI
2006
15 years 5 months ago
2006
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...
150
click to vote
VIP
2001
15 years 5 months ago
2001
The intersection of theatre-performance, design, and informatics is a fertile area for a broader understanding of the possible design and interaction between people and avatars in...
159
click to vote
ESORICS
2010
Springer
15 years 5 months ago
2010
Springer
Fair exchange is one of the most fundamental problems in secure distributed computation. Alice has something that Bob wants, and Bob has something that Alice wants. A fair exchang...