Sciweavers

3897 search results - page 114 / 780
» complexity 2010
Sort
View
LREC
2010
149views Education» more  LREC 2010»
13 years 11 months ago
A Recursive Treatment of Collocations
This article discusses the treatment of collocations in the context of a long-term project on the development of multilingual NLP tools. Besides "classical" two-word col...
Luka Nerima, Eric Wehrli, Violeta Seretan
STOC
2010
ACM
200views Algorithms» more  STOC 2010»
14 years 7 months ago
Hardness Amplification in Proof Complexity
We present a generic method for converting any family of unsatisfiable CNF formulas that require large resolution rank into CNF formulas whose refutation requires large rank for p...
Paul Beame, Trinh Huynh and Toniann Pitassi
SIAMDM
2010
92views more  SIAMDM 2010»
13 years 5 months ago
On Face Vectors of Barycentric Subdivisions of Manifolds
Abstract. We study face vectors of barycentric subdivisions of simplicial homology manifolds. Recently, Kubitzke and Nevo proved that the g-vector of the barycentric subdivision of...
Satoshi Murai
ATAL
2010
Springer
13 years 11 months ago
On agent types in coalition formation problems
Coalitions and cooperation are key topics in multi
Tammar Shrot, Yonatan Aumann, Sarit Kraus
TIT
2010
87views Education» more  TIT 2010»
13 years 5 months ago
Silence-based communication
We consider a power-efficient communication model for wireless sensor networks where silence is used to convey information. We study the average-case and worstcase complexities of ...
Anand K. Dhulipala, Christina Fragouli, Alon Orlit...