17082 search results - page 3186 / 3417 » Abstractions for Mobile Computation |
220
click to vote
NORDICHI
2004
ACM
16 years 21 days ago
2004
ACM
This case study examines a procurement project where the Swedish National Labor Market Administration (AMV) hired usability consultants in order to redesign their website for empl...
221
click to vote
ASIACRYPT
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. Even and Mansour [EM97] proposed a block cipher construction that takes a publicly computable random permutation oracle P and XORs different keys prior to and after appl...
195
click to vote
ASM
2004
ASM
16 years 20 days ago
2004
ASM
Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...
237
click to vote
BIRTHDAY
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
239
click to vote
ECCV
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. We propose a new method for face recognition under arbitrary pose and illumination conditions, which requires only one training image per subject. Furthermore, no limitat...