97 search results - page 9 / 20 » A Search Engine for Mathematical Formulae |
ICALT
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper describe the case study of developing and providing the ontology-based educational information search service to overcome the limitations of the existing keyword-based ...
APWEB
2004
Springer
14 years 2 months ago
2004
Springer
Today, search engine is the most commonly used tool for Web information retrieval, however, its current status is still far from satisfaction. This paper focuses on clustering Web...
KDD
2009
ACM
14 years 1 months ago
2009
ACM
1 In this article, we report our efforts in mining the information encoded as clickthrough data in the server logs to evaluate and monitor the relevance ranking quality of a commer...
VMCAI
2010
Springer
14 years 5 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
STTT
2010
13 years 3 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...