Sciweavers

2738 search results - page 161 / 548
» The Frobenius Problem and Its Generalizations
Sort
View
KBSE
2007
IEEE
15 years 10 months ago
Diconic addition of failsafe fault-tolerance
We present a divide-and-conquer method, called DiConic, for automatic addition of failsafe fault-tolerance to distributed programs, where a failsafe program guarantees to meet its...
Ali Ebnenasir
158
Voted
ACCV
2007
Springer
15 years 10 months ago
Shape from Contour for the Digitization of Curved Documents
Abstract. We are aiming at extending the basic digital camera functionalities to the ability to simulate the flattening of a document, by virtually acting like a flatbed scanner....
Frédéric Courteille, Jean-Denis Duro...
WEBI
2007
Springer
15 years 10 months ago
Semantic Convergence of Wikipedia Articles
Social networking, distributed problem solving and human computation have gained high visibility. Wikipedia is a well established service that incorporates aspects of these three ...
Christopher Thomas, Amit P. Sheth
GLOBECOM
2006
IEEE
15 years 10 months ago
Optimal Routing in the Worst-Case-Error Metric
— This paper considers the problem of finding the path with minimum (zero) worst possible number of errors in a network with V nodes where (1) some nodes are capable of correcti...
Edwin Soedarmadji
ACL2
2006
ACM
15 years 10 months ago
Double rewriting for equivalential reasoning in ACL2
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
Matt Kaufmann, J. Strother Moore