2328 search results - page 282 / 466 » Causal Relation Extraction |
ACIIDS
2010
IEEE
15 years 15 days ago
2010
IEEE
This paper describes an approach to detect the entrance of building with hopeful that it will be applied for autonomous navigation robot. The entrance is an important component whi...
CLEF
2010
Springer
15 years 15 days ago
2010
Springer
The SINAI1 research group presents some results obtained after performing a brief analysis to the query logs from The European Library2 (TEL). The objective of the LogCLEF task is ...
WWW
2010
ACM
14 years 11 months ago
2010
ACM
Algorithms are an integral part of computer science literature. However, none of the current search engines offer specialized algorithm search facility. We describe a vertical sea...
ENTCS
2008
14 years 11 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
AUTOMATICA
2006
14 years 11 months ago
2006
A block Toeplitz algorithm is proposed to perform the J-spectral factorization of a para-Hermitian polynomial matrix. The input matrix can be singular or indefinite, and it can ha...