Sciweavers

1124 search results - page 43 / 225
» Generalized Conditioning in Neighbourhood Models
Sort
View
BMCBI
2005
100views more  BMCBI 2005»
15 years 5 months ago
Evolutionary models for insertions and deletions in a probabilistic modeling framework
Background: Probabilistic models for sequence comparison (such as hidden Markov models and pair hidden Markov models for proteins and mRNAs, or their context-free grammar counterp...
Elena Rivas
CDC
2009
IEEE
115views Control Systems» more  CDC 2009»
15 years 10 months ago
An error bound for model reduction of Lur'e-type systems
— In general, existing model reduction techniques for stable nonlinear systems lack a guarantee on stability of the reduced-order model, as well as an error bound. In this paper,...
Bart Besselink, Nathan van de Wouw, Henk Nijmeijer
SYNTHESE
2011
98views more  SYNTHESE 2011»
15 years 19 days ago
How scientific models can explain
: ic models invariably involve some degree of idealization, abstraction, or fictionalization of their target system. Nonetheless, I argue that there are circumstances under which s...
Alisa Bokulich
MFCS
2010
Springer
15 years 4 months ago
Asynchronous Omega-Regular Games with Partial Information
We address the strategy problem for ω-regular two-player games with partial information, played on finite game graphs. We consider two different kinds of observability on a gene...
Bernd Puchala
GG
2010
Springer
15 years 6 months ago
Multi-Amalgamation in Adhesive Categories
Abstract. Amalgamation is a well-known concept for graph transformations in order to model synchronized parallelism of rules with shared subrules and corresponding transformations....
Ulrike Golas, Hartmut Ehrig, Annegret Habel