1195 search results - page 124 / 239 » Modeling an Algebraic Stepper |
155
click to vote
MODELS
2007
Springer
16 years 15 days ago
2007
Springer
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
164
click to vote
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
175
click to vote
SMA
2009
ACM
16 years 26 days ago
2009
ACM
We present a method for procedurally modeling general complex 3D shapes. Our approach is targeted towards applications in digital entertainment and gaming and can automatically ge...
183
click to vote
FSKD
2007
Springer
16 years 16 days ago
2007
Springer
One of the challenges a decision maker faces is choosing a suitable rough set model to use for data analysis. The traditional algebraic rough set model classifies objects into th...
137
click to vote
ER
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we present a volume data model amenable to querying volumes in databases. Unlike most existing volume models, which are directed towards specific applications (notab...