Sciweavers

2822 search results - page 311 / 565
» Global Optimization of Histograms
Sort
View
ACL
2006
15 years 8 months ago
Constraint-Based Sentence Compression: An Integer Programming Approach
The ability to compress sentences while preserving their grammaticality and most of their meaning has recently received much attention. Our work views sentence compression as an o...
James Clarke, Mirella Lapata
EMNLP
2006
15 years 8 months ago
Inducing Temporal Graphs
We consider the problem of constructing a directed acyclic graph that encodes temporal relations found in a text. The unit of our analysis is a temporal segment, a fragment of tex...
Philip Bramsen, Pawan Deshpande, Yoong Keok Lee, R...
NIPS
2001
15 years 8 months ago
Matching Free Trees with Replicator Equations
Motivated by our recent work on rooted tree matching, in this paper we provide a solution to the problem of matching two free (i.e., unrooted) trees by constructing an association...
Marcello Pelillo
ENTCS
2010
139views more  ENTCS 2010»
15 years 6 months ago
Spartacus: A Tableau Prover for Hybrid Logic
Spartacus is a tableau prover for hybrid multimodal logic with global modalities and reflexive and transitive relations. Spartacus is the first system to use pattern-based blocking...
Daniel Götzmann, Mark Kaminski, Gert Smolka
ADCM
2005
79views more  ADCM 2005»
15 years 6 months ago
Flexible piecewise approximations based on partition of unity
In this paper, we study a flexible piecewise approximation technique based on the use of the idea of the partition of unity. The approximations are piecewisely defined, globally sm...
Weimin Han, Wing Kam Liu