2714 search results - page 468 / 543 » Model comparison with GenericDiff |
COORDINATION
2008
Springer
14 years 17 days ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
WSC
2004
14 years 5 days ago
2004
Using simulated data to develop and study diagnostic tools for data analysis is very beneficial. The user can gain insight about what happens when assumptions are violated since t...
AIPS
2009
13 years 12 months ago
2009
When modeling real-world decision-theoretic planning problems in the Markov decision process (MDP) framework, it is often impossible to obtain a completely accurate estimate of tr...
ICARIS
2010
Springer
13 years 12 months ago
2010
Springer
Although there are various types of cancer treatments, none of these currently take into account the effect of ageing of the immune system and hence altered responses to cancer. R...
BIOINFORMATICS
2007
13 years 11 months ago
2007
Motivation: Genome maps are fundamental to the study of an organism and essential in the process of genome sequencing which in turn provides the ultimate map of the genome. The in...