4231 search results - page 481 / 847 » Using Language More Responsibly |
120
click to vote
FSTTCS
1993
Springer
15 years 9 months ago
1993
Springer
A for-loop is somewhat similar to an inductive argument. Just as the truth of a proposition P(n + 1) depends on the truth of P(n), the correctness of iteration n+1 of a for-loop de...
175
click to vote
IJCAI
1997
15 years 6 months ago
1997
As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...
147
click to vote
UM
2010
Springer
15 years 10 months ago
2010
Springer
Our previous research indicates that using personality quizzes is a viable and promising way to build user profiles to recommend entertainment products. Based on these findings, ...
195
click to vote
ALT
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We analyze the expected cost of a greedy active learning algorithm. Our analysis extends previous work to a more general setting in which different queries have differe...
138
click to vote
CSCW
2008
ACM
15 years 7 months ago
2008
ACM
In any collaborative system, there are both symmetries and asymmetries present in the design of the technology and in the ways that technology is appropriated. Yet media space res...