305 search results - page 22 / 61 » Experiences with Modeling and Verification of Regulations |
JUCS
2008
13 years 8 months ago
2008
: Linguistics and stylistics have been investigated for author identification for quite a while, but recently, we have testified a impressive growth in the volume with which lawyer...
FM
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
ICDAR
2009
IEEE
13 years 6 months ago
2009
IEEE
In this paper, an approach based on the combination of discrete Hidden Markov Models (HMMs) in the ROC space is proposed to improve the performance of off-line signature verificat...
BMCBI
2006
13 years 8 months ago
2006
Background: We have recently introduced a predictive framework for studying gene transcriptional regulation in simpler organisms using a novel supervised learning algorithm called...
TCSB
2010
13 years 7 months ago
2010
Transcriptional attenuation at E.coli’s tryptophan operon is a prime example of RNA-mediated gene regulation. In this paper, we present a discrete stochastic model for this pheno...