Sciweavers

709 search results - page 69 / 142
» In-stroke word completion
Sort
View
JCB
2008
81views more  JCB 2008»
14 years 12 months ago
Estimating the Ancestral Recombinations Graph (ARG) as Compatible Networks of SNP Patterns
Traditionally nonrecombinant genome, i.e., mtDNA or Y chromosome, has been used for phylogeography, notably for ease of analysis. The topology of the phylogeny structure in this c...
Laxmi Parida, Marta Melé, Francesc Calafell...
CORR
2007
Springer
132views Education» more  CORR 2007»
14 years 12 months ago
Automatic Structures: Richness and Limitations
We study the existence of automatic presentations for various algebraic structures. An automatic presentation of a structure is a description of the universe of the structure by a...
Bakhadyr Khoussainov, André Nies, Sasha Rub...
CORR
2007
Springer
65views Education» more  CORR 2007»
14 years 12 months ago
Text Line Segmentation of Historical Documents: a Survey
There is a huge amount of historical documents in libraries and in various National Archives that have not been exploited electronically. Although automatic reading of complete pa...
Laurence Likforman-Sulem, Abderrazak Zahour, Bruno...
INFORMATICALT
2006
115views more  INFORMATICALT 2006»
14 years 12 months ago
Sequent Calculi for Temporal Logics of Common Knowledge and Belief
In this paper we consider two logics: temporal logic of common knowledge and temporal logic of common belief. These logics involve the discrete time linear temporal logic operators...
Jurate Sakalauskaite
IS
2006
14 years 12 months ago
Answering content and structure-based queries on XML documents using relevance propagation
As XML documents contain both content and structure information, taking advantage of the document structure in the retrieval process can lead to better identify relevant informati...
Karen Sauvagnat, Mohand Boughanem, Claude Chrismen...