3557 search results - page 125 / 712 » Authoring Presentation for OpenMath |
154
click to vote
AIED
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we present an ontology of educational theories their relation to learning design. This ontology takes into account learning design (LD) specifications such as OUNL-E...
184
click to vote
BIRTHDAY
2005
Springer
15 years 12 months ago
2005
Springer
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...
175
click to vote
DIGRA
2005
Springer
15 years 12 months ago
2005
Springer
In this study, the authors propose to discuss scalability challenges posed by Massively Multiplayer Online Game (MMOG) scenarios, while outlining issues specific to the context of...
149
click to vote
ITRUST
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Logic languages establish a formal framework to solve authorization and delegation conflicts. However, we consider that a visual representation is necessary since graphs...
147
click to vote
TGC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...