4029 search results - page 249 / 806 » Reconfigurable Systems in Education |
202
click to vote
HT
2004
ACM
16 years 22 days ago
2004
ACM
Microcosm was an open hypertext system that evolved in the early 1990s, before the advent of the Web. Apart from its success as a research platform it was widely used for presenti...
158
click to vote
SYBEN
1998
15 years 8 months ago
1998
This paper presents an approach for authoring training applications. In this approach we think an author can undertake two roles: the meta-authoring role and the authoring role. A...
156
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Systems of systems (SoS) are a hot topic in our "fully connected global world". Our aim is not to provide another definition of what SoS are, but rather to focus on the a...
189
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
In order to compete with others, high education need complete their infrastructure with Information technology support. High level management as a decision maker needs something t...
187
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
We obtain two results about the proof complexity of deep inference: 1) deep-inference proof systems are as powerful as Frege ones, even when both are extended with the Tseitin exte...