12774 search results - page 2387 / 2555 » A Framework for Proof Systems |
193
click to vote
AIRWEB
2007
Springer
16 years 23 days ago
2007
Springer
This paper focuses on spam blog (splog) detection. Blogs are highly popular, new media social communication mechanisms. The presence of splogs degrades blog search results as well...
171
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
This paper proposes the β-WoLF algorithm for multiagent reinforcement learning (MARL) in the stochastic games framework that uses an additional “advice” signal to inform agen...
204
click to vote
ATC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Jgroup/ARM is a middleware for developing and operating dependable distributed Java applications. Jgroup integrates the distributed object model of Java RMI with the obje...
188
click to vote
CMMR
2007
Springer
16 years 22 days ago
2007
Springer
This paper describes recent work on a large-scale, interactive theater performance entitled Schwelle as a platform to pose critical questions around the conception, design and imp...
179
click to vote
ER
2007
Springer
16 years 22 days ago
2007
Springer
Frequently the behaviour of an information system is functionally correct, but it does not meet some quality criteria, such as completeness, consistency, and usability. One way to...