Sciweavers

17082 search results - page 3137 / 3417
» Abstractions for Mobile Computation
Sort
View
MSCS
2007
91views more  MSCS 2007»
15 years 6 months ago
A rewriting calculus for cyclic higher-order term graphs
Introduced at the end of the nineties, the Rewriting Calculus (ρ-calculus, for short) is a simple calculus that fully integrates term-rewriting and λ-calculus. The rewrite rules...
Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, C...
NGC
2007
Springer
128views Communications» more  NGC 2007»
15 years 6 months ago
User-oriented Security Supporting Inter-disciplinary Life Science Research across the Grid
Abstract Understanding potential genetic factors in disease or development of personalised e-Health solutions require scientists to access a multitude of data and compute resources...
Richard O. Sinnott, Oluwafemi Ajayi, Jipu Jiang, A...
PAMI
2007
161views more  PAMI 2007»
15 years 6 months ago
High-Performance Rotation Invariant Multiview Face Detection
Abstract—Rotation invariant multiview face detection (MVFD) aims to detect faces with arbitrary rotation-in-plane (RIP) and rotationoff-plane (ROP) angles in still images or vide...
Chang Huang, Haizhou Ai, Yuan Li, Shihong Lao
202
Voted
TIT
2008
187views more  TIT 2008»
15 years 6 months ago
The Bare Bounded-Storage Model: The Tight Bound on the Storage Requirement for Key Agreement
Abstract--In the bounded-storage model (BSM) for information-theoretic secure encryption and key agreement, one makes use of a random string R whose length t is greater than the as...
Stefan Dziembowski, Ueli M. Maurer
VC
2008
145views more  VC 2008»
15 years 6 months ago
Self adaptive animation based on user perspective
Abstract In this paper we present a new character animation technique in which the animation adapts itself based on the change in the user's perspective, i.e., when the user m...
Parag Chaudhuri, George Papagiannakis, Nadia Magne...
« Prev « First page 3137 / 3417 Last » Next »