42507 search results - page 483 / 8502 » On the analysis of |
293
Voted
FCA
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. A main goal of Formal Concept Analysis from its very beginning has been the support of rational communication. The source of this goal lies in our understanding of mathem...
202
click to vote
SAS
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. We present our experience of combining, in a realistic setting, a static analyzer with a statistical analysis. This combination is in order to reduce the inevitable false...
184
Voted
MM
2004
ACM
16 years 21 days ago
2004
ACM
Involving a school teacher in the development of the intelligent writing tutor StoryStation allowed progress to be made on the problem of story classification, an aspect of story...
218
click to vote
EMSOFT
2004
Springer
16 years 20 days ago
2004
Springer
We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. St...
166
Voted
DAS
2010
Springer
16 years 2 days ago
2010
Springer
Optical scan voting is considered by many to be the most trustworthy option for conducting elections because it provides an independently verifiable record of each voter’s inte...