20 search results - page 1 / 4 » Maximizing the guessability of symbolic input |
CHI
2005
ACM
14 years 5 months ago
2005
ACM
Guessability is essential for symbolic input, in which users enter gestures or keywords to indicate characters or commands, or rely on labels or icons to access features. We prese...
CHARME
2005
Springer
13 years 6 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
RTS
2008
13 years 4 months ago
2008
We present a fine grain quality control method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions a...
ICC
2007
IEEE
13 years 11 months ago
2007
IEEE
— We consider the optimal amount of training for single-antenna Rayleigh flat fading channels with peak-powerlimited input. The receiver uses known training symbols to perform m...
PDCAT
2009
Springer
13 years 11 months ago
2009
Springer
Abstract— In symbolic computation, polynomial multiplication is a fundamental operation akin to matrix multiplication in numerical computation. We present efficient implementati...