3013 search results - page 326 / 603 » Context-Oriented Domain Analysis |
173
Voted
IJON
2008
15 years 6 months ago
2008
Presence-absence (0-1) observations are special in that often the absence of evidence is not evidence of absence. Here we develop an independent factor model, which has the unique...
161
click to vote
LRE
2008
15 years 6 months ago
2008
In this article, we address the task of comparing and combining different semantic verb classifications within one language. We present a methodology for the manual analysis of ind...
210
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
193
click to vote
TVCG
2008
15 years 6 months ago
2008
Building visualization and analysis pipelines is a large hurdle in the adoption of visualization and workflow systems by domain scientists. In this paper, we propose techniques to ...
185
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a novel way for reasoning about (possibly ir)rational quantifier-free non-linear arithmetic by a reduction to SAT/SMT. The approach is incomplete and dedicated...