7623 search results - page 947 / 1525 » Constructive Volume Modeling |
226
click to vote
CHARME
2005
Springer
16 years 20 days ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
284
click to vote
KR
2004
Springer
16 years 15 days ago
2004
Springer
We discuss the representation of knowledge and of belief from the viewpoint of decision theory. While the Bayesian approach enjoys general-purpose applicability and axiomatic foun...
203
click to vote
SIGGRAPH
1997
ACM
15 years 11 months ago
1997
ACM
Interactive modeling of 3-D solids is an important and difficult problem in computer graphics. The Constructive Solid Geometry (CSG) modeling scheme is highly attractive for inte...
214
click to vote
TACS
1994
Springer
15 years 11 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
171
click to vote
IIE
2007
15 years 7 months ago
2007
Although there are many high-quality models for program and evaluation planning, these models are often too intensive to be used in situations when time and resources are scarce. A...