Sciweavers

2040 search results - page 152 / 408
» On the Complexity of Error Explanation
Sort
View
AH
2004
Springer
15 years 9 months ago
Problem Solving with Adaptive Feedback
Abstract. The virtual laboratory (VILAB) supports interactive problem solving in computer science with access to complex software-tools. During the problem solving processes the le...
Rainer Lütticke
ASIAN
2004
Springer
140views Algorithms» more  ASIAN 2004»
15 years 9 months ago
A Novel Texture Synthesis Based Algorithm for Object Removal in Photographs
Natural images and photographs sometimes may contain stains or undesired objects covering significant portions of the images. Inpainting is a method to fill in such portions using ...
Feng Tang, Yiting Ying, Jin Wang, Qunsheng Peng
KBSE
2003
IEEE
15 years 9 months ago
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
Peter Bunus, Peter Fritzson
IPPS
1998
IEEE
15 years 8 months ago
Sharing Random Bits with No Process Coordination
We present a method by which any polynomial-time randomized distributed algorithm is transformed in such way that each participating process needs only polylog local random bits a...
Marius Zimand
STOC
1995
ACM
108views Algorithms» more  STOC 1995»
15 years 7 months ago
A parallel repetition theorem
We show that a parallel repetition of any two-prover one-round proof system (MIP(2, 1)) decreases the probability of error at an exponential rate. No constructive bound was previou...
Ran Raz