1672 search results - page 112 / 335 » Interactive Mathematical Documents |
127
Voted
JIIS
2008
15 years 3 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
127
click to vote
MKM
2009
Springer
15 years 8 months ago
2009
Springer
Spreadsheets are mathematical documents that are heavily employed in administration, financial forecasting, education, and science because of their intuitive, flexible, and direc...
120
Voted
CHI
2003
ACM
16 years 4 months ago
2003
ACM
In cooperative activity users require information about their cooperative environment. AwarenessMaps provide the members of shared workspaces with an overview of users and shared ...
123
Voted
QI
2009
Springer
15 years 10 months ago
2009
Springer
Information Retrieval (IR) systems try to identify documents relevant to user queries, which are representations of user information needs. Interaction, context, and document struc...
121
click to vote
WOA
2007
15 years 5 months ago
2007
—This document briefly describes a framework supporting the definition and implementation of virtual environment inhabited by interacting situated agents defined according to the...