Sciweavers

3015 search results - page 215 / 603
» The robustness of a new CAPTCHA
Sort
View
TYPES
2007
Springer
16 years 21 days 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 21 days 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 19 days 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 19 days 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 19 days 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...