Sciweavers

18090 search results - page 415 / 3618
» Computing by Only Observing
Sort
View
ITS
2010
Springer
163views Multimedia» more  ITS 2010»
15 years 11 months ago
Using Problem-Solving Context to Assess Help Quality in Computer-Mediated Peer Tutoring
Collaborative activities, like peer tutoring, can be beneficial for student learning, but only when students are supported in interacting effectively. Constructing intelligent tuto...
Erin Walker, Sean Walker, Nikol Rummel, Kenneth R....
COSIT
2001
Springer
158views GIS» more  COSIT 2001»
15 years 11 months ago
Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation
Abstract. The Double Cross calculus has been proposed for the purpose of navigation based on qualitative information about spatial configurations. Up until now, however, no result...
Alexander Scivos, Bernhard Nebel
SIGMETRICS
2000
ACM
105views Hardware» more  SIGMETRICS 2000»
15 years 11 months ago
Using the exact state space of a Markov model to compute approximate stationary measures
We present a new approximation algorithm based on an exact representation of the state space S, using decision diagrams, and of the transition rate matrix R, using Kronecker algeb...
Andrew S. Miner, Gianfranco Ciardo, Susanna Donate...
APL
1993
ACM
15 years 11 months ago
The Role of APL and J in High-Performance Computation
Although multicomputers are becoming feasible for solving large problems, they are difficult to program: Extraction of parallelism from scalar languages is possible, but limited....
Robert Bernecky
PKC
2010
Springer
148views Cryptology» more  PKC 2010»
15 years 10 months ago
On the Feasibility of Consistent Computations
In many practical settings, participants are willing to deviate from the protocol only if they remain undetected. Aumann and Lindell introduced a concept of covert adversaries to f...
Sven Laur, Helger Lipmaa