Sciweavers

4757 search results - page 47 / 952
» A Unique
Sort
View
99
Voted
EACL
2003
ACL Anthology
15 years 4 months ago
Lexicalized Grammar Acquisition
This paper presents a formalization of automatic grammar acquisition that is based on lexicalized grammar formalisms (e.g. LTAG and HPSG). We state the conditions for the consiste...
Yusuke Miyao, Takashi Ninomiya, Jun-ichi Tsujii
DCC
2010
IEEE
15 years 3 months ago
On hyperovals of polar spaces
We derive lower and upper bounds for the size of a hyperoval of a finite polar space of rank r {2, 3}. We give a computer-free proof for the uniqueness, up to isomorphism, of the...
Bart De Bruyn
148
Voted
ECCC
2010
111views more  ECCC 2010»
15 years 3 months ago
Tight Bounds on the Approximability of Almost-satisfiable Horn SAT and Exact Hitting Set}
We study the approximability of two natural Boolean constraint satisfaction problems: Horn satisfiability and exact hitting set. Under the Unique Games conjecture, we prove the fo...
Venkatesan Guruswami, Yuan Zhou
ITA
2007
15 years 3 months ago
Recursive coalgebras of finitary functors
Abstract For finitary set functors preserving inverse images several concepts of coalgebras A are proved to be equivalent: (i) A has a homomorphism into the initial algebra, (ii) ...
Jirí Adámek, Dominik Lücke, Ste...
ICWSM
2009
15 years 1 months ago
BlogTrackers: A Tool for Sociologists to Track and Analyze Blogosphere
We present a tool BlogTrackers, which assists sociologists to track and analyze blogs of particular interests by designing and integrating unique features. We present an overview ...
Nitin Agarwal, Shamanth Kumar, Huan Liu, Mark Wood...