Sciweavers

3015 search results - page 215 / 603
» The robustness of a new CAPTCHA
Sort
View
TYPES
2007
Springer
16 years 1 months ago
A Declarative Language for the Coq Proof Assistant
This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...
Pierre Corbineau
WG
2007
Springer
16 years 1 months ago
NLC-2 Graph Recognition and Isomorphism
NLC-width is a variant of clique-width with many application in graph algorithmic. This paper is devoted to graphs of NLC-width two. After giving new structural properties of the ...
Vincent Limouzy, Fabien de Montgolfier, Michaë...
GLOBECOM
2006
IEEE
16 years 1 months ago
Blind Carrier Frequency Offset Estimation for OFDM/OQAM Systems Based on Subchannel Signals
Abstract— New blind carrier frequency offset (CFO) estimation methods based on the correlation function of the subchannel signals are presented for OFDM/OQAM systems. The propose...
Gang Lin, Lars Lundheim, Nils Holte
ICDCSW
2006
IEEE
16 years 1 months ago
Thracker - Using Capacitive Sensing for Gesture Recognition
In this paper we present Thracker – a low-cost and robust hardware to track hand gestures in front of a screen or small-scale active spaces like public displays or posters. Thra...
Raphael Wimmer, Paul Holleis, Matthias Kranz, Albr...
ICMCS
2006
IEEE
146views Multimedia» more  ICMCS 2006»
16 years 1 months ago
A Mutual Information based Face Clustering Algorithm for Movies
In this paper a new approach for face clustering is developed. Mutual information and joint entropy are exploited in order to create a metric for the clustering process. The way t...
Nicholas Vretos, Vassilios Solachidis, Ioannis Pit...