7623 search results - page 328 / 1525 » Constructive Volume Modeling |
196
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
In this work informal learning theories and practices and social networking features are taken as starting points to build a reference collaboration model to support collaborative ...
145
click to vote
ISTA
2001
15 years 8 months ago
2001
: In this article, the visual Internet-oriented Java-based E-net Simulation System (JESS) is considered. JESS supports all the simulation stages from constructing the models to exp...
189
click to vote
SPIN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
159
click to vote
RE
2008
Springer
15 years 6 months ago
2008
Springer
Representation and reasoning about goals of an information system unavoidably involve the transformation of unclear stakeholder requirements into an instance of a goal model. If t...
203
click to vote
AAAI
2012
13 years 9 months ago
2012
Scientists use two forms of knowledge in the construction of explanatory models: generalized entities and processes that relate them; and constraints that specify acceptable combi...