971 search results - page 151 / 195 » Approximate Satisfiability and Equivalence |
110
click to vote
ICFCA
2009
Springer
15 years 6 months ago
2009
Springer
Matrix decomposition methods provide representations of an object-variable data matrix by a product of two different matrices, one describing relationship between objects and hidd...
114
click to vote
HAPTICS
2009
IEEE
15 years 6 months ago
2009
IEEE
The force-update-rate requirements of transparent rendering of virtual environments are in conflict with the computational cost required for computing complex interactions betwee...
ICC
2009
IEEE
15 years 6 months ago
2009
IEEE
—Finding the most likely path satisfying a requested additive Quality-of-Service (QoS) value, such as delay, when link metrics are defined as random variables by known probabili...
104
click to vote
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
Decentralized partially observable Markov decision processes (Dec-POMDPs) constitute a generic and expressive framework for multiagent planning under uncertainty. However, plannin...
ICTIR
2009
Springer
15 years 6 months ago
2009
Springer
We review the history of modeling score distributions, focusing on the mixture of normal-exponential by investigating the theoretical as well as the empirical evidence supporting i...