1686 search results - page 78 / 338 » Higher Order Deforestation |
132
click to vote
MTSR
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we identify the requirements for creating formal descriptions of learning scenarios designed under the European Higher Education Area paradigm, using competences and ...
140
click to vote
EJIS
2007
15 years 4 months ago
2007
This paper examines IS higher education, concentrating on issues of ‘coherence’ in IS curricula. While curriculum coherence can be jeopardized by poor curriculum design, misal...
119
Voted
ALGORITHMICA
2005
15 years 3 months ago
2005
This paper focuses on space efficient representations of rooted trees that permit basic navigation in constant time. While most of the previous work has focused on binary trees, w...
146
click to vote
SIGMETRICS
2005
ACM
15 years 9 months ago
2005
ACM
In addition to providing small mean response times, modern applications seek to provide users predictable service and, in some cases, Quality of Service (QoS) guarantees. In order...
APAL
2010
15 years 4 months ago
2010
In this paper we define a notion of relativization for higher order logic. We then show that there is a higher order theory of Grothendieck topoi such that all Grothendieck topoi ...