Sciweavers

5451 search results - page 355 / 1091
» On very high degrees
Sort
View
FOCS
1989
IEEE
15 years 11 months ago
A Really Temporal Logic
We introduce a temporal logic for the speci cation of real-time systems. Our logic, TPTL, employs a novel quanti er construct for referencing time: the freeze quanti er binds a var...
Rajeev Alur, Thomas A. Henzinger
CLEAR
2007
Springer
136views Biometrics» more  CLEAR 2007»
15 years 11 months ago
Multichannel and Multimodality Person Identification
Person's identity is a very important high level information for video analysis and retrieval. Along the growth of multimedia data, the recording is not only multimodality and...
Ming Liu, Yanxiang Chen, Xi Zhou, Xiaodan Zhuang, ...
174
Voted
ICDAR
2007
IEEE
15 years 11 months ago
Text-Independent Writer Identification and Verification on Offline Arabic Handwriting
In this paper, we evaluate the performance on Arabic handwriting of the text-independent writer identification methods that we developed and tested on Western script in recent yea...
Marius Bulacu, Lambert Schomaker, Axel Brink
230
Voted
BIOADIT
2006
Springer
15 years 11 months ago
Resilient Multi-path Routing Based on a Biological Attractor Selection Scheme
In this paper we propose a resilient scheme for multi-path routing using a biologically-inspired attractor selection method. The main advantage of this approach is that it is highl...
Kenji Leibnitz, Naoki Wakamiya, Masayuki Murata
DELTA
2004
IEEE
15 years 11 months ago
Phase Correlations in Human EEG Signal: A Case Study
This paper is concerned with the study of human electroencephalogram (EEG) signal of an epileptic person. In classical EEG analysis rhythms in different bands have often been assu...
Gagandeep S. Sandha, Pawan K. Singh, Neha Oberoi, ...