1382 search results - page 10 / 277 » Formal Analysis of Online Algorithms |
IFIP
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. We formally study two privacy-type properties in online auction protocols, bidding-price-secrecy and receipt-freeness. These properties are formalised as observational eq...
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents the results of a genre analysis of two web-based collaborative authoring environments, Wikipedia and Everything2, both of which are intended as repositories of...
ASIAN
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We present a reduction semantics for the LYSA calculus extended with session information, for modelling cryptographic protocols, and a static analysis for it. If a protoc...
ML
2007
ACM
14 years 11 months ago
2007
ACM
We describe a novel framework for the design and analysis of online learning algorithms based on the notion of duality in constrained optimization. We cast a sub-family of universa...
ACL
1989
15 years 26 days ago
1989
We present an algorithm for generating strings from logical form encodings that improves upon previous algorithms in that it places fewer restrictions on the class of grammars to ...