10493 search results - page 1429 / 2099 » Dynamic Word Problems |
170
click to vote
CSCW
2000
ACM
15 years 6 months ago
2000
ACM
The design of software toolkits embodies a fundamental tension. On the one hand, it aims to reduce programmer effort by providing prefabricated, reusable software modules encapsula...
241
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. We address the problem of detecting race conditions in programs that use semaphores for synchronization. Netzer and Miller showed that it is NP-complete to detect race co...
160
click to vote
DM
2002
15 years 6 months ago
2002
A generalized p-cycle is a digraph whose set of vertices can be partitioned into p parts that are cyclically ordered in such a way that the vertices in one part are adjacent only ...
166
click to vote
IJDAR
2000
15 years 6 months ago
2000
Image restoration using resolution expansion is important in many areas of image processing. This paper introduces a restoration method for low-resolution text images which produce...
185
click to vote
JAR
2000
15 years 6 months ago
2000
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...