535 search results - page 13 / 107 » Do we need dependent types |
117
Voted
FUIN
2006
15 years 3 months ago
2006
The notion of program transformation is ubiquitous in programming language studies on interpreters, compilers, partial evaluators, etc. In order to implement a program transformat...
121
Voted
CRYPTO
2009
Springer
15 years 10 months ago
2009
Springer
The problem of carrying out cryptographic computations when the participating parties are rational in a game-theoretic sense has recently gained much attention. One problem that h...
172
Voted
ML
2012
ACM
13 years 11 months ago
2012
ACM
Dependency networks approximate a joint probability distribution over multiple random variables as a product of conditional distributions. Relational Dependency Networks (RDNs) are...
134
click to vote
SMI
2005
IEEE
15 years 9 months ago
2005
IEEE
Recent research on point-based surface representations suggests that point sets may be a viable alternative to parametric surface representations in applications where the topolog...
118
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Electronic textiles, known as computational fabrics, offer an emerging method for constructing wearable and large area applications. Because e-textiles are battery-driven and faul...