7040 search results - page 133 / 1408 » The Single Model Principle |
ATVA
2008
Springer
13 years 11 months ago
2008
Springer
We present a tool for parallel shared-memory enumerative LTL model-checking and reachability analysis. The tool is based on distributed-memory algorithms reimplemented specifically...
ICALT
2006
IEEE
14 years 3 months ago
2006
IEEE
Empirical Modelling is a body of principles and tools that has been developed for the construction of interactive environments. Our previous research has indicated respects in whi...
INFORMATICALT
2008
13 years 9 months ago
2008
Abstract. In this paper, a new multi-criteria decision-making procedure is presented, which captures preferential information in the form of the threshold model. It is based on the...
IPM
2007
13 years 9 months ago
2007
This paper describes our novel retrieval model that is based on contexts of query terms in documents (i.e., document contexts). Our model is novel because it explicitly takes into...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
The problem of arriving at a principled method of pricing goods and services was very satisfactorily solved for conventional goods; however, this solution is not applicable to dig...