Sciweavers

230 search results - page 38 / 46
» The Inclusion Problem for Regular Expressions
Sort
View
117
Voted
SIGIR
2004
ACM
15 years 9 months 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...
117
Voted
DSN
2004
IEEE
15 years 7 months ago
Model Checking Action- and State-Labelled Markov Chains
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...
Christel Baier, Lucia Cloth, Boudewijn R. Haverkor...
UAI
2003
15 years 5 months ago
Learning Module Networks
Methods for learning Bayesian networks can discover dependency structure between observed variables. Although these methods are useful in many applications, they run into computat...
Eran Segal, Dana Pe'er, Aviv Regev, Daphne Koller,...
116
Voted
FSTTCS
2010
Springer
15 years 1 months ago
Parityizing Rabin and Streett
The parity acceptance condition for -regular languages is a special case of the Rabin and Streett acceptance conditions. While the parity acceptance condition is as expressive as ...
Udi Boker, Orna Kupferman, Avital Steinitz
111
Voted
IC3
2009
15 years 1 months ago
A New Approach towards Bibliographic Reference Identification, Parsing and Inline Citation Matching
A number of algorithms and approaches have been proposed towards the problem of scanning and digitizing research papers. We can classify work done in the past into three major appr...
Deepank Gupta, Bob Morris, Terry Catapano, Guido S...