Sciweavers

3724 search results - page 320 / 745
» Timed regular expressions
Sort
View
SIGIR
2004
ACM
16 years 3 days ago
Context sensitive vocabulary and its application in protein secondary structure prediction
Protein secondary structure prediction is an important step towards understanding the relation between protein sequence and structure. However, most current prediction methods use...
Yan Liu, Jaime G. Carbonell, Judith Klein-Seethara...
ICWL
2004
Springer
16 years 2 days ago
PKUSpace: A Collaborative Platform for Scientific Researching
This Paper introduces PKUSpace - a collaborative platform for scientific learning and researching. Supported by efficient automated metadata extraction and powerful text classifica...
Ming Zhang, Dongqing Yang, Zhi-Hong Deng, Ying Fen...
SPIRE
2004
Springer
16 years 1 days ago
Longest Motifs with a Functionally Equivalent Central Block
This paper presents a generalization of the notion of longest repeats with a block of k don’t care symbols introduced by [8] (for k fixed) to longest motifs composed of three pa...
Maxime Crochemore, Raffaele Giancarlo, Marie-Franc...
TACAS
2004
Springer
108views Algorithms» more  TACAS 2004»
16 years 1 days ago
The Succinct Solver Suite
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
Flemming Nielson, Hanne Riis Nielson, Hongyan Sun,...
CICLING
2003
Springer
15 years 12 months ago
Computing with Realizational Morphology
The theory of realizational morphology presented by Stump in his influential book Inflectional Morphology (2001) describes the derivation of inflected surface forms from underly...
Lauri Karttunen