677 search results - page 80 / 136 » Dependent Types from Counterexamples |
HT
2004
ACM
15 years 3 months ago
2004
ACM
A high quality of free movement, or mobility, is key to the accessibility, design, and usability of many ‘common-use’ hypermedia resources (Web sites) and key to good mobility...
CHI
2010
ACM
15 years 3 months ago
2010
ACM
Tablet PCs are gaining popularity but many older adults still struggle with pointing, particularly with two error types: missing, landing and lifting outside the target bounds; an...
ECML
2003
Springer
15 years 3 months ago
2003
Springer
We consider supervised learning of a ranking function, which is a mapping from instances to total orders over a set of labels (options). The training information consists of exampl...
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
The disorientation problem has been known to exist on hypertext and hypermedia systems. Various approaches have also been recommended and implemented in order to eliminate or redu...
FC
2000
Springer
15 years 1 months ago
2000
Springer
For the two last decades, people have tried to provide practical electronic cash schemes, with more or less success. Indeed, the most secure ones generally suffer from inefficiency...