3 search results - page 1 / 1 » Specifying and verifying sparse matrix codes |
ICFP
2010
ACM
13 years 6 months ago
2010
ACM
JMLR
2008
13 years 4 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...
SIGSOFT
2007
ACM
14 years 6 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...