3270 search results - page 80 / 654 » Approximate String Processing |
LOGCOM
2007
13 years 8 months ago
2007
In this paper we present s1, a family of logics that is useful to disprove propositional formulas by means of an anytime approximation process. The systems follows the paradigm of...
CSL
2006
Springer
14 years 20 days ago
2006
Springer
Abstract. Bisimilarity and weak bisimilarity are canonical notions of equivalence between processes, which are defined co-inductively, but may be approached
IJFCS
2007
13 years 9 months ago
2007
The process of gene assembly in ciliates, an ancient group of organisms, is one of the most complex instances of DNA manipulation known in any organism. Three molecular operations...
EMNLP
2010
13 years 7 months ago
2010
Automated essay scoring is one of the most important educational applications of natural language processing. Recently, researchers have begun exploring methods of scoring essays ...
3DIM
2005
IEEE
14 years 2 months ago
2005
IEEE
