Sciweavers

9698 search results - page 54 / 1940
» models 2010
Sort
View
COMPLEXITY
2010
119views more  COMPLEXITY 2010»
15 years 2 months ago
Language networks: Their structure, function, and evolution
Ricard V. Solé, Bernat Corominas-Murtra, Se...
SIAMAM
2010
74views more  SIAMAM 2010»
15 years 4 days ago
An Operator-Like Description of Love Affairs
We adopt the so
Fabio Bagarello, Francesco Oliveri
APAL
2010
93views more  APAL 2010»
15 years 5 months ago
A measure-theoretic proof of Turing incomparability
We prove that if S is an -model of weak weak K
Chris J. Conidis
CAV
2010
Springer
140views Hardware» more  CAV 2010»
15 years 2 months ago
PARAM: A Model Checker for Parametric Markov Models
Ernst Moritz Hahn, Holger Hermanns, Björn Wac...