Sciweavers

1809 search results - page 43 / 362
» Using GDE in Educational Systems
Sort
View
CORR
2011
Springer
190views Education» more  CORR 2011»
14 years 1 months ago
Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...
Fangzhen Lin
SIGCSE
2002
ACM
88views Education» more  SIGCSE 2002»
14 years 9 months ago
Teaching computer organization/architecture with limited resources using simulators
As the complexity and variety of computer system hardware increases, its suitability as a pedagogical tool in computer organization/architecture courses diminishes. As a consequen...
Gregory S. Wolffe, William Yurcik, Hugh Osborne, M...
60
Voted
CORR
2010
Springer
47views Education» more  CORR 2010»
14 years 8 months ago
Applications of Lindeberg Principle in Communications and Statistical Learning
We use a generalization of the Lindeberg principle developed by Sourav Chatterjee to prove universality properties for various problems in communications, statistical learning and...
Satish Babu Korada, Andrea Montanari
SIGCSE
2009
ACM
168views Education» more  SIGCSE 2009»
15 years 10 months ago
Bringing big systems to small schools: distributed systems for undergraduates
Distributed applications have become a core component of the Internet's infrastructure. However, many undergraduate curriculums, especially at small colleges, do not offer co...
Jeannie R. Albrecht
CORR
2010
Springer
178views Education» more  CORR 2010»
14 years 8 months ago
Towards A Shape Analysis for Graph Transformation Systems
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
Dominik Steenken, Heike Wehrheim, Daniel Wonisch