8719 search results - page 103 / 1744 » A Categorical Approach to Simulations |
89
Voted
FOIS
2008
15 years 3 months ago
2008
Effect axioms constitute the cornerstone of formal theories of action in AI. They drive standard reasoning tasks, especially prediction. These tasks need not be coupled with actual...
WSC
2000
15 years 2 months ago
2000
The theory of modeling and simulation is well defined in result of about 30 years of research and practice. There are commonly accepted approaches and methods of working out succe...
108
click to vote
VRST
1998
ACM
15 years 5 months ago
1998
ACM
The GALILEO-system is a developmental state-of-the-art rigid body simulation tool with a strong bias to the simulation of unilateral contacts for virtual reality applications. On ...
132
Voted
WMP
2000
15 years 5 months ago
2000
This paper is an attempt to summarize the basic elements of the multiset theory. We begin by describing multisets and the operations between them, then we present hybrid sets and t...
119
click to vote
ECEASST
2006
15 years 1 months ago
2006
Abstract. Adhesive high-level replacement (HLR) system have been recently introduced as a new categorical framework for graph transformation in the double pushout approach [1, 2]. ...