2229 search results - page 213 / 446 » Abstract Storage Devices |
EHCI
2001
15 years 3 months ago
2001
Abstract. Systematic user errors commonly occur in the use of interactive systems. We describe a formal reusable user model implemented in higher-order logic that can be used for m...
119
click to vote
MC
2003
15 years 3 months ago
2003
Under headings such as ubiquitous, invisible and ambient computing, new approaches to human-computer interfacing are investigated that give primacy to the physical world. It is en...
107
click to vote
COMPUTING
2006
15 years 2 months ago
2006
Abstract We are dealing with the optimal, i.e. densest packings of congruent circles into the unit square. In the recent years we have built a numerically reliable, verified method...
95
Voted
MOR
2008
15 years 2 months ago
2008
Abstract: This paper defines the extensive form correlated equilibrium (EFCE) for extensive games with perfect recall. The EFCE concept extends Aumann's strategic-form correla...
138
click to vote
MMS
2002
15 years 2 months ago
2002
Abstract. Future-generation distributed multimedia applications are expected to be highly scalable to a wide variety of heterogeneous devices, and highly adaptive across widearea d...