1915 search results - page 106 / 383 » A language for functional interpretation of model based simu... |
135
click to vote
JCP
2008
15 years 4 months ago
2008
The statistical analysis of Chinese stock market fluctuations modeled by the interacting particle systems has been done in this paper. The contact model and voter model of the inte...
250
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
117
click to vote
IEAAIE
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...
112
click to vote
FDL
2003
IEEE
15 years 9 months ago
2003
IEEE
Tolerances are a very important property of a design. This paper presents a method for simulating tolerances in signal processing and control systems on the system level using aï¬...
127
Voted
ENTCS
2007
15 years 4 months ago
2007
Multi-algebras allow to model nondeterminism in an algebraic framework by interpreting operators as functions from individual arguments to sets of possible results. We propose a s...