4493 search results - page 302 / 899 » A Knowledge Recommend System Based on User Model |
202
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
188
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— In this paper, we investigate the problem of minimizing the average transmission power of users while guaranteeing the average delay constraints in time-varying uplink ...
151
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
To model human concepts of motions is essential for the development of the systems and machines that collaborate with ordinary people on spatiodynamic tasks. This paper applies two...
166
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper reports the analytical development and preliminary experimental evaluation of a class of exact nonlinear full state model-based observers for underwater vehicle navi...
171
click to vote
Publication
Finding My Needle in the Haystack: Effective Personalized Re-ranking of Search Results in Prospector
16 years 3 months ago
Abstract. This paper provides an overview of Prospector, a personalized Internet meta-search engine, which utilizes a combination of ontological information, ratings-based models o...