648 search results - page 45 / 130 » Lowness for Demuth Randomness |
BMVC
2010
14 years 7 months ago
2010
With the proliferation of modern microscopy imaging technologies the amount of data that has to be analysed by biologists is constantly increasing and as a result the development ...
ICGI
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. We present an exact algorithm for identification of deterministic finite automata (DFA) which is based on satisfiability (SAT) solvers. Despite the size of the low level ...
104
click to vote
SECON
2010
IEEE
14 years 7 months ago
2010
IEEE
Market mechanisms have been exploited as important means for spectrum acquisition and access in cognitive radio networks. In this paper, we propose a two-tier market for decentrali...
ICASSP
2009
IEEE
14 years 7 months ago
2009
IEEE
Belief propagation is a popular global optimization technique for many computer vision problems. However, it requires extensive computation due to the iterative message passing op...
ICSE
2009
IEEE-ACM
14 years 7 months ago
2009
IEEE-ACM
Statistical debugging aims to automate the process of isolating bugs by profiling several runs of the program and using statistical analysis to pinpoint the likely causes of failu...