Sciweavers

9698 search results - page 108 / 1940
» models 2010
Sort
View
ENTCS
2006
96views more  ENTCS 2006»
15 years 6 months ago
Weighted Timed Automata: Model-Checking and Games
In this paper, we present weighted/priced timed automata, an extension of timed automaton with costs, and solve several interesting problems on that model. Key words: Weighted/pri...
Patricia Bouyer
EJIS
2006
72views more  EJIS 2006»
15 years 6 months ago
Process models representing knowledge for action: a revised quality framework
A semiotic framework for evaluating the quality of conceptual models was proposed by (Lindland OI, Sindre G and S
John Krogstie, Guttorm Sindre, Håvard D. J&o...
PROCEDIA
2010
114views more  PROCEDIA 2010»
15 years 4 months ago
Small world models for social network algorithms testing
Social networks have small-world property, hierarchical community structure, and some other properties. This paper proposes models of networks with these properties and algorithm ...
Igor Kanovsky
BIOINFORMATICS
2010
87views more  BIOINFORMATICS 2010»
15 years 6 months ago
Discriminatory power of RNA family models
Motivation: RNA family models group nucleotide sequences that share a common biological function. These models can be used to find new sequences belonging to the same family. To s...
Christian Höner zu Siederdissen, Ivo L. Hofac...
LREC
2010
152views Education» more  LREC 2010»
15 years 7 months ago
The OTIM Formal Annotation Model: A Preliminary Step before Annotation Scheme
Philippe Blache, Roxane Bertrand, Mathilde Guardio...