3056 search results - page 175 / 612 » Open Implementation Analysis and Design |
182
click to vote
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
140
click to vote
VISUALIZATION
1995
IEEE
15 years 7 months ago
1995
IEEE
Biological sequence similarity analysis presents visualization challenges, primarily because of the massive amounts of discrete, multi-dimensional data. Genomic data generated by ...
121
Voted
AAAI
2007
15 years 6 months ago
2007
Models of crowd behavior facilitate analysis and prediction of human group behavior, where people are affected by each other’s presence. Unfortunately, existing models leave man...
138
Voted
ICDAR
2011
IEEE
14 years 3 months ago
2011
IEEE
—The goal of this work is to add the capability to segment documents containing text, graphics, and pictures in the open source OCR engine OCRopus. To achieve this goal, OCRopusâ...
208
click to vote
CASC
2011
Springer
14 years 4 months ago
2011
Springer
We investigate two practical divide-and-conquer style algorithms for univariate polynomial arithmetic. First we revisit an algorithm originally described by Brent and Kung for comp...