146 search results - page 20 / 30 » Computably Enumerable Sets and Quasi-Reducibility |
MFCS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. A Solovay function is a computable upper bound g for prefixfree Kolmogorov complexity K that is nontrivial in the sense that g agrees with K, up to some additive constan...
APLAS
2007
ACM
14 years 2 months ago
2007
ACM
Abstract. Given the combinatorial nature of cellular signalling pathways, where biological agents can bind and modify each other in a large number of ways, concurrent or agent-base...
RTSS
2009
IEEE
14 years 5 months ago
2009
IEEE
Recently, there have been several promising techniques developed for schedulability analysis and response time analysis for multiprocessor systems based on over-approximation. Thi...
DSN
2005
IEEE
14 years 4 months ago
2005
IEEE
Stealth malware programs that silently infect enterprise and consumer machines are becoming a major threat to the future of the Internet [XZ04]. Resource hiding is a powerful stea...
DCOSS
2007
Springer
14 years 2 months ago
2007
Springer
The problem we address in this paper is how to detect an intruder moving through a polygonal space that is equipped with a camera sensor network. We propose a probabilistic sensor ...