5600 search results - page 980 / 1120 » Synthesizing robust systems |
ACMSE
2005
ACM
14 years 19 days ago
2005
ACM
Visualization and differentiation of proteins in tissue are problems of increasing interest in computational systems biology, bioinformatics, and image processing. A platform for ...
DAC
2005
ACM
14 years 18 days ago
2005
ACM
Logic soft errors are radiation induced transient errors in sequential elements (flip-flops and latches) and combinational logic. Robust enterprise platforms in sub-65nm technolog...
ESEM
2007
ACM
14 years 13 days ago
2007
ACM
An important number of studies have addressed the importance of models in software engineering, mainly in the design of robust software systems. Although models have been proven t...
ECCV
2008
Springer
14 years 12 days ago
2008
Springer
Abstract. In the matching tasks which form an integral part of all types of tracking and geometrical vision, there are invariably priors available on the absolute and/or relative i...
AAAI
2010
14 years 3 days ago
2010
For many election systems, bribery (and related) attacks have been shown NP-hard using constructions on combinatorially rich structures such as partitions and covers. It is import...