3333 search results - page 620 / 667 » Abstract Proof Search |
153
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
142
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract—This paper considers cooperative sensing in cognitive networks under Spectrum Sensing Data Falsification attack (SSDF) in which malicious users can intentionally send f...
142
Voted
BIOINFORMATICS
2011
14 years 7 months ago
2011
Abstract. This document is a preprint of the following publication: Bioinformatics (2011) 27(8): 1166-1167. Algorithms for sparse data require fast search and subset selection capa...
240
click to vote
FGR
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract— We propose a novel hierarchical structured prediction approach for ranking images of faces based on attributes. We view ranking as a bipartite graph matching problem; l...
266
click to vote
IWSOS
2011
Springer
14 years 6 months ago
2011
Springer
Abstract This paper depicts and evaluates an evolutionary design process for generating a complex self-organizing multicellular system based on Cellular Automata (CA). We extend th...