709 search results - page 60 / 142 » In-stroke word completion |
INTETAIN
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Input from the lower body in human-computer interfaces can be beneficial, enjoyable and even entertaining when users are expected to perform tasks simultaneously. Users ...
LFCS
2009
Springer
15 years 6 months ago
2009
Springer
We give a sound and complete labeled natural deduction system for an interesting fragment of CTL∗ , namely the until-free version of BCTL∗ . The logic BCTL∗ is obtained by re...
110
click to vote
SACRYPT
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In this paper we analyse the security of the SHA-3 candidate ARIRANG. We show that bitwise complementation of whole registers turns out to be very useful for constructing...
VL
2007
IEEE
15 years 6 months ago
2007
IEEE
Spider diagrams are a visual logic capable of makeing statements about relationships between sets and their cardinalities. Various meta-level results for spider diagrams have been...
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
Semantic relevance among information resources can play an effective role in information retrieval, and there are several different approaches to measure semantic similarities. H...