3557 search results - page 125 / 712 » Authoring Presentation for OpenMath |
166
click to vote
AIED
2005
Springer
16 years 12 days 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...
199
click to vote
BIRTHDAY
2005
Springer
16 years 11 days 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...
184
click to vote
DIGRA
2005
Springer
16 years 11 days 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...
157
click to vote
ITRUST
2005
Springer
16 years 10 days 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...
160
click to vote
TGC
2005
Springer
16 years 9 days 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...