Sciweavers

904 search results - page 126 / 181
» Ontologies and Representations of Matter
Sort
View
MDAFA
2004
Springer
124views Hardware» more  MDAFA 2004»
15 years 3 months ago
MISTRAL: A Language for Model Transformations in the MOF Meta-modeling Architecture
In the Meta Object Facility (MOF) meta-modeling architecture a number of model transformation scenarios can be identified. It could be expected that a meta-modeling architecture wi...
Ivan Kurtev, Klaas van den Berg
AH
2000
Springer
15 years 2 months ago
ACE - Adaptive Courseware Environment
: The Adaptive Courseware Environment (ACE) is a WWW-based tutoring framework which combines methods of knowledge representation, instructional planning, and adaptive media generat...
Marcus Specht
TIME
1994
IEEE
15 years 1 months ago
Belief Revision in a Discrete Temporal Probability-Logic
We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...
Scott D. Goodwin, Howard J. Hamilton, Eric Neufeld...
ATAL
2008
Springer
14 years 11 months ago
Coalitions and announcements
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
Thomas Ågotnes, Hans P. van Ditmarsch
BILDMED
2007
134views Algorithms» more  BILDMED 2007»
14 years 11 months ago
Generation of Hulls Encompassing Neuronal Pathways Based on Tetrahedralization and 3D Alpha Shapes
Abstract. Diffusion tensor imaging provides information about structure and location of white matter tracts within the human brain which is of particular interest for neurosurgery...
Dorit Merhof, Martin Meister, Ezgi Bingöl, Pe...