Sciweavers

1036 search results - page 152 / 208
» Algorithms for Learning Regular Expressions
Sort
View
SPIRE
2004
Springer
15 years 6 months 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»
15 years 6 months 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,...
BMCBI
2007
165views more  BMCBI 2007»
15 years 1 months ago
Ab initio identification of human microRNAs based on structure motifs
Background: MicroRNAs (miRNAs) are short, non-coding RNA molecules that are directly involved in post-transcriptional regulation of gene expression. The mature miRNA sequence bind...
Markus Brameier, Carsten Wiuf
BTW
2003
Springer
129views Database» more  BTW 2003»
15 years 6 months ago
Type Checking in XOBE
: XML is the upcoming standard for internet data. Java is the most important programming language for internet applications. Nevertheless, in today’s languages and tools there is...
Martin Kempa, Volker Linnemann
COOPIS
2000
IEEE
15 years 5 months ago
Dynamic Pricing with Limited Competitor Information in a Multi-Agent Economy
We study the price dynamics in a multi-agent economy consisting of buyers and competing sellers, where each seller has limited information about its competitors’ prices. In this ...
Prithviraj Dasgupta, Rajarshi Das