43264 search results - page 8345 / 8653 » Comparing models of computation |
114
click to vote
ECIR
2011
Springer
14 years 2 months ago
2011
Springer
Recently, mean-variance analysis has been proposed as a novel paradigm to model document ranking in Information Retrieval. The main merit of this approach is that it diversifies t...
EXPERT
2011
14 years 2 months ago
2011
—With the rapid development of the electricity market, both grid and market operations need to be carefully coordinated and monitored in real time. This paper focuses on system m...
157
click to vote
FASE
2011
Springer
14 years 2 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
110
Voted
IJRR
2011
14 years 2 months ago
2011
— This paper presents LQG-MP (linear-quadratic Gaussian motion planning), a new approach to robot motion planning that takes into account the sensors and the controller that will...
94
Voted
INFOCOM
2011
IEEE
14 years 2 months ago
2011
IEEE
—We analyze a comprehensive model for multi-class job scheduling accounting for user abandonment, with the objective of minimizing the total discounted or time-average sum of lin...