Sciweavers

1124 search results - page 43 / 225
» Generalized Conditioning in Neighbourhood Models
Sort
View
BMCBI
2005
100views more  BMCBI 2005»
13 years 7 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»
14 years 11 days 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»
13 years 2 months 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
13 years 6 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
13 years 8 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