492 search results - page 65 / 99 » Simplifying Probabilistic Programs Using Computer Algebra |
79
Voted
SAFECOMP
2007
Springer
15 years 5 months ago
2007
Springer
In future, the decreasing feature size and the reduced power supply will make it much more difficult to built reliable microprocessors. Economic pressure will most likely result in...
111
click to vote
POPL
2010
ACM
15 years 8 months ago
2010
ACM
Despite years of work on retargetable compilers, creating a good, reliable back end for an optimizing compiler still entails a lot of hard work. Moreover, a critical component of ...
108
Voted
IANDC
2010
14 years 8 months ago
2010
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
116
Voted
ISMIR
2004
Springer
15 years 4 months ago
2004
Springer
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the f...
ICCS
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Complex tensor contraction expressions arise in accurate electronic structure models in quantum chemistry, such as the Coupled Cluster method. Transformations using algeb...