107 search results - page 9 / 22 » Computing subsets of equivalence classes for large FSMs |
LICS
2008
IEEE
14 years 1 months ago
2008
IEEE
We introduce a systematic procedure to transform large classes of (Hilbert) axioms into equivalent inference rules in sequent and hypersequent calculi. This allows for the automat...
MOC
2011
13 years 1 months ago
2011
We utilize effective algorithms for computing in the cohomology of a Shimura curve together with the Jacquet-Langlands correspondence to compute systems of Hecke eigenvalues assoc...
ICCV
2007
IEEE
14 years 8 months ago
2007
IEEE
For many multi-part object classes, the set of parts can vary not only in location but also in type. For example, player formations in American football involve various subsets of...
CIBCB
2006
IEEE
13 years 8 months ago
2006
IEEE
In recent years, unsupervised gene (feature) selection has become an integral part of microarray analysis because of the large number of genes and complexity in biological systems....
DC
2010
13 years 6 months ago
2010
It is considered good distributed computing practice to devise object implementations that tolerate contention, periods of asynchrony and a large number of failures, but perform f...