9842 search results - page 1432 / 1969 » Problem complexity |
181
click to vote
ATVA
2008
Springer
15 years 9 months ago
2008
Springer
Multi-valued Model Checking is an extension of classical, two-valued model checking with multi-valued logic. Multi-valuedness has been proved useful in expressing additional inform...
206
click to vote
BICOB
2010
Springer
15 years 7 months ago
2010
Springer
Biomarker discovery for complex diseases is a challenging problem. Most of the existing approaches identify individual genes as disease markers, thereby missing the interactions a...
218
click to vote
ICONIP
2010
15 years 4 months ago
2010
With simple cost effective imaging solutions being widely available these days, there has been an enormous rise in the number of images consumers have been taking. Due to this incr...
188
click to vote
CODES
2006
IEEE
16 years 1 months ago
2006
IEEE
Although mobile Java code is frequently executed on many wireless devices, the susceptibility to electromagnetic (EM) attacks is largely unknown. If analysis of EM waves emanating...
240
click to vote
COCO
2005
Springer
16 years 21 days ago
2005
Springer
Consider a two-party quantum communication protocol for computing some function f : {0, 1}n × {0, 1}n → Z. We show that the first message of P can be compressed to O(k) classi...