3207 search results - page 281 / 642 » A Semantics for HTN Methods |
157
click to vote
FAC
2010
15 years 2 months ago
2010
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
171
Voted
SDM
2012
SIAM
13 years 7 months ago
2012
SIAM
In this paper, we consider the multi-task sparse learning problem under the assumption that the dimensionality diverges with the sample size. The traditional l1/l2 multi-task lass...
142
Voted
NAACL
2010
15 years 2 months ago
2010
We describe tree edit models for representing sequences of tree transformations involving complex reordering phenomena and demonstrate that they offer a simple, intuitive, and eff...
145
click to vote
NAACL
2010
15 years 2 months ago
2010
The goal of this work is to integrate query similarity metrics as features into a dense model that can be trained on large amounts of query log data, in order to rank query rewrit...
136
click to vote
ACL
2009
15 years 2 months ago
2009
Automatic key phrase extraction is fundamental to the success of many recent digital library applications and semantic information retrieval techniques and a difficult and essenti...