2594 search results - page 157 / 519 » Elements of a Theory of Simulation |
137
click to vote
GIS
2009
ACM
15 years 8 months ago
2009
ACM
The essential elements of any navigation system are a shortest-path algorithm and accurate map data. The contribution of this work is two-fold. First, the HBA algorithm, an effici...
130
click to vote
BIBE
2008
IEEE
15 years 6 months ago
2008
IEEE
We propose the use of formal ontological inferencing, rather than cladistics, to reconstruct phylogeny trees and to analyze the evolutionary relationships between species. For this...
144
click to vote
ROOM
2000
15 years 5 months ago
2000
In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a structured temporal logic, enables precise analysis of...
120
click to vote
SPDECE
2007
15 years 5 months ago
2007
This paper addresses the representation of the main elements of instructional models using formal ontology languages. Following existing conceptualizations, models, methods and con...
107
click to vote
IJAC
2008
15 years 4 months ago
2008
This paper begins the development of a theory of what we will call symplectic alternating algebras. They have arisen in the study of 2-Engel groups but seem also to be of interest...