3 search results - page 1 / 1 » Specifying and verifying sparse matrix codes |
60
Voted
ICFP
2010
ACM
14 years 10 months ago
2010
ACM
101
click to vote
JMLR
2008
14 years 9 months ago
2008
We study a generative model in which hidden causes combine competitively to produce observations. Multiple active causes combine to determine the value of an observed variable thr...
109
click to vote
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...