1511 search results - page 246 / 303 » Randomness, lowness and degrees |
ICGI
2010
Springer
14 years 9 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 ...
118
click to vote
SECON
2010
IEEE
14 years 9 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 9 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 9 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...
113
click to vote
ICWSM
2009
14 years 9 months ago
2009
A particularly challenging task for recommender systems (RSs) is deciding whether to recommend an item that received a variety of high and low scores from its users. RSs that inco...