17082 search results - page 3186 / 3417 » Abstractions for Mobile Computation |
188
click to vote
NORDICHI
2004
ACM
16 years 3 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...
196
click to vote
ASIACRYPT
2004
Springer
16 years 2 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...
169
click to vote
ASM
2004
ASM
16 years 2 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 ×·...
203
click to vote
BIRTHDAY
2004
Springer
16 years 2 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...
223
click to vote
ECCV
2004
Springer
16 years 2 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...