4810 search results - page 658 / 962 » Modeling Value Speculation |
182
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
198
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
148
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper deals with a wireless indoor positioning problem in which the location of a tag is estimated from range measurements taken by fixed beacons. The measurements may be affe...
180
click to vote
ICDM
2009
IEEE
15 years 4 months ago
2009
IEEE
Matrix factorization (MF) models have proved efficient and well scalable for collaborative filtering (CF) problems. Many researchers also present the probabilistic interpretation o...
182
Voted
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
The Markov chain approximation method is an effective and widely used approach for computing optimal values and controls for stochastic systems. It was extended to nonlinear (and p...