4047 search results - page 550 / 810 » Some Properties and Some Problems on Set Functors |
161
click to vote
SIAMNUM
2010
15 years 1 months ago
2010
In this paper we introduce a new class of diffeomorphic smoothers based on general spline smoothing techniques and on the use of some tools that have been recently developed in th...
211
click to vote
IWVF
2001
Springer
15 years 11 months ago
2001
Springer
Volumetric images of small mortar samples under load are acquired by X-ray microtomography. The images are binarized at many different threshold values, and over a million connecte...
187
click to vote
DSN
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper considers the eventual leader election problem in asynchronous message-passing systems where an arbitrary number t of processes can crash (t < n, where n is the tota...
179
click to vote
TLDI
2003
ACM
15 years 11 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work has addresse...
182
click to vote
IJCAI
2003
15 years 8 months ago
2003
Refinement operators for theories avoid the problems related to the myopia of many relational learning algorithms based on the operators that refine single clauses. However, the n...