1818 search results - page 307 / 364 » Granularity-Adaptive Proof Presentation |
140
Voted
IFL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
132
Voted
TABLEAUX
2005
Springer
15 years 8 months ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...
132
click to vote
SPAA
2003
ACM
15 years 8 months ago
2003
ACM
In a (randomized) oblivious routing scheme the path chosen for a request between a source s and a target t is independent from the current traffic in the network. Hence, such a sc...
109
click to vote
ICML
2007
IEEE
16 years 4 months ago
2007
IEEE
The l-bfgs limited-memory quasi-Newton method is the algorithm of choice for optimizing the parameters of large-scale log-linear models with L2 regularization, but it cannot be us...
102
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...