Sciweavers

1459 search results - page 251 / 292
» An authorization model for temporal data
Sort
View
ENTCS
2002
145views more  ENTCS 2002»
15 years 6 months ago
Combining Monitors for Runtime System Verification
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
Joshua Levy, Hassen Saïdi, Tomás E. Ur...
ICC
2009
IEEE
130views Communications» more  ICC 2009»
15 years 3 months ago
Verification of Secret Key Generation from UWB Channel Observations
Theoretical models of ultrawideband (UWB) radio channels indicate that pairs of UWB radio transceivers measure their common radio channel with a high degree of agreement and third ...
Masoud Ghoreishi Madiseh, Shuai He, Michael L. McG...
VLSISP
2010
191views more  VLSISP 2010»
15 years 25 days ago
Sign Language Phoneme Transcription with Rule-based Hand Trajectory Segmentation
A common approach to extract phonemes of sign language is to use an unsupervised clustering algorithm to group the sign segments. However, simple clustering algorithms based on dis...
W. W. Kong, Surendra Ranganath
ICCV
2007
IEEE
16 years 8 months ago
Robust Image Registration using Mixtures of t-distributions
We propose a pixel similarity-based algorithm enabling accurate rigid registration between single and multimodal images presenting gross dissimilarities due to noise, missing data...
Demetrios Gerogiannis, Christophoros Nikou, Aristi...
ECCV
2004
Springer
16 years 8 months ago
Real-Time Tracking of Multiple Skin-Colored Objects with a Possibly Moving Camera
Abstract. This paper presents a method for tracking multiple skincolored objects in images acquired by a possibly moving camera. The proposed method encompasses a collection of tec...
Antonis A. Argyros, Manolis I. A. Lourakis