6300 search results - page 198 / 1260 » We have it easy, but do we have it right |
118
click to vote
ENTCS
2010
14 years 11 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
110
click to vote
JCT
2011
14 years 8 months ago
2011
The neighborhood of a pair of vertices u, v in a triple system is the set of vertices w such that uvw is an edge. A triple system H is semi-bipartite if its vertex set contains a ...
161
click to vote
ICANN
2011
Springer
14 years 5 months ago
2011
Springer
We have developed a browser suitable for finding events from timelines, in particular from life logs and other timelines containing a familiar narrative. The system infers the rel...
107
click to vote
ICDAR
2011
IEEE
14 years 1 months ago
2011
IEEE
—This paper describes embedding a mathematical formula recognition module into the OCR system OCRopus aiming at developing a OCR system for scientific and technical documents wh...
101
click to vote
FGCS
2008
15 years 1 months ago
2008
A long-term trend in high-performance computing is the increasing number of nodes in parallel computing platforms, which entails a higher failure probability. Fault tolerant progr...