3573 search results - page 581 / 715 » Reasoning about Codata |
84
Voted
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
Context scenarios are widely used for assessing the robustness of strategies and policies in both the private and the public sector. Royal Dutch Shell, for instance, has become re...
109
click to vote
IUI
2003
ACM
15 years 6 months ago
2003
ACM
This paper presents a novel way for assessing the affective qualities of natural language and a scenario for its use. Previous approaches to textual affect sensing have employed k...
115
Voted
EUROCRYPT
2003
Springer
15 years 6 months ago
2003
Springer
In spite of a relatively large number of publications about breaking Enigma by the Allies before and during the World War II, this subject remains relatively unknown not only to th...
109
click to vote
HYBRID
2010
Springer
15 years 6 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
109
click to vote
COLT
1999
Springer
15 years 5 months ago
1999
Springer
We present a unified framework for reasoning about worst-case regret bounds for learning algorithms. This framework is based on the theory of duality of convex functions. It brin...