967 search results - page 170 / 194 » Probabilistic Predicative Programming |
122
click to vote
TPHOL
2007
IEEE
15 years 8 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
124
click to vote
VRCAI
2006
ACM
15 years 8 months ago
2006
ACM
Visualization of volumetric datasets is common in many fields and has been an active area of research in the past two decades. In spite of developments in volume visualization te...
AISC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
107
click to vote
CF
2010
ACM
15 years 7 months ago
2010
ACM
Branches that depend directly or indirectly on load instructions are a leading cause of mispredictions by state-of-the-art branch predictors. For a branch of this type, there is a...
150
click to vote
PODS
2010
ACM
15 years 7 months ago
2010
ACM
Differential privacy is a robust privacy standard that has been successfully applied to a range of data analysis tasks. But despite much recent work, optimal strategies for answe...