Sciweavers

266 search results - page 48 / 54
» Vector instruction set support for conditional operations
Sort
View
VLDB
2007
ACM
128views Database» more  VLDB 2007»
15 years 11 months ago
Automating the Detection of Snapshot Isolation Anomalies
Snapshot isolation (SI) provides significantly improved concurrency over 2PL, allowing reads to be non-blocking. Unfortunately, it can also lead to non-serializable executions in ...
Sudhir Jorwekar, Alan Fekete, Krithi Ramamritham, ...
CORR
2010
Springer
144views Education» more  CORR 2010»
14 years 11 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný
IVA
2005
Springer
15 years 4 months ago
A Platform Independent Architecture for Virtual Characters and Avatars
this is via the ”Motion Abstraction”. This is a single abstraction that represents any type of animation of a character. Different implementations of the ion can provide very ...
M. Gillies, Vinoba Vinayagamoorthy, D. Robeterson,...
PAMI
2011
14 years 6 months ago
Eye Movement Analysis for Activity Recognition Using Electrooculography
—In this work, we investigate eye movement analysis as a new sensing modality for activity recognition. Eye movement data were recorded using an electrooculography (EOG) system. ...
Andreas Bulling, Jamie A. Ward, Hans Gellersen, Ge...
FGR
2004
IEEE
167views Biometrics» more  FGR 2004»
15 years 2 months ago
Adaptive Learning of an Accurate Skin-Color Model
Due to variations of lighting conditions, camera hardware settings, and the range of skin coloration among human beings, a pre-defined skin-color model cannot accurately capture t...
Qiang Zhu, Kwang-Ting Cheng, Ching-Tung Wu, Yi-Leh...