6906 search results - page 1206 / 1382 » An algorithm for modelling key terms |
92
Voted
RSP
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
VTC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract-In this paper, a Q-learning-based hybrid automatic repeat request (Q-HARQ) scheme is proposed to achieve efficient resource utilization for high speed downlink packet acc...
110
Voted
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
This paper proposes a framework for agent-based distributed machine learning and data mining based on (i) the exchange of meta-level descriptions of individual learning processes ...
85
Voted
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
Reasoning about agents that we observe in the world is challenging. Our available information is often limited to observations of the agent’s external behavior in the past and p...
88
Voted
CIKM
2007
Springer
15 years 4 months ago
2007
Springer
Challenging the implicit reliance on document collections, this paper discusses the pros and cons of using query logs rather than document collections, as self-contained sources o...