Sciweavers

3338 search results - page 178 / 668
» Assigning Papers to Referees
Sort
View
NDJFL
2010
15 years 26 days ago
Numerical Abstraction via the Frege Quantifier
l Abstraction via the Frege Quantifier G. Aldo Antonelli Abstract This paper presents a formalization of first-order aritharacterizing the natural numbers as abstracta of the equin...
Gian Aldo Antonelli
ICASSP
2011
IEEE
14 years 9 months ago
Robust speaker turn role labeling of TV Broadcast News shows
Speaker role recognition in TV Broadcast News shows is addressed in this paper with a particular focus on speaker turn role labeling. A mixed approach combining speaker clustering...
Géraldine Damnati, Delphine Charlet
218
Voted
SIGPRO
2011
249views Hardware» more  SIGPRO 2011»
14 years 9 months ago
Extracting biometric binary strings with minimal area under the FRR curve for the hamming distance classifier
Quantizing real-valued templates into binary strings is a fundamental step in biometric compression and template protection. In this paper, we introduce the area under the FRR cur...
C. Chen, R. Veldhuis
140
Voted
PODC
1989
ACM
15 years 10 months ago
Knowledge, Probability, and Adversaries
: What should it mean for an agent to know or believe an assertion is true with probability :99? Di erent papers FH88, FZ88, HMT88] give di erent answers, choosing to use quite di ...
Joseph Y. Halpern, Mark R. Tuttle
ICIP
2007
IEEE
16 years 7 months ago
Distancecut: Interactive Segmentation and Matting of Images and Videos
An interactive algorithm for soft segmentation and matting of natural images and videos is presented in this paper. The technique follows and extends [10], where the user first ro...
Xue Bai, Guillermo Sapiro