Sciweavers

2722 search results - page 355 / 545
» The Model Evolution Calculus
Sort
View
93
Voted
CORR
2008
Springer
71views Education» more  CORR 2008»
15 years 2 months ago
Problem Solving and Complex Systems
The observation and modeling of natural Complex Systems (CSs) like the human nervous system, the evolution or the weather, allows the definition of special abilities and models re...
Frédéric Guinand, Yoann Pigné
120
Voted
ENTCS
2006
125views more  ENTCS 2006»
15 years 2 months ago
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility
We compare the expressive power of Hoare (i.e., CSP style) and Milner (i.e., CCS style) synchronizations for defining graph transformations in a framework where edges can perform ...
Ivan Lanese, Ugo Montanari
98
Voted
CANDC
2007
ACM
15 years 2 months ago
Codon phylogenetic distance
We develop here an analytical evolution model based on a trinucleotide mutation matrix 64 × 64 with nine substitution parameters associated with the three types of substitutions ...
Christian J. Michel
130
Voted
TIP
2010
108views more  TIP 2010»
15 years 29 days ago
Image Reconstruction Using Particle Filters and Multiple Hypotheses Testing
Abstract—In this paper, we introduce a reconstruction framework that explicitly accounts for image geometry when defining the spatial interaction between pixels in the filterin...
Noura Azzabou, Nikos Paragios, Frederic Guichard
173
Voted
ISSE
2011
14 years 9 months ago
Time-triggered buffers for event-based middleware systems
Application developers utilizing event-based middleware have sought to leverage domain-specific modeling for the advantages of intuitive specification, code synthesis, and suppo...
Jonathan Sprinkle, Brandon Eames