Sciweavers

1809 search results - page 236 / 362
» Using GDE in Educational Systems
Sort
View
177
Voted
CORR
2011
Springer
200views Education» more  CORR 2011»
14 years 8 months ago
Analytical Evaluation of Fractional Frequency Reuse for OFDMA Cellular Networks
Fractional frequency reuse (FFR) is an interference management technique well-suited to OFDMAbased cellular networks wherein the cells are partitioned into spatial regions with di...
Thomas David Novlan, Radha Krishna Ganti, Arunabha...
174
Voted
CORR
2012
Springer
212views Education» more  CORR 2012»
14 years 10 days ago
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdot...
187
Voted
CORR
2012
Springer
204views Education» more  CORR 2012»
14 years 10 days ago
Ontologies for the Integration of Air Quality Models and 3D City Models
In the perspective of a sustainable urban planning, it is necessary to investigate cities in a holistic way and to accept surprises in the response of urban environments to a part...
Claudine Métral, Gilles Falquet, Kostas Kar...
ERCIMDL
2005
Springer
207views Education» more  ERCIMDL 2005»
15 years 10 months ago
DAR: A Digital Assets Repository for Library Collections
The Digital Assets Repository (DAR) is a system developed at the Bibliotheca Alexandrina, the Library of Alexandria, to create and maintain the digital library collections. The sys...
Iman Saleh, Noha Adly, Magdy Nagi
JCDL
2003
ACM
105views Education» more  JCDL 2003»
15 years 10 months ago
Convergence of Knowledge Management and E-Learning: The GetSmart Experience
The National Science Digital Library (NSDL), launched in December 2002, is emerging as a center of innovation in digital libraries as applied to education. As a part of this exten...
Byron Marshall, Yiwen Zhang, Hsinchun Chen, Ann M....