13383 search results - page 355 / 2677 » Abstractions from proofs |
192
click to vote
LOCA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Activity recognition has attracted increasing attention in recent years due to its potential to enable a number of compelling contextaware applications. As most approache...
185
click to vote
ECWEB
2000
Springer
15 years 11 months ago
2000
Springer
The Web has become a ubiquitous environment for application delivery. The originally intended idea, as a distributed system for knowledgeinterchange, has given way to organizations...
161
Voted
CRYPTO
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We evaluate constructions for building pseudo-random functions (PRFs) from pseudo-random permutations (PRPs). We present two constructions: a slower construction which pr...
179
Voted
SBIA
1998
Springer
15 years 11 months ago
1998
Springer
Multi-agent systems can be viewed as object-oriented systems in which their entities show an autonomous behavior. If objects could acquire such skill in a flexible way, agents coul...
171
click to vote
APCHI
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract. The purpose of this research is to investigate the usability of DVD interfaces via their menus and navigation, inspired by Donald Norman who has had a pivotal role in use...