575 search results - page 71 / 115 » Controller Synthesis for Probabilistic Systems |
NIPS
2007
13 years 9 months ago
2007
Many existing approaches to collaborative filtering can neither handle very large datasets nor easily deal with users who have very few ratings. In this paper we present the Prob...
SIGGRAPH
1993
ACM
14 years 4 days ago
1993
ACM
The realistic depiction of smoke, steam, mist and water reacting to a turbulent eld such as wind is an attractive and challenging problem. Its solution requires interlocking model...
NIPS
2001
13 years 9 months ago
2001
To find out how the representations of structured visual objects depend on the co-occurrence statistics of their constituents, we exposed subjects to a set of composite images wit...
SSS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. For large distributed systems built from inexpensive components, one expects to see incessant failures. This paper proposes two models for such faults and analyzes two we...
RSP
2005
IEEE
14 years 1 months ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...