17185 search results - page 9 / 3437 » Computational and Quantitative Studies |
LICS
2009
IEEE
14 years 2 months ago
2009
IEEE
Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages L that assign to each word w a real number L(w). In ...
BMCBI
2006
13 years 7 months ago
2006
Background: It has become increasingly apparent that a comprehensive database of RNA motifs is essential in order to achieve new goals in genomic and proteomic research. Secondary...
ENTCS
2010
13 years 4 months ago
2010
Molecular biological models usually suffer from a dramatic combinatorial blow up. Indeed, proteins form complexes and can modify each others, which leads to the formation of a hug...
COORDINATION
2008
Springer
13 years 9 months ago
2008
Springer
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...
CHI
2006
ACM
14 years 7 months ago
2006
ACM
This paper reports on issues related to the use of mobile phones by older people. This study uses triangulation, a mixed method of qualitative (focus group discussions) and quanti...