4493 search results - page 535 / 899 » A Knowledge Recommend System Based on User Model |
184
click to vote
TACAS
2001
Springer
15 years 11 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
175
click to vote
SIGECOM
2009
ACM
16 years 1 months ago
2009
ACM
We study protocols to enable one user (the principal) to make potentially profitable but risky interactions with another user (the agent), in the absence of direct trust between ...
229
click to vote
ABIALS
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. Human action is goal-directed and must thus be guided by anticipations of wanted action effects. How anticipatory action control is possible and how it can emerge from ex...
188
click to vote
AINA
2011
IEEE
14 years 10 months ago
2011
IEEE
— Next generation wireless networks will be heterogeneous, where several primary users (PU e.g. licensed users) and secondary users (SU e.g. unlicensed users) can operate in the ...
187
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—In multiple-input multiple-output (MIMO) broadcast channels, multiuser diversity is exploited by scheduling data transmission to users with best channel conditions. To ...