298 search results - page 14 / 60 » ideal 2010 |
FAC
2010
14 years 7 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
IMCSIT
2010
14 years 6 months ago
2010
Modeling of optimized motion controller is one of the interesting problems in the context of behavior based mobile robotics. Behavior based mobile robots should have an ideal contr...
104
click to vote
JCIT
2010
14 years 4 months ago
2010
The aim of this paper is to investigate the multiple attribute decision making problems with linguistic information, in which the information about attribute weights is incomplete...
113
click to vote
JMLR
2010
14 years 4 months ago
2010
Many probabilistic models introduce strong dependencies between variables using a latent multivariate Gaussian distribution or a Gaussian process. We present a new Markov chain Mo...
SIGOPS
2010
14 years 4 months ago
2010
This paper highlights the growing importance of storage energy consumption in a typical data center, and asserts that storage energy research should drive towards a vision of ener...