Sciweavers

5510 search results - page 80 / 1102
» Mathematics
Sort
View
AH
2008
Springer
15 years 9 months ago
Learner Modelling in Exploratory Learning for Mathematical Generalisation
Exploratory learning supports creative thinking, allowing learners to control their own learning process, whilst it provides them with help and guidance when necessary. This pedago...
Mihaela Cocea
MKM
2007
Springer
15 years 9 months ago
Formal Representation of Mathematics in a Dependently Typed Set Theory
Abstract. We have formalized material from an introductory real analysis textbook in the proof assistant Scunak. Scunak is a system based on set theory encoded in a dependent type ...
Feryal Fulya Horozal, Chad E. Brown
LICS
2006
IEEE
15 years 9 months ago
A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
Marcelo P. Fiore, Sam Staton
87
Voted
ICCHP
2004
Springer
15 years 8 months ago
Multi-modal Mathematics: Conveying Math Using Synthetic Speech and Speech Recognition
Over the past decade, the notion of multi-modal access to technology has moved from the realms of science fiction to reality. It is not now unthinkable to communicate with a machi...
Donal Fitzpatrick, Arthur I. Karshmer
BMVC
2001
15 years 5 months ago
Mathematical Morphology in the HLS Colour Space
The HLS colour space is widely used in image analysis as it is physically intuitive. As the hue component of this space is defined on the unit circle, standard greyscale image an...
Allan Hanbury, Jean Serra