Sciweavers

3379 search results - page 355 / 676
» Powers of Two
Sort
View
APN
2008
Springer
15 years 6 months ago
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
Kais Klai, Denis Poitrenaud
BIOID
2008
135views Biometrics» more  BIOID 2008»
15 years 6 months ago
Multimodal Speaker Identification Based on Text and Speech
Abstract. This paper proposes a novel method for speaker identification based on both speech utterances and their transcribed text. The transcribed text of each speaker's utte...
Panagiotis Moschonas, Constantine Kotropoulos
COLING
2008
15 years 5 months ago
Investigating Statistical Techniques for Sentence-Level Event Classification
The ability to correctly classify sentences that describe events is an important task for many natural language applications such as Question Answering (QA) and Summarisation. In ...
Martina Naughton, Nicola Stokes, Joe Carthy
ICAI
2004
15 years 5 months ago
Use of Histogram Distances in Iris Authentication
Quantitatively establishing the discriminative power of iris biometric data is considered. Multi-level 2D wavelet transform has been widely used for iris verification system. Whil...
Seung-Seok Choi, Sungsoo Yoon, Sung-Hyuk Cha, Char...
PDPTA
1996
15 years 5 months ago
Stereo Vision and 3D Reconstruction on a Distributed Memory System
An important research topic in image processing is stereo vision. The objective is to compute a 3-dimensional representation of some scenery from two 2-dimensional digital images....
N. H. L. Kuijpers, G. Paar, Johan J. Lukkien