Sciweavers

3690 search results - page 215 / 738
» Computation with classical sequents
Sort
View
LCN
2008
IEEE
15 years 7 months ago
IPclip: An architecture to restore Trust-by-Wire in packet-switched networks
—During the last decades, the Internet has steadily developed into a mass medium. The target group radically changed compared to, e.g., the 90s. Because virtually everyone has ac...
Harald Widiger, Stephan Kubisch, Peter Danielis, J...
96
Voted
PRDC
2008
IEEE
15 years 7 months ago
Countering IPC Threats in Multiserver Operating Systems (A Fundamental Requirement for Dependability)
Multiserver operating systems have great potential to improve dependability, but, paradoxically, are paired with inherently more complex interprocess communication (IPC). Several ...
Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Ho...
116
Voted
WACV
2008
IEEE
15 years 7 months ago
Object Categorization Based on Kernel Principal Component Analysis of Visual Words
In recent years, many researchers are studying object categorization problem. It is reported that bag of keypoints approach which is based on local features without topological in...
Kazuhiro Hotta
90
Voted
WACV
2008
IEEE
15 years 7 months ago
Likelihood Map Fusion for Visual Object Tracking
Visual object tracking can be considered as a figure-ground classification task. In this paper, different features are used to generate a set of likelihood maps for each pixel i...
Zhaozheng Yin, Fatih Porikli, Robert T. Collins
105
Voted
ICCV
2007
IEEE
15 years 7 months ago
Large Lexicon Detection of Sign Language
Abstract. This paper presents an approach to large lexicon sign recognition that does not require tracking. This overcomes the issues of how to accurately track the hands through s...
Helen Cooper, Richard Bowden