Sciweavers

828 search results - page 23 / 166
» types 2000
Sort
View
ISMB
2000
13 years 9 months ago
Pattern Recognition of Genomic Features with Microarrays: Site Typing of Mycobacterium Tuberculosis Strains
Mycobacterium tuberculosis (M. tb.) strains differ in the number and locations of a transposon-like insertion sequence known as IS6110. Accurate detection of this sequence can be ...
Soumya Raychaudhuri, Joshua M. Stuart, Xuemin Liu,...
ANLP
1994
89views more  ANLP 1994»
13 years 9 months ago
Multifunction Thesaurus For Russian Word Processing
A new type of thesaurus for word processing is proposed. It comprises 7 semantic and 8 syntagmatic types of links between Russian words and collocations. The original version now ...
Igor A. Bolshakov
IJFCS
2000
71views more  IJFCS 2000»
13 years 7 months ago
Light Affine Logic as a Programming Language: A First Contribution
This work is about an experimental paradigmatic functional language for programming with P-TIME functions. The language is designed from Intuitionistic Light Affine Logic. It can ...
Luca Roversi
SAIG
2000
Springer
13 years 11 months ago
Multi-Stage Imperative Languages: A Conservative Extension Result
Abstract. This paper extends the recent work [CMT00] on the operational semantics and type system for a core language, called MiniMLBN ref , which exploits the notion of closed typ...
Cristiano Calcagno, Eugenio Moggi
ANLP
2000
97views more  ANLP 2000»
13 years 9 months ago
Spelling and Grammar Correction for Danish in SCARRIE
This paper reports on work carried out to develop a spelling and grammar corrector for Danish, addressing in particular the issue of how a form of shallow parsing is combined with...
Patrizia Paggio