Sciweavers

ACL
2012
11 years 6 months ago
Extracting and modeling durations for habits and events from Twitter
We seek to automatically estimate typical durations for events and habits described in Twitter tweets. A corpus of more than 14 million tweets containing temporal duration informa...
Jennifer Williams, Graham Katz
CPC
2007
90views more  CPC 2007»
13 years 3 months ago
Regular Partitions of Hypergraphs: Counting Lemmas
We continue the study of regular partitions of hypergraphs. In particular we obtain corresponding counting lemmas for the regularity lemmas for hypergraphs from [Regular partitions...
Vojtech Rödl, Mathias Schacht
CPC
2006
102views more  CPC 2006»
13 years 3 months ago
Quasirandomness, Counting and Regularity for 3-Uniform Hypergraphs
Abstract. The main results of this paper are regularity and counting lemmas for 3uniform hypergraphs. A combination of these two results gives a new proof of a theorem of Frankl an...
W. T. Gowers
MKM
2005
Springer
13 years 9 months ago
A Proof-Theoretic Approach to Hierarchical Math Library Organization
Abstract. The relationship between theorems and lemmas in mathematical reasoning is often vague. No system exists that formalizes the structure of theorems in a mathematical librar...
Kamal Aboul-Hosn, Terese Andersen