2024 search results - page 96 / 405 » The Meaning of Ordered SOS |
78
Voted
DM
2008
15 years 24 days ago
2008
Motivated from an application to DNA library screening, Balding and Torney [1] and Colbourn [4] studied the following group testing for consecutive positives. Suppose Vn = {v1 v2 ...
CONCURRENCY
2007
15 years 21 days ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
66
Voted
SIAMSC
2008
15 years 19 days ago
2008
The goal of this article is to simulate rotating flows of shallow layers of fluid by means of finite volume numerical schemes. More precisely, we focus on the simulation of the geo...
101
Voted
JMIV
2007
15 years 18 days ago
2007
High-quality image inpainting methods based on nonlinear higher-order partial differential equations have been developed in the last few years. These methods are iterative by natur...
102
Voted
AI
2004
Springer
15 years 18 days ago
2004
Springer
Orderings and inference relations can be successfully used to model the behavior of a rational agent. This behavior is indeed represented either by a set of ordered pairs that ref...