2488 search results - page 393 / 498 » An improvement in formal verification |
100
click to vote
PUC
2002
15 years 1 months ago
2002
One difficulty for interface design on mobile computers is lack of screen space caused by their small size. This paper describes a small pilot study and two formal experiments tha...
108
click to vote
AUSAI
2010
Springer
15 years 14 days ago
2010
Springer
A general game player is a system that can play previously unknown games given nothing but their rules. A key to success in this endeavour is the ability to automatically gain know...
101
Voted
DMS
2010
15 years 2 days ago
2010
: Slow Intelligence Systems are general-purpose systems characterized by being able to improve performance over time through a process involving enumeration, propagation, adaptatio...
121
click to vote
JCS
2010
14 years 12 months ago
2010
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...
131
click to vote
TCOM
2010
14 years 12 months ago
2010
In this paper we formally analyze the interleaver and code design for QAM-based BICM transmissions using the binary reflected Gray code. We develop analytical bounds on the bit e...