4327 search results - page 39 / 866 » Web presentation system using RST events |
125
click to vote
ICINCO
2009
14 years 9 months ago
2009
This paper serves as a support for the plenary address given by the second author during the conference. In this paper we present an approach to on-line diagnosis of discrete even...
CLEAR
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, the Acoustic Event Detection (AED) system developed at the UPC is described, and its results in the CLEAR evaluations carried out in March 2007 are reported. The sys...
CAV
2008
Springer
15 years 1 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
112
click to vote
WWW
2006
ACM
16 years 14 days ago
2006
ACM
It has become a promising direction to measure similarity of Web search queries by mining the increasing amount of clickthrough data logged by Web search engines, which record the...
FAC
2008
14 years 12 months ago
2008
A development of the Mondex system was undertaken using Event-B and its associated proof tools. mental approach was used whereby the refinement between the abstract specification o...