Sciweavers

4242 search results - page 176 / 849
» For a science of group interaction
Sort
View
MFCS
2005
Springer
16 years 4 hour ago
Interactive Algorithms 2005
A sequential algorithm just follows its instructions and thus cannot make a nondeterministic choice all by itself, but it can be instructed to solicit outside help to make a choic...
Yuri Gurevich
ICALP
2004
Springer
15 years 12 months ago
A Categorical Model for the Geometry of Interaction
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
Esfandiar Haghverdi, Philip J. Scott
SIGCSE
2000
ACM
120views Education» more  SIGCSE 2000»
15 years 11 months ago
PILOT: an interactive tool for learning and grading
We describe a Web-based interactive system, called PILOT, for testing computer science concepts. The strengths of PILOT are its universal access and platform independence, its use...
Stina S. Bridgeman, Michael T. Goodrich, Stephen G...
ACMSE
2005
ACM
16 years 2 days ago
Interactive 3D terrain exploration and visualization
The CECA VisLab is currently investigating the educational uses of a GeoWall 3D Stereo Rendering system. Many commercial and non-commercial programs are currently available for ge...
Stephanie A. Smullen, Clinton W. Smullen III, Carl...
AAAI
2007
15 years 8 months ago
Journal-Ranking.com: An Online Interactive Journal Ranking System
Journal-Ranking.com is perhaps the first online journal ranking system in the world which allows any individual to conduct citation analyses among more than 7000 academic journals...
Andrew Lim, Hong Ma, Qi Wen, Zhou Xu, Brenda Chean...