Sciweavers

1672 search results - page 210 / 335
» Interactive Mathematical Documents
Sort
View
APPT
2005
Springer
15 years 10 months ago
Autonomous-Centered Problem Allocation Oriented to Cooperation
By reasonably allocating a cooperative problem which need multiple solvers cope with together, the problem could be performed more effectively and efficiently. A problem could be d...
Xiping Liu, Wan-Chun Dou, Guihai Chen, Shijie Cai,...
BIRTHDAY
2005
Springer
15 years 10 months ago
Natural Language Proof Explanation
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
Armin Fiedler
FC
2001
Springer
123views Cryptology» more  FC 2001»
15 years 9 months ago
Trust: A Collision of Paradigms
The technological challenges of securing networks are great, as recently witnessed in widespread denial of service and virus attacks. The human reaction to these attacks may be ei...
L. Jean Camp, Helen Nissenbaum, Cathleen McGrath
CHI
2000
ACM
15 years 9 months ago
curlybot: designing a new class of computational toys
We introduce an educational toy, called curlybot, as the basis for a new class of toys aimed at children in their early stages of development – ages four and up. curlybot is an ...
Phil Frei, Victor Su, Bakhtiar Mikhak, Hiroshi Ish...
VISUALIZATION
1997
IEEE
15 years 8 months ago
Constrained 3D navigation with 2D controllers
Navigation through 3D spaces is required in many interactive graphics and virtual reality applications. We consider the subclass of situations in which a 2D device such as a mouse...
Andrew J. Hanson, Eric A. Wernert