7623 search results - page 418 / 1525 » Constructive Volume Modeling |
145
click to vote
APCCM
2007
15 years 8 months ago
2007
An input to the conceptual database design phase contains a description of the target database. This description is usually given in some natural language, for instance in English...
156
click to vote
WSC
1998
15 years 8 months ago
1998
Constructing models of systems that change their structure over time has proved to be a challenging problem, with several proposed solutions. We present two of these approaches an...
182
click to vote
WSC
1997
15 years 8 months ago
1997
VisSim/Discrete Event is a process-oriented, discrete event modeling toolkit based on the powerful and proven graphical interface provided by the underlying VisSim simulation envi...
176
click to vote
ESWA
2008
15 years 6 months ago
2008
Accounting frauds have continuously happened all over the world. This leads to the need of predicting business failures. Statistical methods and machine learning techniques have b...
193
click to vote
ENTCS
2006
15 years 6 months ago
2006
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...