Sciweavers

1302 search results - page 61 / 261
» On the Strong Chromatic Number
Sort
View
BSDCON
2003
15 years 7 months ago
GBDE-GEOM Based Disk Encryption
The ever increasing mobility of computers has made protection of data on digital storage media an important requirement in a number of applications and situations. GBDE is a stron...
Poul-Henning Kamp
94
Voted
AMC
2010
69views more  AMC 2010»
15 years 6 months ago
The Leitmann-Schmitendorf advertising game with n players and time discounting
The extension of the Leitmann-Schmitendorf advertising game to n players and positive time discounting is investigated. We show that the strong time consistency of the open-loop N...
Davide Dragone, Luca Lambertini, Arsen Palestini
APAL
2010
125views more  APAL 2010»
15 years 6 months ago
The computable Lipschitz degrees of computably enumerable sets are not dense
The computable Lipschitz reducibility was introduced by Downey, Hirschfeldt and LaForte under the name of strong weak truthtable reducibility [6]. This reducibility measures both t...
Adam R. Day
IWC
2008
67views more  IWC 2008»
15 years 6 months ago
Humour, Relationship Maintenance and Personality Matching in automated dialogue: A controlled study
We built an automated dialogue system whose style of interaction can be varied along the three dimensions of Humour, Relationship Maintenance and Personality Matching. We then ran...
Marco De Boni, Alannah Richardson, Robert Hurling
IANDC
1998
70views more  IANDC 1998»
15 years 6 months ago
Diagram Techniques for Confluence
op diagram techniques for proving confluence in abstract reductions systems. The underlying theory gives a systematic and uniform framework in which a number of known results, wide...
Marc Bezem, Jan Willem Klop, Vincent van Oostrom