5726 search results - page 701 / 1146 » Supporting annotations on relations |
189
click to vote
CICLING
2010
Springer
16 years 1 months ago
2010
Springer
Identifying discourse relations in a text is essential for various tasks in Natural Language Processing, such as automatic text summarization, question-answering, and dialogue gene...
199
click to vote
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
171
click to vote
FPGA
2009
ACM
16 years 1 months ago
2009
ACM
In recent years, the maximum logic capacity of each successive FPGA family has been increasing by more than 50%, which motivates scalable solutions. Meanwhile, academic research i...
159
click to vote
WISTP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we report on the performance of the RSA variants of Brands protocols for zero-knowledge proof and restrictive blinded issuing [1]. The performance is relati...
175
click to vote
DEXAW
2009
IEEE
16 years 1 months ago
2009
IEEE
—The increasing automation of business processes is one of the main benefits of the ongoing technological evolution. Regarding e-invoices this automation process is still not op...