Sciweavers

13 search results - page 1 / 3
» Build, Augment and Destroy, Universally
Sort
View
APLAS
2004
ACM
13 years 10 months ago
Build, Augment and Destroy, Universally
Abstract. We give a semantic footing to the fold/build syntax of programming with inductive types, covering shortcut deforestation, based on a universal property. Specifically, we...
Neil Ghani, Tarmo Uustalu, Varmo Vene
AIED
2009
Springer
13 years 11 months ago
Will Google destroy western democracy? Bias in policy problem solving
: Democracy requires students to choose policy positions based on evidence, yet confirmation bias prevents them from doing so. As a preliminary step in building a policy reasoning ...
Matthew W. Easterday, Vincent Aleven, Richard Sche...
IJCNN
2008
IEEE
13 years 11 months ago
Building meta-learning algorithms basing on search controlled by machine complexity
Abstract— Meta-learning helps us find solutions to computational intelligence (CI) challenges in automated way. Metalearning algorithm presented in this paper is universal and m...
Norbert Jankowski, Krzysztof Grabczewski
MOBICOM
1997
ACM
13 years 9 months ago
Composable ad-hoc Mobile Services for Universal Interaction
This paperintroduces the notion of “universalinteraction,” allowing a device to adapt its functionality to exploit services it discovers as it moves into a new environment. Us...
Todd D. Hodes, Randy H. Katz, Edouard Servan-Schre...
IV
2005
IEEE
197views Visualization» more  IV 2005»
13 years 10 months ago
Mobile Augmented Reality Techniques for GeoVisualisation
This paper presents the first prototype of an interactive visualisation framework specifically designed for presenting geographical information in both indoor and outdoor environm...
Fotis Liarokapis, Ian Greatbatch, David Mountain, ...