Sciweavers

10899 search results - page 588 / 2180
» The GP Programming System
Sort
View
ICFP
2003
ACM
16 years 7 months ago
MLF: raising ML to the power of system F
We propose a type system MLFthat generalizes ML with first-class polymorphism as in System F. Expressions may contain secondorder type annotations. Every typable expression admits...
Didier Le Botlan, Didier Rémy
UM
2009
Springer
16 years 1 months ago
What Do Academic Users Really Want from an Adaptive Learning System?
When developing an Adaptive Learning System (ALS), users are generally consulted (if at all) towards the end of the development cycle. This can limit users’ feedback to the chara...
Martin Harrigan, Milos Kravcik, Christina Steiner,...
ICRA
2007
IEEE
134views Robotics» more  ICRA 2007»
16 years 1 months ago
Towards a Real-Time Bayesian Imitation System for a Humanoid Robot
Abstract— Imitation learning, or programming by demonstration (PbD), holds the promise of allowing robots to acquire skills from humans with domain-specific knowledge, who nonet...
Aaron P. Shon, Joshua J. Storz, Rajesh P. N. Rao
SAFECOMP
2007
Springer
16 years 1 months ago
Software Encoded Processing: Building Dependable Systems with Commodity Hardware
In future, the decreasing feature size and the reduced power supply will make it much more difficult to built reliable microprocessors. Economic pressure will most likely result in...
Ute Wappler, Christof Fetzer
SEKE
2007
Springer
16 years 1 months ago
On Modern Debugging For Rule-Based Systems
With the growing interest in rule languages in the Semantic Web and the Business Rule community it is time to look again at the issue of debugging rule bases. New challenges have ...
Valentin Zacharias, Andreas Abecker