6978 search results - page 1046 / 1396 » On Proofs in System P |
200
Voted
ECRTS
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a hybrid approach for scheduling real-time tasks on large-scale multicore platforms with hierarchical shared caches. In this approach, a multicore platform is partition...
152
Voted
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Voters in a democracy have the responsibility to learn about the candidates and issues on which they are deciding. The internet offers voters unparalleled opportunities for findin...
161
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
A major challenge in the field of Multi-Agent Systems is to enable autonomous agents to allocate tasks efficiently. This paper extends previous work on an approach to the collec...
210
click to vote
ICASSP
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we analyze the convergence of an iterative selftraining semi-supervised support vector machine (SVM) algorithm, which is designed for classi cation in small trainin...
205
Voted
ICTAI
2007
IEEE
16 years 1 months ago
2007
IEEE
Multiagent learning attracts much attention in the past few years as it poses very challenging problems. Reinforcement Learning is an appealing solution to the problems that arise...