1888 search results - page 82 / 378 » Proof theory and computational analysis |
73
Voted
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
ThispaperpresentsatheoreticalframeworkbasedonBayesian decision theory for analyzing recently reported results on implicit coscheduling of parallel applications on clusters of work...
79
Voted
HICSS
2006
IEEE
15 years 6 months ago
2006
IEEE
We report on analysis of discussions in an online community of people with chronic illness using socio-cognitively motivated, automatically produced semantic spaces. The analysis ...
FCT
2003
Springer
15 years 5 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
159
click to vote
SIAMMAX
2010
14 years 7 months ago
2010
The problem of completing a low-rank matrix from a subset of its entries is often encountered in the analysis of incomplete data sets exhibiting an underlying factor model with app...
96
Voted
ICFP
2008
ACM
16 years 13 days ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...