9405 search results - page 460 / 1881 » Computing a Model of Set Theory |
220
click to vote
HYBRID
2010
Springer
16 years 2 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
216
click to vote
SMI
2003
IEEE
16 years 26 days ago
2003
IEEE
In this paper, we present a novel modeling method for synthesizing rough surfaces using discrete surface growth models. We employ a two-pass method. Initial point cluster data is ...
218
click to vote
PRDC
2006
IEEE
16 years 1 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
192
click to vote
CAD
2002
Springer
15 years 7 months ago
2002
Springer
This paper describes the theory and implementation of a discrete mechanics model for deformable bodies, incorporating behavior such as motion, collision, deformation etc. The mode...
211
click to vote
ISIPTA
2005
IEEE
16 years 1 months ago
2005
IEEE
: A generalization of subjective expected utility is presented in which the primitives are a finite set of states of the world, a finite set of strategies available to the decision...