522 search results - page 65 / 105 » Automating grammar comparison |
86
Voted
ISMB
1997
15 years 8 days ago
1997
Protein chimerism is a phenomenon involving the combination of multiple ancestral sequences into a single, multi-domain protein through evolution. We propose a novel method for de...
91
Voted
CEC
2010
IEEE
15 years 1 days ago
2010
IEEE
Biogas plants are reliable sources of energy based on renewable materials including organic waste. There is a high demand from industry to run these plants efficiently, which lead...
68
Voted
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...
BMCBI
2008
14 years 11 months ago
2008
In this paper we present preliminary results stemming from a novel application of Markov Models and Support Vector Machines to splice site classification of Intron-Exon and Exon-I...
75
Voted
ENTCS
2002
14 years 10 months ago
2002
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...