Sciweavers

433 search results - page 59 / 87
» Administrative and Public Verifiability: Can We Have Both
Sort
View
FGR
2008
IEEE
288views Biometrics» more  FGR 2008»
14 years 2 months ago
Face recognition with temporal invariance: A 3D aging model
The variation caused by aging has not received adequate attention compared with pose, lighting, and expression variations. Aging is a complex process that affects both the 3D shap...
Unsang Park, Yiying Tong, Anil K. Jain
IMC
2010
ACM
13 years 5 months ago
Understanding latent interactions in online social networks
Popular online social networks (OSNs) like Facebook and Twitter are changing the way users communicate and interact with the Internet. A deep understanding of user interactions in...
Jing Jiang, Christo Wilson, Xiao Wang, Peng Huang,...
SSDBM
2007
IEEE
165views Database» more  SSDBM 2007»
14 years 1 months ago
Processing Spatial-Keyword (SK) Queries in Geographic Information Retrieval (GIR) Systems
Location-based information contained in publicly available GIS databases is invaluable for many applications such as disaster response, national infrastructure protection, crime a...
Ramaswamy Hariharan, Bijit Hore, Chen Li, Sharad M...
PLDI
2003
ACM
14 years 24 days ago
A type and effect system for atomicity
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed th...
Cormac Flanagan, Shaz Qadeer
TLDI
2003
ACM
121views Formal Methods» more  TLDI 2003»
14 years 24 days ago
Types for atomicity
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work has addresse...
Cormac Flanagan, Shaz Qadeer