Sciweavers

11016 search results - page 566 / 2204
» Cloud Computing for Science
Sort
View
VL
2010
IEEE
209views Visual Languages» more  VL 2010»
15 years 5 months ago
Towards the Automatic Recognition of Computational Thinking for Adaptive Visual Language Learning
Visual programming languages can be used to make computer science more accessible to a broad range of students. The evaluative focus of current research in the area of visual lang...
Kyu Han Koh, Ashok R. Basawapatna, Vicki Bennett, ...
KSEM
2009
Springer
16 years 1 months ago
An Anytime Algorithm for Computing Inconsistency Measurement
Measuring the inconsistency degree of an inconsistent knowledge base is an important problem as it provides context information for facilitating inconsistency handling. Many method...
Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zu...
FOCS
2003
IEEE
16 years 12 days ago
Bounded-Concurrent Secure Two-Party Computation in a Constant Number of Rounds
We consider the problem of constructing a general protocol for secure two-party computation in a way that preserves security under concurrent composition. In our treatment, we foc...
Rafael Pass, Alon Rosen
CAD
2006
Springer
15 years 7 months ago
Computing minimum distance between two implicit algebraic surfaces
The minimum distance computation problem between two surfaces is very important in many applications such as robotics, CAD/CAM and computer graphics. Given two implicit algebraic ...
Xiao-Diao Chen, Jun-Hai Yong, Guo-Qin Zheng, Jean-...
CAD
2011
Springer
15 years 2 months ago
Computing the minimum enclosing sphere of free-form hypersurfaces in arbitrary dimensions
The problem of computing the minimum enclosing sphere (MES) of a point set is a classical problem in Computational Geometry. As an LP-type problem, its expected running time on th...
Ramanathan Muthuganapathy, Gershon Elber, Gill Bar...