4029 search results - page 249 / 806 » Reconfigurable Systems in Education |
180
click to vote
HT
2004
ACM
16 years 1 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...
140
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...
139
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...
170
click to vote
CORR
2010
Springer
15 years 1 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...
165
click to vote
CORR
2007
Springer
15 years 6 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...