1672 search results - page 102 / 335 » Interactive Mathematical Documents |
128
click to vote
JAR
2007
15 years 3 months ago
2007
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...
137
click to vote
DOCENG
2004
ACM
15 years 9 months ago
2004
ACM
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...
149
click to vote
ECAL
1995
Springer
15 years 7 months ago
1995
Springer
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 ...
136
click to vote
LANMR
2007
15 years 5 months ago
2007
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...
127
click to vote
IRFC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Information Retrieval (IR) systems combine a variety of techniques stemming from logical, vector-space and probabilistic models. This variety of combinations has produced...