175 search results - page 6 / 35 » Common Subexpression Induction |
54
Voted
COLING
2010
14 years 4 months ago
2010
This paper investigates the new problem of automatic sense induction for instance names using automatically extracted attribute sets. Several clustering strategies and data source...
80
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
To facilitate future research in unsupervised induction of syntactic structure and to standardize best-practices, we propose a tagset that consists of twelve universal part-ofspee...
FATES
2003
Springer
15 years 2 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
This paper presents experiments on common knowledge logic, conducted with the help of the proof assistant Coq. The main feature of common knowledge logic is the eponymous modality...
115
click to vote
ER
1999
Springer
15 years 2 months ago
1999
Springer
A Data Warehouse DW can be abstractly seen as a set of materialized views de ned over a set of remote data sources. A DW is intended to satisfy a set of queries. The views materi...