586 search results - page 53 / 118 » chi 2007 |
OPODIS
2007
13 years 9 months ago
2007
We present a novel translation of systems that are tolerant of crash failures to systems that are tolerant of Byzantine failures in an asynchronous environment, making weaker assum...
IJCAI
1997
13 years 9 months ago
1997
The objective of this work is to interpret inductive results obtained by the unsupervised learning method OSHAM. We briefly introduce the learning process of OSHAM, that extracts ...
BIOCOMP
2006
13 years 9 months ago
2006
- The rapid growth in the amount of molecular genetic data being collected will, in many cases, require the development of new analytic methods for the analysis of that data. In th...
APAL
2005
13 years 7 months ago
2005
We study the minimal enumeration degree (e-degree) problem in models of fragments of Peano arithmetic (PA) and prove the following results: In any model M of 2 induction, there is ...
ACL
2007
13 years 9 months ago
2007
Inspired by previous preprocessing approaches to SMT, this paper proposes a novel, probabilistic approach to reordering which combines the merits of syntax and phrase-based SMT. G...