2594 search results - page 83 / 519 » Elements of a Theory of Simulation |
SYNTHESE
2010
13 years 7 months ago
2010
Recent work in the philosophy of science has generated an apparent conflict between theories attempting to explicate the nature of scientific representation. On one side, there are...
AMAST
2006
Springer
14 years 15 days ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
ISOLA
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we introduce RML, which stands for Rule Markup Language and is used for rule–based transformations of XML. With RML the user can define XML wildcard elements, vari...
CVPR
1996
IEEE
14 years 28 days ago
1996
IEEE
Feature indexing techniques are promising for object recognition since they can quickly reduce the set of possible matches for a set of image features. This work exploits another ...
GMP
2008
IEEE
13 years 9 months ago
2008
IEEE
Afiniteelement simulationframeworkforcuttingand fracturing model without remeshing is presented. The main idea of proposed method is adding a discontinuous function for the standa...