20441 search results - page 292 / 4089 » Locally Computable Structures |
132
click to vote
CSB
2003
IEEE
15 years 10 months ago
2003
IEEE
The complexity of the global organization and internal structures of motifs in higher eukaryotic organisms raises significant challenges for motif detection techniques. To achiev...
153
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
117
click to vote
ICPR
2002
IEEE
16 years 5 months ago
2002
IEEE
In this paper we show the equivalence of three techniques used in image processing: local-mode finding, robust-estimation and mean-shift analysis. The computational common element...
