Sciweavers

1672 search results - page 102 / 335
» Interactive Mathematical Documents
Sort
View
JAR
2007
80views more  JAR 2007»
15 years 3 months ago
Integrating Searching and Authoring in Mizar
The vision of a computerised assistant to mathematicians has existed since the inception of theorem proving systems. The Alcor system has been designed to investigate and explore h...
Paul A. Cairns, Jeremy Gow
DOCENG
2004
ACM
15 years 9 months ago
Instructional information in adaptive spatial hypertext
Spatial hypertext is an effective medium for the delivery of help and instructional information on the Web. Spatial hypertext’s intrinsic features allow documents to visually re...
Luis Francisco-Revilla, Frank M. Shipman III
ECAL
1995
Springer
15 years 7 months ago
Elements of a Theory of Simulation
Arti cial Life and the more general area of Complex Systems does not have a uni ed theoretical framework although most theoretical work in these areas is based on simulation. This ...
Steen Rasmussen, Christopher L. Barrett
LANMR
2007
15 years 5 months ago
Teaching natural deduction to improve text argumentation analysis in engineering students
Teaching engineering students courses such as computer science theory, automata theory and discrete mathematics took us to realize that introducing basic notions of logic, especial...
Rogelio Dávila, Sara C. Hernández, J...
IRFC
2010
Springer
15 years 1 months ago
An Information Retrieval Model Based on Discrete Fourier Transform
Abstract. Information Retrieval (IR) systems combine a variety of techniques stemming from logical, vector-space and probabilistic models. This variety of combinations has produced...
Alberto Costa, Massimo Melucci