4966 search results - page 57 / 994 » its 2010 |
143
click to vote
EDM
2010
15 years 7 months ago
2010
We show a variety of ways to cluster student activity datasets using different clustering and subspace clustering algorithms. Our results suggest that each algorithm has its own st...
134
click to vote
LREC
2010
15 years 7 months ago
2010
The Quaero project organized a set of evaluations of Named Entity recognition systems in 2009, including reference extraction in patent text. The LIMSI participated in this evalua...
127
click to vote
LREC
2010
15 years 7 months ago
2010
This paper describes Czech spontaneous speech database of lectures collected at Czech Technical University in Prague, commonly with the procedure of its recording and annotation. ...
124
click to vote
CJ
2010
15 years 6 months ago
2010
rder logic (HOL) theorem prover. The high ability of abstraction in the HOL verification system allows its use for the verification task over the whole design path of the circuit, ...
136
click to vote
CPC
2010
15 years 6 months ago
2010
We investigate the end spaces of infinite dual graphs. We show that there exists a natural homeomorphism between the end spaces of a graph and its dual, and that this homeomorphis...